E-LIB Suche - Ergebnisse für: Rosenblueth, David A.

1

Communication Pattern Logic: Epistemic and Topological View:

Castañeda, Armando ; van Ditmarsch, Hans ; Rosenblueth, David A..
Journal of Philosophical Logic. 52 (2023) 5 - p. 1445-1473 , 2023

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

2

Decentralized Asynchronous Crash-resilient Runtime Verifica..:

Bonakdarpour, Borzoo ; Fraigniaud, Pierre ; Rajsbaum, Sergio..
Journal of the ACM. 69 (2022) 5 - p. 1-31 , 2022

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

3

Verification and Simulation of Time-Domain Properties for M..:

, In: Communications in Computer and Information Science; Model-Driven Engineering and Software Development,

Carrillo, Miguel ; Estivill-Castro, Vladimir ; Rosenblueth, David A. - p. 225-249 , 2021

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

4

Random Networks with Quantum Boolean Functions:

Franco, Mario ; Zapata, Octavio ; Rosenblueth, David A..
Mathematics. 9 (2021) 8 - p. 792 , 2021

Link: https://doi.org/10.3390/..

5

Semantic reasoning in service robots using expert systems:

Savage, Jesus ; Rosenblueth, David A. ; Matamoros, Mauricio...
Robotics and Autonomous Systems. 114 (2019) - p. 77-92 , 2019

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

6

A greedy algorithm for decomposing large clothing orders in..:

Rosenblueth, David A.
ACM SIGAPP Applied Computing Review. 19 (2019) 3 - p. 45-51 , 2019

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

7

A greedy algorithm for decomposing large clothing orders in..:

Rosenblueth, David A.
ACM SIGAPP Applied Computing Review. 19 (2019) 3 - p. 45-51 , 2019

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

8

Griffin: A Tool for Symbolic Inference of Synchronous Boole..:

Muñoz, Stalin ; Carrillo, Miguel ; Azpeitia, Eugenio.
Frontiers in Genetics. 9 (2018) - p. , 2018

Link: https://doi.org/10.3389/..

9

Influence Networks Compared with Reaction Networks: Semanti..:

Fages, Francois ; Martinez, Thierry ; Rosenblueth, David A..
IEEE/ACM Transactions on Computational Biology and Bioinformatics. 15 (2018) 4 - p. 1138-1151 , 2018

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

10

Influence Networks Compared with Reaction Networks: Semanti..:

Fages, Francois ; Martinez, Thierry ; Rosenblueth, David A..
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB). 15 (2018) 4 - p. 1138-1151 , 2018

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

11

The combination of the functionalities of feedback circuits..:

Azpeitia, Eugenio ; Muñoz, Stalin ; González-Tokman, Daniel...
Scientific Reports. 7 (2017) 1 - p. , 2017

Link: https://doi.org/10.1038/..

12

Erratum: The combination of the functionalities of feedback..:

Azpeitia, Eugenio ; Muñoz, Stalin ; González-Tokman, Daniel...
Scientific Reports. 7 (2017) 1 - p. , 2017

Link: https://doi.org/10.1038/..

13

Deliberative Self-Organizing Traffic Lights with Elementary..:

Zapotecatl, Jorge L. ; Rosenblueth, David A. ; Gershenson, Carlos
Complexity. 2017 (2017) - p. 1-15 , 2017

Link: https://doi.org/10.1155/..

14

Editorial: Computational Methods for Understanding Complexi..:

Rosenblueth, David A.
Frontiers in Bioengineering and Biotechnology. 4 (2016) - p. , 2016

Link: https://doi.org/10.3389/..

15

Algorithms for Computational Biology

Second International Conference, AlCoB 2015, Mexico City, M... Lecture Notes in Computer Science ; 9199;SpringerLink, Bücher

Hernández-Quiroz, Francisco ; Rosenblueth, David A. ; Dediu, Adrian-Horia. , 2015

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