Disquiet in the plasma

The metaphor of plasma is taken up to present and discuss movement and engagement by participants in mixed reality installation arts. Two works involving full body video portraits exhibited through large plasma screens in a variety of public settings are covered. Machinic mediations of video realism are considered in terms of embodied interaction in which viewer-participants contribute to the ‘disquiet’ of gendered figuring. Processural, proximal and personal aspects of responsive engagement are discussed. This is extended to performativity that may lead us to critical reflection of our own actions and responses in mixed reality arts.     

Efficient SAT-based bounded model checking for software verification

This paper discusses our methodology for formal analysis and automatic verification of software programs. It is applicable to a large subset of the C programming language that includes pointer arithmetic and bounded recursion. We consider reachability properties, in particular whether certain assertions or basic blocks are reachable in the source code, or whether certain standard property violations can occur. We perform this analysis via a translation to a Boolean circuit representation based on modeling basic blocks. The program is then analyzed by a back-end SAT-based bounded model checker, where each unrolling is mapped to one step in a block-wise execution of the program.     

Collaborative spaces for GIS-based multimedia cartography in blended environments

The interaction spaces between instructors and learners in the traditional face-to-face classroom environment are being changed by the diffusion and adoption of many forms of computer-based pedagogy. An integrated understanding of these evolving interaction spaces together with how they interconnect and leverage learning are needed to develop meaningful strategies for effective teaching and learning. The 18i collaborative interaction spaces model was designed based on constructivist principles, and describes 18 mixed instructor–learner spaces contextualized at a finer operational scale that makes explicit a wider range of interactions. The model was implemented during the life cycle of an undergraduate GIS-based multimedia cartography course. One output was the generation of a repository of rule-based trajectory plans for rapid planning and problem solving. The model provides an integrated workflow to manage course contents, products, interactions, individuality, and learning styles in blended environments.     

Extension of domains of states

We deal with categorical aspects of the extensions of generalized probability measures. In particular, we study various domains of fuzzy sets, describe the relationships between σ-fields of crisp sets and generated Łukasiewicz tribes of measurable functions, and mention some probabilistic aspects. D-posets and sequential continuity play an important role. This work was supported by the Slovak Research and Development Agency under the contract No. APVV-0071-06, Protocol for Scientific and Technological Collaboration between the Republic of Italy and Slovak Republic, Project No. 15: Algebraic and Logical Systems of Soft Computing, and VEGA 2/6088/26.     

Absolute calibration of photostimulable image plate detectors used as (0.5-20 MeV) high-energy proton detectors

In this paper, the absolute calibration of photostimulable image plates (IPs) used as proton detectors is presented. The calibration is performed in a wide range of proton energies (0.5-20 MeV) by exposing simultaneously the IP and calibrated detectors (radiochromic films and solid state detector CR39) to a source of broadband laser-accelerated protons, which are spectrally resolved. The final result is a calibration curve that enables retrieving the proton number from the IP signal.     

Comparative study of decay ratios of disturbance-rejection magnitude optimum method for PI controllers

One of the key time-domain closed-loop performance requirements is the closed-loop response decay ratio. In this paper, the decay ratios of the disturbance-rejection magnitude optimum (DRMO) tuning method [Vranci? D, Strmcnik S, Kocijan J. Improving disturbance rejection of PI controllers by means of the magnitude optimum method. ISA Trans 2004; 43: 73-84; Vranci? D, Strmcnik S. Achieving optimal disturbance rejection by using the magnitude optimum method. In: Pre-prints of the CSCC'99 conference. 1999. p. 3401-6] are analyzed and compared to decay ratios of two other modern tuning methods, i.e. the Kappa-Tau tuning method (based on time-domain step-response characteristics) [Astr?m KJ, H?gglund T. PID controllers: Theory, design, and tuning. 2nd ed. Instrument Society of America; 1995] and the non-convex optimization tuning method (based on frequency response) [Panagopoulos H, Astr?m KJ, H?gglund T. Design of PI controllers based on non-convex optimization. Automatica 1998; 34: 585-601; Panagopoulos H, Astr?m KJ, H?gglund T. Design of PID controllers based on constrained optimisation. IEE Proc Control Theory Appl 2002; 149 (1): 32-40]. It is shown that the DRMO method results in such a closed-loop response that the decay ratio is within a relatively narrow interval when compared to the other two methods.     

Color effects of uniform colloidal particles of different morphologies packed into films

The experimentally determined chromaticities and reflectance spectra of films consisting of uniform ellipsoidal or spherical colloidal hematite particles are compared with calculated values and are found to be in good agreement. The theoretical treatment of the light-scattering problem involves the Mie theory for the spheres and the T-matrix method for the ellipsoids. The reflectance spectra for the pigment films are calculated through the use of the Kubelka-Munk analysis.     

Thermal images generated by a line-scanning technique: statistical properties

The analysis of statistical parameters of computer-generated therfial images by a line-scanning technique indicates an approach to efficient image transmission.     

Algorithm for the determination of intrinsic optical constants of metal films: application to aluminum

Optical and electron-energy-loss data for evaporated-aluminum films have been critically analyzed and used in an iterative, self-consistent algorithm that represents a combination of the Kramers-Kronig analysis and the semiquantum-model application. The novel values of the intrinsic optical functions of aluminum have been determined in a wide spectral range from 200 μm (6.2 meV) to 0.12 nm (10 keV). These functions are in accordance with recent calculations by Lee and Chang [Phys. Rev. B 49, 2362 (1994)], with dc conductivity measurements, and are in good agreement with both peak positions and line widths obtained from electron-energy-loss experiments. The results are examined for internal consistency by inertial and f-sum rules.     

Mode-selective dynamic light scattering: theory versus experimental realization

We present a quantitative experimental comparison of fiber-based, single- and few-mode dynamic light scattering with the classical pinhole-detection optics. The recently presented theory of mode-selective dynamic light scattering [Appl. Opt. 32, 2860 (1993)] predicts a collection efficiency and a signal-tobaseline ratio superior to that of a classical pinhole setup. These predictions are confirmed by our experiments. Using single-mode optical fibers with different cutoff wavelengths and commercially available mechanical components, we have constructed a mode-selective detection optics in a simple and compact dynamic light-scattering spectrometer that permits an optimal compromise between signal intensity and dynamical resolution.