Results 211 to 220 of about 223,311 (249)

FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes

International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2014
FAUST $^{\mathsf 2}$ is a software tool that generates formal abstractions of possibly non-deterministic discrete-time Markov processes dtMP defined over uncountable continuous state spaces.
S. Soudjani, C.J.P. Gevaerts, A. Abate
semanticscholar   +1 more source

Quo Vadis Forensic Neuropsychological Malingering Determinations? Reply to Drs. Bush, Faust, and Jewsbury

Neuropsychology Review, 2023
C. Leonhard
semanticscholar   +1 more source

FAUST: Design and implementation of a pipelined RISC-V vector floating-point unit

Microprocessors and microsystems, 2023
Mate Kovač, L. Dragić, B. Malnar, Francesco Minervini, Oscar Palomar, Carlos Rojas, M. Olivieri, J. Knezović, M. Kovač   +8 more
semanticscholar   +1 more source

FAuST: Striking a Bargain between Forensic Auditing’s Security and Throughput

Asia-Pacific Computer Systems Architecture Conference, 2022
Muhammad Adil Inam, Akul Goyal, Jason Liu, Jaron Mink, Noor Michael, Sneha Gaur, Adam Bates, Wajih Ul Hassan   +7 more
semanticscholar   +1 more source

Dynamic FAUST: Registering Human Bodies in Motion

Computer Vision and Pattern Recognition, 2017
Federica Bogo, J. Romero, Gerard Pons-Moll, Michael J. Black   +3 more
semanticscholar   +1 more source

A faust architecture for the ESP32 microcontroller

, 2020
Romain Michon, Daniel Overholt, S. Letz, Y. Orlarey, D. Fober, Catinca Dumitrascu   +5 more
semanticscholar   +1 more source

An Extensive Finite-Difference Time-Domain Formalism for Second-Order Nonlinearities Based on the Faust-Henry Dispersion Model: Application to Terahertz Generation

, 2020
B. Carnio, A. Elezzabi
semanticscholar   +1 more source

NESTER/FAUST

Analytical Chemistry, 1970
openaire   +2 more sources

Faust

The Modern Language Journal, 1963
Ernst Rose, null Goethe, Walter Kaufmann
openaire   +1 more source

Faust

Books Abroad, 1954
W. A. W., J. W. Goethe, Louis Macneice
openaire   +1 more source