In this article we calculate the n-string braid groups of certain noncontractible graphs. We use techniques from the work of A. Abrams, F. Connolly and M. Doig combined with Van Kampen’s Theorem to prove these results.

We investigate axiomatizations of Kripke’s [18] theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman’s axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke’s semantics in the straightforward sense; only the sentences provably true in KF are valid in Kripke’s partial ...

We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the conditional guard construct. This combination entails the introduction of a new constant meaningless in process algebra. We present an operational semantics in SOS-style, and a completeness result for ACP with conditional guard construct and the proposed logic.

xxi

Time-of-flight three-dimensional imaging is an important tool for applications such as object recognition and remote sensing. Conventional time-of-flight three-dimensional imaging systems frequently use a raster scanned laser to measure the range of each pixel in the scene sequentially. Here we show a modified time-of-flight three-dimensional imaging system, which can use compressed sensing tec...

These pages originate as a follow up to the course Conservation Laws delivered by the author at the University of Warsaw in the week 12-16.05.2014. Clearly, not all the theory of Conservation Laws is considered, several subjects are only superficially covered, while others are entirely omitted and the space devoted to the various research directions is not related to their relevance. Unfortunat...

In this contribution, the design, collection, annotation and planned distribution of a new spoken language resource of Afrikaans (SALAR) is discussed. The corpus contains speech of mother tongue speakers of Afrikaans, and is intended to become a primary national language resource for phonetic research and research on pronunciation variations. As such, the corpus is designed to expose pronunciat...

R ecently there’s been a push among some of our clients to start bringing 3d imaging systems in-house. In the majority of cases the client wants my company to provide some form of training to help them get off on the right foot. Although we are in the consulting business, training is a different animal. We’ve worked for years, continuously refining our processes and tools, investing in R&D and ...

We give several remarks on Strichartz estimates for homogeneous wave equation with special attention to the cases of Lx estimates, radial solutions and initial data from the inhomogeneous Sobolev spaces. In particular, we give the failure of the endpoint estimate L 4 n−1 t Lx for n = 2, 3 even for data in inhomogeneous Sobolev spaces.