Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

Source URL: pages.di.unipi.it

• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Mathematical logic
• Logical truth
• Propositional calculus
• Substitution
• Sequence
• LOOP
• Constructible universe
• Ground expression

3x5 Model for Building A Culture of Assessment 3 Domains x 5 Components per domain Foundation for assessment Mission centered – all assessment should be aligned with divisional mission

Source URL: assessment.syr.edu

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

Source URL: faculty.nps.edu

Bjorner DRAFT Mayinvisible Domain Analysis: Endurants An Analysis & Description Process Model Dines Bjørner

Source URL: www.imm.dtu.dk

Spatial frequency domain imaging of burn wounds in a preclinical model of graded burn severity John Quan Nguyen Christian Crouzet Tuan Mai

Source URL: pubs.bli.uci.edu

1 Domain Analysis An Analysis Process Model Dines Bjørner

Source URL: www.imm.dtu.dk

CHAPTER X: A Hierarchical Biased-Competition Model of Domain-Dependent Working Memory Maintenance and Executive Control. Authors: Susan M. Courtney, Jennifer K. Roth, Joseph B. Sala X.1 INTRODUCTION: DEFINING WORKING MEM

Source URL: krieger2.jhu.edu

Higher-Order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages Bernhard Hoisl1,2 , Stefan Sobernig1 , and Mark Strembeck1,2 1 Institute for Information Systems and New Media, WU Vie

Source URL: wi.wu.ac.at

To appear in AAAI 2007 Senior Member Track Model-lite Planning for the Web Age Masses: The Challenges of Planning with Incomplete and Evolving Domain Models Subbarao Kambhampati∗

Source URL: rakaposhi.eas.asu.edu

Model-driven and Domain-specific Architectural Knowledge View for Compliance Meta-data in Process-driven SOAs Ta’id Holmes, Huy Tran, Uwe Zdun, and Schahram Dustdar Distributed Systems Group Institute of Information Sy

Source URL: eprints.cs.univie.ac.at