Axiomatic - PDFSEARCH.IO - Document Search Engine

Axiomatic
Results: 189

#	Item
111	Automatic Programming Using Axiomatic Language Walter W. Wilson & Yu Lei, The Univ. of Texas at Arlington This grand challenge seeks to improve programmer productivity and software reliability. We assert that the ideal p Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2013-01-14 11:58:09 Computer programming Formal specification Programming language Specification C Software development process Ada Algorithm Axiomatic system Computing Formal methods Software engineering
112	Implementation of Axiomatic Language Walter W. Wilson1 1 Dept. of Computer Science & Engineering The University of Texas at Arlington Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2011-07-17 21:01:28 Lisp programming language Formal languages Formal systems Functional languages Metalogic Prolog S-expression Lisp Programming language Software engineering Computer programming Computing
113	THE ENLIGHTENMENT REJECTION OF MAGIC: SCEPTICS AND THEIR MILIEUX IN EIGHTEENTH-CENTURY ENGLAND Rethinking Intellectual History Keynote address by Michael Hunter ABSTRACT: It once seemed axiomatic that the Enlightenment w Add to Reading List Source URL: sydney.edu.au Language: English - Date: 2015-01-18 17:23:47 Monotheism Monotheistic religions Theism Michael Hunter Deism Age of Enlightenment Enlightenment John Trenchard Occult British people Spirituality Philosophy of religion
114	On the Axiomatic Characterization of Runoff Voting Rules Rupert Freeman and Markus Brill and Vincent Conitzer Department of Computer Science Duke University Durham, NC 27708, USA {rupert,brill,conitzer}@cs.duke.edu Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2014-04-23 08:53:58 Voting system criteria Single winner electoral systems Voting systems Voting theory Independence of irrelevant alternatives Voting system Borda count Instant-runoff voting Single transferable vote Voting Social choice theory Political philosophy
115	/ams/production/journals/noti/pub-submit/noti-mar-fea-wightman/figures/WightmanAnnaGretaMorse.eps Add to Reading List Source URL: www.ams.org Language: English - Date: 2015-02-12 11:31:34 Arthur Wightman Constructive quantum field theory Ray Streater Wightman axioms Huzihiro Araki Arthur Jaffe Klaus Hepp Axiomatic quantum field theory Eugene Wigner Physics Quantum field theory Res Jost
116	Hensher ! References How to Make Cost-Axiomatic Pricing Work in the Real World of Transport Batsell, R Rand Louviere,J J[removed]Experimental analysis of choice, Marketing Add to Reading List Source URL: www.atrf.info Language: English - Date: 2011-12-22 17:40:56 Marketing Transport economics Transportation planning Competition Congestion pricing Outline of industrial organization Cost Full cost accounting Pricing Business Transport
117	PHYSICAL REVIEW A 86, [removed]Axiomatic geometrical optics, Abraham-Minkowski controversy, and photon properties derived classically I. Y. Dodin and N. J. Fisch Princeton Plasma Physics Laboratory, Princeton, New Add to Reading List Source URL: w3.pppl.gov Language: English - Date: 2012-12-10 16:02:15 Symbol Wave equation Dispersion Phase velocity Physics Wave mechanics Angular momentum
118	A SIGNIFICANT INSIGNIFICANCE: THE MEETING OF JACOB AND PHARAOH LEON KOSOFSKY It is virtually axiomatic that the Bible does not deal with trivialities. All that is recorded therein serves some purpose. There are hints on Add to Reading List Source URL: jbq.jewishbible.org Language: English - Date: 2010-03-18 04:19:33 Book of Exodus Hebrew Bible Bible Jacob Joseph Bo Moses Melchizedek Pharaoh Torah Book of Genesis Prophets of Islam
119	Microsoft Word - Revised Figure.doc Add to Reading List Source URL: www.econ.brown.edu Language: English - Date: 2010-05-26 22:25:58 Biology Catecholamines Dopamine Motivation Neurotransmitters Axiomatic system Neuroeconomics Expected utility hypothesis Utility Formal systems Mind Knowledge
120	Trust-based recommendation systems: an axiomatic approach Reid Andersen∗ Abraham Flaxman∗ Christian Borgs∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-01-13 21:45:10 Combinatorics Flow network Operations research Connectivity Directed acyclic graph Minimum cut Axiom Network theory Networks Graph theory Network flow Mathematics

UPDATE