Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Automated Prototype Generation from Formal Requirements Model
Yang, Yilong, Li, Xiaoshan, Liu, Zhiming, Wei, Ke, Zu, Quan, Chen, Xiaohong
Published in arXiv.org (31.08.2018)
Published in arXiv.org (31.08.2018)
Get full text
Paper
Journal Article
Improving the prediction of protein binding sites by combining heterogeneous data and Voronoi diagrams
Segura, Joan, Jones, Pamela F, Fernandez-Fuentes, Narcis
Published in BMC bioinformatics (23.08.2011)
Published in BMC bioinformatics (23.08.2011)
Get full text
Journal Article
Characteristic Analysis of Fractional-Order 4D Hyperchaotic Memristive Circuit
Ruan, Jingya, Wang, Huihai, Sun, Kehui, Mou, Jun
Published in Mathematical problems in engineering (01.01.2017)
Published in Mathematical problems in engineering (01.01.2017)
Get full text
Journal Article
Quantitative comparison between two different methodologies to define rainfall thresholds for landslide forecasting
Lagomarsino, D., Segoni, S., Rosi, A., Rossi, G., Battistini, A., Catani, F., Casagli, N.
Published in Natural hazards and earth system sciences (23.10.2015)
Published in Natural hazards and earth system sciences (23.10.2015)
Get full text
Journal Article
Experimental research of alignment error correction by aspheric mirror based on the function of imaging quality
Published in Wuli xuebao
(05.07.2016)
Get full text
Journal Article
On Voronoi Diagrams and Medial Axes
Fabbri, R., Estrozi, L.F., Costa, L. Da F.
Published in Journal of mathematical imaging and vision (01.07.2002)
Published in Journal of mathematical imaging and vision (01.07.2002)
Get full text
Journal Article
Investigation of stochastic variation of parameters for a macroscopic traffic model
Thonhofer, Elvira, Jakubek, Stefan
Published in Journal of intelligent transportation systems (02.11.2018)
Published in Journal of intelligent transportation systems (02.11.2018)
Get full text
Journal Article