Temporal Logic Control under Incomplete or Conflicting Information Georgios Fainekos, and Herbert G. Tanner Abstract— Temporal logic control methods have provided a viable path towards solving the single- and multi-rob

Source URL: www.public.asu.edu

• Temporal logic
• Algebraic structures
• Mathematics
• Logic
• Metaphysics
• Linear temporal logic
• Logic in computer science
• Computation tree logic
• Non-classical logic
• Model checking
• Many-valued logic
• Lattice

IEEE COMPUTER ARCHITECTURE LETTERS, VOL. 11, NO. 2, JULY-DECEMBERIncluding Variability in Large-Scale Cluster Power Models

Source URL: rivoire.cs.sonoma.edu

• Concurrent computing
• Parallel computing
• Computing
• Computer architecture
• Cluster computing
• Fault-tolerant computer systems
• Computer cluster
• Supercomputer
• Scalability
• Data-intensive computing
• High-availability cluster
• MOSIX

北航接待外宾来访申报表（含保密承诺书） 外方单位名称 外宾国别

Source URL: id.buaa.edu.cn

GloVe: Global Vectors for Word Representation Jeffrey Pennington, Richard Socher, Christopher D. Manning Computer Science Department, Stanford University, Stanford, CA 94305 , , mann

Source URL: nlp.stanford.edu

• Algebra
• Mathematics
• Computational linguistics
• Linear algebra
• Natural language processing
• Artificial neural networks
• Machine learning
• Word2vec
• Word embedding
• Latent semantic analysis
• Vector space model
• GloVe

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s

Source URL: www.lsi.upc.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Formal methods
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Boolean satisfiability problem
• 120-cell
• Predicate

Minimizing Expected Losses in Perturbation Models with Multidimensional Parametric Min-cuts Adrian Kim, Kyomin Jung Seoul National University Seoul, South Korea

Source URL: www.cs.toronto.edu

• Estimation theory
• Econometrics
• Statistical inference
• M-estimators
• Loss function
• Maximum likelihood estimation
• Confidence interval

LNCSMildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars

Source URL: web.eecs.umich.edu

• Logic
• Mathematics
• Mathematical logic
• Formal languages
• Grammar frameworks
• Symbol
• Substitution
• Indexed grammar
• Table of stars with Bayer designations

Research Centre & SupervisorsNursing & Midwifery ECU and the City of Wanneroo to promote Age-Friendly Strategy in community

Source URL: www.ecu.edu.au

• Health
• Nursing
• Pediatric nursing
• Nurse education
• Midwife
• Marie Manthey
• Ronnie Lichtman

SYLLABUS Course title and number Term (e.g., Fall 200X) Meeting times and location CSCEAI Robotics

Source URL: faculty.cs.tamu.edu

• Robot
• Mobile robot
• Artificial intelligence
• Technology
• Science and technology
• Science

北京航空航天大学文件 北航外字„2015‟45 号 关于印发《北京航空航天大学 外事接待管理办法》的通知 各单位：

Source URL: id.buaa.edu.cn