nils-herrmann/clean_scirepeval huggingface dataset:
Is incomplete recovery from work a risk marker of cardiovascular death? Prospective evidence from industrial employees.

A chronic lack of recovery from work during leisure time is hypothesized to indicate a health risk among employees. We examined whether incomplete recovery from work predicted cardiovascular mortality.



This prospective cohort study involved 788 industrial employees (534 men, 254 women, mean age 37.3, SD = 12.0) who were initially free from cardiovascular diseases. The baseline examination in 1973 determined cases of cardiovascular disease, cardiovascular risk factors, and the extent of recovery from work. Data on mortality in 1973 to 2000 were derived from the national mortality register.



Sixty-seven cardiovascular deaths and 102 deaths from noncardiovascular causes occurred during the mean follow-up of 25.6 years. Employees who seldom recovered from work during free weekends had an elevated risk of cardiovascular death (p = .007) but not of other mortality (p = .82). The association between incomplete recovery and cardiovascular death remained after adjustment for age, sex, and 16 conventional risk factors, including occupational background, cholesterol, systolic pressure, body mass index, smoking, alcohol consumption, physical inactivity, depressive symptoms, fatigue, lack of energy, and job stress. The association was not explained by deaths that occurred close to the assessment of recovery from work.



This study suggests that incomplete recovery from work is an aspect of the overall risk profile of cardiovascular disease mortality among employees.
Southeast Missouri Geology: Details from Annapolis Area and Ketcherside Gap, Missouri: GEOLOGICAL NOTE

New details on the Precambrian rhyolites and Upper Cambrian sedimentary rocks in the Annapolis area and Ketcherside Gap, Iron County, Missouri, indicate that the tectonic style of the St. Francois Mountain area most probably can be compared with plateau (cratonic) areas where germano-type tectonic patterns are present, and not with orogenic areas where thrust faults might be expected as recently proposed by Wheeler (1965). Thick geosynclinal sections, volcanic rocks, lava, metamorphism, schistosity, lineation, folding, and thrust faults are absent. The great areal extent of Precambrian porphyritic rocks is evidence for the widespread volcanism. Later movements were minor as shown by the local occurrence of normal faults. All indications suggest that, in general, the porph ritic rocks are in much the same position as when they formed. Also the distribution of the igneous rocks and rejuvenated movements around the St. Francois Mountain area indicate that large-scale lateral crustal movements have not occurred. The tectonic style of orogenic belts can hardly be transferred to plateau (cratonic) areas, where vertical (germano-type) movements are the rule. As described previously (Zimmermann and Amstutz, 1965), polygonal patterns, diatremes, and volcanic plugs typically accompany these vertical movements and commonly occur at intersections of major faults. The depositional and lithologic features of the sediments across the pronounced Precambrian topographic relief suggest that the sediments were deposited around and on the knobs of Precambrian porphyry without later horizontal movements. The features which suggest this include composition and grain sizes of the dolomites, porphyry fragments and pebbles in the sediments on knob margins, and the galena deposits. Joint patterns in the sediments indicate that the joints formed during compaction.
Standard Model Background of the Cosmological Collider.

The inflationary universe can be viewed as a "cosmological collider" with an energy of the Hubble scale, producing very massive particles and recording their characteristic signals in primordial non-Gaussianities. To utilize this collider to explore any new physics at very high scales, it is a prerequisite to understand the background signals from the particle physics standard model. In this Letter we describe the standard model background of the cosmological collider.
Burundi: A Critical Security Perspective

In the last few years Critical Security Studies (CSS) has emerged as a new approach to the academic study of security. This article argues that its genesis is best understood as a reaction to two developments, namely ‘real world’ changes after the end of the Cold War and the far-reaching philosophical debates that have recently been taking place within the social sciences. The authors argue for a conceptualisation of CSS based on an explicit commitment to human emancipation. They then illustrate their preferred understanding of security through a discussion of Burundi. This case study not only illustrates the theoretical claims of CSS but also serves as a contribution to a more comprehensive understanding of the security issues with which this country and its inhabitants are faced.
The Risk and Value Engineering Structures and their Integration with Industrial Projects Management (A Case Study on I. K.Corporation)

Value engineering is an efficacious contraption for administrators to make up their minds. Value perusals proffer the gaffers a suitable instrument to decrease the expenditures of the life span, quality amelioration, structural improvement, curtailment of the construction schedule, longevity prolongation or a merging of the aforementioned cases. Subjecting organizers to pressures on one hand and their accountability towards their pertinent fields together with inherent risks and ambiguities of other options on the other hand set some comptrollers in a dilemma utilization of risk management and the value engineering in projects manipulation with regard to complexities of implementing projects can be wielded as a contraption to identify and efface each item which wreaks unnecessary expenses and time squandering sans inflicting any damages upon the essential project applications. Of course It should be noted that implementation of risk management and value engineering with regard to the betterment of efficiency and functions may lead to the project implementation timing elongation. Here time revamping does not refer to time diminishing in the whole cases. his article deals with risk and value engineering conceptualizations at first. The germane reverberations effectuated due to its execution in Iran Khodro Corporation are regarded together with the joint features and amalgamation of the aforesaid entia; hence the proposed blueprint is submitted to be taken advantage of in engineering and industrial projects including Iran Khodro Corporation. Management, risk engineering, value engineering, project manipulation, Iran Khodro.
Political culture and cultural politics in early modern England : essays presented to David Underdown

Introduction - political culture and cultural politics in early modern England, Susan Amussen and Mark Kishlansky. Part 1 The culture of politics: the unweariableness of Mr Pym - influence and eloquence in the Long Parliament, J.S. Morrill the faith of Joseph Hall, Peter Lake honour, rhetoric and political culture - the Earl of Huntingdon and his enemies, Richard Cust the Wentworth forest riot - property rights and political culture in restoration England, Molly McClain in the midst of ceremony - cathedral and community in 17th century Wells, Carl B. Estabrook gender and politics in Leveller literature,  Hughes "If I did say so, I lyed" - Elizabeth Cellier and the construction of credibility in the Popish plot crisis, Rachel Weil. Part 2 The politics of culture: "The part of a Christian Man" - the cultural politics of manhood in early modern England, Susan Amussen companionate marriage versus male friendship - anxiety for the lineal family in Jacobean drama, Lisa Jardine remembering Marston Moor - the culture of politics, Maija Jansson underground verse and the transformation of early Stuart political culture, Thomas Cogswell wit in a roundhead - the dilemma of Marchamont Nedham, Blair Worden turning frogs into princes - Aesop's fables and the political culture of early modern England, Mark Kishlansky.
Taking stock of the bazaar: the third workshop on open source software engineering

The first workshop on open source software (OSS) engineering – Making Sense of the Bazaar – demonstrated the existence of a lively and motivated community of software engineering practitioners and researchers interested in OSS. The goal of the second workshop in the series – Meeting Challenges and Surviving Success – was to nurture this community, and to focus the discussion on both the short and long term sustainability of the OSS phenomenon. The participants at both of these workshops argued that despite the emergence of a substantial and diverse research literature on OSS our knowledge of the OSS family of software engineering processes, methods and tools remained far from complete.
SPARTACUS: underdiagnosis of chronic daily headache in primary care

Despite the burden of chronic daily headache (CDH), general practitioners’ (GPs) ability to recognize it is unknown. This work is a sub-study of a population-based study investigating GPs’ knowledge on their CDH patients. Patients diagnosed with CDH through the screening questionnaire were interviewed by their GPs who indicated if subjects were known as patients suffering from CDH with medication overuse (MO), CDH without MO, episodic headache (EH) or non-headache sufferers. Our study showed that 64.37  % of CDH sufferers are misdiagnosed by their GPs. However, overusers are better known to GPs.
Modeling and Analysis of Dependability Attributes for Services Computing Systems

Dependability is an important consideration during the design and development of IT systems and services. But in services computing systems, the traditional definition and evaluation methods from the systems' and components' point of view meet challenges. In this paper, we veer from the angle of view and study the dependability and their attributes from the service-oriented perspective. A stochastic model using the semi-Markov process is put forward, and the quantitative analysis of the dependability attributes is carried out. By extending and transforming this model, the mean time to dependability attributes failure is calculated. Based on the analysis and calculations, some theorems are proposed and proved, to show the inter-relationships and comparisons of the different dependability attributes. Furthermore, we model the service composition and conduct workflow analysis to show how this model could deal with complex services. In addition, LANL service systems are analyzed as a case study to show how the proposed model and calculation methods could apply to real systems, and sensitivity analysis is also performed to identify the bottlenecks and find effective ways for dependability optimization.
Development Framework for Longitudinal Automated Driving Functions with Off-board Information Integration

Increasingly sophisticated function development is taking place with the aim of developing efficient, safe and increasingly Automated Driving Functions. This development is possible with the use of diverse data from sources such as Navigation Systems, eHorizon, on-board sensor data, Vehicle-to-Infrastructure (V2I) and Vehicle-to-Vehicle (V2V) communication. Increasing challenges arise with the dependency on large amounts of real-time data coming from off-board sources. At the core of addressing these challenges lies the concept of a Digital Dependability Identity (DDI) of a component or system. DDIs are modular, composable, and executable components in the field, facilitating: 
$\bullet$ efficient synthesis of component and system dependability information, 
$\bullet$ effective evaluation of information for safe and secure composition of highly distributed and autonomous Cyber Physical Systems. 
In AVL's Connected Powertrain (TM), Automated Driving Functions are tailored to Powertrain Control Strategies that predictively increase energy efficiency according to the powertrain type and its component efficiencies. Simultaneously, the burden on the driver is reduced by optimizing the vehicle velocity, whilst minimizing any journey time penalty.In this work, the development of dependable Automated Driving Functions is exemplified by the Traffic Light Assistant, an adaptive strategy that utilizes predictions of preceding traffic, upcoming road curvature, inclination, speed limits, and especially traffic light signal phase and timing information to increase the energy efficiency in an urban traffic environment. A key aspect of this development is the possibility for seamless and simultaneous development; from office simulation to human-in-the-loop and to real-time tests that include vehicle and powertrain hardware. Driver's acceptance and comfort is rated in an advanced diver simulator mounted on a hexapod, capable of emulating longitudinal and lateral acceleration of a real vehicle. Test results from real-time function validation on a Powertrain Testbed are shown, including real traffic light signal phasing information and traffic flow representation on Graz city roads.
Machine Learning for Digital Document Processing: from Layout Analysis to Metadata Extraction

In the last years, the spread of computers and the Internet caused a significant amount of documents to be available in digital format. Collecting them in digital repositories raised problems that go beyond simple acquisition issues, and cause the need to organize and classify them in order to improve the effectiveness and efficiency of the retrieval procedure. The success of such a process is tightly related to the ability of understanding the semantics of the document components and content. Since the obvious solution of manually creating and maintaining an updated index is clearly infeasible, due to the huge amount of data under consideration, there is a strong interest in methods that can provide solutions for automatically acquiring such a knowledge. This work presents a framework that intensively exploits intelligent techniques to support different tasks of automatic document processing from acquisition to indexing, from categorization to storing and retrieval.  The core system is the incremental first-order logic learner INTHELEX. Thanks to incrementality, it can continuously update and refine the learned theories, dynamically extending its knowledge to handle even completely new classes of documents. Since DOMINUS is general and flexible, it can be embedded as a document management engine into many different Digital Library systems. Experiments in a real-world domain scenario, scientific conference management, confirmed the good performance of the proposed prototype.
The Hidden Reader: Stendhal, Balzac, Hugo, Baudelaire, Flaubert

Approaches Opening Signals in Narrative Natalie, or Balzac's Hidden Reader La Peau de chagrin: The Novel as Threshold Hugo's William Shakespeare: The Promontory and the Infinite The Edifice of the Book V.H.: The Effaced Author or the "I" of Infinity Sartre, Hugo, a Grandfather The Will to Ecstasy: Baudelaire's "La Chevelure" "Le Cygne": The Artifact of Memory Lyricism and Impersonality: The Example of Baudelaire Erosion and Discontinuity in Flaubert's Novembre From Novembre to L'Education sentimentale: Communication and the Commonplace Idyll and Upheaval in L'Education sentimentale Flaubcrt and the Articulations of Polyvalence The Temptation of the Subject Stendhal, Reader of Rousseau Vie de Henry Brulard: Irony and Continuity T. S. Eliot and the Romantic Heresy Notes Credits Index
Linear Ranking for Linear Lasso Programs

The general setting of this work is the constraint-based synthesis of termination arguments. We consider a restricted class of programs called lasso programs. The termination argument for a lasso program is a pair of a ranking function and an invariant. We present the---to the best of our knowledge---first method to synthesize termination arguments for lasso programs that uses linear arithmetic. We prove a completeness theorem. The completeness theorem establishes that, even though we use only linear (as opposed to non-linear) constraint solving, we are able to compute termination arguments in several interesting cases. The key to our method lies in a constraint transformation that replaces a disjunction by a sum.
The properties of the earth abundant Cu2SnS3 thin film prepared by spray pyrolysis and rapid thermal annealing route

Ternary compound Cu2SnS3 (CTS) was fabricated by simple, low cost and high efficient spray pyrolysis and rapid thermal annealing route. The influences of annealing temperature and annealing duration on the properties of the prepared CTS thin film were investigated in detail. X-ray diffraction spectrometer, Scanning Electron Microscope, UV–Vis–IR spectrophotometer and I–V test system were employed for the analysis of the structural, morphological, optical and photoelectric properties of the prepared CTS thin film, respectively. The characterization results show that the CTS thin film prepared under the optimal annealing condition of 500 °C and 15 min presents as tetragonal structure with preferential (1,1,2), bandgap value of 1.44 eV, crystal grain size of around 80 nm and photoelectric conversion efficiency as high as 1.24%.
Expropriation and Control Rights: A Dynamic Model of

This paper studies the strategic interaction between a foreign direct investor and a host country. We analyze how the investor can use his control rights to protect his investment if he faces the risk of \"creeping expropriation\" once his investment is sunk. It is shown that this hold-up problem may cause underinvestment if the outside option of the investor is too weak, and overinvestment if it is too strong. We also analyze the impact of spillover effects, we give a rationale for \"tax holidays\" and we examine how stochastic returns affect the strategic interaction of investor and host country.
Hacia una política de competitividad en México

IN MID-2006, MEXICO IS IMMERSED IN A PROFOUND DEBATE ABOUT THE COSTS AND BENEFITS OF THE PROCESS OF ECONOMIC OPENING AND THE LIBERALIZATION STRATEGY FOLLOWED SINCE THE END OF THE 1980S. THIS DEBATE PARTICULARLY FOCUSES ON THE MANUFACTURING SECTOR WHICH, ACCORDING TO DIFFERENT EXPECTATIONS, SHOULD HAVE CLOSED THE GAPS IN PRODUCTIVITY, EMPLOYMENT AND WAGES WITH OUR MAIN TRADE PARTNERS. RECENT TRENDS INDICATE A GENERALIZED DETERIORATION OF THE PRODUCTIVE SECTOR AND ITS COMPETITIVENESS, AS SHOWN BY THE CONSTANT DECREASES IN MEXICO'S GLOBAL COMPETITIVENESS RANKING BY INTERNATIONAL INSTITUTIONS. THIS MIGHT SEEM IRRELEVANT IF WE DID NOT ALSO INCLUDE GDP PERFORMANCE -BELOW HISTORIC AVERAGES- AND THE LACK OF QUALITY JOB CREATION IN RECENT YEARS.
Zu den Folgen einer neoliberalen Deregulierungsstrategie: Das Beispiel der britischen Eisenbahnprivatisierung

The official return of British Rail to state ownership signifies the high point - as well as the end - of a radical market deregulation experiment. It has prompted the preparation of this report. What is the outcome of the neutron bomb policy (Terry Gourvich) that has squeezed public sector representatives out of the railway system and subsequently transferred them to the private sector? In this report, aspects of sustainability have been taken into account to highlight the economic, social and ecological consequences resulting from railway privatization. The final analysis shows that the specific reform strategy chosen for Britain's railway system has turned out to be inappropriate.
Transnational identities and immigrant spaces of Polish professionals in London, UK

It has been estimated that about 700,000 Poles moved to the UK after Poland joined the European Union in 2004, with London receiving a large portion of Polish immigrants. In agreement with the British perception of migrants from Eastern Europe, the majority of Polish immigrants can be generally classified as labor migrants with close cultural and national ties to Poland. However, Polish migration to the UK also includes a growing group of professionals and social and financial elites who are often overlooked by academic research. This paper analyzes the migrant experiences of Polish professionals and elites in London, and the relationships between their transnational identities and immigrant spaces such as ethnic enclaves, private and social spaces. Furthermore, this paper uses Polish elites in London as a foundation to explore concepts of cosmopolitanism and transnationalism, suggesting that global elites can maintain strong national affiliations, and their global ambitions can be fueled by local context...
The autobiography of Benevenuto Cellini

Benvenuto Cellini was a celebrated Renaissance sculptor and goldsmith; a passionate craftsman who was admired and resented by the most powerful political and artistic personalities in sixteenth-century Florence, Rome and Paris. He was also a murderer and a braggart, a shameless adventurer who at different times experienced both papal persecution and imprisonment, and the adulation of the royal court. Inn-keepers and prostitutes, kings and cardinals, artists and soldiers rub shoulders in the pages of his notorious autobiography: a vivid portrait of the manners and morals of both the rulers of the day and of their subjects. Written with supreme powers of invective and an irrepressible sense of humour, this is an unrivalled glimpse into the palaces and prisons of the Italy of Michelangelo and the Medici.
Managing new product development in the Chinese steel industry: an empirical investigation

This study explores several important aspects of the management of new product development (NPD) in the Chinese steel industry. Specifically it explores NPD success factors, importance of management functions to new product success and measures of new product success from the perspective of the industry’s practitioners. Based on a sample of 190 industrial practitioners from 18 Chinese steel companies, the study provides a mixed picture as China makes the transition from a centrally-controlled to market-based economy. On one hand, respondents ranked understanding users’ needs as the most important factor influencing the performance of the new products. Further, formulating new product strategy and strengthening market research are perceived as the most important managerial functions in NPD. However, technical performance measures are regarded as more important and are more widely used in industry than market-based or financial measures of success.
European Union: proposal for a uniform EU REIT regime - part 1

In the second part of this article, the authors outline their proposals for a uniform EU Real Estate Investment Trust (REIT) regime. Such a regime would, in the authors' opinion, eliminate problems that would otherwise arise from the necessity for common action on the part of the Member States to resolve difficulties with regard to REITs. A uniform EU REIT regime would also prevent characterization conflicts and would create a level playing field within the Internal Market for real estate investment.
Representation theory of finite-dimensional algebras

The representation theory of finite-dimensional algebras over fields is the systematic study of module categories of algebras or, in less mundane terminology, the theory of subalgebras of matrix algebras. While algebras have been studied for a long time and in many areas of mathematics, some of the concepts which are the foundational corner stones of a systematic theory are more recent. This includes, for instance the notion of a quiver of an algebra, which appears in work of Gabriel during the 1970s. It also includes the systematic use of categorical and homological methods. For the purpose of the present notes, we have chosen to make category theoretic comments from the very beginning, and collect in an appendix the relevant terminology as a reference. The same applies for the tensor product, which will be mentioned early on, with an appendix describing its construction and main properties in a systematic way.