Informal Action—Adjudication—Rule Making: Some Recent Developments in Federal Administrative Law

Direct energy consumption of ICT hardware is only “half the story.” In order to get the “whole story,” energy consumption during the entire life cycle has to be taken into account. This chapter is a first step toward a more comprehensive picture, showing the “grey energy” (i.e., the overall energy requirements) as well as the releases (into air, water, and soil) during the entire life cycle of exemplary ICT hardware devices by applying the life cycle assessment method. The examples calculated show that a focus on direct energy consumption alone fails to take account of relevant parts of the total energy consumption of ICT hardware as well as the relevance of the production phase. As a general tendency, the production phase is more and more important the smaller (and the more energy-efficient) the devices are. When in use, a tablet computer is much more energy-efficient than a desktop computer system with its various components, so its production phase has a much greater relative importance. Accordingly, the impacts due to data transfer when using Internet services are also increasingly relevant the smaller the end-user device is, reaching up to more than 90 % of the overall impact when using a tablet computer.QC 20140825</p

Absence of long-range ordered reconstruction on the GaAs(311)A surface

We have investigated the decapped GaAs(311)A surface using both scanning tunneling microscopy and synchrotron-radiation photoemission. While our data are in broad agreement with the structural model of GaAs(311)A proposed in a recent study [Wassermeier et al., Phys. Rev. B 51, 14 721 (1995)], we find considerable differences in the surface order. In particular, the As dimer rows are unbroken over much shorter length scales and are highly kinked. We observe a correspondingly lower degree of anisotropy in the surface roughness than that previously reported. An (8×1) reconstruction was not observed. An analysis of As 3d and Ga 3d core-level photoemission spectra suggests that surface As atoms are in only one bonding configuration while surface Ga adopts two different bonding states. We discuss possible origins for the core-level spectra surface components

A comparative study of two formal semantics of the SIGNAL language

International audienceSIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nuclear power plants. There exist several semantics for SIGNAL, such as denotational semantics based on traces (called trace semantics), denotational semantics based on tags (called tagged model semantics), operational semantics presented by structural style through an inductive definition of the set of possible transitions, operational semantics defined by synchronous transition systems (STS), etc. However, there is little research about the equivalence between these semantics.In this work, we would like to prove the equivalence between the trace semantics and the tagged model semantics, to get a determined and precise semantics of the SIGNAL language. These two semantics have several different definitions respectively, we select appropriate ones and mechanize them in the Coq platform, the Coq expressions of the abstract syntax of SIGNAL and the two semantics domains, i.e., the trace model and the tagged model, are also given. The distance between these two semantics discourages a direct proof of equivalence. Instead, we transformthem to an intermediate model, which mixes the features of both the trace semantics and the tagged model semantics. Finally, we get a determined and precise semantics of SIGNAL

Asynchronous Testing of Synchronous Components in GALS Systems

International audienceGALS (Globally Asynchronous Locally Synchronous) systems, such as the Internet of Things or autonomous cars, integrate reactive synchronous components that interact asynchronously. The complexity induced by combining synchronous and asynchronous aspects makes GALS systems difficult to develop and debug. Ensuring their functional correctness and reliability requires rigorous design methodologies, based on formal methods and assisted by validation tools. In this paper we propose a testing methodology for GALS systems integrating: (1) synchronous and asynchronous concurrent models; (2) functional unit testing and behavioral conformance testing; and (3) various formal methods and their tool equipments. We leverage the conformance test generation for asynchronous systems to automatically derive realistic scenarios (input constraints and oracle), which are necessary ingredients for the unit testing of individual synchronous components, and are difficult and error-prone to design manually. We illustrate our approach on a simple, but relevant example inspired by autonomous cars

Buber, educational technology, and the expansion of dialogic space

Buber’s distinction between the ‘I-It’ mode and the ‘I-Thou’ mode is seminal for dialogic education. While Buber introduces the idea of dialogic space, an idea which has proved useful for the analysis of dialogic education with technology, his account fails to engage adequately with the role of technology. This paper offers an introduction to the significance of the I-It/I-Thou duality of technology in relation to opening dialogic space. This is followed by a short schematic history of educational technology which reveals the role technology plays, not only in opening dialogic space, but also in expanding dialogic space. The expansion of dialogic space is an expansion of what it means to be ‘us’ as dialogic engagement facilitates the incorporation, into our shared sense of identity, of aspects of reality that are initially experienced as alien or ‘other’. Augmenting Buber with an alternative understanding of dialogic space enables us to see how dialogue mediated by technology, as well as dialogue with monologised fragments of technology (robots), can, through education, lead to an expansion of what it means to be human