( en | de | ru )

 

Disambiguierung von "Bowman, Howard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Specification and Analysis of Automata-Based Designs.

, , , und . IFM, Volume 1945 von Lecture Notes in Computer Science, Seite 176-193. Springer, (2000)

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.

Howard Bowman

Brady Bowman

Benjamin Bowman

Howard Nelson

Howard Foster

 

Weitere Publikationen von Autoren mit dem selben Namen

Breaking the circularity in circular analyses: Simulations and formal treatment of the flattened average approach., , , , und . PLoS Comput. Biol., (2020)Incandescent Bulb and LED Brake Lights: Novel Analysis of Reaction Times., , , , und . IEEE Access, (2021)Realizing Active Inference in Variational Message Passing: The Outcome-Blind Certainty Seeker., , und . Neural Comput., 33 (10): 2762-2826 (2021)Branching time active inference: Empirical study and complexity class analysis., , und . Neural Networks, (2022)Investigating the Cognitive Response of Brake Lights in Initiating Braking Action Using EEG., , , und . IEEE Trans. Intell. Transp. Syst., 23 (8): 13878-13883 (2022)Branching Time Active Inference with Bayesian Filtering., , und . Neural Comput., 34 (10): 2132-2144 (2022)Incandescent Bulb and LED Brake Lights: Novel Analysis of Reaction Times., , , , und . CoRR, (2020)Deconstructing deep active inference., , , und . CoRR, (2023)Branching Time Active Inference: empirical study and complexity class analysis., , und . CoRR, (2021)Model checking stochastic automata., , und . ACM Trans. Comput. Log., 4 (4): 452-492 (2003)