Dr. Doodle: A diagrammatic theorem prover

This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (principally geometry) , diagrammatic reasoning is easier to understand than conventional algebraic approaches -- at least for a significant number of people. The Dr.Doodle system was developed for the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry algebraic formalism). Pilot experiments were conducted to evaluate its potential as the basis of an educational tool, with encouraging results

Plasticity, crack initiation and defect resistance in alkali-borosilicate glasses: From normal to anomalous behavior

We provide a comprehensive description of the defect tolerance of sodium-borosilicate glasses upon sharp contact loading. This is motivated by the key role which is taken by this particular glass system in a wide variety of applications, ranging from electronic substrates, display covers and substrates for biomedical imaging and sensing to, e.g., radioactive waste vitrification. The present report covers the mechanical properties of glasses in the Na2O–B2O3–SiO2 ternary over the broad range of compositions from pure SiO2 to binary sodium-borates, and crossing the regions of various commercially relevant specialty borosilicate glasses, such as the multi-component Duran-, Pyrex- and BK7-type compositions and typical soda-lime silicate glasses, which are also included in this study. In terms of structure, the considered glasses may be separated into two groups, that is, one series which contains only bridging oxygen atoms, and another series which is designed with an increasing number of non-bridging oxygen ions. Elastic moduli, Poisson ratio, hardness as well as creep and crack resistance were evaluated, as well as the contribution of densification to the overall amount of indentation deformation. Correlations between the mechanical properties and structural characteristics of near- and mid-range order are discussed, from which we obtain a mechanistic view at the molecular reactions which govern the overall deformation reaction and, ultimately, contact cracking

Micro-CT-based analysis of fibre-reinforced composites:Applications

The paper presents an overview of cases in which the analysis of the internal structure and mechanical properties of fibre reinforced composites is performed based on the micro-computed X-ray tomography (micro-CT) reconstruction of the composite reinforcement geometry. In all the cases, the analysis relies on structure tensor-based algorithms for quantification of the micro-CT image, implemented in VoxTex software

Search for quarks in cosmic rays with the Leeds cloud chamber

The central regions of cosmic-ray air showers near sea level have been studied with the Leeds cloud chamber for the possible occurrence of low-ionizing tracks. The average energy of the primary particles was a few times 106 GeV. Our current results give an upper limit to the "flux" of quarks of 1.2 x 10-11 cm-2 sec-1 sr-1 at a 90% confidence level. A simple model is used to obtain an upper limit to the production cross section versus quark mass.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/21994/1/0000406.pd

Machine Learning in Drug Discovery and Development Part 1: A Primer

Artificial intelligence, in particular machine learning (ML), has emerged as a key promising pillar to overcome the high failure rate in drug development. Here, we present a primer on the ML algorithms most commonly used in drug discovery and development. We also list possible data sources, describe good practices for ML model development and validation, and share a reproducible example. A companion article will summarize applications of ML in drug discovery, drug development, and postapproval phase.Laboratorio de Investigación y Desarrollo de Bioactivo

Interaction of PLP with GFP-MAL2 in the Human Oligodendroglial Cell Line HOG

The velocity of the nerve impulse conduction of vertebrates relies on the myelin sheath, an electrically insulating layer that surrounds axons in both the central and peripheral nervous systems, enabling saltatory conduction of the action potential. Oligodendrocytes are the myelin-producing glial cells in the central nervous system. A deeper understanding of the molecular basis of myelination and, specifically, of the transport of myelin proteins, will contribute to the search of the aetiology of many dysmyelinating and demyelinating diseases, including multiple sclerosis. Recent investigations suggest that proteolipid protein (PLP), the major myelin protein, could reach myelin sheath by an indirect transport pathway, that is, a transcytotic route via the plasma membrane of the cell body. If PLP transport relies on a transcytotic process, it is reasonable to consider that this myelin protein could be associated with MAL2, a raft protein essential for transcytosis. In this study, carried out with the human oligodendrocytic cell line HOG, we show that PLP colocalized with green fluorescent protein (GFP)-MAL2 after internalization from the plasma membrane. In addition, both immunoprecipitation and immunofluorescence assays, indicated the existence of an interaction between GFP-MAL2 and PLP. Finally, ultrastructural studies demonstrated colocalization of GFP-MAL2 and PLP in vesicles and tubulovesicular structures. Taken together, these results prove for the first time the interaction of PLP and MAL2 in oligodendrocytic cells, supporting the transcytotic model of PLP transport previously suggested