Modal - PDFSEARCH.IO - Document Search Engine

Modal
Results: 2914

#	Item
741	Belief Change and Cryptographic Protocol Verification Aaron Hunter and James P. Delgrande School of Computing Science Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-05-19 14:54:15 Burrows–Abadi–Needham logic Belief revision Epistemic modal logic Communications protocol Deniable authentication IP Cryptographic protocols Data Information
742	Factorized Multi-Modal Topic Model Seppo Virtanen1 , Yangqing Jia2 , Arto Klami1 , Trevor Darrell2 1 Helsinki Institute for Information Technology HIIT Department of Information and Compute Science, Aalto University Add to Reading List Source URL: daggerfs.com Language: English Topic model Statistics Latent Dirichlet allocation Modal logic Modality Linguistic modality KeY Perplexity Statistical natural language processing Logic Science
743	In ‘Assertion’, Robert Stalnaker distinguishes between the sema Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2009-04-20 07:12:56 Philosophical logic Modal logic Analytic philosophers Possibility Meaning Robert Stalnaker Possible world Semantics Truth Logic Philosophy Analytic philosophy
744	This is the author’s version of a work that was submitted/accepted for publication in the following source: Cairns, Nicola J., Pearcy, Mark J., Smeathers, James E., & Adam, Clayton JAbility of modal analysis t Add to Reading List Source URL: eprints.qut.edu.au Language: English - Date: 2012-11-09 00:05:26 Restorative dentistry Prosthetics Oral surgery Dental implant Osseointegration Prosthesis Modal testing Vibration Per-Ingvar Brånemark Medicine Dentistry Implants
745	Potentiality, Actuality, and Reality Abstract: The concepts of potentiality and actuality play an important role in the philosophy of Hyponoetics. This essay discusses the etymology and meaning of both concepts and defin Add to Reading List Source URL: www.hyponoesis.org Language: English - Date: 2014-12-15 16:09:58 Aristotelianism Natural philosophy Dichotomies Modal logic Potentiality and actuality Aristotle Nous Self-actualization Virtuality Philosophy Scholasticism Metaphysics
746	Design of a Test Facility for Vibration Isolator Characterisation J. D. Dickens, and C. J. Norwood 8hip8tructuresandMateriaisDivision Aeronautical and Maritime Research Laboratory, D8TO 506 Lorimer Street, FishermensBend Add to Reading List Source URL: www.acoustics.asn.au Language: English - Date: 2011-05-02 00:49:51 Vibration isolation Vibration Modal analysis Isolator Resonance Normal mode Fundamental frequency Modal testing Physics Mechanical engineering Earthquake engineering
747	He goes and I’m like: The new Quotatives re-visited Isabelle Buchstaller University of Edinburgh The new quotatives, like and go, have assumed quite a number of functions outside the quotative frame1. So far, all model Add to Reading List Source URL: www.lel.ed.ac.uk Language: English - Date: 2012-03-20 14:02:04 English grammar Like Complementizer Verbum dicendi Grammatical mood Quotative Auxiliary verb Grammaticalization English modal verb Linguistics Parts of speech Syntax
748	MOVING AUSTRALIA 2030 A Transport Plan for a Productive and Active Australia Our vision for moving people in Australia by 2030 is: >> An integrated and multi-modal transport system that will safely and efficiently move Add to Reading List Source URL: bikeoz.com.au Language: English - Date: 2013-08-05 05:23:31 Traffic congestion Public transport Transport Integration Act Urban planning in Australia Transport Sustainable transport Transportation planning
749	IEEE J-STSP SPECIAL ISSUE ON STATISTICAL LEARNING METHODS FOR SPEECH AND LANGUAGE PROCESSING 1 Speech Recognition with Flat Direct Models Patrick Nguyen, Member, IEEE, Georg Heigold, and Geoffrey Zweig, Senior Member, I Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-02-15 10:28:34 Markov models Abstract algebra Automatic identification and data capture Computer accessibility Speech recognition Hidden Markov model Mutual information Modal logic Exponentiation Mathematics Logic Computational linguistics
750	Using optimisation techniques for comparison of the accessibility criteria of facility siting scenarios; a case study of siting police stations in South Africa’s Bushbuckridge area. Tom de Jong1, Johan Maritz2 and Jan Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-02 17:00:00 Logic Accessibility Ergonomics Urban design Spatial distribution Knowledge Modal logic Statistics Spatial data analysis Transportation planning

UPDATE