As software systems become larger and more complex, a relevant part of code shifts from the application domain to the management of the system’s run-time architecture (e.g., substituting components and connectors for run-time automated tuning). We propose a novel design approach for component-based systems supporting architectural management in a systematic and conceptually clean way and allowi...

Learning analytics, as a means to visualize learning, has been repeatedly suggested to enhance learners’ and teachers’ self-reflection in online learning processes. Departing from this notion, we propose a combination of this visual approach to learning analytics with the concept of social presence, thereby acknowledging social aspects of online learning processes that are often overlooked. Mor...

For synthesizing realistic images of a real three dimensional object, reflectance properties of the object surface, as well as the object shape, need to be measured. This paper describes one approach to create a three dimensional object model with physically correct reflectance properties by observing a real object. The approach consists of three steps. First, a sequence of range images and col...

A robust version of the output controller design for discrete-time systems is introduced. Instead of a single stable point a stable polytope (or simplex) is preselected in the coefficient space of closed-loop characteristic polynomials. A constructive procedure for generating stable simplexes is given starting from the unit hypercube of reflection coefficients of monic polynomials. This procedu...

Gödel initiated the program of finding and justifying axioms that effect a significant reduction in incompleteness and he drew a fundamental distinction between intrinsic and extrinsic justifications. Reflection principles are the most promising candidates for new axioms that are intrinsically justified. Taking as our starting point Tait’s work on general reflection principles, we prove a serie...

Simplified analytic expressions are derived for the optical propagation matrix of magnetic anisotropic Kerr media using the Lagrange–Sylvester interpolation polynomial. This expression is used to investigate magnetic Kerr films in Fabry–Pérot configurations, magneto-optic recording quadrilayers and alternating periodic stacks. It is found that the magneto-optic reflection coefficients are enhan...

This article reports on a study aiming to design learning systems in which students' knowledge of reflection is brought closer to institutional knowledge of this isometry and to compare how their activities shape and are shaped by different forms of mediation. It presents descriptions of interactions of groups of students (aged 12-13 years) with two computational microworlds, based on either dy...

Architectural reflection is the computation performed by a software system about its own software architecture. Building on previous research and on practical experience in industrial projects, in this paper we expand the approach and show a practical (albeit very simple) example of application of architectural reflection. The example shows how one can express, thanks to reflection, both functi...

We present reflection THz-time domain spectroscopy measurements of the complex conductivity of n-type, 0.038 V cm GaAs and n-type, 0.22 V cm Si wafers. These measurements clearly demonstrate the efficacy of the reflection technique on highly conductive, optically dense samples and approach the precision of THz–TDS transmission measurements. Because the THz-bandwidth, reflection measurements ext...

For synthesizing realistic images of a real three dimensional object, reflectance properties of the object surface, as well as the object shape, need to be measured. This paper describes one approach to create a three dimensional object model with physically correct reflectance properties by observing a real object. The approach consists of three steps. First, a sequence of range images and col...