Proof theory for hybrid(ised) logics

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a speci cation methodology for recon gurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.

Balancing Belligerents or Feeding the Beast: Transforming Conflict Traps

Since the end of the Cold War, recurring civil conflicts have been the dominant form of violent armed conflict in the world, accounting for 70% of conflicts active between 2000-2013. Duration and intensity of episodes within recurring conflicts in Africa exhibit four behaviors characteristic of archetypal dynamic system structures. The overarching questions asked in this study are whether these patterns are robustly correlated with fundamental concepts of resiliency in dynamic systems that scale from micro-to macro levels; are they consistent with theoretical risk factors and causal mechanisms; and what are the policy implications. Econometric analysis and dynamic systems modeling of 36 conflicts in Africa between 1989 -2014 are combined with process tracing in a case study of Somalia to evaluate correlations between state characteristics, peace operations and foreign aid on the likelihood of observed conflict patterns, test hypothesized causal mechanisms across scales, and develop policy recommendations for increasing human security while decreasing resiliency of belligerents. Findings are that observed conflict patterns scale from micro to macro levels; are strongly correlated with state characteristics that proxy a mix of cooperative (e.g., gender equality) and coercive (e.g., security forces) conflict-balancing mechanisms; and are weakly correlated with UN and regional peace operations and humanitarian aid. Interactions between peace operations and aid interventions that effect conflict persistence at micro levels are not seen in macro level analysis, due to interdependent, micro-level feedback mechanisms, sequencing, and lagged effects. This study finds that the dynamic system structures associated with observed conflict patterns contain tipping points between balancing mechanisms at the interface of micro-macro level interactions that are determined as much by factors related to how intervention policies are designed and implemented, as what they are. Policy implications are that reducing risk of conflict persistence requires that peace operations and aid interventions (1) simultaneously increase transparency, promote inclusivity (with emphasis on gender equality), and empower local civilian involvement in accountability measures at the local levels; (2) build bridges to horizontally and vertically integrate across levels; and (3) pave pathways towards conflict transformation mechanisms and justice that scale from the individual, to community, regional, and national levels.

Strong quantum memory at resonant Fermi edges revealed by shot noise

Studies of non-equilibrium current fluctuations enable assessing correlations involved in quantum transport through nanoscale conductors. They provide additional information to the mean current on charge statistics and the presence of coherence, dissipation, disorder, or entanglement. Shot noise, being a temporal integral of the current autocorrelation function, reveals dynamical information. In particular, it detects presence of non-Markovian dynamics, i.e., memory, within open systems, which has been subject of many current theoretical studies. We report on low-temperature shot noise measurements of electronic transport through InAs quantum dots in the Fermi-edge singularity regime and show that it exhibits strong memory effects caused by quantum correlations between the dot and fermionic reservoirs. Our work, apart from addressing noise in archetypical strongly correlated system of prime interest, discloses generic quantum dynamical mechanism occurring at interacting resonant Fermi edges.

Excitonic behaviour in polymeric semiconductors : the effect of morphology and composition in heterostructures

La compréhension des interrelations entre la microstructure et les processus électroniques dans les polymères semi-conducteurs est d’une importance primordiale pour leur utilisation dans des hétérostructures volumiques. Dans cette thèse de doctorat, deux systémes diffèrents sont étudiés ; chacun de ces systèmes représente une approche diffèrente pour optimiser les matériaux en termes de leur microstructure et de leur capacité à se mettre en ordre au niveau moléculaire. Dans le premier système, j’ai effectué une analyse complète des principes de fonctionnement d’une cellule photovoltaïque hybride à base des nanocristaux d’oxyde de zinc (ZnO) et du poly (3-hexylthiophène) (P3HT) par absorption photoinduite en régime quasi-stationnaire (PIA) et la spectroscopie PIA en pompage modulé dépendant de la fréquence. L’interface entre le donneur (le polymère P3HT) et l’accepteur (les nanoparticules de ZnO), où la génération de charges se produit, joue un rôle important dans la performance des cellules photovoltaïques hybrides. Pour améliorer le mécanisme de génération de charges du P3H: ZnO, il est indispensable de modifier l’interface entre ses constituants. Nous avons démontré que la modification d’interface moléculaire avec cis-bis (4, 40 - dicarboxy-2, 20bipyridine) ruthénium (II) (N3-dye) et a-Sexithiophen-2 yl-phosphonique (6TP) a améliorée le photocourant et la performance dans les cellules P3HT: ZnO. Le 6TP et le N3 s’attachent à l’interface du ZnO, en augmentant ainsi l’aire effective de la surface donneur :accepteur, ce qui contribue à une séparation de charge accrue. De plus, le 6TP et le N3 réduisent la densité de pièges dans le ZnO, ce qui réduit le taux de recombinaison des paires de charges. Dans la deuxième partie, jai introduit une matrice hôte polymérique de polystyréne à masse molaire ulra-élevée, qui se comporte comme un solide pour piéger et protéger une solution de poly [2-méthoxy, 5- (2´-éthyl-hexoxy) -1,4-phénylènevinylène- PPV] (MEHPPV) pour utilisation dans des dispositifs optoèlectroniques quantiques. Des travaux antérieurs ont montré que MEH-PPV en solution subit une transition de conformation, d’une conformation enroulé à haute température (phase bleue) à une conformation de chaîne étendue à basse température (phase rouge). La conformation de la chaîne étendue de la solution MEH-PPV favorise les caractéristiques nécessaires à l’amélioration des dispositifs optoélectroniques quantiques, mais la solution ne peut pas être incorporées dans le dispositif. J’ai démontré que la caractéristique de la phase rouge du MEH-PPV en solution se maintient dans une matrice hôte polymérique de polystyrène transformé de masse molaire très élevée, qui se comporte comme un solide (gel de MEH-PPV/UHMW PS), par le biais de la spectroscopie de photoluminescence (PL) dépendant de la température (de 290K à 80 K). La phase rouge du gel MEH-PPV/UHMW PS se manifeste par des largeurs de raie étroites et une intensité augmentée de la transition 0-0 de la progression vibronique dans le spectre de PL ainsi qu’un petit décalage de Stokes entre la PL et le spectre d’absorption à basse température. Ces approches démontrent que la manipulation de la microstructure et des propriétés électroniques des polymères semi-conducteurs ont un impact direct sur la performance de dispositifs pour leurs développements technologiques continus.

Using landscape metrics to predict hydrologic connectivity patterns between forested wetlands and streams in a coastal plain watershed

Geographically isolated wetlands, those entirely surrounded by uplands, provide numerous ecological functions, some of which are dependent on the degree to which they are hydrologically connected to nearby waters. There is a growing need for field-validated, landscape-scale approaches for classifying wetlands based on their expected degree of connectivity with stream networks. During the 2015 water year, flow duration was recorded in non-perennial streams (n = 23) connecting forested wetlands and nearby perennial streams on the Delmarva Peninsula (Maryland, USA). Field and GIS-derived landscape metrics (indicators of catchment, wetland, non-perennial stream, and soil characteristics) were assessed as predictors of wetland-stream connectivity (duration, seasonal onset and offset dates). Connection duration was most strongly correlated with non-perennial stream geomorphology and wetland characteristics. A final GIS-based stepwise regression model (adj-R2 = 0.74, p < 0.0001) described wetland-stream connection duration as a function of catchment area, wetland area and number, and soil available water storage.

Evaluation of the conductor-like screening model for real solvents for the prediction of the water activity coefficient at infinite dilution in ionic liquids

Ionic liquids (ILs) have attracted great attention, from both industry and academia, as alternative fluids for very different types of applications. The large number of cations and anions allow a wide range of physical and chemical characteristics to be designed. However, the exhaustive measurement of all these systems is impractical, thus requiring the use of a predictive model for their study. In this work, the predictive capability of the conductor-like screening model for real solvents (COSMO-RS), a model based on unimolecular quantum chemistry calculations, was evaluated for the prediction water activity coefficient at infinite dilution, gamma(infinity)(w), in several classes of ILs. A critical evaluation of the experimental and predicted data using COSMO-RS was carried out. The global average relative deviation was found to be 27.2%, indicating that the model presents a satisfactory prediction ability to estimate gamma(infinity)(w) in a broad range of ILs. The results also showed that the basicity of the ILs anions plays an important role in their interaction with water, and it considerably determines the enthalpic behavior of the binary mixtures composed by Its and water. Concerning the cation effect, it is possible to state that generally gamma(infinity)(w) increases with the cation size, but it is shown that the cation-anion interaction strength is also important and is strongly correlated to the anion ability to interact with water. The results here reported are relevant in the understanding of ILs-water interactions and the impact of the various structural features of its on the gamma(infinity)(w) as these allow the development of guidelines for the choice of the most suitable lLs with enhanced interaction with water.

Design Optimization of Modern Machine-drive Systems for Maximum Fault Tolerant and Optimal Operation

Modern electric machine drives, particularly three phase permanent magnet machine drive systems represent an indispensable part of high power density products. Such products include; hybrid electric vehicles, large propulsion systems, and automation products. Reliability and cost of these products are directly related to the reliability and cost of these systems. The compatibility of the electric machine and its drive system for optimal cost and operation has been a large challenge in industrial applications. The main objective of this dissertation is to find a design and control scheme for the best compromise between the reliability and optimality of the electric machine-drive system. The effort presented here is motivated by the need to find new techniques to connect the design and control of electric machines and drive systems. A highly accurate and computationally efficient modeling process was developed to monitor the magnetic, thermal, and electrical aspects of the electric machine in its operational environments. The modeling process was also utilized in the design process in form finite element based optimization process. It was also used in hardware in the loop finite element based optimization process. The modeling process was later employed in the design of a very accurate and highly efficient physics-based customized observers that are required for the fault diagnosis as well the sensorless rotor position estimation. Two test setups with different ratings and topologies were numerically and experimentally tested to verify the effectiveness of the proposed techniques. The modeling process was also employed in the real-time demagnetization control of the machine. Various real-time scenarios were successfully verified. It was shown that this process gives the potential to optimally redefine the assumptions in sizing the permanent magnets of the machine and DC bus voltage of the drive for the worst operating conditions. The mathematical development and stability criteria of the physics-based modeling of the machine, design optimization, and the physics-based fault diagnosis and the physics-based sensorless technique are described in detail. To investigate the performance of the developed design test-bed, software and hardware setups were constructed first. Several topologies of the permanent magnet machine were optimized inside the optimization test-bed. To investigate the performance of the developed sensorless control, a test-bed including a 0.25 (kW) surface mounted permanent magnet synchronous machine example was created. The verification of the proposed technique in a range from medium to very low speed, effectively show the intelligent design capability of the proposed system. Additionally, to investigate the performance of the developed fault diagnosis system, a test-bed including a 0.8 (kW) surface mounted permanent magnet synchronous machine example with trapezoidal back electromotive force was created. The results verify the use of the proposed technique under dynamic eccentricity, DC bus voltage variations, and harmonic loading condition make the system an ideal case for propulsion systems.

Theoretical and experimental study of novel hybrid composite and metal-composites interfaces

The growing demand for lightweight solutions in every field of engineering is driving the industry to seek new technological solutions to exploit the full potential of different materials. The combination of dissimilar materials with distinct property ranges embodies a transparent allocation of component functions while allowing an optimal mix of their characteristics. From both technological and design perspectives, the interaction between dissimilar materials can lead to severe defects that compromise a multi-material hybrid component's performance and its structural integrity. This thesis aims to develop methodologies for designing, manufacturing, and monitoring of hybrid metal-composite joints and hybrid composite components. In Chapter 1, a methodology for designing and manufacturing hybrid aluminum/composite co-cured tubes is assessed. In Chapter 2, a full-field methodology for fiber misalignment detection and stiffness prediction for hybrid, long fiber reinforced composite systems is shown and demonstrated. Chapter 3 reports the development of a novel technology for joining short fiber systems and metals in a one-step co-curing process using lattice structures. Chapter 4 is dedicated to a novel analytical framework for the design optimization of two lattice architectures.

Functional engineering of hybrid heterostructures for application in electronic, optical and optoelectronic nanostructured devices

Interfacing materials with different intrinsic chemical-physical characteristics allows for the generation of a new system with multifunctional features. Here, this original concept is implemented for tailoring the functional properties of bi-dimensional black phosphorus (2D bP or phosphorene) and organic light-emitting transistors (OLETs). Phosphorene is highly reactive under atmospheric conditions and its small-area/lab-scale deposition techniques have hampered the introduction of this material in real-world applications so far. The protection of 2D bP against the oxygen by means of functionalization with alkane molecules and pyrene derivatives, showed long-term stability with respect to the bare 2D bP by avoiding remarkable oxidation up to 6 months, paving the way towards ultra-sensitive oxygen chemo-sensors. A new approach of deposition-precipitation heterogeneous reaction was developed to decorate 2D bP with Au nanoparticles (NP)s, obtaining a “stabilizer-free” that may broaden the possible applications of the 2D bP/Au NPs interface in catalysis and biodiagnostics. Finally, 2D bP was deposited by electrospray technique, obtaining oxidized-phosphorous flakes as wide as hundreds of µm2 and providing for the first time a phosphorous-based bidimensional system responsive to electromechanical stimuli. The second part of the thesis focuses on the study of organic heterostructures in ambipolar OLET devices, intriguing optoelectronic devices that couple the micro-scaled light-emission with electrical switching. Initially, an ambipolar single-layer OLET based on a multifunctional organic semiconductor, is presented. The bias-depending light-emission shifted within the transistor channel, as expected in well-balanced ambipolar OLETs. However, the emitted optical power of the single layer-based device was unsatisfactory. To improve optoelectronic performance of the device, a multilayer organic architecture based on hole-transporting semiconductor, emissive donor-acceptor blend and electron-transporting semiconductor was optimized. We showed that the introduction of a suitable electron-injecting layer at the interface between the electron-transporting and light-emission layers may enable a ≈ 2× improvement of efficiency at reduced applied bias.

Dietary Supplement Usage And Motivation In Brazilian Road Runners.

The consumption of dietary supplements is highest among athletes and it can represent potential a health risk for consumers. The aim of this study was to determine the prevalence of consumption of dietary supplements by road runners. We interviewed 817 volunteers from four road races in the Brazilian running calendar. The sample consisted of 671 male and 146 female runners with a mean age of 37.9 ± 12.4 years. Of the sample, 28.33% reported having used some type of dietary supplement. The main motivation for this consumption is to increase in stamina and improve performance. The probability of consuming dietary supplements increased 4.67 times when the runners were guided by coaches. The consumption of supplements was strongly correlated (r = 0.97) with weekly running distance, and also highly correlated (r = 0.86) with the number of years the sport had been practiced. The longer the runner had practiced the sport, the higher the training volume and the greater the intake of supplements. The five most frequently cited reasons for consumption were: energy enhancement (29.5%), performance improvement (17.1%), increased level of endurance (10.3%), nutrient replacement (11.1%), and avoidance of fatigue (10.3%). About 30% of the consumers declared more than one reason for taking dietary supplements. The most consumed supplements were: carbohydrates (52.17%), vitamins (28.70%), and proteins (13.48%). Supplement consumption by road runners in Brazil appeared to be guided by the energy boosting properties of the supplement, the influence of coaches, and the experience of the user. The amount of supplement intake seemed to be lower among road runners than for athletes of other sports. We recommend that coaches and nutritionists emphasise that a balanced diet can meet the needs of physically active people.

Desempenho e estado ácido-base sanguíneo em corredores de 10 km submetidos a corridas em diferentes intensidades contantes

Universidade Estadual de Campinas. Faculdade de Educação Física

Comparison of C-reactive protein and serum amyloid A protein in septic shock patients

Septic shock is a severe inflammatory state caused by an infectious agent. Our purpose was to investigate serum amyloid A (SAA) protein and C-reactive protein (CRP) as inflammatory markers of septic shock patients. Here we evaluate 29 patients in postoperative period, with septic shock, in a prospective study developed in a surgical intensive care unit. All eligible patients were monitored over a 7-day period by sequential organ failure assessment (SOFA) score, daily CRP, SAA, and lactate measurements. CRP and SAA strongly correlated up to the fifth day of observation but were not good predictors of mortality in septic shock. Copyright (C) 2008.

Endometrial claudin-4 and leukemia inhibitory factor are associated with assisted reproduction outcome

Background: Claudin-4 (CLDN4) is one of several proteins that act as molecular mediators of embryo implantation. Recently, we examined immunolabeling of leukemia inhibitory factor (LIF) in the endometrial tissue of 52 IVF patients, and found that LIF staining intensity was strongly correlated with successful pregnancy initiation. In the same set of patients, we have now examined endometrial CLDN4 expression, to see how expression intensity may vary with LIF. We examined CLDN4 in the luteal phase of the menstrual cycle, immediately preceding IVF treatment. Our aim was to compare expression of LIF and CLDN4 in the luteal phase, and document these patterns as putative biomarkers for pregnancy. Methods: Endometrial tissue was collected from women undergoing IVF. Endometrial biopsies were obtained during the luteal phase preceding IVF, and were then used for tissue microarray (TMA) immunolabeling of CLDN4. Previously published LIF expression data were then combined with CLDN4 expression data, to determine CLDN4/LIF expression patterns. Associations between successful pregnancy after IVF and combined CLDN4/LIF expression patterns were evaluated. Results: Four patterns of immunolabeling were observed in the endometrial samples: 16% showed weak CLDN4 and strong LIF (CLDN4(-)/LIF(+)); 20% showed strong CLDN4 and strong LIF (LIF(+)/CLDN4(+)); 28% showed strong CLDN4 and weak LIF (CLDN4(+)/LIF(-)); and 36% showed weak CLDN4 and weak LIF (CLDN4(-)/LIF(-)). Successful implantation after IVF was associated with CLDN4(-)/LIF(+)(p = 0.003). Patients showing this endometrial CLDN4(-)/LIF(+) immunolabeling were also 6 times more likely to achieve pregnancy than patients with endometrial CLDN4(+)/LIF(-) immunolabeling (p = 0.007). Conclusion: The combined immunolabeling expression of CLDN4(-)/LIF(+) in endometrial tissue is a potential biomarker for predicting successful pregnancy in IVF candidates.

Diet-induced milk fat depression: Association with changes in milk fatty acid composition and fluidity of milk fat

This experiment was designed to examine changes in milk fatty acids during fish oil-induced milk fat depression (MFD) and to test the theory that these changes are related to milk fat fluidity. The experiment was divided into three periods: 1) Baseline: all cows (n = 12) received a high fiber diet without fish oil (FO) for 12 days; 2) Treatment: 4 cows/group received the following treatments for 21 days: a) Low fiber diet without FO (LF), b) High fiber diet+FO (HF+FO) and c) Low fiber diet+FO (LF+FO); 3) Post-treatment: cows returned to the baseline diet and were monitored for 12 days. FO was included at 1.6% DM and HF and LF diets had 40 and 26% NDF, respectively. Milk fat content and yield were unchanged by the LF diet, but were reduced by FO diets at both dietary fiber levels and recovered in the post-treatment period. FO diets caused a pronounced reduction in stearic and oleic acid concentrations in milk fat and an equally pronounced increase in trans-18:1 fatty acid concentrations. Milk fat mean melting point (MMP) was correlated with MFD (r=0.73) and with milk oleic acid concentration (r=-0.92). The ratio of oleic:stearic in milk fat increased gradually and consistently in response to FO. Trans-C18:1 isomers with double bounds at carbon :<= 10 increased with greater MFD and those with double bonds at carbon ! I I decreased with greater MFD. Trans-9 cis-11 CLA explained more than 80% of MFD and was strongly correlated with trans-10 C18:1. Maintenance of MMP below 39-40 degrees C suggests that the mammary gland was able to secrete only milk fat with adequate fluidity and that MFD could be an adaptation mechanism to prevent secretion of milk with higher MMP. (C) 2007 Elsevier B.V. All rights reserved.

Relating MODIS vegetation index time-series with structure, light absorption and stem production of fast-growing Eucalyptus plantations

By allowing the estimation of forest structural and biophysical characteristics at different temporal and spatial scales, remote sensing may contribute to our understanding and monitoring of planted forests. Here, we studied 9-year time-series of the Normalized Difference Vegetation Index (NDVI) from the Moderate Resolution Imaging Spectroradiometer (MODIS) on a network of 16 stands in fast-growing Eucalyptus plantations in Sao Paulo State, Brazil. We aimed to examine the relationships between NDVI time-series spanning entire rotations and stand structural characteristics (volume, dominant height, mean annual increment) in these simple forest ecosystems. Our second objective was to examine spatial and temporal variations of light use efficiency for wood production, by comparing time-series of Absorbed Photosynthetically Active Radiation (APAR) with inventory data. Relationships were calibrated between the NDVI and the fractions of intercepted diffuse and direct radiation, using hemispherical photographs taken on the studied stands at two seasons. APAR was calculated from the NDVI time-series using these relationships. Stem volume and dominant height were strongly correlated with summed NDVI values between planting date and inventory date. Stand productivity was correlated with mean NDVI values. APAR during the first 2 years of growth was variable between stands and was well correlated with stem wood production (r(2) = 0.78). In contrast, APAR during the following years was less variable and not significantly correlated with stem biomass increments. Production of wood per unit of absorbed light varied with stand age and with site index. In our study, a better site index was accompanied both by increased APAR during the first 2 years of growth and by higher light use efficiency for stem wood production during the whole rotation. Implications for simple process-based modelling are discussed. (C) 2009 Elsevier B.V. All rights reserved.