Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

From Truth to Justice: How Does Amnesty Factor In? A Comparative Analysis of South Africa and Sierra Leone's Truth and Reconciliation Commissions

Truth and Reconciliation Commissions (TRC) have emerged in the last few decades as a mechanism for a state to overcome widespread, grave, human rights violations. There are numerous approaches to a TRC all with an ultimate goal: that formerly warring factions, perpetrators, witnesses, and victims can move forward as a united people. I propose that the provision of amnesty is critical to the success of a TRC. I hypothesize that the form of amnesty chosen (i.e. blanket v. conditional amnesty) determines the revelation of truth and realization of justice, which in turn dictates whether a TRC can achieve reconciliation. To test this hypothesis, I use two case studies: South Africa, which has utilized conditional amnesty, and Sierra Leone which has employed blanket amnesty. I create a model for measuring reconciliation. I can then look at the implications of both types of amnesty and assess which, in the end, is more effective. My overarching conclusion is that the provision of conditional amnesty is more effective than blanket amnesty in achieving reconciliation. Ultimately, I hope that this conclusion can be generalized to other TRCs.

Seasonal cycles of monthly means of ground truth wind speed of METAR station GVAC and of area-averaged TMI wind speed at 37 GHz for the Cape Verde Island Sal

In the present paper ground truth and remotely sensed datasets were used for the investigation and quantification of the impact of Saharan dust on microwave propagation, the verification of theoretical results, and the validation of wind speeds determined by satellite microwave sensors. The influence of atmospheric dust was verified in two different study areas by investigations of single dust storms, wind statistics, wind speed scatter plots divided by the strength of Saharan dust storms, and wind speed differences in dependence of microwave frequencies and dust component of aerosol optical depth. An increase of the deviations of satellite wind speeds to ground truth wind speeds with higher microwave frequencies, with stronger dust storms, and with higher amount of coarse dust aerosols in coastal regions was obtained. Strong Saharan dust storms in coastal areas caused mean relative errors in the determination of wind speed by satellite microwave sensors of 16.3% at 10.7 GHz and of 20.3% at 37 GHz. The mean relative errors were smaller in the open sea area with 3.7% at 10.7 GHz and with 11.9% at 37 GHz.

A Ground-Truth Video Dataset for the Development and Evaluation of Vision-based Sense-and-Avoid systems

The importance of vision-based systems for Sense-and-Avoid is increasing nowadays as remotely piloted and autonomous UAVs become part of the non-segregated airspace. The development and evaluation of these systems demand flight scenario images which are expensive and risky to obtain. Currently Augmented Reality techniques allow the compositing of real flight scenario images with 3D aircraft models to produce useful realistic images for system development and benchmarking purposes at a much lower cost and risk. With the techniques presented in this paper, 3D aircraft models are positioned firstly in a simulated 3D scene with controlled illumination and rendering parameters. Realistic simulated images are then obtained using an image processing algorithm which fuses the images obtained from the 3D scene with images from real UAV flights taking into account on board camera vibrations. Since the intruder and camera poses are user-defined, ground truth data is available. These ground truth annotations allow to develop and quantitatively evaluate aircraft detection and tracking algorithms. This paper presents the software developed to create a public dataset of 24 videos together with their annotations and some tracking application results.

The Lie That Tells the Truth: Creating Truth in Fiction and the Novel Delivering Hope

What makes fiction believable is the truth behind the words. This Capstone Project explores the ways in which authors put the truth on the page while simultaneously fabricating stories. The Reflective Paper examines writing techniques used to make the reader trust the story and the storyteller. The Creative Capstone is the result of applying these craft skills to Delivering Hope, a novel in progress about a critically ill baby bringing a dysfunctional family back together. The author relies on her personal experience of high- risk pregnancy and preterm birth to help create truth in her fiction.

Voices of the New South Africa: NOTHING BUT THE TRUTH (dir: John Kani, 2008) : and, HOMECOMING (dir: Norman Maake, 2005) [videorecording]

"2 DVD set"

The truth about snake stories / by Karl P. Schmidt, Asst. Curator of Reptiles and Amphibians.

no.10(1929)

Ideal physical culture and the truth about the strong man,

Mode of access: Internet.

Precious truth : or, Some points in gospel doctrine vindicated in a series of letters addressed to Christians of every denomination : shewing the falsehood of the charges brought against the writings of Mr. Marshal, Mr. Hervey, and others by Mr. Bellamy in his dialogues and letters /

Shoemaker 9842 and 9843.

Protestantism; a study in the direction of religious truth and Christian unity.

"Explanatory index of authors cited," p. [433]-436.

An American to Americans : John L. Stoddard noted author-traveler tells the truth about Germany and the war in Europe /

Mode of access: Internet.