Towards description and optimization of abstract machines in an extension of prolog

Competitive abstract machines for Prolog are usually large, intricate, and incorpórate sophisticated optimizations. This makes them difñcult to code, optimize, and, especially, maintain and extend. This is partly due to the fact that efñciency considerations make it necessary to use low-level languages in their implementation. Writing the abstract machine (and ancillary code) in a higher-level language can help harness this inherent complexity. In this paper we show how the semantics of basic components of an efficient virtual machine for Prolog can be described using (a variant of) Prolog which retains much of its semantics. These descriptions are then compiled to C and assembled to build a complete bytecode emulator. Thanks to the high level of the language used and its closeness to Prolog the abstract machine descriptions can be manipulated using standard Prolog compilation and optimization techniques with relative ease. We also show how, by applying program transformations selectively, we obtain abstract machine implementations whose performance can match and even exceed that of highly-tuned, hand-crafted emulators.

Developing Semantic Rich Internet Applications with the Sm4RIA Extension for OIDE

This paper introduces the Sm4RIA Extension for OIDE, which implements the Sm4RIA approach in OIDE (OOH4RIA Integrated Development Environment). The application, based on the Eclipse framework, supports the design of the Sm4RIA models as well as the model-to-model and model-to-text transformation processes that facilitate the generation of Semantic Rich Internet Applications, i.e., RIA applications capable of sharing data as Linked data and consuming external data from other sources in the same manner. Moreover, the application implements mechanisms for the creation of RIA interfaces from ontologies and the automatic generation of administration interfaces for a previously design application.

Compartment-dependent activities of Wnt3a/β-catenin signaling during vertebrate axial extension

Extension of the vertebrate body results from the concerted activity of many signals in the posterior embryonic end. Among them, Wnt3a has been shown to play relevant roles in the regulation of axial progenitor activity, mesoderm formation and somitogenesis. However, its impact on axial growth remains to be fully understood. Using a transgenic approach in the mouse, we found that the effect of Wnt3a signaling varies depending on the target tissue. High levels of Wnt3a in the epiblast prevented formation of neural tissues, but did not impair axial progenitors from producing different mesodermal lineages. These mesodermal tissues maintained a remarkable degree of organization, even within a severely malformed embryo. However, from the cells that failed to take a neural fate, only those that left the epithelial layer of the epiblast activated a mesodermal program. The remaining tissue accumulated as a folded epithelium that kept some epiblast-like characteristics. Together with previously published observations, our results suggest a dose-dependent role for Wnt3a in regulating the balance between renewal and selection of differentiation fates of axial progenitors in the epiblast. In the paraxial mesoderm, appropriate regulation of Wnt/β-catenin signaling was required not only for somitogenesis, but also for providing proper anterior-posterior polarity to the somites. Both processes seem to rely on mechanisms with different requirements for feedback modulation of Wnt/β-catenin signaling, once segmentation occurred in the presence of high levels of Wnt3a in the presomitic mesoderm, but not after permanent expression of a constitutively active form of β-catenin. Together, our findings suggest that Wnt3a/β-catenin signaling plays sequential roles during posterior extension, which are strongly dependent on the target tissue. This provides an additional example of how much the functional output of signaling systems depends on the competence of the responding cells.

Summaries of the USAEC research program on controlled thermonuclear reactions /

"Indexes prepared by Division of Technical Information Extension."

Procedures manual for the post-operational reporting and data extension countermeasure.

National Highway Traffic Safety Administration, Washington, D.C.

Bibliographies of interest to the atomic energy program,

"TID-3043 (Rev. 1) (Suppl. 2)"

Bibliographies of interest to the atomic energy program : [Revision 1, Supplement 1] /

"November, 1959."

Planning an agricultural program for Fergus County.

Mode of access: Internet.

Bibliographies of interest to the atomic energy program : 1962 through 1966 /

Mode of access: Internet.

1970 census of population and housing; evaluation and research program. The medicare record check: an evaluation of the coverage of persons 65 years of age and over in the 1970 census.

"PHC(E)-7."

Outline of a proposed national program of weed research and control.

Mode of access: Internet.

Program aid.

some issues called; PA

Bibliographies of interest to the atomic energy program.

Mode of access: Internet.

Chisat I, extension and validation of NOAA's REPEX procedures for habitat diving : a Chinese-American collaboration /

"October 1990."

Maryland 4-H safety program.

Mode of access: Internet.