Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–396) ARITHMETIC MODELS FOR SHIMURA VARIETIES Georgios Pappas

Source URL: eta.impa.br

• Algebra
• Abstract algebra
• Geometry
• Group theory
• Lie groups
• Algebraic geometry
• Algebraic groups
• Shimura variety
• Reductive group
• Group action
• Group scheme
• Abelian variety

Developing Multiplayer Pervasive Games and Networked Interactive Installations using Ad hoc Mobile Sensor Nets Orestis Akribopoulos, Marios Logaras, Nikos Vasilakis, Panagiotis Kokkinos, Georgios Mylonas, Ioannis Chatzig

Source URL: nikos.vasilak.is

• Computing
• Gaming
• Mobile computers
• User interface techniques
• Information appliances
• Home video game consoles
• Ubiquitous computing
• Gameplay
• Location-based game
• Augmented reality
• Mobile game
• Context awareness

An Empirical Analysis of Anonymity in Zcash George Kappos, Haaroon Yousaf, Mary Maller, and Sarah Meiklejohn University College London {georgios.kappos.16,h.yousaf,mary.maller.15,s.meiklejohn}@ucl.ac.uk Abstract

Source URL: smeiklej.com

• Cryptocurrencies
• Exonumia
• Numismatics
• Money
• Zcash
• Bitcoin
• Kraken
• Monero
• Bitcoin Private

Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles Cumhur Erkan Tuncali, Theodore P. Pavlic and Georgios Fainekos Abstract— This paper proposes an approach to automatically generating

Source URL: www.public.asu.edu

• Computational science
• Applied mathematics
• Modeling and simulation
• Scientific modeling
• Simulation
• Computer simulation
• Control theory
• Self-driving car
• Systems science

Demo Abstract: Using Wireless Sensor Networks to Develop Pervasive Multi-player Games Orestis Akrivopoulos, Marios Logaras, Nikos Vasilakis, Panagiotis Kokkinos, Georgios Mylonas and Ioannis Chatzigiannakis

Source URL: nikos.vasilak.is

• Wireless networking
• Wireless sensor network
• Ubiquitous computing
• Gameplay
• Wireless
• Internet of things
• Ambient intelligence
• Terminology
• Technology
• Computing
• Sensor grid
• Wireless ad hoc network

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

Source URL: www.public.asu.edu

• Temporal logic
• Algebraic structures
• Mathematics
• Mathematical logic
• Theoretical computer science
• Linear temporal logic
• Logic in computer science
• Computation tree logic
• MVS
• Boolean domain
• Boolean algebra
• Finite-state machine

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

The SCAR Project Semantic Coloring of Academic References Angelo Di Iorio1, Freddy Limpens1, Agata Rotondi1, Pascal Coupet2, Georgios Tsatsaronis2 1DASPLab - Digital and Semantic Publishing Laboratory (University of Bolo

Source URL: workshop-oc.github.io

• Computing
• Web services
• Web standards
• Data
• Knowledge representation
• Semantic Web
• Resource Description Framework
• SPARQL
• Part-of-speech tagging
• Training
• test
• and validation sets

Hybrid Approximate Gradient and Stochastic Descent for Falsification of Nonlinear Systems Shakiba Yaghoubi and Georgios Fainekos Abstract— Studying transient properties of nonlinear systems is an important problem for

Source URL: www.public.asu.edu

• Applied mathematics
• Electrical engineering
• Epistemology
• Control engineering
• Control theory
• Cybernetics
• Global optimization
• Falsifiability
• Linear time-invariant system
• PROPT
• Conjugate gradient method

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

Source URL: www.public.asu.edu