878 research outputs found
Semi-supervised classification of injection moulding processes
No full textAuthor DI Oliver Reiter, BScMasterarbeit Universität Linz 2023Arbeit nach Ablauf der Sperre auf den öffentlichen PCs in den Bibliotheken der JKU+Medizin abrufba
Forget It!
No full textThis paper describes in general terms the particular forms of forgetting used in (Lin and Reiter [2; 3]). Specifically, we propose a logical theory to account for: forgetting about a fact (forget that John is a student), and forgetting about a relation (forget the student relation). We then apply our notion of forgetting in defining various notion of relevance
Fearless Radicalism: Alice Paul and Her Fight for Women’s Suffrage
No full textAbout the author
Anna Reiter is a senior majoring in history accompanied by a minor in political science. She is a member of Phi Alpha Theta and the Honors Program and will receive her BA in December, 2013
Execution Monitoring of High-Level Robot Programs
No full textImagine a robot that is executing a program on-line, and, insofar as it is reasonable to do so, it wishes to continue with this on-line program execution, no matter what exogenous events occur in the world. Execution monitoring is the robot's process of observing the world for discrepancies between the actual world and its internal representation of it, and recovering from such discrepancies. We provide a situation calculus-based account of such on-line program executions, with monitoring. This account relies on a specification for a single-step interpreter for the logic programming language Golog. The theory is supported by an implementation that is illustrated by a standard blocks world in which a robot is executing a Golog program to build a suitable tower. The monitor makes use of a simple kind of planner for recovering from malicious exogenous actions performed by another agent. After performing the sequence of actions generated by the recovery procedure, the robot eliminates the ..
Recommended from our members
View synthesis for depth from motion 3D x-ray imaging.
No full textThe depth from motion or kinetic depth X-ray imaging (KDEX) technique is designed to enhance the luggage screening at airport checkpoints. The technique requires multiple views of the luggage to be obtained from an arrangement of linear X-ray detector arrays. This research investigated a solution to the unique problems defined when considering the possibility of replacing some of the X-ray sensor views with synthetic images. If sufficiently high quality synthetic images can be generated then intermediary X-ray sensors can be removed to minimise the hardware requirements and improve the commercial viability of the KDEX technique. Existing image synthesis algorithms are developed for visible light images. Due to fundamental differences between visible light and X-ray images, those algorithms are not directly applicable to the X-ray scenario. The conditions imposed by the X-ray images have instigated the original research and novel algorithm development and experimentation that form the body of this work. A voting based dual criteria multiple X-ray images synthesis algorithm (V-DMX) is proposed to exploit the potential of two matching criteria and information contained in a sequence of images. The V-DMX algorithm is divided into four stages
Radial profiles of the neutral gas density and the transport coefficient from imaging X-ray spectroscopy at TEXTOR
No full textContribution submission to the conference Jena 2013Radial profiles of the neutral gas density and the effectivetransport coefficent from imaging X-ray spectroscopy— ∙Tobias Schlummer, Oleksandre Marchuk, GünterBertschinger, Wolfgang Biel, and Detlev Reiter — Instituteof Energy and Climate Research - Plasma Physics, ForschungszentrumJülich GmbH, Association EURATOM-FZJ, Partner In the TrilateralEuregio Cluster, Jülich, GermanyX-Ray spectroscopy on seeded mid Z gases is a well established diagnosticfor electron and ion-temperature measurements in controlledfusion plasmas. In the past few years the capabilities of X-ray spectroscopyexpanded considerably. The use of bifocal crystals lead tocompact designs and therefore to more flexible devices while the useof two dimensional CCD detector chips enabled radial resolution. Besidesthe plasma temperature these spectra also reveal certain ion ratiosof the emitting element. These ion ratios are affected by chargeexchange with neutral hydrogen and by impurity transport (1). Radiallyresolved spectra of He-like argon have been measured with the newcompact imaging spectrometer for W7-X at TEXTOR. The argon ionratios were interpreted with respect to charge exchange with a neutralgas background as well as radial impurity transport. Both effects areclearly distinguishable. This introduces imaging X-ray spectroscopy asdiagnostic for radial profiles of the neutral gas density and the effectivetransport coefficient. (1) Bertschinger, Marchuk, High-Temp. Pl. Diag.by X-ray Spectr. in the Low Dens. Limit, Clark, Reiter (Eds.), NuclearFusion Research, Underst. Pl.-Surf. Interact. (Springer, 2004) p. 18
Recommended from our members
Enhanced colour encoding of materials discrimination information for multiple view dual-energy x-ray imaging
No full textThis thesis reports an investigation into dual-energy X-ray discrimination techniques. These techniques are designed to provide colour-coded materials discrimination information in a sequence of perspective images exhibiting sequential parallax. The methods developed are combined with a novel 3D imaging technique employing depth from motion or kinetic depth effect (KDE). This technique when applied to X-ray images is termed KDEX imaging and was developed previously by the university team for luggage screening applications at security checkpoints. A primary motivation for this research is that the dual-energy X-ray techniques, which are routinely incorporated into ‘standard’ 2D luggage scanners, provide relatively crude materials discrimination information. In this work it was critical that robust materials discrimination and colour encoding process was implemented as the sequential parallax exhibited by the KDEX imagery may introduce colour changes, due to the different X-ray beam paths associated with each perspective image. Any introduction of ‘colour noise’ into the resultant image sequences could affect the perception of depth and hinder the ongoing assessment of the potential utility of the dual-energy KDEX technique. Two dual-energy discrimination methods have been developed, termed K-II and W-E respectively. Employing the total amount of attenuation measured at each energy level and the weight fraction of layered structures, a combination of the K-II and the W-E techniques enables the computation and extraction of a target objects’ effective atomic number (Zeff) and its surface density (ρS) in the presence of masking layers
A Formal Account of Planning with Concurrency, Continuous Time and Natural Actions
No full textAbstract Our focus in this paper is on natural exogenous actions (Pinto [8]), namely those which occur in response to known laws of physics, like a ball bouncing at times determined by Newtonian equations of motion. The property of such actions that we wish to capture is that they must occur at their predicted times, provided no earlier actions (natural or agent initiated) prevent them from occurring. Because several such actions may occur simultaneously, we need a theory of concurrency. Because such actions may be modeled by equations of motion, we need to represent continuous time. This paper shows how to gracefully accommodate all these features within the situation calculus, without sacrificing the simple solution to the frame problem of Reiter [9]. The end result is a situation calculus account of deductive planning, with continuous time and true concurrency, and where the agent can incorporate external natural event occurrences into her plans. 1 Formal Preliminaries 1.1 The Lan..
Ruth Beckermann und die jüdische Nachkriegsgeneration in Österreich
No full textThis essay focuses on the film trilogy of the Austrian filmmaker Ruth Beckermann: Wien retour (1983), Die papierene Brücke (1987) and Nach Jerusalem (1991). It locates Beckermann as a Jewish intellectual and writer in the socio-historical context of post-war Austria. The essay draws on information gained from an interview with Beckermann conducted by the author
- …
