Graphical representation of covariant-contravariant modal formulae

Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical characterization by means of the covariant-contravariant modal logic. Moreover, we have investigated the relationships between this model and that of modal transition systems, where two kinds of transitions (the so-called may and must transitions) were combined in order to obtain a simple framework to express a notion of refinement over state-transition models. In a classic paper, Boudol and Larsen established a precise connection between the graphical approach, by means of modal transition systems, and the logical approach, based on Hennessy-Milner logic without negation, to system specification. They obtained a (graphical) representation theorem proving that a formula can be represented by a term if, and only if, it is consistent and prime. We show in this paper that the formulae from the covariant-contravariant modal logic that admit a "graphical" representation by means of processes, modulo the covariant-contravariant simulation preorder, are also the consistent and prime ones. In order to obtain the desired graphical representation result, we first restrict ourselves to the case of covariant-contravariant systems without bivariant actions. Bivariant actions can be incorporated later by means of an encoding that splits each bivariant action into its covariant and its contravariant parts.Comment: In Proceedings EXPRESS 2011, arXiv:1108.407

Welcoming Latino youth to California 4-H!

The University of California, Division of Agriculture and Natural Resources (UC ANR) invested close to $2,000,000 over a period of three years to welcome Latino youth, families and volunteers to 4-H. The counties selected to participate in the pilot program encompass rural, suburban, and urban areas and include: Sonoma, Santa Barbara, Kern, Orange, Riverside, Monterey, and Merced. The objective of the pilot, called UC ANR 4-H Latino Initiative, is to develop, deliver, and assess culturally responsive program models to attract and retain Latino youth, families, and volunteers into 4-H. Seven 4-H Program Representatives (equivalent to Extension Educators in other states) were hired to work under the supervision of the county-based Advisors and the Assistant Director for 4-H Diversity and Expansion. This effort faced challenges and opportunities while designing the job description and conducting the selection process to ensure success of the program, even though research and promising practices from the literature were used to develop the position description and identify the qualifications of successful hires. This article shares the challenges, opportunities, and successful strategies used. Hiring staff with strong cultural capacities and positioning them in key roles is critical to building a cultural competent organization and addressing structural discrimination

Towards a unified treatment of Spanish copulas

This paper sets the basis for a uniform account of the alternation between the two Spanish copulas (ser and estar) in adjectival and passive clauses. While the copular contrast has been attributed to the different properties of adjectives (e.g. individual vs. stage level) and to an eventive vs. resultative stative dichotomy in passives, this work shows that they all behave alike regarding their temporal interpretation. We derive such uniformity from the syntactic properties of the copulas themselves: estar, includes an additional component ser lack that makes everything it merges with stative, with particular temporoaspectual properties

High-trhoughput screening of cytochrome C novel partners chlamydomonas ReindhartII

Comunicaciones a congreso

Global well-posedness for a family of regularized Benjamin-type equations

In this work we prove local and global well-posedness results for the Cauchy problem of a family of regularized nonlinear Benjamin-type equations in both periodic and nonperiodic Sobolev spaces.Comment: 22 page

SmartFD: A Real Big Data Application for Electrical Fraud Detection

The main objective of this paper is the application of big data analytics to a real case in the field of smart electric networks. Smart meters are not only elements to measure consumption, but they also con stitute a network of millions of sensors in the electricity network. These sensors provide a huge amount of data that, once analyzed, can lead to significant advances for the society. In this way, tools are being developed in order to reach certain goals, such as obtaining a better consumption estimation (which would imply a better production planning), finding better rates based on the time discrimination or the contracted power, or minimizing the non-technical losses in the network, whose actual costs are eventually paid by end-consumers, among others. In this work, real data from Spanish consumers have been analyzed to detect fraud in con sumption. First, 1 TB of raw data was preprocessed in a HDFS-Spark infrastructure. Second, data duplication and outliers were removed, and missing values handled with specific big data algorithms. Third, cus tomers were characterized by means of clustering techniques in different scenarios. Finally, several key factors in fraud consumption were found. Very promising results were achieved, verging on 80% accuracyMinisterio de Economía y Competitividad TIN2014-55894-C2-RMinisterio de Economía y Competitividad TIN2017-88209-C2-

Modeling of the Sedative and Airway Obstruction Effects of Propofol in Patients with Parkinson Disease undergoing Stereotactic Surgery

BACKGROUND: Functional stereotactic surgery requires careful titration of sedation since patients with Parkinson disease need to be rapidly awakened for testing. This study reports a population pharmacodynamic model of propofol sedation and airway obstruction in the Parkinson disease population. METHODS: Twenty-one patients with advanced Parkinson disease undergoing functional stereotactic surgery were included in the study and received propofol target-controlled infusion to achieve an initial steady state concentration of 1 microg/ml. Sedation was measured using the Ramsay Sedation Scale. Airway obstruction was measured using a four-category score. Blood samples were drawn for propofol measurement. Individual pharmacokinetic profiles were constructed nonparametrically using linear interpolation. Time course of sedation and respiratory effects were described with population pharmacodynamic models using NONMEM. The probability (P) of a given level of sedation or airway obstruction was related to the estimated effect-site concentration of propofol (Ce) using a logistic regression model. RESULTS: The concentrations predicted by the target-controlled infusion system generally exceeded the measured concentrations. The estimates of C(50) for Ramsay scores 3, 4, and 5 were 0.1, 1.02, and 2.28 microg/ml, respectively. For airway obstruction scores 2 and 3, the estimates of C(50) were 0.32 and 2.98 microg/ml, respectively. Estimates of k(e0) were 0.24 and 0.5 1/min for the sedation and respiratory effects, respectively. CONCLUSIONS: The pharmacokinetic behavior of propofol in patients with Parkinson disease differs with respect to the population from which the model used by the target-controlled infusion device was developed. Based on the results from the final models, a typical steady state plasma propofol concentration of 0.35 microg/ml eliciting a sedation score of 3 with only minimal, if any, airway obstruction has been defined as the therapeutic target

Personality, psychopathology, life attitudes and neuropsychological performance among ritual users of ayahuasca: a longitudinal study

Ayahuasca is an Amazonian psychoactive plant beverage containing the serotonergic 5-HT2A agonist N,N-dimethyltryptamine (DMT) and monoamine oxidase-inhibiting alkaloids (harmine, harmaline and tetrahydroharmine) that render it orally active. Ayahuasca ingestion is a central feature in several Brazilian syncretic churches that have expanded their activities to urban Brazil, Europe and North America. Members of these groups typically ingest ayahuasca at least twice per month. Prior research has shown that acute ayahuasca increases blood flow in prefrontal and temporal brain regions and that it elicits intense modifications in thought processes, perception and emotion. However, regular ayahuasca use does not seem to induce the pattern of addiction-related problems that characterize drugs of abuse. To study the impact of repeated ayahuasca use on general psychological well-being, mental health and cognition, here we assessed personality, psychopathology, life attitudes and neuropsychological performance in regular ayahuasca users (n = 127) and controls (n = 115) at baseline and 1 year later. Controls were actively participating in non-ayahuasca religions. Users showed higher Reward Dependence and Self-Transcendence and lower Harm Avoidance and Self-Directedness. They scored significantly lower on all psychopathology measures, showed better performance on the Stroop test, the Wisconsin Card Sorting Test and the Letter-Number Sequencing task from the WAIS-III, and better scores on the Frontal Systems Behavior Scale. Analysis of life attitudes showed higher scores on the Spiritual Orientation Inventory, the Purpose in Life Test and the Psychosocial Well-Being test. Despite the lower number of participants available at follow-up, overall differences with controls were maintained one year later. In conclusion, we found no evidence of psychological maladjustment, mental health deterioration or cognitive impairment in the ayahuasca-using group

Strain analysis of an electromechanical device for force measurement in friction stir welding developed in a universal milling machine /

En este trabajo fue desarrollado el análisis del comportamiento de las deformaciones de un dispositivo electromecánico de medición de fuerzas axiales y horizontales durante el proceso de soldadura por fricciónagitación (SFA). Se detalla la metodología del diseño mecánico del dispositivo y su fabricación. Se realizó simulación computacional de las deformaciones y los esfuerzos involucrados durante la operación usando técnicas de elementos initos con el programa ANSYS®, cuyos resultados fueron comparados con el desempeño real del dispositivo durante la soldadura de una placa de aluminio comercialmente puro. Los resultados mostraron que el intervalo de valores de las deformaciones unitarias simuladas está entre 3,19×10-10 y 3,34×10-3 mm.mm-1, intervalo que tuvo una diferencia menor al 10% con los valores reales medidos. Estos valores sirvieron para validar la posición y precisión de los sensores de deformación (galgas extensiométricas), los cuales son usados para realizar la medida de fuerzas en los sentidos horizontal y vertical durante el proceso SFA.ABSTRACT In this work was analyzed the behavior of strain in an electromechanical device for measuring axial and horizontal forces during friction stir welding (FSW) process. It was described the methodology of mechanical design of the measurement device and its manufacturing. Computer simulation using inite element analysis with ANSYS ® program was used to calculate the strain and stresses involved during operation. Obtained results were compared with the experimental performance of the device during the welding of a commercially pure aluminum plate. The results showed that the range of simulated strain values was between 3.19 × 10-10 and 3.34 × 10-3 mm.mm-1, which had a diference 10% less compared to actual values measured. Obtained values were used to validate the accuracy and the position of strain sensors (strain gages), which were used for measurement of forces in the horizontal and vertical directions of SFA process