E-LIB Suche - Ergebnisse für: Rubin, Benjamin

1

List of Contributors:

, In: Craniopharyngiomas,

Abdo do Seixo Kadri, Paulo ; Adamo, Matthew A. ; Adamski, Jennifer... - p. xi-xiv , 2015

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

2

Management of the Recurrence of Craniopharyngiomas:

, In: Craniopharyngiomas,

Rubin, Benjamin A. ; Kim, Irene ; Wisoff, Jeffrey H. - p. 419-425 , 2015

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

3

Israel

occupied territories

Rubin, Benjamin. (2009)

Link: http://opil.ouplaw.com/v..

4

The Extent and Economic Impacts of Soil Erosion in Costa Ri..:

, In: Quantifying Sustainable Development,

Rubin, Benjamin D. ; Hyman, Glenn G. - p. 449-471 , 2000

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

5

Stochastic Best-Effort Strategies for Borel Goals:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha. - p. 1-13 , 2023

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

6

$${\textsc {ltl}}_f$$ Synthesis Under Environment Specifica..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

Aminof, Benjamin ; De Giacomo, Giuseppe ; Di Stasio, Antonio... - p. 263-279 , 2023

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

7

Contributors:

, In: Scientific Principles of Adipose Stem Cells,

Abbott, Rosalyn D. ; Adem, Sandeep ; Al-Ghadban, Sara I.... - p. xi-xiii , 2022

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

8

List of Contributors:

, In: Plastic Surgery - Principles and Practice,

Adamthwaite, Jonathan ; Deek, Nidal Farhan AL ; Alhusainan, Hanan... - p. xii-xx , 2022

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

9

An Architecture for Human-Guided Autonomy: Team TROOPER at ..:

, In: Springer Tracts in Advanced Robotics; The DARPA Robotics Challenge Finals: Humanoid Robots To The Rescue,

Gray, Steven ; Chevalier, Robert ; Kotfis, David... - p. 549-582 , 2018

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

10

Quality-Time Tradeoffs in Component-Specific Mapping : H..:

, In: Proceedings of the 2017 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays,

Giesen, Hans ; Rubin, Raphael ; Gojman, Benjamin. - p. 85-94 , 2017

Link: https://dl.acm.org/doi/1..

11

Graded Strategy Logic : Reasoning about Uniqueness of Na..:

, In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,

Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello. - p. 698-706 , 2016

Link: https://dl.acm.org/doi/1..

12

Continuous Online Self-Monitoring Introspection Circuitry f..:

, In: 2016 IEEE 24th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM),

Giesen, Hans ; Gojman, Benjamin ; Rubin, Raphael.. - p. 111-118 , 2016

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

13

Pitfalls and Tradeoffs in Simultaneous, On-Chip FPGA Delay ..:

, In: Proceedings of the 2016 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays,

Linscott, Timothy A. ; Gojman, Benjamin ; Rubin, Raphael. - p. 100-104 , 2016

Link: https://dl.acm.org/doi/1..

14

Automatic Verification of Multi-Agent Systems in Parameteri..:

, In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,

Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha. - p. 1190-1199 , 2016

Link: https://dl.acm.org/doi/1..

15

Architectural Support for Software-Defined Metadata Process..:

, In: Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems,

Dhawan, Udit ; Hritcu, Catalin ; Rubin, Raphael... - p. 487-502 , 2015

Link: https://dl.acm.org/doi/1..