Autor der Publikation

Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs.

, und . GECCO, Seite 1119-1126. ACM, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Shadowless-illuminated variable-angle TIRF (siva-TIRF) microscopy for the observation of spatial-temporal dynamics in live cells., , , , , , und . Biomedical optics express, 5 (5): 1530--40 (Mai 2014)The Framework of Network Public Opinion Monitoring and Analyzing System Based on Semantic Content Identification., , , und . J. Convergence Inf. Technol., 5 (10): 48-55 (2010)New Techniques of Remote Sensing in the University of Architecture and Planning., , und . IGARSS (2), Seite 642-645. IEEE, (2009)A Study of Chinese Word Segmentation Based on the Characteristics of Chinese., , , , , und . GSCL, Volume 8105 von Lecture Notes in Computer Science, Seite 111-118. Springer, (2013)On the convergent condition of Newton-like method in parallel circular iteration for simultaneously finding all multiple zeros of a polynomial.. Appl. Math. Comput., 152 (3): 837-846 (2004)Integrating features from lymph node stations for metastatic lymph node detection., , , , , , und . Comput. Medical Imaging Graph., (2022)Six new Redheffer-type inequalities for circular and hyperbolic functions., und . Comput. Math. Appl., 56 (2): 522-529 (2008)Some new inequalities of the Huygens type.. Comput. Math. Appl., 58 (6): 1180-1182 (2009)Microeconomic analysis using dominant relationship analysis., , , und . Knowl. Inf. Syst., 30 (1): 179-211 (2012)Remote Sensing Image Change Detection Using Superpixel Cosegmentation., , und . Inf., 12 (2): 94 (2021)