منابع مشابه
A Generic Software Architecture for Prognostics (GSAP)
Prognostics is a systems engineering discipline focused on predicting end-of-life of components and systems. As a relatively new and emerging technology, there are few fielded implementations of prognostics, due in part to practitioners perceiving a large hurdle in developing the models, algorithms, architecture, and integration pieces. Similarly, no open software frameworks for applying progno...
متن کاملIntroducing TRIM
We present TRIM, an abstract machine capable of executing a subset of the algebraic speci cation language OBJ3. A speci cally designed compiler translates the order sorted conditional equations of an OBJ3 speci cation into TRIM code. The fact that TRIM supports order sorted term rewriting natively di erentiates it from many other abstract term rewriting machines. To obtain more e cient abstract...
متن کاملIntroducing, OncoTarget
Previous decades have witnessed intensive accumulation of knowledge on oncogenes, oncoproteins, tumor suppressors, signal transduction, cellular processes (such as proliferation, differentiation, apoptosis, autophagy, migration), cellular responses (such as DNA damage, heat shock responses), intercellular interactions (cell-cell communications), and the function and dysfunction of cells and org...
متن کاملIntroducing IYOUIT
We present IYOUIT, a prototype service to pioneer a context-aware mobile digital lifestyle and its reflection on the Web. The application is based on a distributed infrastructure that incorporates Semantic Web technologies in several places to derive qualitative interpretations of a user’s digital traces in the real world. Networked components map quantitative sensor data to qualitative abstrac...
متن کاملIntroducing VAUCANSON
This paper reports on a new software platform called Vaucanson and dedicated to the computation with automata and transducers. Its main feature is the capacity of dealing with automata whose labels may belong to various algebraic structures. The paper successively describes the main features of the Vaucanson platform, including the fact that the very rich data structure used to implement automa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science-Business eXchange
سال: 2010
ISSN: 1945-3477
DOI: 10.1038/scibx.2010.1082