foundations - PDFSEARCH.IO - Document Search Engine

foundations
Results: 7355

#	Item
391	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
392	Ten Reasons to Start a Fund 10. Efficiency A fund at The Dallas Foundation is a simple and effective way to put your charitable assets to work and is a Add to Reading List Source URL: www.dallasfoundation.org Language: English - Date: 2013-07-19 17:30:22 Council on Foundations Foundations Illinois Prairie Community Foundation
393	Codes April 12, Sanjeev Arora, L´ aszl´ o Babai, Jacques Stern, and Z. (Elizabeth) Sweedyk. The hardness of approximate optima in lattices, codes, and systems of linear Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-04-12 03:21:38 Babai Symposium on Foundations of Computer Science
394	Microsoft Word - 06-3E_Foundations&Piles Add to Reading List Source URL: www.washington.edu Language: English - Date: 2015-08-04 13:20:36 Real estate Construction Engineering Geotechnical engineering Concrete Structural engineering Civil engineering Deep foundation Continuous flight augering Auger Grout Foundation
395	The Nature of Time and the Structure of Space Julian Barbour Full Proposal for FQXi Time and Foundations Two-Year Grant commencing 1st JanuaryResearch to be done by Julian Barbour, Visiting Professor in Physics at Add to Reading List Source URL: www.platonia.com Language: English - Date: 2011-04-03 13:00:57 Physics Theoretical physics Quantum gravity Physics beyond the Standard Model General relativity Theories of gravitation Special relativity Canonical quantum gravity Spacetime Minkowski space Theory of relativity Julian Barbour
396	Colocation Solutions State-of-the-art facilities. Global footprint. Bulletproof resilience. The foundations your business needs to compete in the always-on economy. Unstoppable IT for the Unstoppable Business Era Add to Reading List Source URL: www.cogecopeer1.com Language: English - Date: 2016-07-20 15:41:28 Computing Internet hosting Data centers Colocation centre Web hosting Peer 1 Cogeco
397	Introduction Continuous State Space Models Case Study in Web Services Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:37:25 Probability theory Markov models Markov processes Probability Engineering Stochastic processes Process calculi PEPA Jane Hillston Markov chain Queueing theory Laboratory for Foundations of Computer Science
398	239 Documenta Math. Ronald Graham: Laying the Foundations of Online Optimization Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2012-07-25 10:25:05 Scheduling Operations research Mathematics Applied mathematics Computer science Makespan Online algorithm Job Competitive analysis Algorithm Optimization problem Job shop scheduling
399	COMMUNITY FOUNDATION OF THE LOWCOUNTRY, INC Add to Reading List Source URL: www.cf-lowcountry.org Language: English - Date: 2016-04-21 10:39:00 Council on Foundations Foundations Stefan Batory Foundation
400	Book Review: Shaky Foundations: The Politics-Patronage-Social Science Nexus in Cold War America Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2013-11-29 10:08:15 Academia Education Social science Discipline Social theory Social engineering Conservatism in the United States Political science

UPDATE