Toric Lego: a method for modular model building
نویسندگان
چکیده
منابع مشابه
A Proposed Model for Evaluating Modular Education
Introduction: Educational evaluation is one of the main elements of educational systems. It also has a particular role in different educational standards such as ISO 10015. It seems that oral and written examinations are not enough for an effective evaluation of instructions. In order to accomplish an efficient educational evaluation, an evaluation model was designed for educational assessment ...
متن کاملModular model building
Mathematical models are increasingly used in both academia and the pharmaceutical industry to understand how phenotypes emerge from systems of molecular interactions. However, their current construction as monolithic sets of equations presents a fundamental barrier to progress. Overcoming this requires modularity, enabling subsystems to be specified independently and combined incrementally, and...
متن کاملLego: a Modular Accelerator Design Code
An object-oriented accelerator design code has been designed and implemented in a simple and modular fashion. It contains all major features of its predecessors: TRACY and DESPOT. All physics of single-particle dynamics is implemented based on the Hamiltonian in the local frame of the component. Components can be moved arbitrarily in the three dimensional space. Several symplectic integrators a...
متن کاملDIVA: An Iterative Method for Building Modular Integrated Models
Integrated modelling of global environmental change impacts faces the challenge that knowledge from the domains of Natural and Social Science must be integrated. This is complicated by often incompatible terminology and the fact that the interactions between subsystems are usually not fully understood at the start of the project. While a modular modelling approach is necessary to address these ...
متن کاملImplementing a Model Checker for LEGO
Interactive theorem proving gives a general approach for modelling and veriication of both hardware and software systems but requires signiicant human eeorts to deal with many tedious proofs. To be used in practical, we need some automatic tools such as model checkers to deal with those tedious proofs. In this paper, we formalise a veriica-tion system of both CCS and an imperative language in L...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of High Energy Physics
سال: 2010
ISSN: 1029-8479
DOI: 10.1007/jhep01(2010)076