42 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Maffei, Matteo. editor.
Format:
Electronic Resources
Alıntı:
Usage in Dynamic Access Control -- Information Leakage -- Compositional Synthesis of Leakage Resilient
Yazar
Badouel, Eric. author.
Format:
Electronic Resources
Alıntı:
Concurrency from Transition Systems -- Process Discovery -- Supervisory Control -- Design of Speed Independent
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Efficiency of Supervisory Control Synthesis -- Incremental development of a safety critical system combining
Yazar
Sukthankar, Gita. editor. (orcid)0000-0002-6863-6609
Format:
Electronic Resources
Alıntı:
experiments: a case study on the evolution of gamete dimorphism.-Cooperative Multi-Agent Control Using Deep
Yazar
Alvim, Mário S. editor.
Format:
Electronic Resources
Alıntı:
-- Verification and Control of Turn-Based Probabilistic Real-Time Games -- Refinement Metrics for Quantitative
Yazar
Howar, Falk. editor.
Format:
Electronic Resources
Alıntı:
Problem -- Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early
Yazar
D'Souza, Deepak. editor.
Format:
Electronic Resources
Alıntı:
-- Finding Polynomial Loop Invariants for Probabilistic Programs -- Synthesis of Optimal Resilient Control
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization
Yazar
Kao, Ming-Yang. editor.
Format:
Electronic Resources
Alıntı:
-- Randomization in Distributed Computing -- Schedulers for Optimistic Rate Based Flow Control -- Secretary
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems
Yazar
Yin, Hujun. editor. (orcid)0000-0002-9198-5401
Format:
Electronic Resources
Alıntı:
Control -- A Method based on Filter Bank Common Spatial Pattern for Multiclass Motor Imagery BCI -- Safe
Yazar
Yin, Hujun. editor. (orcid)0000-0002-9198-5401
Format:
Electronic Resources
Alıntı:
Electric Control Switches Based on YOLO Detector -- A Self-Generating Prototype method based on Information
42 sonuç bulundu