Abstract. We present the notion of translation validation as a new approach to the verification of translators (compilers, code generators). Rather than proving in advance that the compiler always produces a target code which correctly implements the source code (compiler verification), each individual translation (i.e. a run of the compiler) is followed by a validation phase which verifies that the target code produced on this run correctly implements the submitted source program. Several ingredients are necessary to set up the -fully automatic -translation validation process, among which are:1. A common semantic framework for the representation of the source code and the generated target code. 2. A formalization of the notion of "correct implementation" as a refinement relation. 3. A syntactic simulation-based proof method which allows to automatically verify that one model of the semantic framework, representing the produced target code, correctly implements another model which represents the source. These, and other ingredients are elaborated in this paper, in which we illustrate the new approach in a most challenging case. We consider a translation (compilation) from the synchronous multi-clock data-flow language SIGNAL to asynchronous (sequential) C-code.
Bone biology is a complex and vastly growing area of study. It brings together the traditional fields of anatomy, physiology, and biomechanics with the increasingly complex fields of developmental biology and molecular genetics. For clinicians who treat bone disorders such as osteoporosis, developing a working knowledge of this topic is essential. This article discusses bone from a structural, anatomical, and functional perspective. It reviews skeletogenesis as a developmental process and from a regulatory perspective and presents biomechanical principles and theories. Osteoporosis is reviewed, including recent literature related to the role of exercise in prevention and treatment of this disease. [Downey PA, Siegel MI. Bone biology and the clinical implications for osteoporosis.]
Turbinals (scroll bones, turbinates) are projections from the lateral wall of the nasal fossa. These bones vary from simple folds to branching scrolls. Conventionally, maxilloturbinals comprise the respiratory turbinals, whereas nasoturbinals and ethmoturbinals comprise olfactory turbinals, denoting the primary type of mucosa that lines these conchae. However, the first ethmoturbinal (ETI) appears exceptional in the variability of it mucosal covering. Recently, it was suggested that the distribution of respiratory versus olfactory mucosae varies based on body size or age in strepsirrhine primates (lemurs and lorises). The present study was undertaken to determine how the rostrocaudal distribution of olfactory epithelium (OE) versus non-OE scales relative to palatal length in strepsirrhines. Serially sectioned heads of 20 strepsirrhines (10 neonates, 10 adults) were examined for presence of OE on ETI, rostral to its attachment to the nasal fossa wall (lateral root). Based on known distances between sections of ETI, the rostrocaudal length of OE was measured and compared to the length lined solely by non-OE (primarily respiratory epithelium). In 13 specimens, the total surface area of OE versus non-OE was calculated. Results show that the length of non-OE scales nearly isometrically with cranial length, while OE is more negatively allometric. In surface area, a lesser percentage of non-OE exists in smaller species than larger species and between neonates and adults. Such results are consistent with recent suggestions that the olfactory structures do not scale closely with body size, whereas respiratory structures (e.g., maxilloturbinals) may scale close to isometry. In primates and perhaps other mammals, variation in ETI morphology may reflect dual adaptations for olfaction and endothermy. Anat Rec, 290:215-237, 2007. 2007 Wiley-Liss, Inc.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.