( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.

, , , , и . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Rajarshi Ray

Roy Hornig

Beschreibung mikro-rheologischer Vorgänge und resultierender Verbundstrukturen beim Elastomermischprozeß im Innenmischer durch rheologische Untersuchungen. NA Halle-Wittenberg, (2009)

Smritindu Roy

David Roy

Wolfgang Roy

 

Другие публикации лиц с тем же именем

Distributed Algorithm for Power Aware Minimum Connected Dominating Set for Routing in Wireless Ad Hoc Network., и . ICPP Workshops, стр. 387-394. IEEE Computer Society, (2005)Maximum Lifetime Routing in Wireless Sensor Network by Minimizing Rate Capacity Effect., и . ICPP Workshops, стр. 165-174. IEEE Computer Society, (2006)P3 - A Power-Aware Polling Scheme with Priority for Bluetooth., , , и . ICPP Workshops, стр. 480-487. IEEE Computer Society, (2004)Using Bayesian optimization to guide probing of a flexible environment for simultaneous registration and stiffness mapping., , , , , и . ICRA, стр. 931-936. IEEE, (2016)Analysis of TCP congestion control using a fluid model., , и . ICC, стр. 2396-2403. IEEE, (2001)A Semi-Automated Positioning System for Contact-Mode Atomic Force Microscopy (AFM)., , , , , и . IEEE Trans Autom. Sci. Eng., 10 (2): 462-465 (2013)Hilbert phase analysis of the dynamics of a semiconductor laser with optical feedback, , и . Phys. Rev. E, 67 (2): 025604 (2003)GraPhSyM: Graph Physical Synthesis Model., , , , , и . ICCAD, стр. 1-9. IEEE, (2023)Reinforcement Learning with Temporal-Logic-Based Causal Diagrams., , , , , , , и . CD-MAKE, том 14065 из Lecture Notes in Computer Science, стр. 123-140. Springer, (2023)Multicommodity Flow Based Maximum Lifetime Routing in Wireless Sensor Network., и . ICPADS (1), стр. 187-194. IEEE Computer Society, (2006)