PCORnet's Collaborative Research Groups.

The Patient-Centered Outcomes Research Institute (PCORI) launched a multi-institutional "network of networks" in 2013 - Patient-Centered Clinical Research Network (PCORnet) - that is designed to conduct clinical research that is faster, less expensive, and more responsive to the information needs of patients and clinicians. To enhance cross-network and cross-institutional collaboration and catalyze the use of PCORnet, PCORI has supported formation of 11 Collaborative Research Groups focusing on specific disease types (e.g., cardiovascular health and cancer) or particular patient populations (e.g., pediatrics and health disparities). PCORnet's Collaborative Research Groups are establishing research priorities within these focus areas, establishing relationships with potential funders, and supporting development of specific research projects that will use PCORnet resources. PCORnet remains a complex, multilevel, and heterogeneous network that is still maturing and building a diverse portfolio of observational and interventional people-centered research; engaging with PCORnet can be daunting, particularly for outside investigators. We believe the Collaborative Research Groups are stimulating interest and helping investigators navigate the complexity, but only time will tell if these efforts will bear fruit in terms of funded multicenter PCORnet projects

Regular and First Order List Functions

We define two classes of functions, called regular (respectively, first-order) list functions, which manipulate objects such as lists, lists of lists, pairs of lists, lists of pairs of lists, etc. The definition is in the style of regular expressions: the functions are constructed by starting with some basic functions (e.g. projections from pairs, or head and tail operations on lists) and putting them together using four combinators (most importantly, composition of functions). Our main results are that first-order list functions are exactly the same as first-order transductions, under a suitable encoding of the inputs; and the regular list functions are exactly the same as MSO-transductions

Modeling land use

This report deals with our work at the CIRED (International Centre for Research on Environment and Development). We did a 6 month-internship working together on the supply side of Nexus Land-Use, a technical and economic model of global land use developed by Gitz and Ollivier (2007). The underlying very general problematic of our work is a better understanding of the interface between agriculture and environment. This report first presents a bibliographic review of the long going effects of intensive agriculture on the environment, and the future challenges that agriculture will have to face as a consequence. We quickly remind the issues related to the global political context. Then we turn to a review of different land use models, and draw a few conclusions for Nexus Land Use itself. We move further to a highlight of the difficulties inherent to the use of databases. Then we deal with methods to improve certain aspects of the supply side of Nexus, such as the representation of yields, spatialization, taking into account water use for irrigation, integrating a new model for livestock production etc. The last part is devoted to the presentation of a simplified model, developed for the European Project MATISSE, and its results. (Résumé d'auteur

Определение оптимальных параметров источника рентгеновского излучения на базе малогабаритного ускорителя электронов

Проведено моделирование спектров рентгеновского излучения, генерируемого электронами с энергией 4…10 МэВ в мишенях из различных материалов и разной толщины. Определены оптимальные параметры мишени-конвертора для использования ее в медицинских источниках монохроматического рентгеновского излучения на базе малогабаритных электронных ускорителей. Проведены оценки интенсивности излучения и сравнение источников на базе разных ускорителей

Pre-Alpine and Alpine deformation at San Pellegrino pass (Dolomites, Italy)

In this work, we present the geological map of the San Pellegrino pass, inserted in the spectacular scenario of the Dolomiti region (Southern Alps, Italy), at a scale of 1:10.000 and accompanied by geological cross-sections. The detailed distinction of lithological thin units allowed to achieve a consistent interpretation of the local structural setting by drawing brittle and ductile Alpine tectonic deformations. The differential deformation and structural styles within the geological map are the result of the different rheological nature of volcanic and sedimentary rocks, as well as of the superimposition of compressional Alpine tectonics over Permo-Mesozoic extensional tectonic phases, and consequent reactivation of inherited structures

The Building Blocks of Interoperability. A Multisite Analysis of Patient Demographic Attributes Available for Matching.

BackgroundPatient matching is a key barrier to achieving interoperability. Patient demographic elements must be consistently collected over time and region to be valuable elements for patient matching.ObjectivesWe sought to determine what patient demographic attributes are collected at multiple institutions in the United States and see how their availability changes over time and across clinical sites.MethodsWe compiled a list of 36 demographic elements that stakeholders previously identified as essential patient demographic attributes that should be collected for the purpose of linking patient records. We studied a convenience sample of 9 health care systems from geographically distinct sites around the country. We identified changes in the availability of individual patient demographic attributes over time and across clinical sites.ResultsSeveral attributes were consistently available over the study period (2005-2014) including last name (99.96%), first name (99.95%), date of birth (98.82%), gender/sex (99.73%), postal code (94.71%), and full street address (94.65%). Other attributes changed significantly from 2005-2014: Social security number (SSN) availability declined from 83.3% to 50.44% (p<0.0001). Email address availability increased from 8.94% up to 54% availability (p<0.0001). Work phone number increased from 20.61% to 52.33% (p<0.0001).ConclusionsOverall, first name, last name, date of birth, gender/sex and address were widely collected across institutional sites and over time. Availability of emerging attributes such as email and phone numbers are increasing while SSN use is declining. Understanding the relative availability of patient attributes can inform strategies for optimal matching in healthcare

Determinants of institutional delivery in rural Jhang, Pakistan

<p>Abstract</p> <p>Background</p> <p>There is expert consensus that delivery at a health facility substantially reduces the risk of maternal death. By increasing the use of antenatal (ANC), postnatal care (PNC) and family planning, the risk of maternal death can be further reduced. There has been little investigation of factors associated with the use of these services in Pakistan.</p> <p>Methods</p> <p>A representative household survey was conducted in rural areas of Jhang district, Pakistan, to determine the effect of demographic, economic and program factors on the utilization of maternal health services. Married women who had children ages 12 months or younger were interviewed. Data was collected from 2,018 women on socio-demographic characteristics and the utilization of health services. Logistic regression analysis was conducted to identify the correlates of health services use. Marginal effects quantify the impact of various factors on service utilization.</p> <p>Results</p> <p>Parity and education had the largest impact on institutional delivery: women were substantially less likely to deliver at a health facility after their first birth; women with primary or higher education were much more likely to have an institutional delivery. Age, autonomy, household wealth, proximity to a health facility and exposure to mass media were also important drivers of institutional delivery. The use of family planning within a year of delivery was low, with parity, education and husband's approval being the strongest determinants of use.</p> <p>Conclusions</p> <p>The findings suggest that rural women are likely to respond to well-designed interventions that remove financial and physical barriers to accessing maternal health services and motivate women by emphasizing the benefits of these services. Interventions should specifically target women who have two or more living children, little formal education and are from the poorest households.</p

Simulation Gaming in Technology Management

This paper discusses business games as teaching tools in Technology Management (TM). The discipline’s traditional teaching methods, while appropriate for the dissemination of foundational knowledge, do not provide the optimal platform for students to link abstract concepts and real-world problems. We suggest that business simulation games are an effective way to engage students in TM topics; that they compel students to understand and cope with the ambiguities associated with real-world organizations. Specifically, we discuss our experience with the International Operations Simulation Mark/2000 (INTOPIA), a game designed to channel students into a stream of entrepreneurial decision-making. We employed the game over 13 semesters with approximately 1000 advanced MBA candidates. Our findings indicate that business games represent a sufficiently novel approach to teaching and learning

Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis

The classic approaches to synthesize a reactive system from a linear temporal logic (LTL) specification first translate the given LTL formula to an equivalent omega-automaton and then compute a winning strategy for the corresponding omega-regular game. To this end, the obtained omega-automata have to be (pseudo)-determinized where typically a variant of Safra's determinization procedure is used. In this paper, we show that this determinization step can be significantly improved for tool implementations by replacing Safra's determinization by simpler determinization procedures. In particular, we exploit (1) the temporal logic hierarchy that corresponds to the well-known automata hierarchy consisting of safety, liveness, Buechi, and co-Buechi automata as well as their boolean closures, (2) the non-confluence property of omega-automata that result from certain translations of LTL formulas, and (3) symbolic implementations of determinization procedures for the Rabin-Scott and the Miyano-Hayashi breakpoint construction. In particular, we present convincing experimental results that demonstrate the practical applicability of our new synthesis procedure