nils-herrmann/clean_scirepeval huggingface dataset:
Die predikant as teiken – profiel van iemand wat emosionele wonde toedien

A minister as target – profile of a person inflicting emotional wounds This article focuses on the personality of someone who intentionally wounds a minister of the Word. The typical profile of someone who wounds emotionally, and the behavioural process that usually characterises his acts are highlighted. At the meta-theoretical level the interpersonal style of a wounder is examined by applying viewpoints of Interpersonal Theory – a subsection of Personality Psychology. The specific behavioural style of a wounder comprises characteristics such as being dominating, competitive, distrusting, cold and hostile. The basis-theoretical survey conducted in this article focuses on the relationship between Paul and the Corinthian church with specific reference to the underlying relational tension. This survey reveals that the effective functioning of a congregation as a community of faith and love is of utmost importance in the identification of the personality type of the person who intentionally wounds a minister of the Word. In conclusion an analysis for understanding, as well as guidelines for coping with the whole situation is proposed. The reaction of a minister and a congregation’s understanding of the nature of the wounding process are outlined as being of specific importance.
Revealing the Autonomous System Taxonomy: The Machine Learning Approach

Although the Internet AS-level topology has been extensively studied over the past few years, little is known about the details of the AS taxonomy. An AS "node" can represent a wide variety of organizations, e.g., large ISP, or small private business, university, with vastly different network characteristics, external connectivity patterns, network growth tendencies, and other properties that we can hardly neglect while working on veracious Internet representations in simulation environments. In this paper, we introduce a radically new approach based on machine learning techniques to map all the ASes in the Internet into a natural AS taxonomy. We successfully classify 95.3% of ASes with expected accuracy of 78.1%. We release to the community the AS-level topology dataset augmented with: 1) the AS taxonomy information and 2) the set of AS attributes we used to classify ASes. We believe that this dataset will serve as an invaluable addition to further understanding of the structure and evolution of the Internet.
Kas yra biopolitikos subjektas? Filosofija, humanizmas ir gyvūniškumas

The essay analyses the paradox of human rights which is revealed in the works of Hannah Arendt, Jacques Ranciere, and Giorgio Agamben. The notion of human rights is considered as a biopolitical apparatus, introducing a caesura between a living being and a political existence within the human itself. This division between animality and humanity in the human itself found in the concept of human rights resonates with the distinction between humanity and animality in philosophy. If classical thought – from Aristotle to Heidegger – postulates the distinction between man and animal, Agamben and Derrida insist that the animalization of man and the humanization of animal are the two sides of the same problem. After paraphrazing the problem in this way, the essay examines the philosophy of Roberto Esposito, who claims that all forms of life are equally important and immanent to themselves. By contrast to negative biopolitics, which is understood as the subjection of living beings to the power of norms and laws, Esposito seeks to create an affirmative biopolitics, where the norm is seen as the immanent rule that life follows to reach the maximum of its expression. Although such a notion of affirmative biopolitics may be considered as lacking political consequences, Esposito claims that by erasing the division between zoē and bios, or between naked life and political existence, we do not diminish our capacities to act in the political realm but, on the contrary, create the conditions for any being-in-common, which is the essence of the political.
On Verifying Complex Properties using Symbolic Shape Analysis

One of the main challenges in the verification of software systems is the analysis of unbounded data structures with dynamic memory allocation, such as linked data structures and arrays. We describe Bohne, a new analysis for verifying data structures. Bohne verifies data structure operations and shows that 1) the operations preserve data structure invariants and 2) the operations satisfy their specifications expressed in terms of changes to the set of objects stored in the data structure. During the analysis, Bohne infers loop invariants in the form of disjunctions of universally quantified Boolean combinations of formulas. To synthesize loop invariants of this form, Bohne uses a combination of decision procedures for Monadic Second-Order Logic over trees, SMT-LIB decision procedures (currently CVC Lite), and an automated reasoner within the Isabelle interactive theorem prover. This architecture shows that synthesized loop invariants can serve as a useful communication mechanism between different decision procedures. Using Bohne, we have verified operations on data structures such as linked lists with iterators and back pointers, trees with and without parent pointers, two-level skip lists, array data structures, and sorted lists. We have deployed Bohne in the Hob and Jahob data structure analysis systems, enabling us to combine Bohne with analyses of data structure clients and apply it in the context of larger programs. This report describes the Bohne algorithm as well as techniques that Bohne uses to reduce the ammount of annotations and the running time of the analysis.
Extending the WCET Problem to Optimize for Runtime-Reconfigurable Processors

The correctness of a real-time system does not depend on the correctness of its calculations alone but also on the non-functional requirement of adhering to deadlines. Guaranteeing these deadlines by static timing analysis, however, is practically infeasible for current microarchitectures with out-of-order scheduling pipelines, several hardware threads, and multiple (shared) cache layers. Novel timing-analyzable features are required to sustain the strongly increasing demand for processing power in real-time systems.
 Recent advances in timing analysis have shown that runtime-reconfigurable instruction set processors are one way to escape the scarcity of analyzable processing power while preserving the flexibility of the system. When moving calculations from software to hardware by means of reconfigurable custom instructions (CIs)—additional to a considerable speedup—the overestimation of a task’s worst-case execution time (WCET) can be reduced. CIs typically implement functionality that corresponds to several hundred instructions on the central processing unit (CPU) pipeline. While analyzing instructions for worst-case latency may introduce pessimism, the latency of CIs—executed on the reconfigurable fabric—is precisely known.
 In this work, we introduce the problem of selecting reconfigurable CIs to optimize the WCET of an application. We model this problem as an extension to state-of-the-art integer linear programming (ILP)-based program path analysis. This way, we enable optimization based on accurate WCET estimates with integration of information about global program flow, for example, infeasible paths. We present an optimal solution with effective techniques to prune the search space and a greedy heuristic that performs a maximum number of steps linear in the number of partitions of reconfigurable area available. Finally, we show the effectiveness of optimizing the WCET on a reconfigurable processor by evaluating a complex multimedia application with multiple reconfigurable CIs for several hardware parameters.
Social property relations and payment for environmental services : a case study in a rural community in Mexico

This article presents a case study centred on the rural community of Chichila, Mexico, which has implemented a local project of payment for environmental services to the neighboring town of Taxco. Mexican legislation recognizes different types of property rights related to water, forest and land and, likewise, recognizes the importance of conserving natural resources like forest and water while making use of the environmental services they can offer. This study is a qualitative approach, which shows how direct control of natural resources helps local people in the community to construct an idea of property and their own concept of environmental services. Both ideas are legitimized by the direct or indirect involvement of local agents in these projects, but at the same time bring to light conflicting interests between different actors at the regional level. This is because the process of appropriation of natural resources leads to confusion due to the overlapping of different property rights and the confluence of different, and divergent, political and legal institutions.  social property relations, payment for environment services, environmental services, water management, rural community. Raktažodžiai: socialiniai nuosavybės santykiai, mokestis už aplinkosaugos paslaugas, aplinkosaugos paslaugos, vandens isteklių valdymas, kaimo bendruomenė.
Показатели временной и стойкой нетрудоспособности вследствие болезней органов дыхания среди взрослого населения Республики Северная Осетия - Алания

Market transformations in economic system of the Russian Federation from 1991 conditioned the change of consumers drug support organization principles, and the market formation led to the business development in this field. Pharmaceutical market is a socially significant market, which leads to the necessity of active realization of competitive business environment development in the conditions of effective state regulation and support. The problem of creation and development of small businesses has a special value for the national economy. These businesses provide the production of significant, and in some cases dominating part of a gross domestic product in many developed countries. State policy of small business support in Russia has become an individual system direction of social and economical state policy. It is formed by the principle of favorable conditions creation for small business development, especially in the fields of activity which give maximum social and economical effect. The actions coordination of federal executive authorities, executive authorities of federal subjects of the Russian Federation and local governments, social organizations, and entrepreneurs associations was enhanced to create the conditions of effective development of small business, form a flexible system of its state support. Analysis of the measurements implemented in the Republic of North Ossetia – Alania, aimed to the small business support for the evaluation of possibility of their use for pharmacy organization opening was the purpose of the study.
THE CHALLENGE OF LIGHT-FRONT QUANTISATION: RECENT RESULTS

We explain what is the challenge of light-front quantisation, and how we can now answer it because of recent progress in solving the problem of zero modes in the case of non-Abelian gauge theories. We also give a description of the lightfront Hamiltonian for SU(2) nite volume gluodynamics resulting from this recent solution to the problem of light-front zero modes.
Using The Aisc Steel Building Case Study In A Structural Engineering Course Sequence

The present invention is directed to compositions containing novel beta-diketones of formula (I) and formula (II),R1COCH2COR2(I)R2COCH2COR2(II)which may be used to stabilize various polymers, such as polyvinyl chlorides (PVCs). The present invention is also directed to a method for preparing beta -diketones by a Claisen condensation reaction, which is represented as follows:R4COCHR5H+R6C(O)OR7+RO-->[R4COCR5COR6]-+R7OH+ROH.
The Agency Cost Paradigm: The Good, the Bad, and the Ugly

In the “managerialist” world that preceded our present world—the shareholder value world—some corporate managers could, and did, help themselves when they should have been doing their jobs. They were bad agents, using their positions to get unwarranted leisure and unwarranted perquisites at the expense of their principals, whether the principals were seen as the corporation, its shareholders, or both. The modern agency cost paradigm has focused the attention of courts, directors, and scholars on this problem, in part by conceptualizing the duty of corporate managers as maximizing shareholder value. This paradigm has had a variety of effects: some good, some bad, and some ugly. As for the good, the agency cost paradigm focused on this problem of managerial enrichment, emphasizing to the bad agents a message that they should not be working for themselves, and set about looking for a solution. It provided a simple, clear benchmark that may quickly indicate when managers are performing badly. What about the bad? The pathologies of a laser-like focus on readily demonstrable—some would say short-term—shareholder value have become clear. Recent examples include takeovers and other transactions in which the principal motivations include reductions in research and development costs and tax savings through relocation to other jurisdic-
The role of cultural attributes in savings rates

The motivation for conducting this research came from the current global economic crisis. One outcome of the crisis is the awareness of the need for a better understanding of what causes people to save. Low savings rates in Western countries in general and in the USA in particular are the roots of the crisis. Furthermore, saving is probably one of the most important economic variables that impact the local and global environment. The current economic literature neglects the crucial impact that culture has on saving as a consequence we do not fully understand the causes of different saving rates in different societies. The purpose of this paper is to explore the variable of cultural attitudes as an explanation for variations in national savings rates. The phenomenon of diminishing personal savings cannot be explained simply by the variables studied in the current economic literature, such as interest rates, age of the population and wealth as expressed by GDP per capi...
On the partial atomic volume of aluminum in solid solutions based on the 3d transition metals and copper

The composition dependence of the average atomic volume, as well as of the enthalpy of formation, was investigated for the aluminum-containing systems with the 3d transition metals and copper. The partial atomic volume of aluminum and the partial molar enthalpy of aluminum were determined for the transition metal-based solid solutions. Independent of the type of solid-solution structure, the (negative) partial molar enthalpy of aluminum increases and the partial atomic volume of aluminum decreases with increasing filling of the 3d band. The charge transfer and the bonding in solid solutions exhibiting close-packed structures (coordination number (CN)=12) is substantially higher than in solid solutions, based on the bcc structure (CN=8). The s electron of copper, though, reduces the charge transfer and the bonding in the fcc solid-solution Cu(Al) significantly.
On the optimality of separation between caching and delivery in general cache networks

We consider a system, containing a library of multiple files and a general memoryless communication network through which a server is connected to multiple users, each equipped with a local isolated cache of certain size that can be used to store part of the library. Each user will ask for one of the files in the library, which needs to be delivered by the server through the intermediate communication network. The objective is to design the cache placement (without prior knowledge of users' future requests) and the delivery phase in order to minimize the (normalized) delivery delay. We assume that the delivery phase consists of two steps: (1) generation of a set of multicast messages at the server, one for each subset of users, and (2) delivery of the multicast messages to the users. In this setting, we show that there exists a universal scheme for cache placement and multicast message generation, which is independent of the underlying communication network between the server and the users, and achieves the optimal delivery delay to within a constant factor for all memoryless networks. We prove this result, even though the capacity region of the underlying communication network is not known, even approximately. This result shows that in the aforementioned setting, a separation between caching and multicast message generation on one hand, and delivering the multicast messages to the users on the other hand is approximately optimal. This result has the important practical implication that the prefetching can be done independent of network structure in the upcoming delivery phase.
VOLCANIC-SEDIMENTARY DEPOSITS IN THE TYRRHENIAN ABYSSAL BASIN

Investigations in the vicinity of the Vercelli, Magnaghi, Vavilov, and Marsili volcanic seamounts reveal a complex sequence of volcanic de-posits interbedded with sedimentary layers. Seismic profiling allows the volcanic formations to be traced from the volcanoes into the abyssal zone. The volcanic-sedimentary complex, with an average thickness of 1.5-2 km, is ubiquitous in the deep basin. It lies on crystalline basement and is overlain by Pliocene-Quaternary sediments.
Modernism, Race and Manifestos: Contents

1.  manifestos, race, and modernity Part I. Cosmopolitan London, 1906-14: 2. Women's suffrage melodrama and burlesque 3. Futurism's music hall and India docks 4. Vorticism's cabaret modernism and racial spectacle Part II. Transnational Modernisms, 1934-8: 5. Nancy Cunard's negro and black transnationalism 6. Reading across the Color Line: Virginia Woolf, C. L. R. James, and Suzanne and Aime Cesaire Epilogue: manifestos: then and now Index.
Notas sobre la determinacin y dinmica del tipo de cambio

This paper is about the dynamics and the exchange rate determination in an open economy with free capital movements. The basic monetary and portfolio models are presented and analyzed. The paper includes a brief description of the interest and purchasing power parities, which are part of both types of models. The hypothesis of rational expectations is part of almost all of these models, which are presented in a system of two differential equations. For this reason, the mathematical instruments for the comparative static and for the solution of these models are presented in a systematic way.
Prioritizing Trust Factors in an Agri-Food B2B E-Commerce Environment

Trust is recognized as an important asset for Business-to-Business e-commerce success, but few studies investigate the link between trust and e-commerce in agri-food markets. This paper aimed at prioritizing some trust factors in e-relationships between actors operating in the agri-food markets. Starting from the results of a previous analysis (Canavari et al., 2005), the importance of three categories namely share of values and motivations, reliability and reputation and integration availability and non-opportunistic behavior, and six trust factors are prioritized using the Analytic Hierarchy Process. The model seems to be capable to assign a priority order to the elements inspiring trust within e-trade relationships in the agri-food chains.
Controlling interfaces : a key to project success

Most problems cited in papers dealing with project success factors are often linked to the responsibility of particular players in the construction phase, rather than to the relations among them and with their environment. Challenging the current belief that "dividing is ruling", this new vision groups problems seemingly different in nature, and provides, from their analysis, a unified set of recommendations that, if applied, could help drastically reduce unpredictability of the outcome of a project and boost productivity. Yet, and it is confirmed by the few articles that have been written about this approach, little has been done on the construction field. The appearance of a new form of project management, lean construction, and the verifiable results of improvement it triggers, offers the interface perspective a more comprehensive and supportive environment, in which it can be more easily developed, implemented and perfected. This study focuses on what should be considered the three most important interfaces during the construction phase of the project, and will compare the improvements suggested by this approach to the principles of lean construction, to support the utility of this new way of perceiving problems. Thesis Supervisor: Dr. Yehiel Rosenfeld Title: Visiting Professor of Civil and Environmental Engineering
Student's solutions manual to accompany chemistry : the study of matter and its changes

Partial table of contents: The Structure of Matter: Atoms, Molecules, and Ions Stoichiometry: Quantitative Chemical Relationships Energy and Thermochemistry Atomic and Electronic Structure Chemical Bonding 1 Properties of Gases Intermolecular Attractions and the Properties of Liquids and Solids Solutions Acid-Base and Ionic Reactions Oxidation-Reduction Reactions Thermodynamics Kinetics: The Study of Rates of Reaction Chemical Equilibrium--General Concepts Acid-Base Equilibria Solubility and Simultaneous Equilibria Electrochemistry Simple Molecules and Ions of Nonmetals: Part 2 Transition Metals and Their Complexes Nuclear Reactions and Their Role in Chemistry Biochemicals Appendices Glossary Index.
Rapid synthesis of monodispersed highly porous spinel nickel cobaltite (NiCo2O4) electrode material for supercapacitors

Monodispersed highly porous spinel nickel cobaltite electrode material was successfully synthesized in a short time using combustion technique. Single phase cubic nature of the spinel nickel cobaltite with average crystallite size of 24 nm was determined from X-ray diffraction study. Functional groups present in the compound were determined from FTIR study and it further confirms the spinel formation. FESEM images reveal the porous nature of the prepared material and uniform size distribution of the particles. Electrochemical evaluation was performed using Cyclic Voltammetry (CV) technique, Chronopotentiometry (CP) and Electrochemical Impedance Spectroscopy (EIS). Results reveal the typical pseudocapacitive behaviour of the material. Maximum capacitance of 754 F/g was calculated at the scan rate of 5 mV/s, high capacitance was due to the unique porous morphology of the electrode. Nyquist plot depicts the low resistance and good electrical conductivity of nickel cobaltite. It has been found that nickel cobaltite prepared by this typical method will be a potential electrode material for supercapcitor application.
French literature, thought and culture in the nineteenth century : a material world : essays in honour of D.G. Charlton

List of Illustrations - Preface - Notes on the Contributors - A Tribute to Donald Geoffrey Charlton and a Bibliography of his Writings C.W.Thompson - Romanticism and the Material World: Mind,  Materialism in Nineteenth-Century France M.Kelly - Managing Democratic Change: the Politics of Materialism in the Work of Alexis de Tocqueville D.Hanley - Producing, Retailing, Consuming: France 1830-70 R.Magraw - Things, Distinction and Decay in Nineteenth-Century French Literature B.Rigby - From Neo-Classical to Romantic Aesthetics: The Status of the Material World in Nineteenth-Century French Drama W.D.Howarth - Towards the Materiality of the Sign: Aesthetics and Poetics in Nineteenth-Century France D.Scott - No Object too Humble? Still Life Painting in French Art Criticism during the Second Empire J.Kearns - Unstable Objects: acropole and barbarie in Rimbaud's Villes I M.Treharne - Immaterial Views? Science, Intransigence and the Female Spectator of Modern French Art in 1879 A.Callen - Object Choices: Taste and Fetichism in Flaubert's L'Education sentimentale D.Knight - Bibliography - Index