E-matching for Fun and Profit Michał Moskal, Jakub Łopuszański, Joseph R. Kiniry

Source URL: www.lsi.upc.edu

• Logic
• Automated theorem proving
• Logic programming
• Combinatorial optimization
• Matching
• Substitution
• Mathematics
• Theoretical computer science

Distributed Systems, Failures, and Consensus Jeff Chase Duke University The Players

Source URL: www2.cs.duke.edu

• Inter-process communication
• Fault-tolerant computer systems
• Computer architecture
• Decentralization
• Distributed computing
• Computing
• Message passing
• Consensus
• Actor model
• Computer network
• Leader election
• Virtual synchrony

Replications of implicit theory of mind tasks with varying representational demands

Source URL: saxelab.mit.edu

• Cognitive science
• Neuropsychology
• Theory of mind
• Cognition
• Memory
• Child development

ΕΠΙΤΡΟΠΗ ΘΕΣΠΙΣΗΣ ΚΡΙΤΗΡΙΩΝ ΓΙΑ ΕΓΚΡΙΣΗ ΠΜΣ ΜΕ ΔΙΔΑΚΤΡΑ Η Επιτροπή επεξεργάσθηκε και υπέβαλε στο Συμβούλιο του Ιδρύματ

Source URL: council.dev.edu.uoc.gr

ACADEMIC PROGRAMS OFFERED AT THE UNIVERSITY OF HAWAI‘I CAMPUSES Applicants to UH Hilo, UH Ma¯noa, and UH West O‘ahu should go directly to the next page.

Source URL: www.hawaii.edu

• University of Hawaii
• University of Hawaii Maui College
• Bachelor of Applied Science
• University of Hawaii at Hilo
• Undergraduate education
• Academic degree
• Hawaii
• Education
• New Mexico Junior College
• Nueta Hidatsa Sahnish College

Application Power Signature Analysis Chung-Hsing Hsu∗ , Jacob Combs† , Jolie Nazor† , Fabian Santiago† , Rachelle Thysell† , Suzanne Rivoire† and Stephen W. Poole∗ ∗ Computer Science and Mathematics Divi

Source URL: rivoire.cs.sonoma.edu

• Cluster analysis
• Data mining
• Geostatistics
• Hierarchical clustering
• Data analysis
• Information science
• Principal component analysis
• Computational statistics
• Document clustering
• K-means clustering

to appear in Proceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE’04), Springer-Verlag LNCS, 2004. A Generative Approach to Aspect-Oriented Programming Douglas R.

Source URL: www.kestrel.edu

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• AspectJ
• Invariant
• Cross-cutting concern
• Pointcut

Lipschitz Robustness of Timed I/O Systems? Thomas A. Henzinger1 , Jan Otop1,2 and Roopsha Samanta1 1 2

Source URL: www.cs.purdue.edu

• Finite automata
• Finite-state transducer
• Timed automaton
• Finite-state machine
• Control theory
• XC
• Applied mathematics
• Mathematics
• Systems science
• Tree transducer

Microsoft Word - EMPLOYEE COMPLAINT FORM..docx

Source URL: police.stanford.edu

• Civil procedure
• Complaint

Theory of Mind (Neural Basis) Rebecca Saxe Department of Brain and Cognitive Sciences, MIT In Press at: Encyclopedia of Consciousness

Source URL: saxelab.mit.edu

• Neuroscience
• Cognitive science
• Theory of mind
• Cognition
• Nervous system
• Temporoparietal junction
• Cognitive neuroscience
• Belief
• Functional magnetic resonance imaging
• Epistemology
• Mental chronometry
• Cognitive dissonance