with

Results: 671344



#Item
131CALL 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

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
132Lecture 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

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
133Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber

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
134ON 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

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
135On the scaling limit of finite vertex transitive graphs with large diameter Itai Benjamini Romain Tessera∗

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
136U.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,

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
137We 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

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
138WebRelate: 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

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
139Occipital Cortex of Blind Individuals Is Functionally Coupled with Executive Control Areas of Frontal Cortex Ben Deen, Rebecca Saxe, and Marina Bedny Abstract

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
140Introduction Thereand Back Again Conclusions Integration of SMT Solvers with ITPs —

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