Modal - PDFSEARCH.IO - Document Search Engine

Modal
Results: 2914

#	Item
171	The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Rules of inference Resolution Model theory Logic in computer science Logic programming First-order logic Modal logic Prolog E theorem prover Superposition calculus CARINE
172	Knowledge Centre WMC Full-scale wind turbine rotor blade testing Add to Reading List Source URL: www.wmc.eu Language: English - Date: 2016-07-14 10:15:42 Aerodynamics Fatigue Helicopter rotor Modal analysis Wind turbine
173	DNA Results Commentary The Warburton DNA project is hosted by Family Tree DNA and they provide access to the project’s results. This document is both a guide to the results on the Family Tree DNA website, and an additi Add to Reading List Source URL: warburton.one-name.net Language: English - Date: 2016-04-27 12:03:41 Genetic genealogy Population genetics Human evolution DNA Classical genetics Human Y-chromosome DNA haplogroup Haplotype Haplogroup R1b Haplogroup Single-nucleotide polymorphism Modal haplotype Genealogical DNA test
174	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function
175	Linear unary operators in process algebra Linear unary operators in process algebra Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:42:47 Operator theory Algebra of Communicating Processes Process calculi Abstract algebra Modal logic Von Neumann algebra Algebra Unary operation
176	Investigating Pedal Errors and Multi-modal Effects: Driving Testbed Development and Experimental Analysis Add to Reading List Source URL: cvrr.ucsd.edu Language: English - Date: 2012-09-25 16:19:12 Cognitive science Car safety Perception Sensory systems Driving simulator Sudden unintended acceleration Sensory cue Emergency brake assist Brake Eye tracking Anti-lock braking system Automobile safety
177	Detecting Non-modal Phonation in Telephone Speech Tae-Jin Yoon1 , Jennifer Cole2 , & Mark Hasegawa-Johnson3 Department of Linguistics1,2 ; Department of Electrical and Computer Engineering3 University of Victoria, Canada Add to Reading List Source URL: prosody.beckman.illinois.edu Language: English - Date: 2009-05-04 17:20:42 Phonation Creaky voice Harsh voice Vocal fry register Murmured voice Tone Vowel Modal voice Glottalization Human voice
178	Zapotec English Spanish Modal Add to Reading List Source URL: www.phonetics.ucla.edu Language: English - Date: 2012-04-30 23:10:02 Mexican cuisine Appetizers Flatbreads Tortilla Wheat tortilla Corn tortilla Petate Chapulines
179	Chapter 19 Structural Modal Identification Through High Speed Camera Video: Motion Magnification Justin G. Chen, Neal Wadhwa, Young-Jin Cha, Frédo Durand, William T. Freeman, and Oral Buyukozturk Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-04-30 16:30:08 Measuring instruments Measurement Accelerometers Laser Doppler vibrometer Modal analysis Vibration Interferometry Normal mode Laser Modal testing Optics Laser scanning vibrometry
180	Variations on a Theme by Yablo Hartry Field Naive truth theory is, roughly, the theory of truth that in classical logic leads to well-known paradoxes (such as the Liar paradox and the Curry paradox). One response to thes Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Non-classical logic Philosophical logic Model theory Mathematical logic Logical connectives Saul Kripke Modal logic First-order logic Truth function Negation Logic Liar paradox

UPDATE