What Makes Persistent Identifiers Persistent?

This essay sketches technical and non-technical issues around persistent identifiers (henceforth PIs) in a manner which makes no attempt to be complete. Our goal is to rescue the core notions from the obscurity which detail and completeness burdens them with. A reader willing to entertain the idea of their necessity should be able to cut to the chase and follow a more complex and involved debate after reading this. Our hope is that in isolating the core issues we will enable a more founded discussion of the social and political issues involved in PIs.Persistent Identifier, handle, DOI, data, trust, URN, RePEc

A first-order Temporal Logic for Actions

We present a multi-modal action logic with first-order modalities, which contain terms which can be unified with the terms inside the subsequent formulas and which can be quantified. This makes it possible to handle simultaneously time and states. We discuss applications of this language to action theory where it is possible to express many temporal aspects of actions, as for example, beginning, end, time points, delayed preconditions and results, duration and many others. We present tableaux rules for a decidable fragment of this logic

Automated Calculation and Simulation Systems

I briefly summarize the parallel sessions on Automated Calculation and Simulation Systems for high energy particle physics phenomenology at ACAT 2002 (Moscow State University, June 2002) and present a short overview over the current status of the field and try to identify the important trends.Comment: 4 pages, LaTeX, to appear in the proceedings of ACAT 200

Prototyping Virtual Data Technologies in ATLAS Data Challenge 1 Production

For efficiency of the large production tasks distributed worldwide, it is essential to provide shared production management tools comprised of integratable and interoperable services. To enhance the ATLAS DC1 production toolkit, we introduced and tested a Virtual Data services component. For each major data transformation step identified in the ATLAS data processing pipeline (event generation, detector simulation, background pile-up and digitization, etc) the Virtual Data Cookbook (VDC) catalogue encapsulates the specific data transformation knowledge and the validated parameters settings that must be provided before the data transformation invocation. To provide for local-remote transparency during DC1 production, the VDC database server delivered in a controlled way both the validated production parameters and the templated production recipes for thousands of the event generation and detector simulation jobs around the world, simplifying the production management solutions.Comment: Talk from the 2003 Computing in High Energy and Nuclear Physics (CHEP03), La Jolla, Ca, USA, March 2003, 5 pages, 3 figures, pdf. PSN TUCP01

What Makes Persistent Identifiers Persistent?

This essay sketches technical and non-technical issues around persistent identifiers (henceforth PIs) in a manner which makes no attempt to be complete. Our goal is to rescue the core notions from the obscurity which detail and completeness burdens them with. A reader willing to entertain the idea of their necessity should be able to cut to the chase and follow a more complex and involved debate after reading this. Our hope is that in isolating the core issues we will enable a more founded discussion of the social and political issues involved in PIs

From Specifications to Behavior: Maneuver Verification in a Semantic State Space

To realize a market entry of autonomous vehicles in the foreseeable future, the behavior planning system will need to abide by the same rules that humans follow. Product liability cannot be enforced without a proper solution to the approval trap. In this paper, we define a semantic abstraction of the continuous space and formalize traffic rules in linear temporal logic (LTL). Sequences in the semantic state space represent maneuvers a high-level planner could choose to execute. We check these maneuvers against the formalized traffic rules using runtime verification. By using the standard model checker NuSMV, we demonstrate the effectiveness of our approach and provide runtime properties for the maneuver verification. We show that high-level behavior can be verified in a semantic state space to fulfill a set of formalized rules, which could serve as a step towards safety of the intended functionality.Comment: Published at IEEE Intelligent Vehicles Symposium (IV), 201

Modelling dairy farm size distribution in Poland using an instrumental variable generalized cross entropy markov chain approach

The aim of this paper is to analyse the evolution of the dairy farm structure of Poland during the post-socialist period. First the paper focuses on how the farm structure has changed over time and what path it is likely to follow in the coming decade. Second, it is tested whether the evolution of farm size is explained by non-stationary effects. Finally, several statistical indicators are computed on farm mobility and on which farms are likely to survive. An instrumental variable generalised cross entropy Markov chain approach which incorporates prior information is applied for estimation. Prior information included general and plausible information on farm mobility and structural adjustments based on independent literature. The projections show that dairy farm numbers will continue to decline, although accompanied by an increase in the number of medium-sized and large farms. Subsistence dairy farms are expected to slowly leave the sector in the coming decade

Modelling the Dairy Farm Size Distribution in Poland Using an Instrumental Variable Generalized Cross Entropy Markov Approach

The aim of this paper is to analyse the evolution of the dairy farm structure of Poland during the post-socialist period. First the paper focuses on how the farm structure has changed over time and what path it is likely to follow in the coming decade. Second, it is tested whether the evolution of farm size is explained by non-stationary effects. Finally, several statistical indicators are computed on farm mobility and on which farms are likely to survive. An instrumental variable generalised cross entropy Markov chain approach which incorporates prior information is applied for estimation. Prior information included general and plausible information on farm mobility and structural adjustments based on independent literature. The projections show that dairy farm numbers will continue to decline, although accompanied by an increase in the number of medium-sized and large farms. Subsistence dairy farms are expected to slowly leave the sector in the coming decade.dairy, farm size, Poland, Markov chain, generalised cross entropy., Livestock Production/Industries,