Modal - PDFSEARCH.IO - Document Search Engine

Modal
Results: 2914

#	Item
791	On the Dialog Machine.msw.pdf Add to Reading List Source URL: www.sysecol.ethz.ch Language: English - Date: 2014-05-01 17:14:37 Graphical user interface elements Dialog box Open Programming Language Dialog Snippet Modal window Loadable kernel module Resource fork Window Software Computing System software
792	TECHNICAL MEETING Vibration Mitigation of a Bridge by use of a Tuned Mass Damper Date: Wednesday 25th July 2012 Add to Reading List Source URL: www.acoustics.asn.au Language: English - Date: 2012-07-11 10:26:53 Engineering Modal analysis Physics Tuned mass damper Vibration Structural dynamics Earthquake engineering Mechanical engineering Civil engineering
793	A Very Modal Model of a Modern, Major, General Type System Andrew W. Appel ∗ Paul-Andr´e Melli`es Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2006-10-27 11:28:34 Orbifold Symbol Metalogic Model theory Programming language semantics
794	PDF Document Add to Reading List Source URL: www.mayfieldmedia.co.uk Language: English - Date: 2014-06-13 03:37:30 Reed Hair Musical theatre Creativity Reed Exhibitions Nutley New Jersey Modal logic
795	PolicyCreating Safe, Sustainable, Multi-Modal Urban Transportation The National Association of City Transportation Officials (NACTO) is a coalition of America’s largest cities – hubs of economic activity, home Add to Reading List Source URL: nacto.org Language: English - Date: 2015-03-24 18:54:17 Transportation planning Transportation in the United States United States Metropolitan planning organization National Highway System United States Department of Transportation Infrastructure Smart growth National Infrastructure Reinvestment Bank Transport Sustainable transport Urban studies and planning
796	Rationality and Common Knowledge Herbert Gintis September 10, Introduction Interactive epistemology is the study of the distribution of knowledge among rational agents, using modal logic in the tradition of Hinti Add to Reading List Source URL: www.umass.edu Language: English - Date: 2009-09-10 13:40:36 Propositional calculus Common knowledge Game theory Knowledge Epistemic modal logic Modal logic Epistemology Entailment Interpretation Logic Mathematical logic Philosophical logic
797	Proceedings of the 2010 Conference on New Interfaces for Musical Expression (NIME 2010), Sydney, Australia Mmmmm: A Multi-modal Mobile Music Mixer Norma Saiph Savage Syed Reza Ali Add to Reading List Source URL: www.mat.ucsb.edu Language: English - Date: 2011-05-18 01:09:17 Smartphones Linux-based devices Mobile computers User interface techniques Nokia N900 Nokia N9 Mobile operating system Nokia Mobile phone Technology Electronic engineering Electronics
798	Discovering Classes of Strongly Equivalent Logic Programs∗ Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2005-05-27 05:14:47 Philosophical logic Logic in computer science Model theory Modal logic First-order logic Stable model semantics Intuitionistic logic Propositional calculus Theorem Logic Mathematical logic Non-classical logic
799	Dedalus: Datalog in Time and Space Peter Alvaro1, William R. Marczak1 , Neil Conway1 , Joseph M. Hellerstein1 , David Maier2 , and Russell Sears3 1 University of California, Berkeley {palvaro,wrm,nrc,hellerstein}@cs.berk Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-03-05 03:03:32 Science Logic programming Modal logic Predicate Stratification Logic Mathematics Datalog
800	Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic Malvin Gattinger1 and Jan van Eijck2 1 2 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-25 11:31:05 Model theory Philosophical logic Modal logic Interpretation Constructible universe Kripke semantics If and only if Golden ratio Valuation Logic Mathematical logic Mathematics

UPDATE