Probabilistic design - PDFSEARCH.IO - Document Search Engine

Probabilistic design
Results: 75

#	Item
1	RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-09-12 07:46:02 Mathematical optimization Systems science Engineering Analysis Vilfredo Pareto Design of experiments Systems engineering Engineering statistics Pareto efficiency Optimal design PRISM model checker Reliability engineering
2	PS-1 Ultra Low-Power High-Speed Flexible Probabilistic Adder for Error-Tolerant Applications Add to Reading List Source URL: www.bpti.lt Language: English - Date: 2013-12-16 08:28:50 Computer networking Electronic design automation Network protocols Network on a chip Routing protocols Routing Router Packet switching Mesh networking
3	VOILAND COLLEGE OF ENGINEERING AND ARCHITECTURE Engineering and Technology Management COURSE SYLLABUS Course Number: E M 503 Course Name: Managing Variability Using Statistics Add to Reading List Source URL: etm.wsu.edu Language: English Psychometrics Design of experiments Statistical inference Data Statistics Probability Descriptive statistics Systems engineering Statistical hypothesis testing Analysis of variance Statistics education Probabilistic design
4	Formal Methods in System Design manuscript No. (will be inserted by the editor) Analyzing Probabilistic Pushdown Automata Tom´asˇ Br´azdil · Javier Esparza · Stefan Kiefer · Anton´ın Kuˇcera Add to Reading List Source URL: www.fi.muni.cz Language: English - Date: 2012-02-13 06:49:57
5	COLLABORATIVE RESEARCH CENTER 837 INTERACTION MODELING IN MECHANIZED TUNNELING RELIABILITY ANALYSIS OF Add to Reading List Source URL: sfb837.sd.rub.de Language: English - Date: 2015-09-28 04:10:05 Civil engineering Geotechnical engineering Engineering statistics Reliability engineering Probabilistic-based design optimization
6	Markov Models in Computer Vision Andrew Blake, Microsoft Research Cambridge Modern probabilistic modelling has revolutionized the design and implementation of machine vision systems. There are now numerous instances of s Add to Reading List Source URL: mlg.eng.cam.ac.uk Language: English - Date: 2009-09-04 11:08:00
7	Formal Methods in System Design manuscript No. (will be inserted by the editor) An Extension of the Inverse Method to Probabilistic Timed Automata ´ Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2012-08-01 09:09:03
8	A Bayesian Approach for the Detection of Code and Design Smells Foutse Khomh1,2 , St´ephane Vaucher2 , Yann-Ga¨el Gu´eh´eneuc1 , and Houari Sahraoui2 1 ´ Add to Reading List Source URL: swat.polymtl.ca Language: English - Date: 2009-06-30 00:04:36 Bayesian statistics Design of experiments Hypothesis testing Psychometrics Statistical hypothesis testing Statistical inference Bayesian network Bayesian probability Blob Probability distribution Probabilistic logic Prior probability
9	Yale University Department of Computer Science On Self Adaptive Routing in Dynamic Environments — An Evaluation and Design Using a Simple, Probabilistic Scheme Haiyong Xie Add to Reading List Source URL: www-net.cs.yale.edu Language: English - Date: 2004-07-30 13:30:39 Computer networking Internet Routing algorithms Routing Distance-vector routing protocol Open Shortest Path First Multipath routing Adaptive quality of service multi-hop routing Routing in delay-tolerant networking Routing protocols Network architecture Computing
10	Chapter 109 COGNITIVE ILLUSIONS RECONSIDERED GERD GIGERENZER, RALPH HERTWIG and ULRICH HOFFRAGE Max Planck Institute for Human Development, Berlin, Germany PETER SEDLMEIER Add to Reading List Source URL: library.mpib-berlin.mpg.de Language: English - Date: 2012-03-14 11:54:56 Statistical inference Psychometrics Design of experiments Hypothesis testing Conjunction fallacy Probabilistic logic Statistical hypothesis testing Gerd Gigerenzer Base rate fallacy Statistics Logic Bayesian statistics