Systems - PDFSEARCH.IO - Document Search Engine

Systems
Results: 323656

#	Item
111	Exploring Limits to Prediction in Complex Social Systems Jake M. Hofman Travis Martin University of Michigan Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 01:32:49 Software Computing Digital media Social media Social networking services Business intelligence Real-time web Text messaging Twitter Predictive modelling Prediction Instagram
112	Hybrid Approximate Gradient and Stochastic Descent for Falsification of Nonlinear Systems Shakiba Yaghoubi and Georgios Fainekos Abstract— Studying transient properties of nonlinear systems is an important problem for Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2018-02-08 16:28:22 Applied mathematics Electrical engineering Epistemology Control engineering Control theory Cybernetics Global optimization Falsifiability Linear time-invariant system PROPT Conjugate gradient method
113	Natural Computing manuscript No. (will be inserted by the editor) Spatial P Systems Roberto Barbuti · Andrea Maggiolo-Schettini · Paolo Milazzo · Giovanni Pardini · Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Models of computation Mathematics Membrane technology Theoretical computer science Chemistry Membrane computing P system Multiset Canonical form Matrix Natural computing Membrane
114	c onfer e nc e p roceedi ngs Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation Santa Clara, CA, USA March 16–18, 2016 ISBN4 Add to Reading List Source URL: www.usenix.org Language: English - Date: 2017-07-14 07:19:47 Unix System administration USENIX ACM SIGOPS Computing Information technology
115	Compositional Semantics and Behavioral Equivalences for P Systems Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica Universit` a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Models of computation Chemistry Membrane technology Logic P system Mathematics Multiset Modal logic Membrane Mobile membranes Membrane computing
116	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: cubicle.lri.fr Language: English - Date: 2013-07-31 06:15:38 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
117	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-04-25 05:07:53 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
118	makes SAP as simple as Siri Good news for decision makers: Now they can easily call up the data stored in SAP® systems and visualize it in seconds instead of days. The solution developed by Swiss Startup Veezoo is simpl Add to Reading List Source URL: www.veezoo.com Language: English - Date: 2018-01-15 05:21:18 Economy Business F10 SIX Group Startup company SAP SE
119	2010 International Conference on Distributed Computing Systems Optimizing the Spatio-Temporal Distribution of Cyber-Physical Systems for Environment Abstraction Linghe Kong, Dawei Jiang, Min-You Wu Shanghai Jiao Tong Un Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2015-04-14 12:01:50 Knowledge representation Search algorithms Network theory Mathematics Connectivity Tree Breadth-first search Discrete mathematics Combinatorics Networks Centrality
120	Chapter 8 T Verification of Real-time Probabilistic Systems Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-04-01 04:16:38 Finite automata Probability theory Probability Timed automaton Markov processes Probabilistic automaton Markov decision process Model checking Automata theory Probabilistic logic

UPDATE