nils-herrmann/clean_scirepeval huggingface dataset:
On Development Practices for End Users

The paper discusses some trends in end user programming (EUP) and takes inspiration from the discussions in a panel and in a vertical session on research evaluation within the second Search Computing workshop. We discuss the controversial successes and failures in this field and we elaborate on which facilities could foster adoption of end user programming. We discuss various dimensions of end user programming, including vertical versus horizontal language definition, declarative versus imperative approaches. We exemplify our discussion in the realistic scenario of research evaluation by comparing the Search Computing and ResEval approaches.
Basiska bergarter, gångbergarter, sedimentbergarter och breccior i Vaggerydssyenit : en undersökning i protoginzonen vid Vaggeryd

The Protogine Zone is a system of steep shear zones running approximately parallel to the boundary between the Svecofennian and the Southwest Scandinavian orogens of southern Sweden. The geological nature of the zone is not very well known, mainly because detailed mapping has not begun until recently. This work is the beginning of an attempt to start changing this situation. An area of l km², situated 3 km north of Vaggeryd in north-western Smaland, has been mapped in detail. 
The main rock types in the investigated area are syenite and finegrained 
mafic rocks. Associated with these two rock types are breccias. 
Other rock types include volcanics and sandstones. There is also a 
Fe-Ti mineralization. 
The syenites consist of perthitic potash feldspar (36-84 %, mean 
value 61 %), plagioclase (0-19 %, mean value 5 %), clino- and orthopyroxene 
(0-18 %, mean value 9 %), occasional olivine, apatite (mean 
value 2 %) and opaques (mean value 6 %). 
Syenites, aged about 1200 Ma, appear at a number of locations along 
the Protogine zone. They are thought to be closely related to the 
zone. So are also the mafic rocks called "hyperites".  
datings of some "hyperites" have shown that they are about 1450 Ma 
old. There is however evidence of several generations of these 
rocks, so some could be younger than this. 
Several details concerning the breccias made the writer infer that 
the breccia is rheomorphic, and also that the syenite and the mafic 
rocks have intruded at approximately the same time. Such details 
include xenoliths of the mafic rocks in the syenite, veins of syenite 
in the mafic rocks, red feldspar-crystals and also partly assimilated 
syenite xenoliths in the mafic rocks. In the mapped area there 
is also a mafic dike intruding the syenite, and chilling against it. 
These facts should also mean that at least some of the mafic rocks 
along the Protogine Zone are younger than 1450 Ma. 
The volcanic and sedimentary rocks, which appear in the syenite, are also interesting. A comparison between the volcanics of the mapped area and the facts known about other volcanic rocks in Smaland has been made. The volcanics outside the mapped area all seem to be older than 1700 Ma. The volcanics of the investigated area intrude both the 1200 Ma old syenite and the mafic rocks, and are therefore younger than these. The sedimentary rocks locally preserve primary sedimentary textures, but they are mostly contact metamorphosed. 
The main ore minerals of the investigated mineralization, which appear in mafic rock are ilmenite, hematite and magnetite. There are three other known mineralizations along the Protogine zone containing Fe-Ti minerals, alloccuring in "hyperite": Langtjarn, Smalands Taberg and Ranshult.
Study of Ru2VGe and Ru2VSb: High-spin polarized and half-metallic Heusler alloys

Electronic and magnetic properties of Ru2VGe and Ru2VSb have been investigated by ab-initio. The optimized equilibrium lattice parameters were found to be 6.032 A for Ru2VGe and 6.272 A for Ru2VSb. Both the materials have ferromagnetic ground states and V mainly contributes to the magnetic properties in these materials. The highly spin-polarized half-metallic materials have integral magnetic moments of 1.0 µ B for Ru2VGe and 2.0 µ B for Ru2VSb with an energy gap of 0.095 eV for Ru2VGe and 0.186 eV for Ru2VSb in the spin-down channel.
Luces y sombras de la nueva Directiva (UE) 2015/2302 del Parlamento Europeo y del Consejo, de 25 de noviembre de 2015, relativa a los viajes combinados y a los servicios de viaje vinculados

Twenty-five years after the adoption of the Directive 90/314/EEC of 13 June on package travel, package holidays and package tours, the new business models and forms of recruitment on line tourism services have created problems which were not expected at that time and require legal response to protect users properly. In order to achieve this, the out-date regulation of these contracts has been review and the new Directive 2015/2302 of the European Parliament and of the Council, of 25 November 2015, on package travel and travel related services has been approved. The aim of this paper is to make a critical analysis of the main changes proposed in the new text, paying special attention to deve lopments in the concept of «package» and the difference with the new tourist services combinations called «linked travel arrangement», because, depending on the product purchased, travellers will enjoy different legal protection. Therefore is necessary to clarify concepts in order to ensure legal security in this area.
Bose–Einstein and Fermi–Dirac interferometry in particle physics

The application of Bose–Einstein and Fermi–Dirac interferometry to multi-hadron final states of particle reactions is reviewed. The underlying theoretical concepts of particle interferometry are presented, where a special emphasis is given to the recently proposed Fermi–Dirac correlation analysis. The experimental tools used for interferometry analysis and the interpretation of the results obtained are discussed in detail. In particular, the interpretation of the dimension r, as measured from interferometry analysis, is investigated and compared to that measured in heavy-ion collisions. Finally, the similarity between the dependence of r on the hadron mass and the interatomic separation on the atomic mass in Bose condensates is outlined.
What They Do Does Matter: Incumbent Resource Allocations and the Individual House Vote

It is reasonable to presume that House incumbents through their behaviors and resource allocations (e.g., trips home, staff, etc.) are responsible for their electoral success. The empirical case for the resource allocation hypothesis, however, rests primarily upon the support of a few experimental design studies. The remainder of the evidence from 25 years of tests of this hypothesis, at the district and individual-levels, is littered with null findings. Scholars suggest two methodological obstructions hinder alternative hypothesis findings: simultaneity bias (in district and individual-level studies), and restricted variance on the allocation measures (in individual-level studies). In this investigation I apply methodological remedies for these hindrances-nonrecursive analyses on a pooled (1960–1976) NES elections data set. I uncover the strongest evidence yet that incumbents benefit electorally from their resource allocations (here: bills sponsored and cosponsored, staff, and district offices). In addition to this main result, I also discuss the influence generational replacement has on resource allocations and the vote.
ICT and e-Business Development by the Ukrainian Enterprises: The Empirical Research

This paper presents the results of the research about the level of information and communication technology (ICT) implementation by the Ukrainian enterprises. We studied different Web-sites and made more detailed research about ICT implementation at the Odessa industrial enterprises. The conclusion is made that the state of Odessa e-commerce market does not correspond to the current state of ICT development, nor to the needs of the information society development in our country. The research of industrial enterprises shows insufficient use of the advantages, which can brings the effective use of ICT. Most businesses, despite the relatively high level of technical equipment, automate only a part of routine operations. Most administrative functions are performed by traditional methods, using only email. Thus, the Ukrainian enterprises are facing an urgent task of the most effective use of available human and ICT potential to improve their performance and competitive position at the market.
On the extensions of S5

1 The purpose of this paper is to investigate the extensions of the Lewis system S5. To some extent this is meant to be a complement to what is shown in Scroggs [7]. We will show that any formula containing only one variable, if added to S5, will give an inconsistency or make the system collapse into classical propositional calculus (PC). We then examine the proper extensions of S5 obtained by adding formulas containing more than one variable. We describe Kripke-type semantics for these systems and prove their completeness. 2 A normal extension of S5 is an extension which is closed under the rules of substitution and (material) detachment. A proper extension of S5 is a normal extension where some formula not valid in S5 is derivable, but the formula p — • Lp is not derivable. Theorem 1: If any wff, containing only one propositional variable, is added as a neiυ axiom to S5, then the system thus obtained is not a proper extension of S5.
Fire in the valley: The making of the personal computer [Book Review]

ment of the PC (August Tepper) and text processing (Jeanette Hoffmann). The last follows the cycles of changing Leitbilder in the development of networking (Ralf Klischewski) and the shift from time-sharing (computer utility) to the “interactive on-line community” (Hellige). Generally, guiding visions do not perform well on the test bed of history. As Hellige points out in his informative introduction, what we take to be a Leitbild depends on our commitments on a range of theoretical and ideological issues. That is reflected by the difficulties we can face in trying to distinguish a Leitbild from a metaphor, model, paradigm, or style. Tepper observes that we can only approach the notion only through case studies, but that the case we choose and the manner in which we interpret it run the risk of making the Leitbild a selffulfilling prophecy. As if to bear him out, Klotz unwittingly shows how the history of objectoriented programming can be tailored to fit a Leitbild, instead of being guided by it. Eulenhöfer finds that the theory of programming languages was developed by negotiation among various approaches, rather than by any single vision shared by practitioners. Indeed, by documenting how the guiding vision shifts during the process of development, Klischewski and Hellige question whether the vision follows the project, rather than leading it. These brief remarks do not do justice to the issues raised when history is used to put sociological and policy models to the test. Indeed, beyond the immediate subject, the articles themselves and the literature they point to offer a glimpse of the wealth and variety of projects in the history, sociology, and philosophy of computing that have been going on in Germany, and especially Berlin, over the past decade. Unfortunately, little of the resulting literature has made its way into English or, as frequent checks of RLIN showed, has crossed the Atlantic even in its original form. That is regrettable, for it is work worth knowing about. Michael S. Mahoney mike@Princeton.edu
Open standards and the problem with submarine patents

Standardization is essential in industries such as ICT in which network effects are strong, and product compatibility and interoperability have comprehensve benefits. The objective ofstandardization is to promote industry-wide acceptance ofnew technologies. Although non-proprietary standards are often preferred, proprietary technology may have technical benefits, and it may therefore be rational to choose that for a standard. Whenever someone can claim control over a technology, however, conflicts of interest are likely to result. Indeed,the relationship between patents and open standards is problematic. The patent policies of standards organizations aim to reduce these conflicts: participants are typically encouraged to disclose essential patents and to license them on a royalty-free basis or on reasonable and non-discriminatory terms. Unfortunately disclose and licensing requirements are often inadequate and it is possible that patents claiming standardized technology surface after the establishment of a standard. This paper examines whether U.S. antitrust and EC competition laws could be applied with a view to diminishing the submarine patent problem.
Three dimensional large N monopole gas

We study the large N limit in the presence of magnetic monopoles in the Yang-Mills/Higgs model in three dimensions. The physics in the limit depends strongly on the distribution of eigenvalues of the Higgs field in the vacuum, and we propose a particular, nondegenerate configuration. It minimizes the free energy at the moment of symmetry breaking. Given this, the magnetic monopoles show a wide hierarchy of masses, and some are vanishing as 1/N. The dilute gas picture, then, provides an interesting structure in the large N limit.
Middle Cambrian rift-related volcanism in the Ellsworth Mountains, Antarctica: tectonic implications for the palaeo-Pacific margin of Gondwana

The Ellsworth Mountains of West Antarctica represent part of a displaced terrane once situated along the palaeo-Pacific margin of Gondwana, prior to supercontinent break-up, adjacent to South Africa and the Weddell Sea coast of East Antarctica. Middle Cambrian sedimentary rocks of the southern Ellsworth Mountains host locally thick volcanic and subvolcanic rocks forming five igneous centres. Geochemically, most of the igneous samples are mafic, with a subordinate suite of evolved types. The mafic suite is geochemically varied, ranging from MORB (mid-ocean ridge basalt)-like compositions to shoshonitic and lamprophyric (e.g. LaN/YbN = 0.95 to 15.2), with eNdi values ranging from +5.2 to −2.0, correlating with Ti/Y. They are interpreted as representing melts derived from more than one mantle source, with the MORB-like rocks being derived from a depleted mantle source, and the more enriched compositions representing partial melting of lithospheric mantle. Silicic rocks contain melt contributions from Late Proterozoic crust, which is inferred to form the basement of the Ellsworth Mountains. We interpret these igneous rocks as having been formed in a continental rift environment, with MORB-like basalts erupted near the rift axis, and melts from lithospheric mantle emplaced on the rift shoulder. Such an interpretation is consistent with the sedimentary host-rock palaeogeography and contemporaneous structures. This Middle Cambrian rift event is correlated spatially and temporally with rift-related sedimentary rocks in South Africa. It is currently unclear what rifted off the southern African–Weddell Sea sector of the Gondwana palaeo-Pacific margin at that time.
Biology, Evolution, and Human Nature

Why Study Biology? Charles Darwin and the Origins of Evolutionary Theory. Cells and the Molecules of Life. Genetic Continuity and Change: Organisms, Environments, and Microevolution.  Molecular Evolution, Selection, and Adaptation.  The Success of Social Insects. Parasites, Hosts, and the Evolutionary Warfare of Infectious Disease. THE BIOLOGY OF BEHAVIOR. Nervous Systems Generate Behavior. Individual Organisms are the Product of Development. Behavior as Phenotype. OUR PLACE IN NATURE. The Physical Record of Human Origins. Exploring Our Behavioral Heritage. Viewing Human Cultures in an Evolutionary Context. Bibliography. Credits. Index.
Fabrication and Electrical Properties of Al 2 O 3 /GaN MIS Structures using Remote Plasma Atomic Layer Deposition

thin films were deposited on GaN(0001) by using a Remote Plasma Atomic Layer Deposition(RPALD) technique with a trimethylaluminum(TMA) precursor and oxygen radicals in the temperature range of . The growth rate per cycle was varied with the substrate temperature from /cycle at to /cycle at . The chemical structure of the thin films was studied using X-ray photoelectron spectroscopy(XPS). The electrical properties of /GaN Metal-Insulator-Semiconductor (MIS) capacitor grown at a process temperature were excellent, a low electrical leakage current density( at 1 MV) at room temperature and a high dielectric constant of about 7.2 with a thinner oxide thickness of 12 nm. The interface trap density() was estimated using a high-frequency C-V method measured at . These results show that the RPALD technique is an excellent choice for depositing high-quality as a Sate dielectric in GaN-based devices.
Stratigraphy and tectonic significance of Lower Paleozoic continental margin strata in northeastern Washington

Lower Paleozoic eugeoclinal strata in the Kootenay Arc in northeastern Washington and southeastern British Columbia are transitional between autochthonous lower Paleozoic miogeoclinal strata and outboard volcanic arc terranes of uncertain paleogeographic affinity. They provide a record of lower Paleozoic continental margin depositional and tectonic processes oceanward of the continental shelf. The southernmost stratigraphic unit, the Covada Group, is divided into two formations, the Daisy Formation, a mid fan sequence of arkosic and subarkosic wacke and arenite, and the Early Ordovician Butcher Mountain Formation, consisting of alkalic(?) pillow basalt and tuff of within-plate affinity. Another unit, formerly part of the Covada Group, is excluded and informally named the Bradeen Hill assemblage. It contains chert, chert-quartz arenite, quartz arenite, chert pebble conglomerate, shale, and basalt, and may be Ordovician to Devonian on the basis of stratigraphic evidence and regional correlations. The Covada Group and Bradeen Hill assemblage record (1) deposition of continentally derived sediments in a submarine fan setting, (2) relatively quiescent starved basin conditions, (3) local faulting; and (4) intermittent periods of volcanism, perhaps reflecting local extension. They can be correlated with other stratigraphic units in the Kootenay Arc and resemble units as far north as the Selwyn basin in northern Canada and as far south as the Roberts Mountains allochthon in central Nevada. This unites the stratigraphic record and implies a high degree of synchroneity of tectonic events along over 2500 km of the outer continental margin during early Paleozoic time.
La cavalcade des rois guerriers: les effigies équestres des souvenirs de Naples au Quattrocento

The cavalcade of the warrior kings. The equestrian effigies of the kings of Naples in the Quattrocento. Ladislas Anjou Duras, Alphonse V, Ferrante I and Alphonse II of Aragon, were all Napolitan sovereigns who distinguished themselves on the field of battle and were all the subjects of equestrain effigies. Original synthesis of the problematic of equestrain potraiture in Naples in the 15th century, this article highlights the distinctive characteristics shared by these conquering kings who personally went to battle at the head of their armies, through their equestrian effigies, which share in numerous formal, iconographical and stylistic characteristics, in particular a double influence, both chivalrous and imperial, in a unique combination of International Gothic and Antique styles. Nevertheless, the proper understanding of these images,which form veritable tools of political communication, engenders the emphasis, as well, of their differences and their singularity. Such instruments of legitimization and propaganda are also based on the play of repetition and the effects inherent in the serial process, as well as on the system of connections between these monarchs, in addition to the ties to their illustrious predecessors. Thus is highlighted the particualr type of official portrait represented by the equestrian effigy in the context of the Neapolitan city in the Quattrocento, favored notably by a local equestrian tradition, and an important part of the military and artistic politics of the warrior kings.
Some Remarks on Impact of Mining Based on an Example of Building Deformation and Damage Caused by Mining in Conditions of Upper Silesian Coal Basin

An intense mining exploitation has been conducted below a highly urbanised area of Upper Silesian Coal Basin for over 100 years. Its influence on the surface and buildings located in the area constituted a subject of many studies, the result of which helped in creating methods allowing to predict deformations and assessing the extent of their impact on buildings. However, there is a number of issues linked with assessment of mining influence on terrain surface deformation, reliable analyses should be carried out individually in respect to particular mining and geological conditions. All calculation results concerning deformations of the mining area, as well as rock mass tremors’ occurrence, can be verified based on measurements results. This paper presents an analysis of exploitation’s impact on a selected structure. Conclusions about the manner of performing the assessment of exploitation’s impact on buildings were based on obtained results.
Cardinality Restrictions on Concepts

The concept description formalisms of existing terminological systems allow the user to express local cardinality restrictions on the fillers of a particular role. It is not possible, however, to introduce global restrictions on the number of instances of a given concept. This paper argues that such cardinality restrictions on concepts are of importance in applications such as configuration of technical systems, an application domain of terminological systems that is currently gaining in interest. It shows that including such restrictions into the description language leaves the important inference problems such as instance testing decidable. The algorithm combines and simplifies the ideas developed for the treatment of qualifying number restrictions and of general terminological axioms.
What can be Learned from Whom? Germany's Employment Problem in Comparative Perspective

In several (large) states of the European continent, particularly in Germany, progress in bringing down high unemployment has been slow. In contrast, 'employment miracles' occurring in a number of countries of the Western world receive increasing attention and raise the question of what can be learned from their obviously more successful political strategies and institutional reforms for attaining better employment performance. The first part of the paper discusses different criteria for evaluating 'successful' employment performance in comparative perspective. After looking into the 'employment miracles' and the policies and policy changes which are commonly ascertained as having been conducive to success - concentrating mainly on the Netherlands, Denmark and the USA - the question of transferability is addressed by examining which elements could be transferred to Germany and other countries of the European continent. The conclusion is that, apart from modernizing (active) labour market policy, there is ...
Design of Engineering Systems in Industrial and Enterprise Systems Engineering Department at University of Illinois

This paper presents a sampling of research in design of engineering systems in the Department of Industrial and Enterprise Systems Engineering at the University of Illinois at Urbana-Champaign. Recent activity in design principles for actively controlled and autonomous systems, normative decision based design theory and methodology, and bio-inspired compliant mechanisms and soft robotics is presented. design systems; actively controlled systems; autonomous systems; normative design; decision based design; bioinspired compliant mechanisms; soft robotics