Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

Source URL: rjoshi.org

• Computing
• Software engineering
• Computer programming
• Inter-process communication
• UML state machine
• Message queue
• Message passing
• Event loop
• Futures and promises
• Monitor
• Scala
• High-Speed SECS Message Services

AnyChart™ Data Visualization Solutions Rockford Corp. Chooses AnyChart Solution for Industry’s First Online Woofer Modeling Application Rockford Corporation

Source URL: www.anychart.com

• JavaScript libraries
• AnyChart
• Acoustic Research
• Acoustics
• Rockford
• Illinois
• Geography of Illinois
• Computer programming
• Illinois

Learning gem5 – Part III Modeling Cache Coherence with Ruby and SLICC Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/

Source URL: learning.gem5.org

• Computing
• Computer architecture
• Computer engineering
• Cache coherence
• Cache coherency
• Concurrent computing
• Parallel computing
• Cache
• Controller
• CPU cache

Twelfth USA/Europe Air Traffic Management Research and Development Seminar (ATM2017) Topics and Trends in Incident Reports Using Structural Topic Modeling to Explore Aviation Safety Reporting System Data Kenneth D. Kuh

Source URL: www.atmseminarus.org

• Aviation safety
• Aviation
• Statistical natural language processing
• Transport
• Human behavior
• Aviation Safety Reporting System
• Aviation accidents and incidents
• Topic model
• Latent Dirichlet allocation
• Air traffic control
• Traffic collision avoidance system
• Airport

InsFtute
of
Molecular
Systems
Biology

 Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

Source URL: cloudbroker.com

• Cloud infrastructure
• IBM cloud computing
• Computing
• Cloud computing

Modeling and predicting retweeting dynamics via a mixture process Jinhua Gao, Huawei Shen, Shenghua Liu and Xueqi Cheng , {shenhuawei, liushenghua, cxq}@ict.ac.cn CAS Key Laboratory of Network

Source URL: gdac.uqam.ca

• Digital media
• Social networking services
• World Wide Web
• Software
• Microblogging
• Real-time web
• Blogging
• Facebook
• Reblogging
• Social media
• Twitter
• Economic model

Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS)

Source URL: rivoire.cs.sonoma.edu

• Server hardware
• Computer architecture
• Computing
• Itanium
• Blade server
• IBM System p

Alloy Modeling Language meets SMT-LIB Forrest Cinelli, Kyle McCormick, Dan Dougherty WPI NSF Supportand

Source URL: alloytools.org

• Mathematical logic
• Theoretical computer science
• Formal methods
• Constraint programming
• Alloy
• Massachusetts Institute of Technology
• Z notation
• Predicate logic
• SMT
• Predicate
• Constraint satisfaction problem
• Satisfiability modulo theories

Measuring and Modeling Transformations of Information Between Brain Regions with fMRI

Source URL: saxelab.mit.edu

• Computational neuroscience
• Neuroscience
• Nervous system
• Neuroimaging
• Magnetic resonance imaging
• Cognitive neuroscience
• Cognitive science
• Computational statistics
• Functional magnetic resonance imaging
• Artificial neural network
• Models of neural computation
• Principal component analysis

Modeling Individual Cyclic Variation in Human Behavior

Source URL: www.timalthoff.com