Modal - PDFSEARCH.IO - Document Search Engine

Modal
Results: 2914

#	Item
841	A Timed Logic for Modeling and Reasoning about Security Protocols★ Xinfeng Lei1 Rui Xue1 and Ting Yu2 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2010-12-21 21:08:46 Philosophical logic Model theory Burrows–Abadi–Needham logic Modal logic Protocol composition logic Communications protocol Public-key cryptography First-order logic Actor model Logic Cryptography Mathematical logic
842	Modal logic and navigational XPath: an experimental comparison Massimo Franceschet1,2 and Enrico Zimuel1,2 1 Informatics Institute, University of Amsterdam, Amsterdam, The Netherlands Add to Reading List Source URL: www.zimuel.it Language: English - Date: 2011-11-11 11:55:09 World Wide Web Consortium XPath 2.0 XPath XML tree XQuery Symbol Tree XPath 1.0 XML Computing Web standards
843	Some answers and more puzzles: Newly discovered modal categories and the history of the Iwaidjan verb system Robert Mailhammer Proceedings of Conference on Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2014-11-06 08:38:19 English modal verb Inflection Grammar Linguistics Tense–aspect–mood
844	English support ApS Business House (PO Box 618) Jernbanegade 23 B 4000 Roskilde from Add to Reading List Source URL: www.englishsupport.dk Language: English - Date: 2010-01-10 12:16:32 Auxiliary verb English modal verb Preposition and postposition Word order Linguistics Syntax Grammar
845	Middlesex University Research Repository An open access repository of Middlesex University research http://eprints.mdx.ac.uk Berger, Martin and Tratt, LaurenceProgram logics for Add to Reading List Source URL: eprints.mdx.ac.uk Language: English - Date: 2015-04-30 10:24:49 Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Type theory Lambda calculus Model theory Modal logic Logic Theoretical computer science Mathematical logic
846	www.shopvisible.com ECOMMERCE TIP SHEET: REDUCING CART ABANDONMENT 6 WAYS TO REDUCE CART ABANDONMENT BY BUILDING TRUST & INCREASING CONFIDENCE Add to Reading List Source URL: www.shopvisible.com Language: English - Date: 2014-07-29 11:29:36 Online shopping Cart Modal window PayPal Electronic commerce Business Technology
847	Microsoft Word - EUROCITIES Statement on Urban ITS and European multi-modal travel planning and information services.doc Add to Reading List Source URL: urban-intergroup.eu Language: English - Date: 2014-01-02 08:30:37 Route planning software Sustainable transport Urban studies and planning Intelligent transportation system Transport engineering Public transport Sustainable city Eurocities Journey planner Transport Environment Technology
848	The Cryosphere, 9, 905–923, 2015 www.the-cryosphere.netdoi:tc © Author(sCC Attribution 3.0 License. Multi-modal albedo distributions in the ablation area of the Add to Reading List Source URL: www.the-cryosphere.net Language: English - Date: 2015-05-07 04:19:03 Climate forcing Effects of global warming Cryosphere Hydrology Albedo Moderate-Resolution Imaging Spectroradiometer Ablation Climate model Black carbon Earth Atmospheric sciences Climatology
849	The Car and the Commute The journey to work in England and Wales Philip Gomm and Ivo Wengraf December 2013 Add to Reading List Source URL: www.racfoundation.org Language: English - Date: 2013-11-28 09:03:03 Modal share Passenger car Commuting Train London Mode of transport Elevator Transport Land transport Transportation planning
850	Multi-scale deep learning for gesture detection and localization 1,2 Natalia Neverova Add to Reading List Source URL: www.uoguelph.ca Language: English - Date: 2014-12-09 21:23:28 Non-classical logic Philosophical logic Gesture recognition Gesture Imaging Segmentation Logic Vision Modal logic

UPDATE