We introduce METAMorph, an open source software platform for the experimental design of simulated cellular development processes using genomes encoded as genetic regulatory networks (GRNs). METAMorph allows researchers to design GRNs by hand and to visualise the resulting morphological growth process. As such, it is a tool to aid researchers in developing an understanding of the expressive prop...

The radiographic appearance of the petrotympanic fissure, through whic h the chorda tympani nerve exits the tympanic cavity, is familiar to radiologists as a normal struc ture, not to be mistaken for a frac ture of the anterior wall of the external auditory canal [1, 2). However, th e rad iographic demonstration of the canaliculus chordae tympan i, the bony canal which transmits the chorda tymp...

Sather extends the notion of an iterator in a powerful new way. We argue that iteration abstractions belong in class interfaces on an equal footing with routines. Sather iterators were derived from CLU iterators but are much more exible and better suited for object-oriented programming. We retain the property that iterators are structured, i.e., strictly bound to a controlling struc-tured state...

The MyView project aims at the integration of both struc-tured and unstructured bibliographic information from a diversity of heterogeneous Internet repositories like electronic journals and traditional libraries. Based on the user's individual information need MyView maintains a personalized warehouse for bibliographic data in a uniied scheme, which is locally available for browsing, ad hoc qu...

Since we consider theory reenement (TR) as a possible key concept for a methodologically clear view of knowledge-base maintenance, we try to give a struc-tured overview about the actual state-of-the-art in TR. This overview is arranged along the description of TR as a search problem. We explain the basic approach, show the variety of existing systems and try to give some hints about the directi...

The differentiability properties of the metric projection Pc on a closed convex set C in Hilbert space are characterized in terms of the smoothness type of the boundary of C. Our approach is based on using variational type second derivatives as a sufficiently flexible tool to describe the boundary struc ture of the set C with regard to the differentiability of Pc. We extend results by R.B. Holm...

An existing procedure to compute left Kan extensions over the ground category Set also computes left Kan extensions over the ground categories Cat, 2-Cat, n-Cat for any n and indeed !-Cat. Therefore extension data struc-tured in this manner already can make use of the left Kan extension notion of a best possible approximation. Examples include systems of labeled transition systems and certain h...

The authors describe the main stages of competitiveness management corporate structures Russian Federation since 90's 20th century. For time in- terval from 2013 to 2020 inclusive, dynamics specific investment in innovation (%) total costs industrial Feder- ation is presented and an economic statistical function impact innovative activity these on average level return assets obtained. share glo...

Ab stract Adopt ing a ma te ri al ist ap proach to the mind has far reach ing im pli ca tions for many pre sup po si tions re gard ing the prop er ties of the brain, in clud ing those that have tra di tion ally been con signed to “the men tal” as pect of hu man be ing. One such pre sup po si tion is the con cep tion of the dis em bod ied self. In this ar ti cle we aim to ac count for the self a...