E-LIB Suche - Ergebnisse für: Vardi, Moshe Y.

1

Is Computing a Discipline in Crisis?:

Vardi, Moshe Y.
Communications of the ACM. , 2024

Link: https://doi.org/10.1145/..

2

More Is Different, in Social Media Too:

Vardi, Moshe Y.
Communications of the ACM. 67 (2024) 5 - p. 5-5 , 2024

Link: https://doi.org/10.1145/..

3

Human Intuition and Algorithmic Efficiency Must Be Balanced..:

Strelzoff, Andrew ; Trump, Benjamin D. ; Cummings, Christopher L....
Communications of the ACM. 67 (2024) 5 - p. 48-51 , 2024

Link: https://doi.org/10.1145/..

4

Ising model partition-function computation as a weighted co..:

Nagy, Shaan ; Paredes, Roger ; Dudek, Jeffrey M...
Physical Review E. 109 (2024) 5 - p. , 2024

Link: https://doi.org/10.1103/..

5

The effect of advanced age on peri- and post-operative comp..:

Goni, Shelef ; Matan, Rotchild ; Shanny, Sade..
Archives of Gynecology and Obstetrics. 309 (2024) 5 - p. 2247-2252 , 2024

Link: https://doi.org/10.1007/..

6

What Do Computing and Economics Have to Say to Each Other?:

Vardi, Moshe Y.
Communications of the ACM. 67 (2024) 3 - p. 5-5 , 2024

Link: https://doi.org/10.1145/..

7

Assessment of POL Technology for SiC-based Integrated Modul..:

, In: 2024 IEEE 10th International Power Electronics and Motion Control Conference (IPEMC2024-ECCE Asia),

Vardi, H. ; Lee, Y. ; Castellazzi, A. - p. 3706-3712 , 2024

Link: https://doi.org/10.1109/..

8

Singly exponential translation of alternating weak Büchi au..:

Li, Yong ; Schewe, Sven ; Vardi, Moshe Y.
Theoretical Computer Science. 1006 (2024) - p. 114650 , 2024

Link: https://doi.org/10.1016/..

9

Logical Algorithmics: From Theory to Practice (Invited Talk:

Vardi, Moshe Y
Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). , 2024

Link: https://doi.org/10.4230/..

10

Model Checking Strategies from Synthesis over Finite Traces:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Bansal, Suguman ; Li, Yong ; Tabajara, Lucas M... - p. 227-247 , 2023

Link: https://doi.org/10.1007/..

11

Resilience: The Key to Planetary and Societal Sustainabilit:

, In: Introduction to Digital Humanism,

Vardi, Moshe Y. - p. 373-382 , 2023

Link: https://doi.org/10.1007/..

12

ACM for the Public Good:

Vardi, Moshe Y.
Communications of the ACM. 66 (2023) 5 - p. 5-5 , 2023

Link: https://doi.org/10.1145/..

13

Extracting generalizable skills from a single plan executio..:

, In: 2023 IEEE International Conference on Robotics and Automation (ICRA),

Elimelech, Khen ; Kavraki, Lydia E. ; Vardi, Moshe Y. - p. 5772-5778 , 2023

Link: https://doi.org/10.1109/..

14

What Came First, Math or Computing?:

Vardi, Moshe Y.
Communications of the ACM. 66 (2023) 11 - p. 5-5 , 2023

Link: https://doi.org/10.1145/..

15

Compositional Safety LTL Synthesis:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments.,

Bansal, Suguman ; De Giacomo, Giuseppe ; Di Stasio, Antonio... - p. 1-19 , 2023

Link: https://doi.org/10.1007/..