Self-organised droplet flow patterns in microchannels

This paper was presented at the 2nd Micro and Nano Flows Conference (MNF2009), which was held at Brunel University, West London, UK. The conference was organised by Brunel University and supported by the Institution of Mechanical Engineers, IPEM, the Italian Union of Thermofluid dynamics, the Process Intensification Network, HEXAG - the Heat Exchange Action Group and the Institute of Mathematics and its Applications.In this work, we have investigated the generation and behaviour of self-organised droplet flow patterns in microchannels. The water droplets, which are generated at a T-junction where the carrier is oil, move into an expanded channel and are self reorganised into various flow patterns: single-profile, double-helix-profile, triple-helix-profile, and more. We find that increasing water/oil flow rate ratio and Capillary number lead to more densely packed droplet flow patterns. The channel geometry also plays an essential role where the 300-μm-deep expansion channel can form multiple layers of droplets while only single layer of droplets can be observed in the 200-μm-deep expansion channel

Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Efficient CSL Model Checking Using Stratification

For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996. Their proof can be turned into an approximation algorithm with worse than exponential complexity. In 2000, Baier, Haverkort, Hermanns and Katoen presented an efficient polynomial-time approximation algorithm for the sublogic in which only binary until is allowed. In this paper, we propose such an efficient polynomial-time approximation algorithm for full CSL. The key to our method is the notion of stratified CTMCs with respect to the CSL property to be checked. On a stratified CTMC, the probability to satisfy a CSL path formula can be approximated by a transient analysis in polynomial time (using uniformization). We present a measure-preserving, linear-time and -space transformation of any CTMC into an equivalent, stratified one. This makes the present work the centerpiece of a broadly applicable full CSL model checker. Recently, the decision algorithm by Aziz et al. was shown to work only for stratified CTMCs. As an additional contribution, our measure-preserving transformation can be used to ensure the decidability for general CTMCs.Comment: 18 pages, preprint for LMCS. An extended abstract appeared in ICALP 201

Search for WW and WZ production in lepton plus jets final state at CDF

We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in sqrt(s) = 1.96 TeV ppbar collisions at the Fermilab Tevatron, using data corresponding to 1.2 fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of sigma_{WW}* BR(W->lnu,W->jets)+ sigma_{WZ}*BR(W->lnu,Z->jets)We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in √s=1.96  TeV pp̅ collisions at the Fermilab Tevatron, using data corresponding to 1.2  fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of σWW×BR(W→ℓνℓ,W→jets)+σWZ×BR(W→ℓνℓ,Z→jets)<2.88  pb, which is consistent with the standard model next-to-leading-order cross section calculation for this decay channel of 2.09±0.12  pb.Peer reviewe

Interplay of Spin-Orbit Interaction and Electron Correlation on the Van Vleck Susceptibility in Transition Metal Compounds

We have studied the effects of electron correlation on Van Vleck susceptibility ($\chi_{\rm{VV}}$) in transition metal compounds. A typical crossover behavior is found for the correlation effect on $\chi_{\rm{VV}}$ as sweeping spin-orbit interaction, $\lambda$. For a small $\lambda$, orbital fluctuation plays a dominant role in the correlation enhancement of $\chi_{\rm{VV}}$; however, the enhancement rate is rather small. In contrast, for an intermediate $\lambda$, $\chi_{\rm{VV}}$ shows a substantial increase, accompanied by the development of spin fluctuation. We will discuss the behavior of $\chi_{\rm{VV}}$ in association with the results of Knight-shift experiments on Sr$_2$RuO$_4$ and an anomalously large magnetic susceptibility observed for $5d$ Ir compounds.Comment: 5 pages, 3 figures, to appear in J. Phys. Soc. Jp

Biomarker discovery and redundancy reduction towards classification using a multi-factorial MALDI-TOF MS T2DM mouse model dataset

Diabetes like many diseases and biological processes is not mono-causal. On the one hand multifactorial studies with complex experimental design are required for its comprehensive analysis. On the other hand, the data from these studies often include a substantial amount of redundancy such as proteins that are typically represented by a multitude of peptides. Coping simultaneously with both complexities (experimental and technological) makes data analysis a challenge for Bioinformatics

Mean Interplanetary Magnetic Field Measurement Using the ARGO-YBJ Experiment

The sun blocks cosmic ray particles from outside the solar system, forming a detectable shadow in the sky map of cosmic rays detected by the ARGO-YBJ experiment in Tibet. Because the cosmic ray particles are positive charged, the magnetic field between the sun and the earth deflects them from straight trajectories and results in a shift of the shadow from the true location of the sun. Here we show that the shift measures the intensity of the field which is transported by the solar wind from the sun to the earth.Comment: 6 papges,3 figure

The Mesozoic along-strike tectono-metamorphic segmentation of Longmen Shan (eastern Tibetan plateau)

The Longmen Shan belt (eastern border of the Tibetan plateau) constitutes a tectonically active region as demonstrated by the occurrence of the unexpected 2008 Mw 7.9 Wenchuan and 2013 Mw 6.6 Lushan earthquakes in the central and southern parts of the belt respectively. These events revealed the necessity of a better understanding of the long‐term geological evolution of the belt and its effect on the present dynamics and crustal structure. New structural and thermobarometric data offer a comprehensive dataset of the paleo‐temperatures across the belt and P‐T estimates for low‐grade metamorphic domains. In the central Longmen Shan, two metamorphic jumps of 150‐200°C, 5‐6 kbar and ~50 °C, 3‐5 kbar acquired during the Early Mesozoic are observed across the Wenchuan and Beichuan faults respectively, attesting to their thrusting movement and unrevealing a major decollement between the allochtonous Songpan‐Garze metasedimentary cover (at T > 500°C) and the autochtonous units and the basement (T < 400°C). In the southern Longmen Shan, the only greenschist‐facies metamorphism is observed both in the basement (360 ± 30°C, 6 ± 2 kbar) and in the metasedimentary cover (350 ± 30°C, 3 ± 1 kbar). Peak conditions were reached at c. 80‐60 Ma in the basement and c. 55‐33 Ma in the cover, c. 50 Ma after the greenschist‐facies metamorphic overprint observed in the central Longmen Shan (c. 150‐120 Ma). This along‐strike metamorphic segmentation coincides well with the present fault segmentation and reveals that the central and southern Longmen Shan experienced different tectono‐metamorphic histories since the Mesozoic

Classical phase space and statistical mechanics of identical particles

Starting from the quantum theory of identical particles, we show how to define a classical mechanics that retains information about the quantum statistics. We consider two examples of relevance for the quantum Hall effect: identical particles in the lowest Landau level, and vortices in the Chern-Simons Ginzburg-Landau model. In both cases the resulting {\em classical} statistical mechanics is shown to be a nontrivial classical limit of Haldane's exclusion statistics.Comment: 40 pages, Late

A global synthesis reveals biodiversity-mediated benefits for crop production

Human land use threatens global biodiversity and compromises multiple ecosystem functions critical to food production. Whether crop yield-related ecosystem services can be maintained by a few dominant species or rely on high richness remains unclear. Using a global database from 89 studies (with 1475 locations), we partition the relative importance of species richness, abundance, and dominance for pollination; biological pest control; and final yields in the context of ongoing land-use change. Pollinator and enemy richness directly supported ecosystem services in addition to and independent of abundance and dominance. Up to 50% of the negative effects of landscape simplification on ecosystem services was due to richness losses of service-providing organisms, with negative consequences for crop yields. Maintaining the biodiversity of ecosystem service providers is therefore vital to sustain the flow of key agroecosystem benefits to society. [Abstract copyright: Copyright © 2019 The Authors, some rights reserved; exclusive licensee American Association for the Advancement of Science. No claim to original U.S. Government Works. Distributed under a Creative Commons Attribution NonCommercial License 4.0 (CC BY-NC).