From eventual to atomic and locally atomic CC programs: A concurrent semantics

We present a concurrent semantics (i.e. a semantics where concurrency is explicitely represented) for CC programs with atomic tells. This allows to derive concurrency, dependency, and nondeterminism information for such languages. The ability to treat failure information puts CLP programs also in the range of applicability of our semantics: although such programs are not concurrent, the concurrency information derived in the semantics may be interpreted as possible parallelism, thus allowing to safely parallelize those computation steps which appear to be concurrent in the net. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it to schedule CC programs. The fact that the semantical structure contains dependency information suggests a new tell operation, which checks for consistency only the constraints it depends on, achieving a reasonable trade-off between efficiency and atomicity.

Damage tolerance of cold drawn ferritic-austenitic stainless steels wires for prestressed concrete

Damage tolerance of high strength cold-drawn ferritic–austenitic stainless steel wires is assessed by means of tensile fracture tests of cracked wires. The fatigue crack is transversally propagated from the wire surface. The damage tolerance curve of the wires results from the empirical failure load when given as a function of crack depth. As a consequence of cold drawing, the wire microstructure is orientated along its longitudinal axis and anisotropic fracture behaviour is found at macrostructural level at the tensile failure of the cracked specimens. An in situ optical technique known as video image correlation VIC-2D is used to get an insight into this failure mechanism by tensile testing transversally fatigue cracked plane specimens extracted from the cold-drawn wires. Finally, the experimentally obtained damage tolerance curve of the cold-drawn ferritic–austenitic stainless steel wires is compared with that of an elementary plastic collapse model and existing data of two types of high strength eutectoid steel currently used as prestressing steel for concrete.

Impact of N on the atomic-scale Sb distribution in quaternary GaAsSbN-capped InAs quantum dots

The use of GaAsSbN capping layers on InAs/GaAs quantum dots (QDs) has recently been proposed for micro- and optoelectronic applications for their ability to independently tailor electron and hole confinement potentials. However, there is a lack of knowledge about the structural and compositional changes associated with the process of simultaneous Sb and N incorporation. In the present work, we have characterized using transmission electron microscopy techniques the effects of adding N in the GaAsSb/InAs/GaAs QD system. Firstly, strain maps of the regions away from the InAs QDs had revealed a huge reduction of the strain fields with the N incorporation but a higher inhomogeneity, which points to a composition modulation enhancement with the presence of Sb-rich and Sb-poor regions in the range of a few nanometers. On the other hand, the average strain in the QDs and surroundings is also similar in both cases. It could be explained by the accumulation of Sb above the QDs, compensating the tensile strain induced by the N incorporation together with an In-Ga intermixing inhibition. Indeed, compositional maps of column resolution from aberration-corrected Z-contrast images confirmed that the addition of N enhances the preferential deposition of Sb above the InAs QD, giving rise to an undulation of the growth front. As an outcome, the strong redshift in the photoluminescence spectrum of the GaAsSbN sample cannot be attributed only to the N-related reduction of the conduction band offset but also to an enhancement of the effect of Sb on the QD band structure.

The role of residual stresses in the performance and durability of prestressing steel wires

Residual stresses developed during wire drawing influence the mechanical behavior and durability of steel wires used for prestressed concrete structures, particularly the shape of the stress–strain curve, stress relaxation losses, fatigue life, and environmental cracking susceptibility. The availability of general purpose finite element analysis tools and powerful diffraction techniques (X-rays and neutrons) has made it possible to predict and measure accurately residual stress fields in cold-drawn steel wires. Work carried out in this field in the past decade, shows the prospects and limitations of residual stress measurement, how the stress relaxation losses and environmentally-assisted cracking are correlated with the profile of residual stresses and how the performance of steel wires can be improved by modifying such a stress profile

Influence of long-time storage. Stress relaxation losses of prestressing steel wires

Prestressed structures are susceptible to relaxation losses which are of significant importance in structural design. After being manufactured, prestressing wires are coiled to make their storage and transportation easier. The possible deleterious effects of this operation on the stress relaxation behavior of prestressing steel wires are usually neglected, though it has been noticed by manufacturers and contractors that when relaxation tests are carried out after a long-time storage, on occasions relaxation losses are higher than those measured a short time after manufacturing. The influence of coiling on the relaxation losses is checked by means of experimental work and confirmed with a simple analytical model. The results show that some factors like initial residual stresses, excessively long-time storage or storage at high temperatures,can trigger or accentuate this damage. However, it is also shown that if the requirements of standards are fulfilled (minimum coiling diameters) these effects can be neglected.

Determination of the magnetostrictive atomic enviroments in FeCoB alloys

The atomic environments of Fe and Co involved in the magnetostriction effect in FeCoB alloys have been identified by differential extended x-ray fine structure (DiffEXAFS) spectroscopy. The study, done in amorphous and polycrystalline FeCoB films, demonstrates that the alloys are heterogeneous and that boron plays a crucial role in the origin of their magnetostrictive properties. The analysis of DiffEXAFS in the polycrystalline and amorphous alloys indicates that boron activates magnetostriction when entering as an impurity into octahedral interstitial sites of the Fe bcc lattice, causing its tetragonal distortion. Magnetostriction would be explained then by the relative change in volume when the tetragonal axis of the site is reoriented under an externally applied magnetic field. The experiment demonstrates the extreme sensitivity of DiffEXAFS to characterize magnetostrictive environments that are undetectable in their related EXAFS spectra.

Fast magnetosonic wave excitation by an array of wires with time-modulated currents

The excitation of Fast Magnetosonic (FMS)waves by a cylindrical array of parallel tethers carrying timemodulated current is discussed. The tethers would fly vertical in the equatorial plane, which is perpendicular to the geomagnetic field when its tilt is ignored, and would be stabilized by the gravity gradient. The tether array would radiate a single FMS wave. In the time-dependent background made of geomagnetic field plus radiated wave, plasma FMS perturbations are excited in the array vicinity through a parametric instability. The growth rate is estimated by truncating the evolution equation for FMS perturbations to the two azimuthal modes of lowest order. Design parameters such as tether length and number, required power and mass are discussed for Low Earth Orbit conditions. The array-attached wave structure would have the radiated wave controlled by the intensity and modulation frequency of the currents, making an active experiment on non-linear low frequency waves possible in real space plasma conditions.

Atomic physics modeling and applications for ICF plasmas

The Atomic Physics Group at the Institute of Nuclear Fusion (DENIM) in Spain has accumulated experience over the years in developing a collection of computational models and tools for determining some relevant microscopic properties of, mainly, ICF and laser-produced plasmas in a variety of conditions. In this work several applications of those models in determining some relevant microscopic properties are presented.

Computational study of atomic mobility for bcc phase in Ti-Al-Fe system

Experimental diffusion data were critically assessed to develop the atomic mobility for the bcc phase of the Ti–Al–Fe system by using the DICTRA software. Good agreements were obtained from comprehensive comparisons made between the calculated and the experimental diffusion coefficients. The developed atomic mobility was then validated by well predicting the interdiffusion behavior observed from the diffusion-couple experiments in available literature.

Strong Connectivity in Directed Hypergraphs and its Application to the Atomic Decomposition of Ontologies

Los hipergrafos dirigidos se han empleado en problemas relacionados con lógica proposicional, bases de datos relacionales, linguística computacional y aprendizaje automático. Los hipergrafos dirigidos han sido también utilizados como alternativa a los grafos (bipartitos) dirigidos para facilitar el estudio de las interacciones entre componentes de sistemas complejos que no pueden ser fácilmente modelados usando exclusivamente relaciones binarias. En este contexto, este tipo de representación es conocida como hiper-redes. Un hipergrafo dirigido es una generalización de un grafo dirigido especialmente adecuado para la representación de relaciones de muchos a muchos. Mientras que una arista en un grafo dirigido define una relación entre dos de sus nodos, una hiperarista en un hipergrafo dirigido define una relación entre dos conjuntos de sus nodos. La conexión fuerte es una relación de equivalencia que divide el conjunto de nodos de un hipergrafo dirigido en particiones y cada partición define una clase de equivalencia conocida como componente fuertemente conexo. El estudio de los componentes fuertemente conexos de un hipergrafo dirigido puede ayudar a conseguir una mejor comprensión de la estructura de este tipo de hipergrafos cuando su tamaño es considerable. En el caso de grafo dirigidos, existen algoritmos muy eficientes para el cálculo de los componentes fuertemente conexos en grafos de gran tamaño. Gracias a estos algoritmos, se ha podido averiguar que la estructura de la WWW tiene forma de “pajarita”, donde más del 70% del los nodos están distribuidos en tres grandes conjuntos y uno de ellos es un componente fuertemente conexo. Este tipo de estructura ha sido también observada en redes complejas en otras áreas como la biología. Estudios de naturaleza similar no han podido ser realizados en hipergrafos dirigidos porque no existe algoritmos capaces de calcular los componentes fuertemente conexos de este tipo de hipergrafos. En esta tesis doctoral, hemos investigado como calcular los componentes fuertemente conexos de un hipergrafo dirigido. En concreto, hemos desarrollado dos algoritmos para este problema y hemos determinado que son correctos y cuál es su complejidad computacional. Ambos algoritmos han sido evaluados empíricamente para comparar sus tiempos de ejecución. Para la evaluación, hemos producido una selección de hipergrafos dirigidos generados de forma aleatoria inspirados en modelos muy conocidos de grafos aleatorios como Erdos-Renyi, Newman-Watts-Strogatz and Barabasi-Albert. Varias optimizaciones para ambos algoritmos han sido implementadas y analizadas en la tesis. En concreto, colapsar los componentes fuertemente conexos del grafo dirigido que se puede construir eliminando ciertas hiperaristas complejas del hipergrafo dirigido original, mejora notablemente los tiempos de ejecucion de los algoritmos para varios de los hipergrafos utilizados en la evaluación. Aparte de los ejemplos de aplicación mencionados anteriormente, los hipergrafos dirigidos han sido también empleados en el área de representación de conocimiento. En concreto, este tipo de hipergrafos se han usado para el cálculo de módulos de ontologías. Una ontología puede ser definida como un conjunto de axiomas que especifican formalmente un conjunto de símbolos y sus relaciones, mientras que un modulo puede ser entendido como un subconjunto de axiomas de la ontología que recoge todo el conocimiento que almacena la ontología sobre un conjunto especifico de símbolos y sus relaciones. En la tesis nos hemos centrado solamente en módulos que han sido calculados usando la técnica de localidad sintáctica. Debido a que las ontologías pueden ser muy grandes, el cálculo de módulos puede facilitar las tareas de re-utilización y mantenimiento de dichas ontologías. Sin embargo, analizar todos los posibles módulos de una ontología es, en general, muy costoso porque el numero de módulos crece de forma exponencial con respecto al número de símbolos y de axiomas de la ontología. Afortunadamente, los axiomas de una ontología pueden ser divididos en particiones conocidas como átomos. Cada átomo representa un conjunto máximo de axiomas que siempre aparecen juntos en un modulo. La decomposición atómica de una ontología es definida como un grafo dirigido de tal forma que cada nodo del grafo corresponde con un átomo y cada arista define una dependencia entre una pareja de átomos. En esta tesis introducimos el concepto de“axiom dependency hypergraph” que generaliza el concepto de descomposición atómica de una ontología. Un modulo en una ontología correspondería con un componente conexo en este tipo de hipergrafos y un átomo de una ontología con un componente fuertemente conexo. Hemos adaptado la implementación de nuestros algoritmos para que funcionen también con axiom dependency hypergraphs y poder de esa forma calcular los átomos de una ontología. Para demostrar la viabilidad de esta idea, hemos incorporado nuestros algoritmos en una aplicación que hemos desarrollado para la extracción de módulos y la descomposición atómica de ontologías. A la aplicación la hemos llamado HyS y hemos estudiado sus tiempos de ejecución usando una selección de ontologías muy conocidas del área biomédica, la mayoría disponibles en el portal de Internet NCBO. Los resultados de la evaluación muestran que los tiempos de ejecución de HyS son mucho mejores que las aplicaciones más rápidas conocidas. ABSTRACT Directed hypergraphs are an intuitive modelling formalism that have been used in problems related to propositional logic, relational databases, computational linguistic and machine learning. Directed hypergraphs are also presented as an alternative to directed (bipartite) graphs to facilitate the study of the interactions between components of complex systems that cannot naturally be modelled as binary relations. In this context, they are known as hyper-networks. A directed hypergraph is a generalization of a directed graph suitable for representing many-to-many relationships. While an edge in a directed graph defines a relation between two nodes of the graph, a hyperedge in a directed hypergraph defines a relation between two sets of nodes. Strong-connectivity is an equivalence relation that induces a partition of the set of nodes of a directed hypergraph into strongly-connected components. These components can be collapsed into single nodes. As result, the size of the original hypergraph can significantly be reduced if the strongly-connected components have many nodes. This approach might contribute to better understand how the nodes of a hypergraph are connected, in particular when the hypergraphs are large. In the case of directed graphs, there are efficient algorithms that can be used to compute the strongly-connected components of large graphs. For instance, it has been shown that the macroscopic structure of the World Wide Web can be represented as a “bow-tie” diagram where more than 70% of the nodes are distributed into three large sets and one of these sets is a large strongly-connected component. This particular structure has been also observed in complex networks in other fields such as, e.g., biology. Similar studies cannot be conducted in a directed hypergraph because there does not exist any algorithm for computing the strongly-connected components of the hypergraph. In this thesis, we investigate ways to compute the strongly-connected components of directed hypergraphs. We present two new algorithms and we show their correctness and computational complexity. One of these algorithms is inspired by Tarjan’s algorithm for directed graphs. The second algorithm follows a simple approach to compute the stronglyconnected components. This approach is based on the fact that two nodes of a graph that are strongly-connected can also reach the same nodes. In other words, the connected component of each node is the same. Both algorithms are empirically evaluated to compare their performances. To this end, we have produced a selection of random directed hypergraphs inspired by existent and well-known random graphs models like Erd˝os-Renyi and Newman-Watts-Strogatz. Besides the application examples that we mentioned earlier, directed hypergraphs have also been employed in the field of knowledge representation. In particular, they have been used to compute the modules of an ontology. An ontology is defined as a collection of axioms that provides a formal specification of a set of terms and their relationships; and a module is a subset of an ontology that completely captures the meaning of certain terms as defined in the ontology. In particular, we focus on the modules computed using the notion of syntactic locality. As ontologies can be very large, the computation of modules facilitates the reuse and maintenance of these ontologies. Analysing all modules of an ontology, however, is in general not feasible as the number of modules grows exponentially in the number of terms and axioms of the ontology. Nevertheless, the modules can succinctly be represented using the Atomic Decomposition of an ontology. Using this representation, an ontology can be partitioned into atoms, which are maximal sets of axioms that co-occur in every module. The Atomic Decomposition is then defined as a directed graph such that each node correspond to an atom and each edge represents a dependency relation between two atoms. In this thesis, we introduce the notion of an axiom dependency hypergraph which is a generalization of the atomic decomposition of an ontology. A module in the ontology corresponds to a connected component in the hypergraph, and the atoms of the ontology to the strongly-connected components. We apply our algorithms for directed hypergraphs to axiom dependency hypergraphs and in this manner, we compute the atoms of an ontology. To demonstrate the viability of this approach, we have implemented the algorithms in the application HyS which computes the modules of ontologies and calculate their atomic decomposition. In the thesis, we provide an experimental evaluation of HyS with a selection of large and prominent biomedical ontologies, most of which are available in the NCBO Bioportal. HyS outperforms state-of-the-art implementations in the tasks of extracting modules and computing the atomic decomposition of these ontologies.

In situ atomic force microscopy study of Alzheimer’s β-amyloid peptide on different substrates: New insights into mechanism of β-sheet formation

We have applied in situ atomic force microscopy to directly observe the aggregation of Alzheimer’s β-amyloid peptide (Aβ) in contact with two model solid surfaces: hydrophilic mica and hydrophobic graphite. The time course of aggregation was followed by continuous imaging of surfaces remaining in contact with 10–500 μM solutions of Aβ in PBS (pH 7.4). Visualization of fragile nanoscale aggregates of Aβ was made possible by the application of a tapping mode of imaging, which minimizes the lateral forces between the probe tip and the sample. The size and the shape of Aβ aggregates, as well as the kinetics of their formation, exhibited pronounced dependence on the physicochemical nature of the surface. On hydrophilic mica, Aβ formed particulate, pseudomicellar aggregates, which at higher Aβ concentration had the tendency to form linear assemblies, reminiscent of protofibrillar species described recently in the literature. In contrast, on hydrophobic graphite Aβ formed uniform, elongated sheets. The dimensions of those sheets were consistent with the dimensions of β-sheets with extended peptide chains perpendicular to the long axis of the aggregate. The sheets of Aβ were oriented along three directions at 120° to each other, resembling the crystallographic symmetry of a graphite surface. Such substrate-templated self-assembly may be the distinguishing feature of β-sheets in comparison with α-helices. These studies show that in situ atomic force microscopy enables direct assessment of amyloid aggregation in physiological fluids and suggest that Aβ fibril formation may be driven by interactions at the interface of aqueous solutions and hydrophobic substrates, as occurs in membranes and lipoprotein particles in vivo.

Probing the Saccharomyces cerevisiae centromeric DNA (CEN DNA)–binding factor 3 (CBF3) kinetochore complex by using atomic force microscopy

Yeast centromeric DNA (CEN DNA) binding factor 3 (CBF3) is a multisubunit protein complex that binds to the essential CDEIII element in CEN DNA. The four CBF3 proteins are required for accurate chromosome segregation and are considered to be core components of the yeast kinetochore. We have examined the structure of the CBF3–CEN DNA complex by atomic force microscopy. Assembly of CBF3–CEN DNA complexes was performed by combining purified CBF3 proteins with a DNA fragment that includes the CEN region from yeast chromosome III. Atomic force microscopy images showed DNA molecules with attached globular bodies. The contour length of the DNA containing the complex is ≈9% shorter than the DNA alone, suggesting some winding of DNA within the complex. The measured location of the single binding site indicates that the complex is located asymmetrically to the right of CDEIII extending away from CDEI and CDEII, which is consistent with previous data. The CEN DNA is bent ≈55° at the site of complex formation. A significant fraction of the complexes are linked in pairs, showing three to four DNA arms, with molecular volumes approximately three times the mean volumes of two-armed complexes. These multi-armed complexes indicate that CBF3 can bind two DNA molecules together in vitro and, thus, may be involved in holding together chromatid pairs during mitosis.

Force-mediated kinetics of single P-selectin/ligand complexes observed by atomic force microscopy

Leukocytes roll along the endothelium of postcapillary venules in response to inflammatory signals. Rolling under the hydrodynamic drag forces of blood flow is mediated by the interaction between selectins and their ligands across the leukocyte and endothelial cell surfaces. Here we present force-spectroscopy experiments on single complexes of P-selectin and P-selectin glycoprotein ligand-1 by atomic force microscopy to determine the intrinsic molecular properties of this dynamic adhesion process. By modeling intermolecular and intramolecular forces as well as the adhesion probability in atomic force microscopy experiments we gain information on rupture forces, elasticity, and kinetics of the P-selectin/P-selectin glycoprotein ligand-1 interaction. The complexes are able to withstand forces up to 165 pN and show a chain-like elasticity with a molecular spring constant of 5.3 pN nm−1 and a persistence length of 0.35 nm. The dissociation constant (off-rate) varies over three orders of magnitude from 0.02 s−1 under zero force up to 15 s−1 under external applied forces. Rupture force and lifetime of the complexes are not constant, but directly depend on the applied force per unit time, which is a product of the intrinsic molecular elasticity and the external pulling velocity. The high strength of binding combined with force-dependent rate constants and high molecular elasticity are tailored to support physiological leukocyte rolling.

Specific atomic groups and RNA helix geometry in acceptor stem recognition by a tRNA synthetase

Oligonucleotides that recapitulate the acceptor stems of tRNAs are substrates for aminoacylation by many tRNA synthetases in vitro, even though these substrates are missing the anticodon trinucleotides of the genetic code. In the case of tRNAAla a single acceptor stem G⋅U base pair at position 3·70 is essential, based on experiments where the wobble pair has been replaced by alternatives such as I⋅U, G⋅C, and A⋅U, among others. These experiments led to the conclusion that the minor-groove free 2-amino group (of guanosine) of the G⋅U wobble pair is essential for charging. Moreover, alanine-inserting tRNAs (amber suppressors) that replace G⋅U with mismatches such as G⋅A and C⋅A are partially active in vivo and can support growth of an Escherichia coli tRNAAla knockout strain, leading to the hypothesis that a helix irregularity and nucleotide functionalities are important for recognition. Herein we investigate the charging in vitro of oligonucleotide and full-length tRNA substrates that contain mismatches at the position of the G⋅U pair. Although most of these substrates have undetectable activity, G⋅A and C⋅A variants retain some activity, which is, nevertheless, reduced by at least 100-fold. Thus, the in vivo assays are much less sensitive to large changes in aminoacylation kinetic efficiency of 3·70 variants than is the in vitro assay system. Although these functional data do not clarify all of the details, it is now clear that specific atomic groups are substantially more important in determining kinetic efficiency than is a helical distortion. By implication, the activity of mutant tRNAs measured in the in vivo assays appears to be more dependent on factors other than aminoacylation kinetic efficiency.

Subtle atomic group discrimination in the RNA minor groove

As a problem in molecular recognition and for drug discovery, great interest has developed around the possibility that RNA structures could be discriminated by peptides and other small molecules. Although small peptides have been shown to have the capacity to discriminate specific bulges and loops in RNA molecules, discrimination of double helical regions by a peptide binder has not been reported. Indeed, the most accessible part of an RNA helix is the minor groove, and fundamental stereochemical considerations have suggested that discrimination of at least some base pairs would be difficult in the minor groove. Here we report the design and isolation of a peptide binder that manifests the most subtle kind of discrimination of base pair differences in the RNA minor groove. Functional discrimination of a single atomic group is demonstrated as well as the difference between two different angular orientations of the same group. This report of RNA helix discrimination by a peptide binder suggests a richer potential for RNA minor groove recognition than previously thought.