Yazar
Lintas, Alessandra. editor.
Format:
Electronic Resources
Alıntı:
-- Neuromorphic Hardware -- Brain Topology and Dynamics -- Neural Networks Meet Natural and Environmental Sciences
Yazar
Lintas, Alessandra. editor.
Format:
Electronic Resources
Alıntı:
-- Neuromorphic Hardware -- Brain Topology and Dynamics -- Neural Networks Meet Natural and Environmental Sciences
View Other Search Results
Yazar
Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
Format:
Electronic Resources
Alıntı:
Relational Rules -- Learning Dynamics with Synchronous, Asynchronous and General Semantics -- Was the Year
Yazar
Češka, Milan. editor. (orcid)0000-0002-0300-9727
Format:
Electronic Resources
Alıntı:
-- Deep Abstractions of Chemical Reaction Networks -- Derivation of A Biomass Proxy for Dynamic Analysis
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
-- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of
Yazar
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
Format:
Electronic Resources
Alıntı:
dynamics, term rewriting, transducers, trees, tree languages and tree automata, and weighted automata.
Yazar
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
Maneuvers for Non-Deterministic, Accelerating Aircraft Dynamics -- Using Abstract Stobjs in ACL2 to Compute
Yazar
Hoshi, Mizuho. editor.
Format:
Electronic Resources
Alıntı:
; efficient text algorithms; symbolic dynamics; decision problems; relationships to complexity theory and
Yazar
Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912
Format:
Electronic Resources
Alıntı:
Locomotion with Soft Biorobotic Appendages -- Tuning a robot servomotor to exhibit muscle-like dynamics
Yazar
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
Format:
Electronic Resources
Alıntı:
Heuristic -- A Security-Driven Approach to Online Job Scheduling in IaaS Cloud Computing Systems -- Dynamic
Yazar
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
Format:
Electronic Resources
Alıntı:
-- Synchronization under control in complex networks for a panic model -- Personalized Ranking in Dynamic Graphs
Yazar
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
Format:
Electronic Resources
Alıntı:
molecular-dynamics simulations -- Load balancing for CPU-GPU coupling in Computational Fluid Dynamics
Arama Sonuçlarını Sınırlandır
Daraltılmış: