Isabelle - PDFSEARCH.IO - Document Search Engine

Isabelle
Results: 1487

#	Item
671	Janet Laurence: Aesthetics of Care. In an age of ecological vulnerability, when climate change is a real threat to multiple species, a collective human hubris seems anachronistic. It must be time to put away false pride Add to Reading List Source URL: www.janetlaurence.com Language: English - Date: 2014-09-01 02:58:53 Aesthetics Isabelle Stengers Animal rights Gilles Deleuze Heideggerian terminology Quentin Meillassoux Martin Heidegger Art Philosophy Continental philosophy Western philosophy
672	MEDIENMITTEILUNG Anzahl der Zeichen inkl. Leerzeichen: ca. 1‘630 (Fliesstext) Neue Führung bei NÜSSLI Hüttwilen/Schweiz, 21. Mai[removed]Die NÜSSLI Gruppe ernennt Isabelle C. Nüssli zur Verwaltungsratspräsidentin Add to Reading List Source URL: www.nussli.com Language: German - Date: 2012-05-21 05:17:28
673	Assisted Proof Document Authoring David Aspinall1 , Christoph L¨ uth2 , and Burkhart Wolff3 1 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2006-09-27 08:42:21 Formal methods Automated theorem proving Complexity classes Functional languages Proof assistant Isabelle Theorem prover IP Literate programming Theoretical computer science Computing Software
674	Analysis of the IJCNN 2007 Agnostic Learning vs. Prior Knowledge Challenge Isabelle Guyon ClopiNet Berkeley, CA 94708, USA [removed] Add to Reading List Source URL: www2.mta.ac.il Language: English - Date: 2009-03-04 07:40:48 Data analysis Data mining E-learning Machine learning Data Education Science Knowledge
675	Journal of Machine Learning Research[removed]Submitted 4/00; Published[removed]Model Selection: Beyond the Bayesian/Frequentist Divide Isabelle Guyon Add to Reading List Source URL: www2.mta.ac.il Language: English - Date: 2009-12-11 08:50:58 Statistical theory Model selection Estimation theory Bayes factor Loss function Maximum likelihood Regularization Supervised learning Conjugate prior Statistics Machine learning Bayesian statistics
676	Evaluating the School Liaison Police Program - An example of action research in policing Victoria Herrington Isabelle Bartkowiak-Theron ANZSOC November 2008 Add to Reading List Source URL: www.anzsoc.org Language: English - Date: 2009-04-20 00:44:06 Ethics Law Crime New South Wales Police Force Violence
677	Langzeitsegeln Karibik mit Isabelle & Peter Kähr Freitag, 11. September[removed]Einladung folgt Add to Reading List Source URL: www.ccs-thunersee.ch - Date: 2014-12-24 04:20:16
678	What does a formal proof look like? This document shows a small example of a formal, machine-checked proof. The example we pick is the proof for a theorem of standard mathematics from Freek Wiedijk’s compilation The Se Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2015-03-30 23:03:08 Square root Greatest common divisor Number Mathematics Isabelle Mathematical proof
679	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics

UPDATE