Interfacing prolog and VRML and its application to constraint visualization

A number of data description languages initially designed as standards for trie WWW are currently being used to implement user interfaces to programs. This is done independently of whether such programs are executed in the same or a different host as trie one running the user interface itself. The advantage of this approach is that it provides a portable, standardized, and easy to use solution for the application programmer, and a familiar behavior for the user, typically well versed in the use of WWW browsers. Among the proposed standard description languages, VRML is a aimed at representing three dimensional scenes including hyperlink capabilities. VRML is already used as an import/export format in many 3-D packages and tools, and has been shown effective in displaying complex objects and scenarios. We propose and describe a Prolog library which allows parsing and checking VRML code, transforming it, and writing it out as VRML again. The library converts such code to an internal representation based on first order terms which can then be arbitrarily manipulated. We also present as an example application the use of this library to implement a novel 3-D visualization for examining and understanding certain aspects of the behavior of CLP(FD) programs.

Development of a 3-Dimensional Mathematical Collision Risk Model Based on Recorded Aircraft Trajectories to Estimate the Safety Level in High Density En-Route Airspaces

Como en todos los medios de transporte, la seguridad en los viajes en avión es de primordial importancia. Con los aumentos de tráfico aéreo previstos en Europa para la próxima década, es evidente que el riesgo de accidentes necesita ser evaluado y monitorizado cuidadosamente de forma continúa. La Tesis presente tiene como objetivo el desarrollo de un modelo de riesgo de colisión exhaustivo como método para evaluar el nivel de seguridad en ruta del espacio aéreo europeo, considerando todos los factores de influencia. La mayor limitación en el desarrollo de metodologías y herramientas de monitorización adecuadas para evaluar el nivel de seguridad en espacios de ruta europeos, donde los controladores aéreos monitorizan el tráfico aéreo mediante la vigilancia radar y proporcionan instrucciones tácticas a las aeronaves, reside en la estimación del riesgo operacional. Hoy en día, la estimación del riesgo operacional está basada normalmente en reportes de incidentes proporcionados por el proveedor de servicios de navegación aérea (ANSP). Esta Tesis propone un nuevo e innovador enfoque para evaluar el nivel de seguridad basado exclusivamente en el procesamiento y análisis trazas radar. La metodología propuesta ha sido diseñada para complementar la información recogida en las bases de datos de accidentes e incidentes, mediante la provisión de información robusta de los factores de tráfico aéreo y métricas de seguridad inferidas del análisis automático en profundidad de todos los eventos de proximidad. La metodología 3-D CRM se ha implementado en un prototipo desarrollado en MATLAB © para analizar automáticamente las trazas radar y planes de vuelo registrados por los Sistemas de Procesamiento de Datos Radar (RDP) e identificar y analizar todos los eventos de proximidad (conflictos, conflictos potenciales y colisiones potenciales) en un periodo de tiempo y volumen del espacio aéreo. Actualmente, el prototipo 3-D CRM está siendo adaptado e integrado en la herramienta de monitorización de prestaciones de Aena (PERSEO) para complementar las bases de accidentes e incidentes ATM y mejorar la monitorización y proporcionar evidencias de los niveles de seguridad. ABSTRACT As with all forms of transport, the safety of air travel is of paramount importance. With the projected increases in European air traffic in the next decade and beyond, it is clear that the risk of accidents needs to be assessed and carefully monitored on a continuing basis. The present thesis is aimed at the development of a comprehensive collision risk model as a method of assessing the European en-route risk, due to all causes and across all dimensions within the airspace. The major constraint in developing appropriate monitoring methodologies and tools to assess the level of safety in en-route airspaces where controllers monitor air traffic by means of radar surveillance and provide aircraft with tactical instructions lies in the estimation of the operational risk. The operational risk estimate normally relies on incident reports provided by the air navigation service providers (ANSPs). This thesis proposes a new and innovative approach to assessing aircraft safety level based exclusively upon the process and analysis of radar tracks. The proposed methodology has been designed to complement the information collected in the accident and incident databases, thereby providing robust information on air traffic factors and safety metrics inferred from the in depth assessment of proximate events. The 3-D CRM methodology is implemented in a prototype tool in MATLAB © in order to automatically analyze recorded aircraft tracks and flight plan data from the Radar Data Processing systems (RDP) and identify and analyze all proximate events (conflicts, potential conflicts and potential collisions) within a time span and a given volume of airspace. Currently, the 3D-CRM prototype is been adapted and integrated in AENA’S Performance Monitoring Tool (PERSEO) to complement the information provided by the ATM accident and incident databases and to enhance monitoring and providing evidence of levels of safety.

Joint 4-D variational stereo reconstruction and camera calibration refinement for oceanic sea state measurements

Validating modern oceanographic theories using models produced through stereo computer vision principles has recently emerged. Space-time (4-D) models of the ocean surface may be generated by stacking a series of 3-D reconstructions independently generated for each time instant or, in a more robust manner, by simultaneously processing several snapshots coherently in a true ?4-D reconstruction.? However, the accuracy of these computer-vision-generated models is subject to the estimations of camera parameters, which may be corrupted under the influence of natural factors such as wind and vibrations. Therefore, removing the unpredictable errors of the camera parameters is necessary for an accurate reconstruction. In this paper, we propose a novel algorithm that can jointly perform a 4-D reconstruction as well as correct the camera parameter errors introduced by external factors. The technique is founded upon variational optimization methods to benefit from their numerous advantages: continuity of the estimated surface in space and time, robustness, and accuracy. The performance of the proposed algorithm is tested using synthetic data produced through computer graphics techniques, based on which the errors of the camera parameters arising from natural factors can be simulated.

Further Studies of the Role of Cyclic β-Glucans in Symbiosis. An ndvC Mutant of Bradyrhizobium japonicum Synthesizes Cyclodecakis-(1→3)-β-Glucosyl1

The cyclic β-(1→3),β-(1→6)-d-glucan synthesis locus of Bradyrhizobium japonicum is composed of at least two genes, ndvB and ndvC. Mutation in either gene affects glucan synthesis, as well as the ability of the bacterium to establish a successful symbiotic interaction with the legume host soybean (Glycine max). B. japonicum strain AB-14 (ndvB::Tn5) does not synthesize β-glucans, and strain AB-1 (ndvC::Tn5) synthesizes a cyclic β-glucan lacking β-(1→6)-glycosidic bonds. We determined that the structure of the glucan synthesized by strain AB-1 is cyclodecakis-(1→3)-β-d-glucosyl, a cyclic β-(1→3)-linked decasaccharide in which one of the residues is substituted in the 6 position with β-laminaribiose. Cyclodecakis-(1→3)-β-d-glucosyl did not suppress the fungal β-glucan-induced plant defense response in soybean cotyledons and had much lower affinity for the putative membrane receptor protein than cyclic β-(1→3),β-(1→6)-glucans produced by wild-type B. japonicum. This is consistent with the hypothesis presented previously that the wild-type cyclic β-glucans may function as suppressors of a host defense response.

Majmūʻat al-rasāʼil fī ādāb al-baḥth : manuscript, 1869 or 70

1. Risālah fī ādāb al-muṭālaʻah / Ḥāmid ibn Burhān ibn Abī Dharr al-Ghifārī (ff. 1r-6v) -- 2. Ādāb ʻUthmānīyah (ff. 7r-14r) -- 3. Ādāb Sharīfīyah fī al-munāẓarah / al-Sayyid al-Sharīf al-Jurjānī (ff. 15r-27r) -- 4. Sharḥ ādāb al-baḥth fī ʻilm al-munāẓarah lil-ʻAḍudī (ff. 28r-46v) -- 5. Ḥāshiyah ʻalá Sharḥ Ādāb al-Ḥanafī (ff. 47r-55v).

Oeuvres complètes : mises en ordre, revues et annotées d'après les manuscrits de l'auteur.

t.1. 2. éd., 1862.--t.2. 2. éd., 1862.--t.3. 3. éd., 1864.--t.4. 2. éd., 1863.--t.5. 2. éd., 1863.--t.6. 5. éd., 1864.--t.7. 1864.

Le vignole des ouvriers, ou, Méthode facile pour tracer les cinq ordres d'architecture /

[v. 1]: 3. éd., rev. et augm. de quelques notes.

Easy preoperative planning of deeply located brain lesions using external skin reference and 3-Dimensional surface MRI

Open skull surgery of deeply located intracerebral lesions requires precise determination of the treatment area in 3-dimensional (3-D) space. 3-D MRI can give important additional information in presurgical determination of the surgical approach to the target, taking into account highly functional brain areas and important vascular structures. The day before surgery, a grid composed of 9 tubings intersecting at 90° at 1 cm intervals and filled with a Q1SO4 solution is firmly attached to the skin of the patient’s head in the presumed region of the craniotomy. A 3-D turbo-FLASH sequence is then performed in the sagittal plane after intravenous Gd-DOTA injection on a IT Magnetom. 3-D surface reconstruction of the cortical gyri and sulci is performed. Once the gyri are identified, the 3-D program is then implemented in order to perform a color display of the cortical veins and of the tumor boundaries. The surgical access is then chosen by the surgeon, taking into account highly functional areas. Finally, the boundaries of the tumor are projected on the cortex reconstruction and on the external reference placed on the skin. The entry place for surgery as well as the size of craniotomy are drawn on the skin and the tubed grid is removed. The accuracy of this method tested in 9 patients with deeply located brain tumors or arteriovenous malformations was very satisfactory. In daily practice, this method is a valuable technique providing important clinical information in determining the shortest and safest way through the brain tissue, decreasing possible functional deficit and reducing craniotomy size in cases of difficult to access deep brain areas. Our method does not require a stereotactic frame permanently fixed to the head of the patient during surgery. © 1994 S. Karger AG, Basel.

STRUCTURAL ANALYSIS OF RIBOSOME BINDING ELEMENTS OF THE 3´ UTR IN TWO POSITIVE-STRAND PLANT RNA VIRUSES

Turnip crinkle virus (TCV) and Pea enation mosaic virus (PEMV) are two positive (+)-strand RNA viruses that are used to investigate the regulation of translation and replication due to their small size and simple genomes. Both viruses contain cap-independent translation elements (CITEs) within their 3´ untranslated regions (UTRs) that fold into tRNA-shaped structures (TSS) according to nuclear magnetic resonance and small angle x-ray scattering analysis (TCV) and computational prediction (PEMV). Specifically, the TCV TSS can directly associate with ribosomes and participates in RNA-dependent RNA polymerase (RdRp) binding. The PEMV kissing-loop TSS (kl-TSS) can simultaneously bind to ribosomes and associate with the 5´ UTR of the viral genome. Mutational analysis and chemical structure probing methods provide great insight into the function and secondary structure of the two 3´ CITEs. However, lack of 3-D structural information has limited our understanding of their functional dynamics. Here, I report the folding dynamics for the TCV TSS using optical tweezers (OT), a single molecule technique. My study of the unfolding/folding pathways for the TCV TSS has provided an unexpected unfolding pathway, confirmed the presence of Ψ3 and hairpin elements, and suggested an interconnection between the hairpins and pseudoknots. In addition, this study has demonstrated the importance of the adjacent upstream adenylate-rich sequence for the formation of H4a/Ψ3 along with the contribution of magnesium to the stability of the TCV TSS. In my second project, I report on the structural analysis of the PEMV kl-TSS using NMR and SAXS. This study has re-confirmed the base-pair pattern for the PEMV kl-TSS and the proposed interaction of the PEMV kl-TSS with its interacting partner, hairpin 5H2. The molecular envelope of the kl-TSS built from SAXS analysis suggests the kl-TSS has two functional conformations, one of which has a different shape from the previously predicted tRNA-shaped form. Along with applying biophysical methods to study the structural folding dynamics of RNAs, I have also developed a technique that improves the production of large quantities of recombinant RNAs in vivo for NMR study. In this project, I report using the wild-type and mutant E.coli strains to produce cost-effective, site-specific labeled, recombinant RNAs. This technique was validated with four representative RNAs of different sizes and complexity to produce milligram amounts of RNAs. The benefit of using site-specific labeled RNAs made from E.coli was demonstrated with several NMR techniques.

Collimation of deuterium / 3-helium fusion products for advanced spacecraft propulsion and power

Current space exploration has transpired through the use of chemical rockets, and they have served us well, but they have their limitations. Exploration of the outer solar system, Jupiter and beyond will most likely require a new generation of propulsion system. One potential technology class to provide spacecraft propulsion and power systems involve thermonuclear fusion plasma systems. In this class it is well accepted that d-He3 fusion is the most promising of the fuel candidates for spacecraft applications as the 14.7 MeV protons carry up to 80% of the total fusion power while ‘s have energies less than 4 MeV. The other minor fusion products from secondary d-d reactions consisting of 3He, n, p, and 3H also have energies less than 4 MeV. Furthermore there are two main fusion subsets namely, Magnetic Confinement Fusion devices and Inertial Electrostatic Confinement (or IEC) Fusion devices. Magnetic Confinement Fusion devices are characterized by complex geometries and prohibitive structural mass compromising spacecraft use at this stage of exploration. While generating energy from a lightweight and reliable fusion source is important, another critical issue is harnessing this energy into usable power and/or propulsion. IEC fusion is a method of fusion plasma confinement that uses a series of biased electrodes that accelerate a uniform spherical beam of ions into a hollow cathode typically comprised of a gridded structure with high transparency. The inertia of the imploding ion beam compresses the ions at the center of the cathode increasing the density to the point where fusion occurs. Since the velocity distributions of fusion particles in an IEC are essentially isotropic and carry no net momentum, a means of redirecting the velocity of the particles is necessary to efficiently extract energy and provide power or create thrust. There are classes of advanced fuel fusion reactions where direct-energy conversion based on electrostatically-biased collector plates is impossible due to potential limits, material structure limitations, and IEC geometry. Thermal conversion systems are also inefficient for this application. A method of converting the isotropic IEC into a collimated flow of fusion products solves these issues and allows direct energy conversion. An efficient traveling wave direct energy converter has been proposed and studied by Momota , Shu and further studied by evaluated with numerical simulations by Ishikawa and others. One of the conventional methods of collimating charged particles is to surround the particle source with an applied magnetic channel. Charged particles are trapped and move along the lines of flux. By introducing expanding lines of force gradually along the magnetic channel, the velocity component perpendicular to the lines of force is transferred to the parallel one. However, efficient operation of the IEC requires a null magnetic field at the core of the device. In order to achieve this, Momota and Miley have proposed a pair of magnetic coils anti-parallel to the magnetic channel creating a null hexapole magnetic field region necessary for the IEC fusion core. Numerically, collimation of 300 eV electrons without a stabilization coil was demonstrated to approach 95% at a profile corresponding to Vsolenoid = 20.0V, Ifloating = 2.78A, Isolenoid = 4.05A while collimation of electrons with stabilization coil present was demonstrated to reach 69% at a profile corresponding to Vsolenoid = 7.0V, Istab = 1.1A, Ifloating = 1.1A, Isolenoid = 1.45A. Experimentally, collimation of electrons with stabilization coil present was demonstrated experimentally to be 35% at 100 eV and reach a peak of 39.6% at 50eV with a profile corresponding to Vsolenoid = 7.0V, Istab = 1.1A, Ifloating = 1.1A, Isolenoid = 1.45A and collimation of 300 eV electrons without a stabilization coil was demonstrated to approach 49% at a profile corresponding to Vsolenoid = 20.0V, Ifloating = 2.78A, Isolenoid = 4.05A 6.4% of the 300eV electrons’ initial velocity is directed to the collector plates. The remaining electrons are trapped by the collimator’s magnetic field. These particles oscillate around the null field region several hundred times and eventually escape to the collector plates. At a solenoid voltage profile of 7 Volts, 100 eV electrons are collimated with wall and perpendicular component losses of 31%. Increasing the electron energy beyond 100 eV increases the wall losses by 25% at 300 eV. Ultimately it was determined that a field strength deriving from 9.5 MAT/m would be required to collimate 14.7 MeV fusion protons from d-3He fueled IEC fusion core. The concept of the proton collimator has been proven to be effective to transform an isotropic source into a collimated flow of particles ripe for direct energy conversion.

Proposição, validação e aplicação de um novo metodo para analise cinematica tridimensional da movimentação da caixa toracica durante a respiração

Universidade Estadual de Campinas . Faculdade de Educação Física

Reprodutibilidade das mensurações da espessura das tábuas ósseas na tomografia computadorizada Cone-Beam utilizando diferentes protocolos de aquisição de imagem

INTRODUÇÃO: quanto menor a dimensão do voxel, maior a nitidez da imagem de tomografia computadorizada Cone-Beam (TCCB), porém, maior a dose de radiação emitida. OBJETIVOS: avaliar e comparar a reprodutibilidade da mensuração da espessura das tábuas ósseas vestibular e lingual em imagens de TCCB, utilizando diferentes protocolos de aquisição de imagem com variação da dimensão do voxel. MÉTODOS: exames de TCCB foram tomados de 12 mandíbulas humanas secas, com dimensão do voxel de 0,2; 0,3 e 0,4mm, no aparelho i-CAT Cone-Beam 3-D Dental Imaging System. No software i-CAT Viewer, foi mensurada a espessura das tábuas ósseas vestibular e lingual, em um corte axial passando 12mm acima do forame mentoniano do lado direito. A reprodutibilidade intraexaminador foi avaliada por meio da aplicação do teste t pareado. Para a comparação interexaminadores, foi utilizado o teste t independente. Os resultados foram considerados com o nível de significância de 5%. RESULTADOS: observou-se uma excelente reprodutibilidade interexaminadores para os três protocolos avaliados. A reprodutibilidade intraexaminadores foi muito boa, com exceção de algumas regiões dos dentes anteriores, que mostraram diferenças estatisticamente significativas, independentemente da dimensão do voxel. CONCLUSÃO: a mensuração da espessura das tábuas ósseas vestibular e lingual em imagens de TCCB mostrou boa precisão para exames obtidos com voxel de 0,2; 0,3 ou 0,4mm. A reprodutibilidade das mensurações na região anterior da mandíbula foi mais crítica do que na região posterior.

Embryonic, Larval, and Juvenile Development of the Sea Biscuit Clypeaster subdepressus (Echinodermata: Clypeasteroida)

Sea biscuits and sand dollars diverged from other irregular echinoids approximately 55 million years ago and rapidly dispersed to oceans worldwide. A series of morphological changes were associated with the occupation of sand beds such as flattening of the body, shortening of primary spines, multiplication of podia, and retention of the lantern of Aristotle into adulthood. To investigate the developmental basis of such morphological changes we documented the ontogeny of Clypeaster subdepressus. We obtained gametes from adult specimens by KCl injection and raised the embryos at 26 degrees C. Ciliated blastulae hatched 7.5 h after sperm entry. During gastrulation the archenteron elongated continuously while ectodermal red-pigmented cells migrated synchronously to the apical plate. Pluteus larvae began to feed in 3 d and were similar to 20 d old at metamorphosis; starved larvae died 17 d after fertilization. Postlarval juveniles had neither mouth nor anus nor plates on the aboral side, except for the remnants of larval spicules, but their bilateral symmetry became evident after the resorption of larval tissues. Ossicles of the lantern were present and organized in 5 groups. Each group had 1 tooth, 2 demipyramids, and 2 epiphyses with a rotula in between. Early appendages consisted of 15 spines, 15 podia (2 types), and 5 sphaeridia. Podial types were distributed in accordance to Loven's rule and the first podium of each ambulacrum was not encircled by the skeleton. Seven days after metamorphosis juveniles began to feed by rasping sand grains with the lantern. Juveniles survived in laboratory cultures for similar to 9 months and died with <500 mu m wide, a single open sphaeridium per ambulacrum, aboral anus, and no differentiated food grooves or petaloids. Tracking the morphogenesis of early juveniles is a necessary step to elucidate the developmental mechanisms of echinoid growth and important groundwork to clarify homologies between irregular urchins.

Genetic variability and natural selection at the ligand domain of the Duffy binding protein in brazilian Plasmodium vivax populations

Background: Plasmodium vivax malaria is a major public health challenge in Latin America, Asia and Oceania, with 130-435 million clinical cases per year worldwide. Invasion of host blood cells by P. vivax mainly depends on a type I membrane protein called Duffy binding protein (PvDBP). The erythrocyte-binding motif of PvDBP is a 170 amino-acid stretch located in its cysteine-rich region II (PvDBP(II)), which is the most variable segment of the protein. Methods: To test whether diversifying natural selection has shaped the nucleotide diversity of PvDBP(II) in Brazilian populations, this region was sequenced in 122 isolates from six different geographic areas. A Bayesian method was applied to test for the action of natural selection under a population genetic model that incorporates recombination. The analysis was integrated with a structural model of PvDBP(II), and T-and B-cell epitopes were localized on the 3-D structure. Results: The results suggest that: (i) recombination plays an important role in determining the haplotype structure of PvDBP(II), and (ii) PvDBP(II) appears to contain neutrally evolving codons as well as codons evolving under natural selection. Diversifying selection preferentially acts on sites identified as epitopes, particularly on amino acid residues 417, 419, and 424, which show strong linkage disequilibrium. Conclusions: This study shows that some polymorphisms of PvDBP(II) are present near the erythrocyte-binding domain and might serve to elude antibodies that inhibit cell invasion. Therefore, these polymorphisms should be taken into account when designing vaccines aimed at eliciting antibodies to inhibit erythrocyte invasion.