Applying a Grouping Operator in Model Transformations Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, and Gabor Karsai Institute for Software Integrated Systems, 2015 T

Source URL: www.isis.vanderbilt.edu

• Graph rewriting
• Port
• Function
• Mathematics
• Two-port network
• Dataflow

Towards Specification of Program Synthesis in Model-Integrated Computing Gabor Karsai, Janos Sztipanovits Measurement and Computing Lab Vanderbilt University PO-Box 1824

Source URL: www.isis.vanderbilt.edu

• Scientific modeling
• Systems engineering
• Modeling language
• Conceptual model
• Visual programming language
• Decomposition
• Scientific modelling
• Component-based software engineering
• Entity-relationship model
• Software engineering
• Object-oriented programming
• Computing

Applying a Grouping Operator in Model Transformations Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, and Gabor Karsai Institute for Software Integrated Systems, 2015 T

Source URL: www.isis.vanderbilt.edu

• Graph rewriting
• Port
• Function
• Mathematics
• Two-port network
• Dataflow

SPECIAL FOCUS Facilitating Hospital Emergency Preparedness: Introduction of a Model Memorandum of Understanding James G. Hodge Jr, JD, LLM; Evan D. Anderson, JD; Thomas D. Kirsch, MD, MPH, FACEP; Gabor D. Kelen, MD, FRC

Source URL: www.law.asu.edu

• Emergency management
• Emergency medicine
• Disaster preparedness
• Incident management
• United States Department of Homeland Security
• Disaster medicine
• National Incident Management System
• Hospital incident command system
• Mass-casualty incident
• Medicine
• Health
• Public safety

Texture Features for Browsing and Retrieval of Image Data [Short Papers] - Pattern Analysis and Machine Intelligence, IEEE Transactions on

Source URL: vision.ece.ucsb.edu

• Artificial intelligence applications
• Imaging
• Gabor filter
• Functional analysis
• Content-based image retrieval
• Wavelet
• Image retrieval
• Facial recognition system
• Image search
• Artificial intelligence
• Vision

1 Rapid Property Specification and Checking for Model-Based Formalisms Daniel Balasubramanian, Gabor Pap, Harmon Nine, Gabor Karsai

Source URL: www.isis.vanderbilt.edu

• Software
• Model checkers
• Software testing
• Model checking
• Simulink
• Java Pathfinder
• SPIN model checker
• Constraint automaton
• Software verification
• Automata theory
• Theoretical computer science
• Computing

Accreditation Response Team -- Record of Meeting July 11, 2012, 1:30-4pm, MUB140 Attendees: Jorge Bell, Lauren Bell, Natalie Berg, John Bilmont, Tom Boegel, Kristin Charles, Ms. Bob Davis, Atilla Gabor, Grace Esteban, Ha

Source URL: www.ccsf.edu

Calmodulin in Complex with Proteins and Small Molecule Ligands: Operating with the Element of Surprise. Implications for Structure-Based Drug Design Dóra K.Menyhárd1, György M. Keserű1,2and Gábor Náray-Szabó3,4* 1

Source URL: real.mtak.hu

• Signal transduction
• Proteins
• Calcium signaling
• Calmodulin
• Cell signaling
• IQ calmodulin-binding motif
• EF hand
• Ca2+/calmodulin-dependent protein kinase
• Anthrax toxin
• Biology
• Cell biology
• Protein domains

An Application Development and Deployment Platform for Satellite Clusters Daniel Balasubramanian, William Emfinger, Pranav Kumar, William Otte, Abhishek Dubey, Gabor Karsai ISIS, Dept of EECS, Vanderbilt University, Nash

Source URL: www.isis.vanderbilt.edu

• Parallel computing
• Component-based software engineering
• Object-oriented programming
• ARINC
• Computer cluster
• Middleware
• Application software
• Fractionated spacecraft
• Job scheduler
• Computing
• Software engineering
• Software architecture

Daniele Miorandi, Louay Bassbouss, Heiko Pfeffer, Paolo Dini, Gabor Horvath, Silvia Elaluf-Calderwood, Daniel Schreckling, Lidia Yamamoto BIONETICS D.3.2.7: autonomic services within the BIONETS SerWorks architecture

Source URL: eprints.lse.ac.uk

• Autonomic computing
• Distributed computing architecture
• Computing
• Service-oriented architecture
• VTT Technical Research Centre of Finland
• Software engineering
• Information technology governance
• Autonomic networking
• Artificial intelligence
• Information technology management
• Enterprise application integration