Entity linking systems for literature reviews

Scientometrics - Computer-assisted methods and tools can help researchers automate the coding process of literature reviews and accelerate the literature review process. However, existing...     

Theoretical and experimental studies of a new aniline derivative corrosion inhibitor for mild steel in acid medium

4-Chloro-N-(pyridin-2-ylmethyl)aniline (CPYA) was synthesized by a simple and inexpensive method and tested as a corrosion inhibitor in acid medium for mild steel by using gravimetric studies and electrochemical measurements. An average maximum efficiency of 96.0% was achieved at 4.59 mmol/L. Corrosion kinetic and thermodynamic parameters were also analyzed. Surface analyses (atomic force microscopy and scanning electron microscopy) show that protection is enabled by adsorption on the metal, forming a film. Quantum chemical calculations were performed to access information regarding the molecular structure in the corrosive medium and to support interpretation of the results obtained by experimental methods.     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

Synthesis and analysis of phase segregation of polystyrene-block-poly(methyl methacrylate) copolymer obtained by Steglich esterification from semitelechelic blocks of polystyrene and poly(methyl methacrylate)

Here, an alternative route to successfully synthesize polystyrene-block-poly(methyl methacrylate) (PS-b-PMMA) is reported. Steglich esterification was used as an effective, metal free approach for coupling carboxylic terminated PS and the hydroxyl end-functionalized PMMA chains obtained by nitroxide-mediated polymerization and atom transfer radical polymerization, respectively. α-Functionalization was obtained using 4,4′-azobis(4-cyanovaleric acid) and 2,2,2-tribromoethanol as initiators. The synthesis of PS-b-PMMA was confirmed by gel permeation chromatography and nuclear magnetic resonance (NMR), while the dependence of the diffusion coefficients of the polymers (PS, PMMA, PS/PMMA blend, and PS-b-PMMA) with their corresponding molecular weights was discussed based on the results of atomic force microscopy-based infrared spectroscopy, differential scanning calorimetry, and spectra of diffusion-ordered NMR spectroscopy. Differently from PS-b-PMMA, a partial segregation was observed for the PS/PMMA blend, affecting its thermal behavior and diffusion coefficient. The study here presented provides an easier and efficient strategy for the synthesis of PS-b-PMMA and new insights into the diffusion of polymers.     

Great cities look small

Great cities connect people; failed cities isolate people. Despite the fundamental importance of physical, face-to-face social ties in the functioning of cities, these connectivity networks are not explicitly observed in their entirety. Attempts at estimating them often rely on unrealistic over-simplifications such as the assumption of spatial homogeneity. Here we propose a mathematical model of human interactions in terms of a local strategy of maximizing the number of beneficial connections attainable under the constraint of limited individual travelling-time budgets. By incorporating census and openly available online multi-modal transport data, we are able to characterize the connectivity of geometrically and topologically complex cities. Beyond providing a candidate measure of greatness, this model allows one to quantify and assess the impact of transport developments, population growth, and other infrastructure and demographic changes on a city. Supported by validations of gross domestic product and human immunodeficiency virus infection rates across US metropolitan areas, we illustrate the effect of changes in local and city-wide connectivities by considering the economic impact of two contemporary inter- and intra-city transport developments in the UK: High Speed 2 and London Crossrail. This derivation of the model suggests that the scaling of different urban indicators with population size has an explicitly mechanistic origin.     

A linear-encoding model explains the variability of the target morphology in regeneration

A fundamental assumption of today''s molecular genetics paradigm is that complex morphology emerges from the combined activity of low-level processes involving proteins and nucleic acids. An inherent characteristic of such nonlinear encodings is the difficulty of creating the genetic and epigenetic information that will produce a given self-assembling complex morphology. This ‘inverse problem’ is vital not only for understanding the evolution, development and regeneration of bodyplans, but also for synthetic biology efforts that seek to engineer biological shapes. Importantly, the regenerative mechanisms in deer antlers, planarian worms and fiddler crabs can solve an inverse problem: their target morphology can be altered specifically and stably by injuries in particular locations. Here, we discuss the class of models that use pre-specified morphological goal states and propose the existence of a linear encoding of the target morphology, making the inverse problem easy for these organisms to solve. Indeed, many model organisms such as Drosophila, hydra and Xenopus also develop according to nonlinear encodings producing linear encodings of their final morphologies. We propose the development of testable models of regeneration regulation that combine emergence with a top-down specification of shape by linear encodings of target morphology, driving transformative applications in biomedicine and synthetic bioengineering.     

Complexity analysis of blast-induced vibrations in underground mining:A case study

Blasting in geological bodies is an industrial process acting in an environment characterized by high uncertainties (natural joints,faults,voids,abrupt structural changes),which are transposed into the...