منابع مشابه
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...
متن کاملIntroducing Worm
In 1963 Sydney Brenner proposed to study the development of multi-cellular organisms using a genetic approach in a simple animal. He settled on a small, transparent nematode, Caenorhabditis elegans, which develops quickly and is anatomically simple with less than a thousand somatic cells. Almost half a century later there are many more researchers studying C. elegans than there are somatic cell...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics Magazine
سال: 2019
ISSN: 0025-570X,1930-0980
DOI: 10.1080/0025570x.2019.1542215