AnyChart™ Data Visualization Solutions IDS Chooses AnyChart for Its Reporting and Analysis Systems Independent Data Services

Source URL: www.anychart.com

• AnyChart
• Petroleum production
• Computing
• Wellsite information transfer standard markup language
• Visualization
• Data visualization
• Application software
• Communication design

2188 IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL. 26,

Source URL: wirelesslab.sjtu.edu.cn

The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden

Source URL: www.cs.utexas.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Methods of proof
• Boolean algebra
• Mathematical proofs
• Proof complexity
• Boolean satisfiability problem

Robustness Analysis of Networked Systems? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2 , and Swarat Chaudhuri3 1 University of Texas at Austin 2

Source URL: www.cs.purdue.edu

• Mathematics
• Elementary mathematics
• Formal languages
• Theoretical computer science
• Finite automata
• Linguistics
• Dynamic programming
• String
• Levenshtein distance
• Finite-state transducer
• Term
• Sequence

Tongtongcoin A Specialized cryptocurrency for Payment and Remittance Tongtongcoin is a decentralized Blockchain-based cryptocurrency devised to dramatically reduce transaction fees for existing payment systems such as c

Source URL: tongtongcoin.io

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Bitcoin
• Distributed computing
• Computing
• Alternative currencies
• Decentralization
• Smart contract
• Ethereum
• RootStock
• Proof-of-stake

Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE

Source URL: www.falkhowar.de

• Transport
• Land transport
• Automation
• Emerging technologies
• Road transport
• Modeling and simulation
• Advanced driver assistance systems
• Simulation
• Advanced driver-assistance systems
• Self-driving car
• Traffic
• Automated driving system

Task Scheduling and Trajectory Generation of Multiple Intelligent Vehicles Jennifer David Intelligent Systems Lab School of Information Technology Halmstad University

Source URL: icaps16.icaps-conference.org

• Scheduling
• Economy
• Business
• Human behavior
• Automated planning and scheduling
• Operations research
• Planning
• Schedule
• Motion planning
• Windows Task Scheduler
• Automated guided vehicle
• Robot

Reasoning about Cognitive Trust in Stochastic Multiagent Systems

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Linear temporal logic
• Computation tree logic
• Operator
• Cone
• Mathematics
• Mathematical logic
• Philosophy of science

How Much Faster Can We Go? A Technology Outlook Yusuf Leblebici Swiss Federal Institute of Technology (EPFL) Microelectronic Systems Laboratory

Source URL: www.hyperelliptic.org

• Electronic engineering
• Electrical engineering
• Electromagnetism
• Integrated circuits
• Digital electronics
• Logic families
• Semiconductor devices
• Central processing unit
• CMOS
• Transistor
• Bipolar junction transistor
• Alpha 21364

Malleable Proof Systems and Applications Melissa Chase (MSR Redmond) Markulf Kohlweiss (MSR Cambridge) Anna Lysyanskaya (Brown University) Sarah Meiklejohn (UC San Diego)

Source URL: smeiklej.com

• Cryptography
• S99