Особливості зачину актів купівлі-продажу (на матеріалі Пирятинських міських книг)

У статті розглянуто особливості структурних компонентів початкового протоколу актів купівлі-продажу в українській мові кінця ХVІІ – другої третини ХVІІІ ст. На численних прикладах проілюстровано специфічні ознаки власне пирятинських актів, а також виявлено спільні риси, характерні для тогочасного діловодства взагалі

Sub-cortical and brainstem sites associated with chemo-stimulated increases in ventilation in humans

We investigated the neural basis for spontaneous chemo-stimulated increases in ventilation in awake, healthy humans. Blood oxygen level dependent (BOLD) functional MRI was performed in nine healthy subjects using T2weighted echo planar imaging. Brain volumes (52 transverse slices, cortex to high spinal cord) were acquired every 3.9 s. The 30 min paradigm consisted of six, 5-min cycles, each cycle comprising 45 s of hypoxic-isocapnia, 45 s of isooxic-hypercapnia and 45 s of hypoxic-hypercapnia, with 55 s of non-stimulatory hyperoxic-isocapnia (control) separating each stimulus period. Ventilation was significantly (p < 0.001) increased during hypoxic-isocapnia, isooxic-hypercapnia and hypoxic-hypercapnia (17.0, 13.8, 24.9 L/min respectively) vs. control (8.4 L/min) and was associated with significant (p < 0.05, corrected for multiple comparisons) signal increases within a bilateral network that included the basal ganglia, thalamus, red nucleus, cerebellum, parietal cortex, cingulate and superior mid pons. The neuroanatomical structures identified provide evidence for the spontaneous control of breathing to be mediated by higher brain centres, as well as respiratory nuclei in the brainstem

Stable isotope values in modern bryozoan carbonate from New Zealand and implications for paleoenvironmental interpretation

Bryozoan carbonate contains useful geochemical evidence of temperate shelf paleoenvironments. Stable isotope values were determined for 103 modern marine bryozoan skeletons representing 30 species from New Zealand. δ18O values range from -1.4 to 2.8 VPDB, while δ13C range from -4.5 to 2.8 VPDB (values uncorrected for mineralogical variation). These values are distinct from those of both tropical marine skeletons and New Zealand Tertiary fossils. Most bryozoans secrete carbonate in or near isotopic equilibrium with sea water, except for Celleporina and Steginoporella. The complex and variable mineralogies of the bryozoans reported here make correction for mineralogical effects problematic. Nevertheless, mainly aragonitic forms display higher isotope values, as anticipated. Both temperature and salinity constrain δ18O and δ13C values, and vary with latitude and water depth. Ten samples from a single branch of Cinctipora elegans from the Otago shelf cover a narrow range, although the striking difference in carbon isotope values between the endozone and exozone probably reflects different mineralisation histories. Our stable isotope results from three different laboratories on a single population from a single location are encouragingly consistent. Monomineralic bryozoans, when carefully chosen to avoid species suspected of vital fractionation, have considerable potential as geochemical paleoenvironmental indicators, particularly in temperate marine environments where bryozoans are dominant sediment producers

Higher Structures in M-Theory

The key open problem of string theory remains its non-perturbative completion to M-theory. A decisive hint to its inner workings comes from numerous appearances of higher structures in the limits of M-theory that are already understood, such as higher degree flux fields and their dualities, or the higher algebraic structures governing closed string field theory. These are all controlled by the higher homotopy theory of derived categories, generalised cohomology theories, and $L_\infty$-algebras. This is the introductory chapter to the proceedings of the LMS/EPSRC Durham Symposium on Higher Structures in M-Theory. We first review higher structures as well as their motivation in string theory and beyond. Then we list the contributions in this volume, putting them into context.Comment: 22 pages, Introductory Article to Proceedings of LMS/EPSRC Durham Symposium Higher Structures in M-Theory, August 2018, references update

A transcriptome-driven analysis of epithelial brushings and bronchial biopsies to define asthma phenotypes in U-BIOPRED

RATIONALE AND OBJECTIVES: Asthma is a heterogeneous disease driven by diverse immunologic and inflammatory mechanisms. We used transcriptomic profiling of airway tissues to help define asthma phenotypes. METHODS: The transcriptome from bronchial biopsies and epithelial brushings of 107 moderate-to-severe asthmatics were annotated by gene-set variation analysis (GSVA) using 42 gene-signatures relevant to asthma, inflammation and immune function. Topological data analysis (TDA) of clinical and histological data was used to derive clusters and the nearest shrunken centroid algorithm used for signature refinement. RESULTS: 9 GSVA signatures expressed in bronchial biopsies and airway epithelial brushings distinguished two distinct asthma subtypes associated with high expression of T-helper type 2 (Th-2) cytokines and lack of corticosteroid response (Group 1 and Group 3). Group 1 had the highest submucosal eosinophils, high exhaled nitric oxide (FeNO) levels, exacerbation rates and oral corticosteroid (OCS) use whilst Group 3 patients showed the highest levels of sputum eosinophils and had a high BMI. In contrast, Group 2 and Group 4 patients had an 86% and 64% probability of having non-eosinophilic inflammation. Using machine-learning tools, we describe an inference scheme using the currently-available inflammatory biomarkers sputum eosinophilia and exhaled nitric oxide levels along with OCS use that could predict the subtypes of gene expression within bronchial biopsies and epithelial cells with good sensitivity and specificity. CONCLUSION: This analysis demonstrates the usefulness of a transcriptomic-driven approach to phenotyping that segments patients who may benefit the most from specific agents that target Th2-mediated inflammation and/or corticosteroid insensitivity

Historical Criminology and the Explanatory Power of the Past

To what extent can the past ‘explain’ the present? This deceptively simple question lies at the heart of historical criminology (research which incorporates historical primary sources while addressing present-day debates and practices in the criminal justice field). This article seeks first to categorise the ways in which criminologists have used historical data thus far, arguing that it is most commonly deployed to ‘problematize’ the contemporary rather than to ‘explain’ it. The article then interrogates the reticence of criminologists to attribute explicative power in relation to the present to historical data. Finally, it proposes the adoption of long time-frame historical research methods, outlining three advantages which would accrue from this: the identification and analysis of historical continuities; a more nuanced, shared understanding of micro/macro change over time in relation to criminal justice; and a method for identifying and analysing instances of historical recurrence, particularly in perceptions and discourses around crime and justice

Mathematical practice, crowdsourcing, and social machines

The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. Crowdsourcing pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs too long and complicated for humans to comprehend. Mathematical practice is an emerging interdisciplinary field which draws on philosophy and social science to understand how mathematics is produced. Online mathematical activity provides a novel and rich source of data for empirical investigation of mathematical practice - for example the community question answering system {\it mathoverflow} contains around 40,000 mathematical conversations, and {\it polymath} collaborations provide transcripts of the process of discovering proofs. Our preliminary investigations have demonstrated the importance of "soft" aspects such as analogy and creativity, alongside deduction and proof, in the production of mathematics, and have given us new ways to think about the roles of people and machines in creating new mathematical knowledge. We discuss further investigation of these resources and what it might reveal. Crowdsourced mathematical activity is an example of a "social machine", a new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity, and the subject of major international research endeavours. We outline a future research agenda for mathematics social machines, a combination of people, computers, and mathematical archives to create and apply mathematics, with the potential to change the way people do mathematics, and to transform the reach, pace, and impact of mathematics research.Comment: To appear, Springer LNCS, Proceedings of Conferences on Intelligent Computer Mathematics, CICM 2013, July 2013 Bath, U

From Euclidean Geometry to Knots and Nets

This document is the Accepted Manuscript of an article accepted for publication in Synthese. Under embargo until 19 September 2018. The final publication is available at Springer via https://doi.org/10.1007/s11229-017-1558-x.This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if (a) it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, (b) the information thus displayed is not metrical and (c) it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions.Peer reviewe

The Role of the Mucus Barrier in Digestion

Mucus forms a protective layer across a variety of epithelial surfaces. In the gastrointestinal (GI) tract, the barrier has to permit the uptake of nutrients, while excluding potential hazards, such as pathogenic bacteria. In this short review article, we look at recent literature on the structure, location, and properties of the mammalian intestinal secreted mucins and the mucus layer they form over a wide range of length scales. In particular, we look at the structure of the gel-forming glycoprotein MUC2, the primary intestinal secreted mucin, and the influence this has on the properties of the mucus layer. We show that, even at the level of the protein backbone, MUC2 is highly heterogeneous and that this is reflected in the networks it forms. It is evident that a combination of charge and pore size determines what can diffuse through the layer to the underlying gut epithelium. This information is important for the targeted delivery of bioactive molecules, including nutrients and pharmaceuticals, and for understanding how GI health is maintained