WE

Results: 198498



#Item
231Mathematical analysis / Mathematics / Mathematical logic / Set theory / Operator theory / Code / Inner model theory / Partial differential equations / Complex analysis / Omega-regular language / Differential forms on a Riemann surface

Lecture 20, Tues April 4: Shor, Quantum Fourier Transform Last time we started in on Shor’s algorithm, a quantum algorithm that can factor ​N​ into ​p​×​q​ in polynomial time by reducing the problem to per

Add to Reading List

Source URL: www.scottaaronson.com

Language: English - Date: 2018-08-26 18:23:30
232Mathematical analysis / Measure theory / Mathematics / Probability and statistics / Determinacy / Stochastic game / Strategy / Markov chain / Stochastic process / Support / Mathematical optimization / Statistical model

On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud

Add to Reading List

Source URL: www.prismmodelchecker.org

Language: English - Date: 2015-10-18 19:42:36
233Engineering / Mechanical engineering / Product lifecycle management / Reliability engineering / Technology / Maintenance / Caterpillar Inc. / Science and technology / Maintenance engineering / Mechanical aptitude

The Rossdown Group of Companies is a locally owned fourth generation business started in 1967, that has grown rapidly right here in the Fraser Valley! We carry traditional values and inhabit a family friendly environment

Add to Reading List

Source URL: www.rossdown.com

Language: English - Date: 2018-03-21 15:54:01
234PEPA / Process calculi / Process calculus / Client

State-Aware Performance Analysis with eXtended Stochastic Probes Allan Clark and Stephen Gilmore University of Edinburgh, Scotland Abstract. We define a mechanism for specifying performance queries which

Add to Reading List

Source URL: www.dcs.ed.ac.uk

Language: English - Date: 2008-10-06 04:40:04
235Mechanics / Physics / Classical mechanics / Robotic sensing / Mechanical engineering / Ballistics / Theory of relativity / Visual odometry / Trajectory / Inertial frame of reference / Data transformation / State observer

A Tutorial on Quantitative Trajectory Evaluation for Visual(-Inertial) Odometry Zichao Zhang, Davide Scaramuzza Abstract— In this tutorial, we provide principled methods to quantitatively evaluate the quality of an est

Add to Reading List

Source URL: rpg.ifi.uzh.ch

Language: English - Date: 2018-09-30 13:30:50
236Theoretical computer science / Computability theory / Computational complexity theory / Theory of computation / Constructivism / Fourier analysis / Formal methods / Computable number / Computable analysis / Computable function / NC / Modulus of continuity

δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21
237Quantum information science / Theoretical computer science / Quantum mechanics / Quantum computing / Superconducting quantum computing / Qubit / Quantum simulator / Quantum teleportation / Quantum algorithm / Trapped ion quantum computer / Quantum supremacy / D-Wave Systems

Lecture 29, Thurs May 4: Experimental Realizations of QC In this course, we’ve had 28 lectures about the theory of quantum computing and information. So it behooves us to take one lecture to survey the current state of

Add to Reading List

Source URL: www.scottaaronson.com

Language: English - Date: 2018-08-26 18:24:06
238Abuse / Bullying / Harassment

Free​ ​Geek​ ​Code​ ​of​ ​Conduct We​ ​strive​ ​to​ ​make​ ​Free​ ​Geek​ ​a​ ​welcoming,​ ​safe​ ​and​ ​comfortable​ ​space for​ ​everyone​​ ​(volunt

Add to Reading List

Source URL: www.freegeek.org

Language: English - Date: 2017-09-28 13:44:30
239Terms of service / Internet privacy / Law / Data security / Privacy law / Privacy / Medical privacy / Information privacy / HTTP cookie / Privacy concerns with social networking services / Do Not Track legislation

uBiome, Inc. PRIVACY POLICY uBiome, Inc. (“uBiome,” “we” or “us”) is committed to protecting your privacy. This Privacy Policy explains how information about you or associated with you is collected, used and

Add to Reading List

Source URL: ubiome-assets.s3.amazonaws.com

Language: English - Date: 2018-05-23 13:48:42
240Algebra / Mathematics / Abstract algebra / Algebraic topology / Topology / Category theory / Homotopy theory / Operad theory / Rational homotopy theory / Configuration space / Projection / Retract

Formality of a higher-codimensional Swiss-Cheese operad Najib Idrissi∗ September 20, 2018 We study configurations of points in the complement of a linear subspace

Add to Reading List

Source URL: idrissi.eu

Language: English - Date: 2018-10-19 04:32:45
UPDATE