Synchronous products of rewrite systems (extended version)

We present and formalize a concept of synchronous product for rewrite systems, and also a corresponding concept for general transition systems, used as semantics for the former. A series of examples shows their practical usefulness: for the strategic control of systems, and for modular specification and verification.

Children with Special Health Care Needs: Comparison of the Effects of Home Care Setting, Prescribed Pediatric Extended Care Setting, and Long-Term Care Setting on Child and Family Health Outcomes and Health Care Service Use

Technological advances during the past 30 years have dramatically improved survival rates for children with life-threatening conditions (preterm births, congenital anomalies, disease, or injury) resulting in children with special health care needs (CSHCN), children who have or are at increased risk for a chronic physical, developmental, behavioral, or emotional condition and who require health and related services beyond that required by children generally. There are approximately 10.2 million of these children in the United States or one in five households with a child with special health care needs. Care for these children is limited to home care, medical day care (Prescribed Pediatric Extended Care; P-PEC) or a long term care (LTC) facility. There is very limited research examining health outcomes of CSHCN and their families. The purpose of this research was to compare the effects of home care settings, P-PEC settings, and LTC settings on child health and functioning, family health and function, and health care service use of families with CSHCN. Eighty four CSHCN ages 2 to 21 years having a medically fragile or complex medical condition that required continual monitoring were enrolled with their parents/guardians. Interviews were conducted monthly for five months using the PedsQL TM Generic Core Module for child health and functioning, PedsQL TM Family Impact Module for family health and functioning, and Access to Care from the NS-CSHCN survey for health care services. Descriptive statistics, chi square, and ANCOVA were conducted to determine differences across care settings. Children in the P-PEC settings had a highest health care quality of life (HRQL) overall including physical and psychosocial functioning. Parents/guardians with CSHCN in LTC had the highest HRQL including having time and energy for a social life and employment. Parents/guardians with CSHCN in home care settings had the poorest HRQL including physical and psychosocial functioning with cognitive difficulties, difficulties with worry, communication, and daily activities. They had the fewest hours of employment and the most hours providing direct care for their children. Overall health care service use was the same across the care settings.

Rapid detection of β-lactamase-hydrolyzing extended-spectrum cephalosporins in Enterobacteriaceae by use of the new chromogenic βLacta test

The chromogenic βLacta test developed for the rapid detection of β-lactamase-hydrolyzing extended-spectrum cephalosporins in Enterobacteriaceae revealed good performance with extended-spectrum β-lactamase (ESBL) producers (97.5% true-positive results). However, false-negative results occurred with chromosomal AmpC hyperproducers and plasmid AmpC producers, whereas uninterpretable results were mostly due to VIM-1 carbapenemase producers and possibly low levels of expressed ESBLs.

Association of extended-spectrum β-lactamase VEB-5 and 16S rRNA methyltransferase armA in Salmonella enterica from the United Kingdom

Aminoglycosides and beta-lactams are used for the treatment of a wide range of infections due to both Gram-negative and Gram-positive. An emerging aminoglycoside resistance mechanism, methylation of the aminoacyl site of the 16S rRNA, confers high-level resistance to clinically important aminoglycosides such as amikacin, tobramycin and gentamicin. Eight 16S rRNA methyltransferase genes, armA, rmtA, rmtB, rmtC, rmtD, rmtE, rmtF and npmA, have been identified in several species of enterobacteria worldwide (2, 6, 7, 9, 11, 13, 14). Resistance to extended spectrum β-lactams remains additionally an important clinical problem. Apart from the large TEM, SHV, and CTX-M families, several other extended-spectrum β-lactamases (ESBLs) have been identified, including VEB enzymes, which confer high-level resistance to cephalosporins and monobactams. Although 16S rRNA methyltransferases have been frequently identified associated with different ESBLs, there has been no report of association of a 16S rRNA methyltransferase with a VEB enzyme, except for the identification of rmtC with blaVEB-6 (14)

PRISM (Polarized Radiation Imaging and Spectroscopy Mission): an extended white paper

PRISM (Polarized Radiation Imaging and Spectroscopy Mission) was proposed to ESA in May 2013 as a large-class mission for investigating within the framework of the ESA Cosmic Vision program a set of important scientific questions that require high res- olution, high sensitivity, full-sky observations of the sky emission at wavelengths ranging from millimeter-wave to the far-infrared. PRISM’s main objective is to explore the distant universe, probing cosmic history from very early times until now as well as the structures, distribution of matter, and velocity flows throughout our Hubble volume. PRISM will survey the full sky in a large number of frequency bands in both intensity and polarization and will measure the absolute spectrum of sky emission more than three orders of magnitude bet- ter than COBE FIRAS. The data obtained will allow us to precisely measure the absolute sky brightness and polarization of all the components of the sky emission in the observed frequency range, separating the primordial and extragalactic components cleanly from the galactic and zodiacal light emissions. The aim of this Extended White Paper is to provide a more detailed overview of the highlights of the new science that will be made possible by PRISM, which include: (1) the ultimate galaxy cluster survey using the Sunyaev-Zeldovich (SZ) e↵ect, detecting approximately 106 clusters extending to large redshift, including a char- acterization of the gas temperature of the brightest ones (through the relativistic corrections to the classic SZ template) as well as a peculiar velocity survey using the kinetic SZ e↵ect that comprises our entire Hubble volume; (2) a detailed characterization of the properties and evolution of dusty galaxies, where the most of the star formation in the universe took place, the faintest population of which constitute the di↵use CIB (Cosmic Infrared Background); (3) a characterization of the B modes from primordial gravity waves generated during inflation and from gravitational lensing, as well as the ultimate search for primordial non-Gaussianity using CMB polarization, which is less contaminated by foregrounds on small scales than thetemperature anisotropies; (4) a search for distortions from a perfect blackbody spectrum, which include some nearly certain signals and others that are more speculative but more informative; and (5) a study of the role of the magnetic field in star formation and its inter- action with other components of the interstellar medium of our Galaxy. These are but a few of the highlights presented here along with a description of the proposed instrument.

Plasticity and neuromodulation of the extended recurrent visual network

The extended visual network, which includes occipital, temporal and parietal posterior cortices, is a system characterized by an intrinsic connectivity consisting of bidirectional projections. This network is composed of feedforward and feedback projections, some hierarchically arranged and others bypassing intermediate areas, allowing direct communication across early and late stages of processing. Notably, the early visual cortex (EVC) receives considerably more feedback and lateral inputs than feedforward thalamic afferents, placing it at the receiving end of a complex cortical processing cascade, rather than just being the entrance stage of cortical processing of retinal input. The critical role of back-projections to visual cortices has been related to perceptual awareness, amplification of neural activity in lower order areas and improvement of stimulus processing. Recently, significant results have shown behavioural evidence suggesting the importance of reentrant projections in the human visual system, and demonstrated the feasibility of inducing their reversible modulation through a transcranial magnetic stimulation (TMS) paradigm named cortico-cortical paired associative stimulation (ccPAS). Here, a novel research line for the study of recurrent connectivity and its plasticity in the perceptual domain was put forward. In the present thesis, we used ccPAS with the aim of empowering the synaptic efficacy, and thus the connectivity, between the nodes of the visuocognitive system to evaluate the impact on behaviour. We focused on driving plasticity in specific networks entailing the elaboration of relevant social features of human faces (Chapters I & II), alongside the investigation of targeted pathways of sensory decisions (Chapter III). This allowed us to characterize perceptual outcomes which endorse the prominent role of the EVC in visual awareness, fulfilled by the activity of back-projections originating from distributed functional nodes.

A phase II, single arm study of CarbopLatin plus Etoposide with Bevacizumab and Atezolizumab in patients with exTEnded-disease small-cell lung cancer (SCLC) – CeLEBrATE trial

Small cell lung cancer (SCLC) is an aggressive neuroendocrine tumor diagnosed at extended disease SCLC (ES-SCLC) stage in about 70% of cases. The new standard of treatment for patients with ES-SCLC is a combination of platinum-etoposide chemotherapy and atezolizumab or durvalumab, two programmed cell death ligand 1 (PD-L1) inhibitory monoclonal antibodies (mAb). However, the benefit derived from the addition of PD-L1 inhibitors to chemotherapy in ES-SCLC was limited and restricted to a subset of patients. The vascular endothelial growth factor (VEGF) is the most important pro-angiogenic factor implicated in cancer angiogenesis, which is abundant in SCLC and associated with poor prognosis. Antiangiogenic agents, such as bevacizumab, a humanized mAb against VEGF, added to platinum-etoposide chemotherapy improved progression-free survival in SCLC in two trials, but it did not translate into a benefit in overall survival. Nevertheless, VEGF has also acts as a mediator of an immunosuppressive microenvironment and its inhibition can revert the immune-suppressive tumor microenvironment and potentially enhance the efficacy of immunotherapies. Based on available preclinical data, we hypothesized that VEGF inhibition by bevacizumab could improve atezolizumab efficacy in a synergistic way and designed a phase II single-arm trial of bevacizumab in combination with carboplatin, etoposide, and atezolizumab as first-line treatment in ES-SCLC. The trial, which is still ongoing, enrolled 53 patients, including those with treated or untreated asymptomatic brain metastases (provided criteria are met), who received atezolizumab, bevacizumab, carboplatin and etoposide for 4-6 cycles (induction phase), followed by maintenance with atezolizumab and bevacizumab for a maximum of 18 total cycles or until disease progression, patient refusal, unacceptable toxicity. The evaluation of efficacy of the experimental combination in terms of 1-year overall survival rate is not yet mature (primary objective of the trial). The combination was feasible and the toxicity profile manageable (secondary objective of the trial).

Developing a methodology for co-creation using extended reality technologies.

Amid the remarkable growth of innovative technologies, particularly immersive technologies like Extended Reality (XR) (comprising of Virtual Reality (VR), Augmented Reality (AR) & Mixed Reality (MR)), a transformation is unfolding in the way we collaborate and interact. The current research takes the initiative to explore XR’s potential for co-creation activities and proposes XR as a future co-creation platform. It strives to develop a XR-based co-creation system, actively engage stakeholders in the co-creation process, with the goal of enhancing their creative businesses. The research leverages XR tools to investigate how they can enhance digital co-creation methods and determine if the system facilitates efficient and effective value creation during XR-based co-creation sessions. In specific terms, the research probes into whether the XR-based co-creation method and environment enhances the quality and novelty of ideas, reduce communication challenges by providing better understanding of the product, problem or process and optimize the process in terms of reduction in time and costs. The research introduces a multi-user, multi-sensory collaborative and interactive XR platform that adapts to various use-case scenarios. This thesis also presents the user testing performed to collect both qualitative and quantitative data, which serves to substantiate the hypothesis. What sets this XR system apart is its incorporation of fully functional prototypes into a mixed reality environment, providing users with a unique dimension within an immersive digital landscape. The outcomes derived from the experimental studies demonstrate that XR-based co-creation surpasses conventional desktop co-creation methods and remarkably, the results are even comparable to a full mock-up test. In conclusion, the research underscores that the utilization of XR as a tool for co-creation generates substantial value. It serves as a method that enhances the process, an environment that fosters interaction and collaboration, and a platform that equips stakeholders with the means to engage effectively.

Machine learning approach to the extended Hubbard model

The 1d extended Hubbard model with soft-shoulder potential has proved itself to be very difficult to study due its non solvability and to competition between terms of the Hamiltonian. Given this, we tried to investigate its phase diagram for filling n=2/5 and range of soft-shoulder potential r=2 by using Machine Learning techniques. That led to a rich phase diagram; calling U, V the parameters associated to the Hubbard potential and the soft-shoulder potential respectively, we found that for V<5 and U>3 the system is always in Tomonaga Luttinger Liquid phase, then becomes a Cluster Luttinger Liquid for 57, with a quasi-perfect crystal in the U<3V/2 and U>5 region. Finally we found that for U<5 and V>2-3 the system shall maintain the Cluster Luttinger Liquid structure, with a residual in-block single particle mobility.

Application of the Extended Kalman filter for speed sensorless control of PM synchronous machines

The increasing interest in the decarbonization process led to a rapidly growing trend of electrification strategies in the automotive industry. In particular, OEMs are pushing towards the development and production of efficient electric vehicles. Moreover, research on electric motors and their control are exploding in popularity. The increase of computational power in embedded control hardware is allowing the development of new control algorithm, such as sensorless control strategy. Such control strategy allows the reduction of the number of sensors, which implies reduced costs and increased system reliability. The thesis objective is to realize a sensorless control for high-performance automotive motors. Several algorithms for rotor angle observers are implemented in the MATLAB and Simulink environment, with emphasis on the Kalman observer. One of the Kalman algorithms already available in the literature has been selected, implemented and benchmarked, with emphasis on its comparison with the Sliding Mode observer. Different models characterized by increasing levels of complexity are simulated. A simplified synchronous motor with ”constant parameters”, controlled by an ideal inverter is first analyzed; followed by a complete model defined by real motor maps, and controlled by a switching inverter. Finally, it was possible to test the developed algorithm on a real electric motor mounted on a test bench. A wide range of different electric motors have been simulated, which led to an exhaustive review of the sensorless control algorithm. The final results underline the capability of the Kalman observer to effectively control the motor on a real test bench.

Analysis of Tracking Algorithms for Extended Target Radar Problems

This work proposes the analysis of tracking algorithms for point objects and extended targets particle filter on a radar application problem. Through simulations, the number of particles, the process and measurement noise of particle filter have been optimized. Four different scenarios have been considered in this work: point object with linear trajectory, point object with non-linear trajectory, extended object with linear trajectory, extended object with non-linear trajectory. The extended target has been modelled as an ellipse parametrized by the minor and major axes, the orientation angle, and the center coordinates (5 parameters overall).

The Value Of The 2005 International Society Of Urological Pathology (isup) Modified Gleason Grading System As A Predictor Of Biochemical Recurrence After Radical Prostatectomy.

To compare time and risk to biochemical recurrence (BR) after radical prostatectomy of two chronologically different groups of patients using the standard and the modified Gleason system (MGS). Cohort 1 comprised biopsies of 197 patients graded according to the standard Gleason system (SGS) in the period 1997/2004, and cohort 2, 176 biopsies graded according to the modified system in the period 2005/2011. Time to BR was analyzed with the Kaplan-Meier product-limit analysis and prediction of shorter time to recurrence using univariate and multivariate Cox proportional hazards model. Patients in cohort 2 reflected time-related changes: striking increase in clinical stage T1c, systematic use of extended biopsies, and lower percentage of total length of cancer in millimeter in all cores. The MGS used in cohort 2 showed fewer biopsies with Gleason score ≤ 6 and more biopsies of the intermediate Gleason score 7. Time to BR using the Kaplan-Meier curves showed statistical significance using the MGS in cohort 2, but not the SGS in cohort 1. Only the MGS predicted shorter time to BR on univariate analysis and on multivariate analysis was an independent predictor. The results favor that the 2005 International Society of Urological Pathology modified system is a refinement of the Gleason grading and valuable for contemporary clinical practice.

Doehlert Design-desirability Function Multi-criteria Optimal Separation Of 17 Phenolic Compounds From Extra-virgin Olive Oil By Capillary Zone Electrophoresis.

In Brazil, the consumption of extra-virgin olive oil (EVOO) is increasing annually, but there are no experimental studies concerning the phenolic compound contents of commercial EVOO. The aim of this work was to optimise the separation of 17 phenolic compounds already detected in EVOO. A Doehlert matrix experimental design was used, evaluating the effects of pH and electrolyte concentration. Resolution, runtime and migration time relative standard deviation values were evaluated. Derringer's desirability function was used to simultaneously optimise all 37 responses. The 17 peaks were separated in 19min using a fused-silica capillary (50μm internal diameter, 72cm of effective length) with an extended light path and 101.3mmolL(-1) of boric acid electrolyte (pH 9.15, 30kV). The method was validated and applied to 15 EVOO samples found in Brazilian supermarkets.

On Advertisement Call Of The Poison Frog Ameerega Berohoka (dendrobatidae, Anura) From The Brazilian Cerrado.

The poison frog genus Ameerega (Dendrobatidae) currently contains 32 species. They are distributed from central Brazil into western Amazonia to the lower Andean versant. In addition, three trans-Andean species have been allocated to Ameerega (Andrade et al. 2013; Frost 2014). Ameerega berohoka (Vaz-Silva & Maciel 2011) was described based on specimens from central Brazil (type-locality: Arenópolis, GO) and it is assumed to occur in parts of western and southwestern state of Goiás (Frost 2014). More recently, Andrade et al. (2013) extended its distribution to the state of Mato Grosso. Here we re-describe the advertisement call of A. berohoka, providing additional information regarding its temporal structure and spectral traits. Our observations also consist of a new distribution record for this species to the state of Mato Grosso.