Hybrid - PDFSEARCH.IO - Document Search Engine

Hybrid
Results: 12755

#	Item
21	Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2 Add to Reading List Source URL: repository.ist.ac.at Language: English - Date: 2017-06-29 11:28:39 Mathematics Geometry Algebra Analytic geometry Linear algebra Algebraic curves Cone Surfaces Conic section Convex cone Line Hybrid system
22	Opportunities and Research Challenges of Hybrid Software Defined Networks Stefano Vissicchio⇤ Laurent Vanbever Princeton University Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Network architecture Emerging technologies Computing Computer architecture Information and communications technology Configuration management Software-defined networking OpenFlow Network function virtualization Routing Big Switch Networks Computer network
23	ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2017-07-25 18:51:20 Complexity classes Differential equations Systems science Control theory Hybrid system Systems theory NL Reachability P Mathematics
24	Opportunities and Research Challenges of Hybrid Software Defined Networks Stefano Vissicchio∗ Laurent Vanbever Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:56:12 Network architecture Emerging technologies Computing Computer architecture Information and communications technology Configuration management Software-defined networking OpenFlow Network function virtualization Routing Big Switch Networks Computer network
25	LEXUS NX HYBRID LEXUS VOLLHYBRID-TECHNOLOGIE AKTUELLER DENN JE! JETZT PROFITIEREN VON CHF 10 000.– KUNDENVORTEIL! Add to Reading List Source URL: tools.lexus.ch Language: German - Date: 2018-05-17 09:53:56
26	SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems∗ Kyungmin Bae Peter Csaba Ölveczky Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21
27	dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Mathematics Dynamical systems Systems science Control theory Hybrid system Systems theory Satisfiability modulo theories
28	A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-23 02:52:18 Dynamical systems Systems science Systems theory Differential equations Control theory Hybrid system Metabolism Ariadne Verification Nonlinear system Coq Coenzyme Q10
29	A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54
30	HLBPR:A Hybrid Local Bayesian Personal Ranking Method Xu Chen1 13 Pengfei Wang2 Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:28:57 Collective intelligence Information science Recommender systems Collaboration Information retrieval Collaborative filtering