A multi-modal dance corpus for research into real-time interaction between humans in online virtual environments Slim Essid† , Xinyu Lin , Marc Gowing‡ , Georgios Kordelas? , Anil Aksay , Philip Kelly‡ , Thomas F

Source URL: embots.dfki.de

Rekonstruktion und Diskussion von Jaakko Hintikka: Semantics for Propositional Attitudes [In: J. W. Davis et al. (ed.): Philosophical Logic, Dordrecht 1969, 21–45. Wiederabdruck in: J. Linsky (ed.): Reference and Modal

Source URL: www.paul-natterer.de

Modal Analysis, Model Order Reduction and Uncertainty Quantification for Large-scale Power Systems Key words: eigencalculation, parameterization, large-scale, grid oscillations, uncertainty quantification, reduced bases

Source URL: chairerte.ec-nantes.fr

In cooperation with: Institute for Pure & Applied Mathematics An NSF Math Institute at UCLA

Source URL: www.forschungscampus-modal.de

Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France

Source URL: software.imdea.org

• Logic
• Mathematical logic
• Non-classical logic
• Philosophical logic
• Predicate logic
• Model theory
• First-order logic
• Barcan formula
• Modal logic
• KeY

892 IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS, VOL. 15, NO. 3, MAY/JUNE 2009 Modal Analysis of Photonic Crystal Double-Heterostructure Laser Cavities

Source URL: jdj.mit.edu

Introduction to Modal and Temporal Logic c Rajeev Gore´ Automated Reasoning Group Computer Sciences Laboratory Australian National University

Source URL: ssll.cecs.anu.edu.au

Impedance Modeling & Frequency Based Substructuring Peter Avitabile Modal Analysis and Controls Laboratory University of Massachusetts Lowell

Source URL: faculty.uml.edu

Modal Analysis and Controls Laboratory University of Massachusetts Lowell MACL MODAL ANALYSIS

Source URL: faculty.uml.edu

What You Submit is Who You Are: A Multi-Modal Approach for Deanonymizing Scientific Publications

Source URL: hexhive.github.io

• Machine learning
• Statistical classification
• Statistics
• Learning
• Parts of speech
• Data
• Support vector machine
• Classifier
• Multi-label classification
• K-nearest neighbors algorithm
• Cross-validation