Kolmogorov's law for two-dimensional electron-magnetohydrodynamic turbulence

The analogue of the Kolmogorov's four-fifths law is derived for two-dimensional, homogeneous, isotropic EMHD turbulence in the energy cascade inertial range. Direct numerical simulations for the freely decaying case show that this relation holds true for different values of the adimensional electron inertial length scale, $d_e$. The energy spectrum is found to be close to the expected Kolmogorov spectrum.Comment: 9 pages RevTeX, 3 PostScript figure

Efficient Parallel Statistical Model Checking of Biochemical Networks

We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification approaches such as, for example, CSL/PCTL model checking, are undermined by a huge computational demand which rule them out for most real case studies. Less demanding approaches, such as statistical model checking, estimate the likelihood that a property is satisfied by sampling executions out of the stochastic model. We propose a methodology for efficiently estimating the likelihood that a LTL property P holds of a stochastic model of a biochemical network. As with other statistical verification techniques, the methodology we propose uses a stochastic simulation algorithm for generating execution samples, however there are three key aspects that improve the efficiency: first, the sample generation is driven by on-the-fly verification of P which results in optimal overall simulation time. Second, the confidence interval estimation for the probability of P to hold is based on an efficient variant of the Wilson method which ensures a faster convergence. Third, the whole methodology is designed according to a parallel fashion and a prototype software tool has been implemented that performs the sampling/verification process in parallel over an HPC architecture

Cortical-Inspired Wilson–Cowan-Type Equations for Orientation-Dependent Contrast Perception Modelling

We consider the evolution model proposed in Bertalmío (Front Comput Neurosci 8:71, 2014), Bertalmío et al. (IEEE Trans Image Process 16(4):1058–1072, 2007) to describe illusory contrast perception phenomena induced by surrounding orientations. Firstly, we highlight its analogies and differences with the widely used Wilson–Cowan equations (Wilson and Cowan in BioPhys J 12(1):1–24, 1972), mainly in terms of efficient representation properties. Then, in order to explicitly encode local directional information, we exploit the model of the primary visual cortex (V1) proposed in Citti and Sarti (J Math Imaging Vis 24(3):307–326, 2006) and largely used over the last years for several image processing problems (Duits and Franken in Q Appl Math 68(2):255–292, 2010; Prandi and Gauthier in A semidiscrete version of the Petitot model as a plausible model for anthropomorphic image reconstruction and pattern recognition. SpringerBriefs in Mathematics, Springer, Cham, 2017; Franceschiello et al. in J Math Imaging Vis 60(1):94–108, 2018). The resulting model is thus defined in the space of positions and orientation, and it is capable of describing assimilation and contrast visual bias at the same time. We report several numerical tests showing the ability of the model to reproduce, in particular, orientation-dependent phenomena such as grating induction and a modified version of the Poggendorff illusion. For this latter example, we empirically show the existence of a set of threshold parameters differentiating from inpainting to perception-type reconstructions and describing long-range connectivity between different hypercolumns in V1

Structure of the stress-related LHCSR1 complex determined by an integrated computational strategy

Light-harvesting complexes (LHCs) are pigment-protein complexes whose main function is to capture sunlight and transfer the energy to reaction centers of photosystems. In response to varying light conditions, LH complexes also play photoregulation and photoprotection roles. In algae and mosses, a sub-family of LHCs, light-harvesting complex stress-related (LHCSR), is responsible for photoprotective quenching. Despite their functional and evolutionary importance, no direct structural information on LHCSRs is available that can explain their unique properties. In this work, we propose a structural model of LHCSR1 from the moss P. patens, obtained through an integrated computational strategy that combines homology modeling, molecular dynamics, and multiscale quantum chemical calculations. The model is validated by reproducing the spectral properties of LHCSR1. Our model reveals the structural specificity of LHCSR1, as compared with the CP29 LH complex, and poses the basis for understanding photoprotective quenching in mosses

Ultrasound and Microwave-assisted Extraction of Proteins from Coffee Green Beans: Effects of Process Variables on the Protein Integrity

The demand for proteins is constantly increasing and green extraction methodologies are needed to achieve environmental sustainability goals. The recovery of the by-products of the agri-food chain has also become a priority from a circular economy perspective. Some by-products are still little exploited for the extraction of proteins, such as coffee by-products. In this work, various innovative extraction technologies were applied to recover the protein fraction from the non-compliant coffee green beans (CGB), using a methodological approach that allowed to correlate the process parameters with the final quality of the extracted proteins. The ultrasound-assisted extraction (UAE) technique has been shown to have a minor impact on the quality of the proteins, thanks to the possibility of refrigerating the system, while the microwave-assisted extraction (MAE) shows a certain degree of degradation due to the high temperatures reached. The results indicate that strict temperature control is required during alkaline extraction to preserve the quality of the protein fraction

A Multicenter Retrospective Survey regarding Diabetic Ketoacidosis Management in Italian Children with Type 1 Diabetes

We conducted a retrospective survey in pediatric centers belonging to the Italian Society for Pediatric Diabetology and Endocrinology. The following data were collected for all new-onset diabetes patients aged 0-18 years: DKA (pH < 7.30), severe DKA (pH < 7.1), DKA in preschool children, DKA treatment according to ISPAD protocol, type of rehydrating solution used, bicarbonates use, and amount of insulin infused. Records (n = 2453) of children with newly diagnosed diabetes were collected from 68/77 centers (87%), 39 of which are tertiary referral centers, the majority of whom (n = 1536, 89.4%) were diagnosed in the tertiary referral centers. DKA was observed in 38.5% and severe DKA in 10.3%. Considering preschool children, DKA was observed in 72%, and severe DKA in 16.7%. Cerebral edema following DKA treatment was observed in 5 (0.5%). DKA treatment according to ISPAD guidelines was adopted in 68% of the centers. In the first 2 hours, rehydration was started with normal saline in all centers, but with different amount. Bicarbonate was quite never been used. Insulin was infused starting from third hour at the rate of 0.05-0.1 U/kg/h in 72% of centers. Despite prevention campaign, DKA is still observed in Italian children at onset, with significant variability in DKA treatment, underlying the need to share guidelines among centers

MapRecorder : analysing real-world usage of mobile map applications

This work was supported by Volkswagen Foundation [Lichtenbergprofessorship].Millions of people use mobile map applications like Google Maps on a regular basis. However, despite these applications' ubiquity, the literature contains very little information about how these applications are used in the real world. As such, many researchers and practitioners seeking to improve mobile map applications may not be able to identify important challenges and may miss major opportunities for innovation. To address this paucity of usage information, we collected and analysed data during unsupervised usage of Google Maps by replacing the standard application with a wrapped version called MapRecorder. In two studies we recorded data from locals and tourists using our application and collected over 580 minutes of actual application usage from 34 users, spanning 555 unique sessions. We identify typical usage scenarios, observe a large amount of map exploration and elucidate generalisable interaction patterns.Peer reviewe

Corpus luteum color doppler ultrasound and pregnancy outcome in buffalo during the transitional period

This study evaluated corpus luteum (CL) development in buffaloes out of breeding season and assessed an early pregnancy diagnosis. Mediterranean buffaloes (n = 29) were synchronized and artificially inseminated. CL B-mode/color Doppler ultrasonography examinations were performed daily from Days 5 to 10 post-synchronization, recording CL dimensions and blood flow parameters. Blood samples were collected on the same days for the progesterone (P4 ) assay. Data were grouped into pregnant or nonpregnant and retrospectively analyzed. The total pregnancy rate was 50.0% (13/26) on Day 45. A significant difference between CL average area in pregnant and nonpregnant buffaloes was recorded only on Day 10. Pregnant buffaloes showed a significantly higher mean P4 concentration and higher mean time average medium velocity (TAMV) values from Day 5 to Day 10 compared to nonpregnant buffaloes. Linear regression analysis showed a significant relationship between P4 levels and TAMV. Multiple logistic regression highlighted a significant influence of TAMV on pregnancy outcome, particularly on Day 8. This is probably due to the strong relationship between TAMV and P4 production. Both TAMV and P4 could be used to predict pregnancy starting on Day 6, although a more reliable result was obtained at Day 10. Thus, the period between Days 5 and 10 is critical for CL development during the transitional period in buffalo