With - PDFSEARCH.IO - Document Search Engine

With
Results: 671344

#	Item
131	CALL FOR PAPERS 31. Annual Meeting of the Swiss Society for Medical Informatics September 11th and 12th 2018, Stade de Suisse, Bern In cooperation with Swiss eHealth Summit und HIMSS Add to Reading List Source URL: www.sgmi-ssim.org Language: English - Date: 2018-05-28 08:58:30 Healthcare Information and Management Systems Society Health informatics LAUNCH Health care
132	Lecture 27, Thurs April 27: Quantum Error Correction At the end of the last lecture, we discussed some of the difficulties with achieving a quantum speedup using currently available quantum computing devices, like D-Wave Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2018-08-26 18:23:59 Quantum information science Theoretical computer science Quantum mechanics Quantum computing Quantum error correction Qubit Quantum circuit Stabilizer code Quantum threshold theorem Superdense coding Quantum logic gate Superconducting quantum computing
133	Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:26 Proof assistants Theoretical computer science Logic in computer science Mathematical logic Isabelle Logic for Computable Functions Mathematics Resolution Constructible universe Theorem prover LCF Formal methods
134	ON PRIME FANO VARIETIES OF DEGREE 10 AND COINDEX 3 OLIVIER DEBARRE Abstract. We discuss the period maps of certain (complex) Fano fourfolds. The first part of this talk deals with cubic fourfolds. We recall their Hodge s Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2012-09-27 08:04:23 Abstract algebra Algebra Geometry Algebraic geometry Algebraic surfaces Hodge theory Projective geometry Birational geometry Fano variety Hodge conjecture Divisor Hodge structure
135	On the scaling limit of finite vertex transitive graphs with large diameter Itai Benjamini Romain Tessera∗ Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2015-12-08 04:42:27 Geometry Mathematics Graph theory Metric geometry Geometric group theory Group theory Permutation groups Topology Quasi-isometry GromovHausdorff convergence Vertex-transitive graph Group action
136	U.S. Customs and Border Protection, DHS; Treas. issued will not be applicable to any inbound or outbound flight, with respect to which CBP has not received the advance electronic cargo information required, respectively, Add to Reading List Source URL: www.gpo.gov Language: English - Date: 2018-08-15 07:30:12 Transport Aviation Human behavior Freight transport Air freight Air waybill Aviation law U.S. Customs and Border Protection Manifest Air cargo Advance Passenger Information System Airport
137	We are pleased to announce that METR has closed its seed round with three new investors on board. The three new investors are business angels who are well acquainted with both the German real estate and energy markets an Add to Reading List Source URL: metr.systems Language: English - Date: 2018-10-12 05:24:37 Utility submeter Water supply Inter Television
138	WebRelate: Integrating Web Data with Spreadsheets using Examples JEEVANA PRIYA INALA, MIT, USA RISHABH SINGH, Microsoft Research, USA Data integration between web sources and relational data is a key challenge faced by d Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Computer programming Formal languages Spreadsheet Regular expression Domain-specific language Data transformation Web scraping String Computer Scheme
139	Occipital Cortex of Blind Individuals Is Functionally Coupled with Executive Control Areas of Frontal Cortex Ben Deen, Rebecca Saxe, and Marina Bedny Abstract Add to Reading List Source URL: saxelab.mit.edu Language: English - Date: 2015-06-29 23:54:21 Brain Cerebrum Neuroscience Neuroimaging Magnetic resonance imaging Frontal lobe Resting state fMRI Occipital lobe Human brain Auditory cortex Inferior temporal gyrus Functional magnetic resonance imaging
140	Introduction Thereand Back Again Conclusions Integration of SMT Solvers with ITPs — Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2010-03-02 09:46:28 Theoretical computer science Logic in computer science Logic Formal methods Mathematics Automated theorem proving Metalogic Proof assistants Satisfiability modulo theories Solver Z3 Satisfiability

UPDATE