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

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

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

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

The mediating effects of first call resolution on call centers’ performance

This article aims to examine and validate the prepositions of the mediating impacts of first call resolution (FCR) on caller satisfaction within the contact center industry.A survey of 168 call center managers was analyzed through structural equation modeling, constituting an overall 43.3 per cent response rate for this study.The results show that FCR positively mediates the relationship between knowledge management, technology-based CRM and caller satisfaction within the inbound customer contact centers.We have empirically assessed call centers/contact centers’ success through caller satisfaction (an observed variable through their 2009 customer survey in Malaysia).Consequently, this study cannot generalize its findings in all other countries.Our strong argument is that within the operational variables, FCR is statistically significant and positively mediates knowledge management applications. But very important to note is that the customer contact centers are first touch points to a company's goods or services, and that many other factors such as product quality, company policy, target markets, decision-making processes and so on are also determinants of caller satisfaction, but fall outside the operational control of contact center activities.This research has empirically established that a company's capability in effectively acquiring a valid understanding of its current and potential customers’ information through CRM technologies will positively impact its acquisitions, customization, management and retention of customers.It also avails both the academic and contact center management the benefits that are inherent in measuring the impact of knowledge management and technology-based CRM on inbound FCR and caller satisfaction.This study finally recommends alternative areas for future research

BLOOM: A 176B-Parameter Open-Access Multilingual Language Model

Large language models (LLMs) have been shown to be able to perform new tasks based on a few demonstrations or natural language instructions. While these capabilities have led to widespread adoption, most LLMs are developed by resource-rich organizations and are frequently kept from the public. As a step towards democratizing this powerful technology, we present BLOOM, a 176B-parameter open-access language model designed and built thanks to a collaboration of hundreds of researchers. BLOOM is a decoder-only Transformer language model that was trained on the ROOTS corpus, a dataset comprising hundreds of sources in 46 natural and 13 programming languages (59 in total). We find that BLOOM achieves competitive performance on a wide variety of benchmarks, with stronger results after undergoing multitask prompted finetuning. To facilitate future research and applications using LLMs, we publicly release our models and code under the Responsible AI License