Versatile hybrid acoustic micromixer with demonstration of circulating cell-free DNA extraction from sub-ml plasma samples

A low-cost and easy to implement acoustic micromixer compatible with multiple fabrication technologies that can provide efficient and vigorous mixing

New development: Directly elected mayors in Italy: creating a strong leader doesn’t mean creating strong leadership

More than 20 years after their introduction, directly elected mayors are key players in Italian urban governance. This article explains the main effects of this reform on local government systems and provides lessons for other countries considering directly elected mayors

A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms

Distributed algorithms have many mission-critical applications ranging from embedded systems and replicated databases to cloud computing. Due to asynchronous communication, process faults, or network failures, these algorithms are difficult to design and verify. Many algorithms achieve fault tolerance by using threshold guards that, for instance, ensure that a process waits until it has received an acknowledgment from a majority of its peers. Consequently, domain-specific languages for fault-tolerant distributed systems offer language support for threshold guards. We introduce an automated method for model checking of safety and liveness of threshold-guarded distributed algorithms in systems where the number of processes and the fraction of faulty processes are parameters. Our method is based on a short counterexample property: if a distributed algorithm violates a temporal specification (in a fragment of LTL), then there is a counterexample whose length is bounded and independent of the parameters. We prove this property by (i) characterizing executions depending on the structure of the temporal formula, and (ii) using commutativity of transitions to accelerate and shorten executions. We extended the ByMC toolset (Byzantine Model Checker) with our technique, and verified liveness and safety of 10 prominent fault-tolerant distributed algorithms, most of which were out of reach for existing techniques.Comment: 16 pages, 11 pages appendi

Environmental DNA assessment of airborne plant and fungal seasonal diversity

Environmental DNA (eDNA) metabarcoding and metagenomics analyses can improve taxonomic resolution in biodiversity studies. Only recently, these techniques have been applied in aerobiology, to target bacteria, fungi and plants in airborne samples. Here, we present a nine-month aerobiological study applying eDNA metabarcoding in which we analyzed simultaneously airborne diversity and variation of fungi and plants across five locations in North and Central Italy. We correlated species composition with the ecological characteristics of the sites and the seasons. The most abundant taxa among all sites and seasons were the fungal genera Cladosporium, Alternaria, and Epicoccum and the plant genera Brassica, Corylus, Cupressus and Linum, the latter being much more variable among sites. PERMANOVA and indicator species analyses showed that the plant diversity from air samples is significantly correlated with seasons, while that of fungi varied according to the interaction between seasons and sites. The results consolidate the performance of a new eDNA metabarcoding pipeline for the simultaneous amplification and analysis of airborne plant and fungal particles. They also highlight the promising complementarity of this approach with more traditional biomonitoring frameworks and routine reports of air quality provided by environmental agencies

Virtual special issue: public policy and administration and COVID-19

This is the author accepted manuscript. The final version is available from SAGE Publications via the link in this recordWe recently elaborate on seven analytical themes that are central to the challenges presented by COVID-19: policy design and instruments; policy learning; public service; organisational capacity; public governance; administrative traditions; and public sector reforms in multi-level governance (MLG) (Dunlop et al. 2020). In this virtual issue, we provide access to recent Public Policy and Administration articles that reflect these research themes related to high impact crises such as COVID19

Effect of atmospheric nitric oxide (NO) on measurements of exhaled NO in asthmatic children

The measurement of exhaled nitric oxide concentrations [NO] may provide a simple, noninvasive means for measuring airway inflammation. However, several measurement conditions may influence exhaled NO levels, and ambient NO may be one of these. We measured exhaled NO levels in 47 stable asthmatic children age 5 to 17 years and in 47 healthy children, gender and age matched. Exhaled [NO] in expired air was measured by a tidal breathing method with a chemiluminescence analyzer, sampling at the expiratory side of the mouthpiece. NO steady\u2010state levels were recorded. In order to keep the soft palate closed and avoid nasal contamination, the breathing circuit had a restrictor providing an expiratory pressure of 3\u20134 cm H2O at the mouthpiece. To evaluate the effect of [NO] in ambient air, measurements were randomly performed by breathing ambient air or NO\u2010free air from a closed circuit. Breathing NO\u2010free air, exhaled [NO] in asthmatics (mean \ub1 SEM) was 23.7 \ub1 1.4 ppb, significantly higher (P < 0.001) than in healthy controls (8.7 \ub1 0.4 ppb). Exhaled NO concentrations measured during ambient air breathing were higher (49 \ub1 4.6 ppb, P < 0.001) than when breathing NO\u2010free air (23.7 \ub1 1.4 ppb) and were significantly correlated (r = 0.89, P < 0.001) with atmospheric concentrations of NO (range 3\u2013430 ppb). These findings show that (1) exhaled [NO] values of asthmatic children are significantly higher than in healthy controls, and (2) atmospheric NO levels critically influence the measurement of exhaled [NO]. Therefore, using a tidal breathing method the inhalation of NO\u2010free air during the test is recommended. Pediatr Pulmonol. 1998; 26:30\u201334. \ua9 1998 Wiley\u2010Liss, Inc

A new chapter for PPA!

publication-status: Publishedtypes: Editorial CommentOver the past three decades Public Policy and Administration (PPA) has established itself as one of the leading outlets for international quality research in the study of public policy, management and administration and cognate sub-fields. PPA has a strong identity providing a forum for debate, and the editorial line has been extremely successful in att racting high quality papers from a wide cross-secti on of policy fields addressing a range of contemporary issues. A particular strength of the journal under McTavish and Johnston-Miller has been its commitment to UK-related public administration at multiple levels

Engineered membranes for residual cell trapping on microfluidic blood plasma separation systems. A comparison between porous and nanofibrous membranes

Blood-based clinical diagnostics require challenging limit-of-detection for low abundance, circulating molecules in plasma. Micro-scale blood plasma separation (BPS) has achieved remarka-ble results in terms of plasma yield or purity, but rarely achieving both at the same time. Here, we proposed the first use of electrospun polylactic-acid (PLA) membranes as filters to remove residual cell population from continuous hydrodynamic-BPS devices. The membranes hydrophilicity was improved by adopting a wet chemistry approach via surface aminolysis as demonstrated through Fourier Transform Infrared Spectroscopy and Water Contact Angle analysis. The usability of PLA-membranes was assessed through degradation measurements at extreme pH values. Plasma purity and hemolysis were evaluated on plasma samples with residual red blood cell content (1, 3, 5% hematocrit) corresponding to output from existing hydrodynamic BPS systems. Commercially available membranes for BPS were used as benchmark. Results highlighted that the electrospun membranes are suitable for downstream residual cell removal from blood, permitting the collection of up to 2 mL of pure and low-hemolyzed plasma. Fluorometric DNA quantification revealed that electrospun membranes did not significantly affect the concentration of circulating DNA. PLA-based electrospun membranes can be combined with hydrodynamic BPS in order to achieve high volume plasma separation at over 99% plasma purity