Weather and Climate Change Drive Annual Variation of Reproduction by an Aerial Insectivore

For many bird species, but especially aerial insectivores, reproduction depends on weather. Climate change is likely to intensify effects, but with uncertain consequences. We report 22 years of data on Eastern Kingbird (Tyrannus tyrannus) reproduction for two populations located in different hygric environments undergoing climate change; mesic central New York, USA, (NY; 12 years) and xeric southeastern Oregon, USA, (OR: 10 years). Laying date became earlier with increasing temperature in the 30-day period preceding laying in identical fashion at both sites, and in years of early laying, clutch size was larger, length of laying season increased, and failed initial nesting attempts were more often replaced. High temperature in the 10-days preceding mean laying date was associated with shorter laying seasons, while a site by 10-day temperature interaction reflected an increase and decrease of clutch size with increasing 10-day temperature in NY and OR, respectively. Seasonal rate of clutch size decline was higher when the laying season was short but also slowed in xeric OR when rain was abundant in the 10-days prior to mean laying date. Nest predation drove annual variation in young fledged/nest, but the latter also increased and decreased with increasing maximum temperature during the nestling phase in mesic NY and xeric OR, respectively. Potential effects of climate change on kingbird populations are thus high given the dependence of reproduction on weather, and climate change likely contributed to declines of kingbirds in OR. Declines of kingbirds in NY appear unrelated to warming climates because higher temperatures advanced laying dates and yielded greater nest productivity. However, length of laying season declined across years at both sites, and thus early season gains may be negated by poor conditions late in the season that may be causing shorter laying seasons. Further work is needed to identify causes for the latter changes

Extending scientific computing system with structural quantum programming capabilities

We present a basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming languages and we use quantum pseudo-code based on QCL quantum programming language to describe them. We also present the implementation of introduced structures in GNU Octave language for scientific computing. Procedures used in the implementation are available as a package quantum-octave, providing a library of functions, which facilitates the simulation of quantum computing. This package allows also to incorporate high-level programming concepts into the simulation in GNU Octave and Matlab. As such it connects features unique for high-level quantum programming languages, with the full palette of efficient computational routines commonly available in modern scientific computing systems. To present the major features of the described package we provide the implementation of selected quantum algorithms. We also show how quantum errors can be taken into account during the simulation of quantum algorithms using quantum-octave package. This is possible thanks to the ability to operate on density matrices

A system of relational syllogistic incorporating full Boolean reasoning

We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to all B. Such primitives formalize sentences from natural language like `All students read some textbooks'. Here A and B denote arbitrary sets (of objects), and R denotes an arbitrary binary relation between objects. The language of the logic contains only variables denoting sets, determining the class of set terms, and variables denoting binary relations between objects, determining the class of relational terms. Both classes of terms are closed under the standard Boolean operations. The set of relational terms is also closed under taking the converse of a relation. The results of the paper are the completeness theorem with respect to the intended semantics and the computational complexity of the satisfiability problem.Comment: Available at http://link.springer.com/article/10.1007/s10849-012-9165-

A coinductive semantics of the Unlimited Register Machine

We exploit (co)inductive specifications and proofs to approach the evaluation of low-level programs for the Unlimited Register Machine (URM) within the Coq system, a proof assistant based on the Calculus of (Co)Inductive Constructions type theory. Our formalization allows us to certify the implementation of partial functions, thus it can be regarded as a first step towards the development of a workbench for the formal analysis and verification of both converging and diverging computations

The need for a convergence of agricultural/laboratory and zoo-based approaches to animal welfare

Advances in animal welfare science have led to a high number of studies published for farm, laboratory and zoo animals, with a huge breadth of innovative topic areas and methodologies. This paper investigates the different approaches used to undertake welfare research in farm, laboratory and zoo animals due to the variety of constraints that each group brings. We also set recommendations to how groups can support each other in moving forwards to reduce animal suffering and promote a life worth living, a goal that all parties aim to achieve. We propose that researchers develop more collaborations across species, in particular to focus on the applied component of animal welfare and utilizing positive welfare indicators; facilitate knowledge transfer and share good practice worldwide; and accept small n based studies that can still be scientifically robust and provide individual-based steps into advances in our knowledge. Ultimately, we need to be progressing animal welfare science to a point beyond legislative needs, and ensure that ‘high animal welfare’ becomes an additional mission statement for all animal-based industries

Set Theory and Structures

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure

Reduced occupancy of hedgehogs (Erinaceus europaeus) in rural England and Wales: the influence of habitat and an asymmetric intra-guild predator

Agricultural landscapes have become increasingly intensively managed resulting in population declines across a broad range of taxa, including insectivores such as the hedgehog (Erinaceus europaeus). Hedgehog declines have also been attributed to an increase in the abundance of badgers (Meles meles), an intra-guild predator. The status of hedgehogs across the rural landscape at large spatial scales is, however, unknown. In this study, we used footprint tracking tunnels to conduct the first national survey of rural hedgehog populations in England and Wales. Single and two-species occupancy modelling was used to quantify hedgehog occupancy in relation to habitat and predator covariates. Hedgehog occupancy was low (22% nationally), and significantly negatively related to badger sett density and positively related to the built environment. Hedgehogs were also absent from 71% of sites that had no badger setts, indicating that large areas of the rural landscape are not occupied by hedgehogs. Our results provide the first field based national survey of hedgehogs, providing a robust baseline for future monitoring. Furthermore, the combined effects of increasing badger abundance and intensive agriculture may have provided a perfect storm for hedgehogs in rural Britain, leading to worryingly low levels of occupancy over large spatial scales

Assessing Physicochemical Properties of Drug Molecules via Microsolvation Measurements with Differential Mobility Spectrometry

Definitive version is available here: Liu, C., Le Blanc, J. C. Y., Schneider, B. B., Shields, J., Federico, J. J., Zhang, H., … Campbell, J. L. (2017). Assessing Physicochemical Properties of Drug Molecules via Microsolvation Measurements with Differential Mobility Spectrometry. ACS Central Science, 3(2), 101–109. https://doi.org/10.1021/acscentsci.6b00297. This is an open access article published under an ACS AuthorChoice License, which permits copying and redistribution of the article or any adaptations for non-commercial purposes.http://pubs.acs.org/page/policy/authorchoice_termsofuse.htmlThe microsolvated state of a molecule, represented by its interactions with only a small number of solvent molecules, can play a key role in determining the observable bulk properties of the molecule. This is especially true in cases where strong local hydrogen bonding exists between the molecule and the solvent. One method that can probe the microsolvated states of charged molecules is differential mobility spectrometry (DMS), which rapidly interrogates an ion’s transitions between a solvated and desolvated state in the gas phase (i.e., few solvent molecules present). However, can the results of DMS analyses of a class of molecules reveal information about the bulk physicochemical properties of those species? Our findings presented here show that DMS behaviors correlate strongly with the measured solution phase pKa and pKb values, and cell permeabilities of a set of structurally related drug molecules, even yielding high-resolution discrimination between isomeric forms of these drugs. This is due to DMS’s ability to separate species based upon only subtle (yet predictable) changes in structure: the same subtle changes that can influence isomers’ different bulk properties. Using 2-methylquinolin-8-ol as the core structure, we demonstrate how DMS shows promise for rapidly and sensitively probing the physicochemical properties of molecules, with particular attention paid to drug candidates at the early stage of drug development. This study serves as a foundation upon which future drug molecules of different structural classes could be examined.Natural Sciences and Engineering Research Council of Canada || ENGAGE grant (EGP No. 449354-13) ENGAGE Plus grant || (EGP No.463974-14) Collaborative Research and Development grant || (490885). Ontario Centres of Excellence(OCE) || Voucher for Innovation and Productivity II grant (25050

When fast logic meets slow belief: Evidence for a parallel-processing model of belief bias.

Two experiments pitted the default-interventionist account of belief bias against a parallel-processing model. According to the former, belief bias occurs because a fast, belief-based evaluation of the conclusion pre-empts a working-memory demanding logical analysis. In contrast, according to the latter both belief-based and logic-based responding occur in parallel. Participants were given deductive reasoning problems of variable complexity and instructed to decide whether the conclusion was valid on half the trials or to decide whether the conclusion was believable on the other half. When belief and logic conflict, the default-interventionist view predicts that it should take less time to respond on the basis of belief than logic, and that the believability of a conclusion should interfere with judgments of validity, but not the reverse. The parallel-processing view predicts that beliefs should interfere with logic judgments only if the processing required to evaluate the logical structure exceeds that required to evaluate the knowledge necessary to make a belief-based judgment, and vice versa otherwise. Consistent with this latter view, for the simplest reasoning problems (modus ponens), judgments of belief resulted in lower accuracy than judgments of validity, and believability interfered more with judgments of validity than the converse. For problems of moderate complexity (modus tollens and single-model syllogisms), the interference was symmetrical, in that validity interfered with belief judgments to the same degree that believability interfered with validity judgments. For the most complex (three-term multiple-model syllogisms), conclusion believability interfered more with judgments of validity than vice versa, in spite of the significant interference from conclusion validity on judgments of belief