Miracle-dz/UniFAR-FTUs huggingface dataset:
A Statistical Approach to Simulation Model Validation in Timing Analysis of Complex Real-Time Embedded Systems

Simulation-based analysis methods make few restrictions on the system design and scale to very large and complex systems, therefore they are widely used in timing analysis of complex industrial embedded systems. This paper presents a statistical approach to validation of temporal simulation models extracted from complex embedded systems, by introducing existing mature statistical methods to the context. The proposed approach firstly collects sampling distributions of response time and execution time data of tasks in both the modeled system and the model, based on simple random samples (SRS). The second step of the approach is to compare the sampling distributions, regarding interesting timing properties, by using the non-parametric two-sample Kolmogorov-Smirnov test. The evaluation using a fictive system model inspired by a real robotic control system with a set of change scenarios, shows a promising result. The proposed algorithm can identify temporal differences between the target system and its extracted model, i.e., the algorithm can assess whether the extracted model is a sufficiently accurate approximation of the target system.
Survey and Comparison of Event Query Languages Using Practical Examples

Complex Event Processing (CEP) is gaining a foothold in the business domain. While this technology’s benefits have been used for decades, it was often implemented using generalpurpose languages, causing a lot of low-level coding, or using more specialized languages for event processing, however often having limited use outside of the problem domain they were designed for. More powerful languages have just begun to emerge. In this survey, we take a look at recent languages for CEP, examining their ease of use and capabilities using example scenarios.
Pragmatics of Fiction

Table of Contents Preface to the handbook series Preface to Pragmatics of Fiction 1. Introducing Pragmatics of Fiction : Approaches, trends and developments Andreas H. Jucker and Miriam A. Locher I. Pragmatics of fiction as communication: Foundations 2. Participation structure in fictional discourse: Authors, scriptwriters, audiences and characters Thomas Messerli 3. The pragmatics of the genres of fiction Janet Giltrow 4. Fictional characterization Jonathan Culpeper and Carolina Fernandez-Quintanilla 5. The role of dialogue in fiction Monika Bednarek 6. Narrative perspectives on voice in fiction Christian Hoffmann 7. Pragmatics of style in fiction Beatrix Busse II. Features of orality and variation 8. Oral features in fiction Wolfram Bublitz 9. Doing dialects in dialogues: Regional, social and ethnic variation in fiction Gaelle Planchenault 10. Multilingualism in fiction Miriam A. Locher 11. The pragmatics of estrangement in fantasy and science fiction Michael Adams III. Pragmatic themes in fiction 12. Pragmatics and the translation of fiction Roberto A. Valdeon 13. Subtitling and dubbing in telecinematic text Marie-Noelle Guillot 14. (Im)politeness in fiction Urszula Kizelbach 15. (Im)politeness and telecinematic discourse Marta Dynel 16. Stance in fiction Daniela Landert 17. Language and emotion in fiction Andreas Langlotz 18. Language change and fiction Derek Denis and Sali A. Tagliamonte Bionotes Index
Creating Korean music : tradition, innovation and the discourse of identity

Contents: CD contents Introduction SamulNori rhythm 'N' Seoul Securing the canon Moving ahead Shared resonances: updating old songs Ch'angjak kugak: blending the wine and stretching the wineskins Towards a new Korean music Rebranding Korean music The old in the new References Discography Index.
GNM: a package for generalized nonlinear models

This talk will introduce the gnm package which provides functions for the specification, estimation and evaluation of generalized nonlinear models. The class of generalized nonlinear models extends that of generalized linear models by allowing non-linear terms in the predictor. Examples include models with multiplicative interaction terms such as the row-column association models from sociology and the GAMMI models from crop science; stereotype models for an ordered categorical response, and diagonal reference models for dependence on a square two-way classification. The main functions in gnm have been patterned on the base function glm and its methods (for generalized linear models), so the package integrates well into R and useRs should find it straight-forward to pick up. The package includes some functions that may be used in the context of (generalized) linear models, in particular functions for setting up structured linear interactions between factors. However the major contribution of the package is to provide facilities for the specification and estimation of nonlinear terms. From a user’s perspective, this is achieved through two functions: Mult for the common case of multiplicative terms and Nonlin for any other differentiable non-linear term. The generality of gnm is made possible by two features of the package. First Nonlin can be used to specify any differentiable nonlinear term through the use of “plug-in” functions, a number of which are provided by the package and which may also be userdefined. Second an over-parameterized representation of models is used throughout, so that rules for applying constraints do not need to be defined. A set of tools is provided by gnm so that estimable parameter combinations and their standard errors can be obtained after a generalized nonlinear model has been fitted. Although the number of user-level functions in gnm is small, the functionality of the package is large and this talk will only provide a snapshot of its capabilities. A more detailed overview is provided by the vignette which is available on the gnm webpage (http://www.warwick.ac.uk/go/heatherturner/gnm) or as part of the package itself, which may be downloaded from CRAN (http://cran.r-project.org).
A Procedural Formalism for Quantum Computing

Despite many common concepts with classical computer science, quantum computing is still widely considered as a special discipline within the broad field of theoretical physics. One reason for the slow adoption of QC by the computer science community is the confusing variety of formalisms (Dirac notation, matrices, gates, operators, etc.), none of which has any similarity with classical programming languages, as well as the rather “physical” terminology in most of the available literature. QCL (Quantum Computation Language) tries to fill this gap: QCL is a hight level, architecture independent programming language for quantum computers, with a syntax derived from classical procedural languages like C or Pascal. This allows for the complete implementation and simulation of quantum algorithms (including classical components) in one consistent formalism. Chapter 1 is an introduction into the basic concepts of quantum programming, a complete language reference of QCL can be found in chapter 2 and chapter 3 gives some examples including the QCL implementation of Shor’s factorisation algorithm. The sourcecode of the QCL interpreter is available at http://tph.tuwien. ac.at/~oemer/qcl.html.
Active measurement data analysis techniques

transferred without further notice and the accepted version may then be posted by the publisher. Abstract Active measurements, examine the capabilities of networks and the internet. Through the network analysis infrastructure (NAI), these measurements can provide useful data for network analysis. The National Laboratory for Applied Network Research (NLANR) team, has developed data sets which allow identifcation of a variety of problems which range from High Performance Connectivity and Commodity Network issues. to network hardware and routing issues. We present the steps necessary to secure and analyze such data.
An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion

Abstract : This report compares three forms of Modified Condition Decision Coverage (MCDC). MCDC is a structural coverage criterion used to assist with the assessment of the adequacy of the requirements-based testing process. This level of coverage is required for Level A software. The purpose of these comparisons is to provide data to enable a rational choice for what form of structural coverage is required for Level A software. This report provides justification why structural coverage, in general, and MCDC in particular, should be part of the software system development process. Definitions for three forms of MCDC are given, along with extensions for relational operators. These three forms of MCDC are compared theoretically and empirically for minimum probability of error detection performance and ease of satisfaction. Conclusions from the data are drawn and limitations of the study methodology are identified.
Tracta : an environment for analysing the behaviour of distributed systems

Particular emphasis needs to be placed on the integration of analysis techniques with other software development activities, to form a complete environment for the design and construction of distributed systems. We have addressed this problem by using a compositional approach to analysis. The software architecture of a distributed program is represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional reachability analysis (CRA) exploits the compositional hierarchy to incrementally construct the overall behaviour of the system from that of its subsystems. In the Tracta CRA approach, both processes and properties reflecting system specifications are modelled as state-machines. Property state machines are also composed into the system. and violations are detected on the global graph obtained. The method is supported by an automated tool implemented in C++ and rzwming on Unix.
A volumetric approach for 3D surface reconstruction

In the last years, measuring sensors like the TOF or optical-based terrestrial laser scanners have been more and more increasingly used, given their capability to acquire the 3D geometry of the surveyed object. Applications for these systems span among different fields, such as industry, medicine, land management, heritage and VR environments. Regardless long-range or close-range laser scanner was employed, two follo wing steps need to be performed in order to reconstruct the object shape: range image registration and integration. The former allow for “tailoring” together the acquired point clouds, representing a “view” of the object surface as sampled by the laser sensor. Then, after all views have been aligned each other, a unique representation of the object surface is generated through the integration of those 3D views. At this stage several factors prevent from building the descriptive surface by simple connection of the range images: non-uniform density sampling, measuring and registration errors. To solve for such modeling issues, a volumetric approach has been devised for the generation of a mesh, i.e to create a surface representation from range data acquired by an optical triangulation laser scanner. The developed method is based on the “consensus surface” concept introduced by Wheeler, Sato and Ikeuchi, by which some kind of errors of the range images can be better identified and corrected. Then it has been refined by integration with the so-called “Marching cubes” algorithm, a well used surface generation procedure in the field of Computer Graphics. Finally, the proposed method has been completed with the development of a tool for hole-filling , though its application is limited to little holes with enough regular edges. Pros and cons along with the results of our meshing algorithm, applied to a little statue, will be presented as well.
Fractals, Visualization and J

Fractals is a hands-on introduction to the visualization of mathematical objects, algorithms and data. The book gives a self-contained introduction to J as raster and object graphics are introduced. Fractal times series illustrate techniques for dealing with one-dimensional data. Studies of iterated function systems and chaotic attractors offer experience with visualizing two dimensional phenomena while investigating fractals and symmetry. Finite automata and fast Fourier transforms are used for playful things like the game of life and serious topics such as image processing. Similar techniques are used for studying classical complex dynamics illustrated by the Mandelbrot set and Julia sets. The mathematics of three dimensional projection is discussed and visualization of three dimensional data is the focus of scenes created by rendering J created objects with raytracers and OpenGL.
Haptic rendering for virtual assembly verification

This poster describes a scenario for the virtual assembly verification [4], [5]. The main goal is to find out whether it is possible for a mechanic to assemble a part and to optimize this task concerning maintainability and assembly order (Fig. 1). During the assembly, simulation collision forces are calculated and displayed to the user via a haptic interface. The Voxmap-PointShellTM (VPS) Algorithm is used as fast algorithm for the calculation of collision forces. The DLR light-weight robot is used as haptic interface.
A Short Guide and a Forest Plot Command (Ipdforest) for One-Stage Meta-Analysis

In this article, we describe a new individual patient data meta-analysis postestimation command, ipdforest. The command produces a forest plot following a one-stage meta-analysis with xtmixed or xtmelogit. (These commands have been renamed in Stata 13 to mixed and meqrlogit, respectively; ipdforest is currently not compatible with the new names.) The overall effect is obtained from the preceding mixed-effects regression and the study effects from linear or logistic regressions on each study, which are executed within ipdforest. Individual patient data meta-analysis models with Stata are discussed.
Static Allocations in 233/8

A manually actuated Jack Hammer or impacting device includes a cylindrical, relatively thin wall anvil tube having an anvil projecting radially from adjacent its lower end; a cylindrical, relatively thick wall hammer tube telescoped downwardly over the anvil tube for end engagement with the anvil; a recoil spring arranged between upper ends of the tubes; and a pair of operator handles fixed to the hammer tube. The lowerend of the anvil tube may be fitted with an improved tool holder or left open to receive a post or pile to be driven; and one of the operator handles is fitted within an improved lock for selectively holding the tubes in telescoped relationship.
Pingu: Another user-friendly interface device

Smart homes improve the quality of life through integration of different electronic systems enabling simpler control of the house. The number of electronic devices in our homes is huge and it is still increasing rapidly. However, control systems are not that “smart” and still consist of traditional remote controllers. Under these circumstances, the user needs more efficient, more intuitive and more user-friendly interface to control these devices in smart home environment. The trials to substitute usual remote controllers do not yield results as expected. Proposed substitute systems either come across with technical problems or limit the user in his freedom, in other words, lead to social problems. Therefore, the need for a user-friendly interaction method for home environments directs us to seek another interaction method which is reliable and natural in a way that it can be integrated into the user’s daily life. In this thesis, we have developed a multi-sensor based interaction system with a small multi-sensor based device called SHAKE, Sensing Hardware Accessory for Kinaesthetic Expression, to interact with other devices in smart home environment. Carrying SHAKE device and using it to perform gestures may be cumbersome and socially awkward. Consequently, we were looking for a way to render the device more attractive, socially acceptable and make its use subtle. Thus, we have adapted SHAKE into a ring-shaped device what we call as “Pingu”. Although a variety of distinct forms of wearable devices is available such as watch form, glove form and cloth form, none of them is as socially acceptable and practical as a ring. Pingu is capable of interacting even when the device is not in the vicinity of the user. To explore about the usability and practicability, we performed a user study. We have not fully analyzed the data yet but participants’ feedback show that our technique is applicable, practical and not awkward. In our design, the user can achieve natural interaction without caring the view of camera or suffering from lighting conditions or external noise.
Computing and Introductory Statistics

Much of the computing that students do in introductory statistics courses is based on techniques that were developed before computing became inexpensive and ubiquitous. Now that computing is readily available to all students, instructors can change the way we teach statistical concepts. This article describes computational ideas that can support teaching George Cobb's Three Rs of statistical inference: Randomize, Repeat, Reject.
To investigate relative effectiveness of the dimensions of interactivity

This thesis is about interactivity. It is about the dimensions of interactive communication which have become a major element of contemporary marketing practice. The concept of interactivity has been explored in the fields of advertising research, and communication and media studies. However, there is an overall absence of any published work concerning research into the dimensions of interactivity, in the marketing domain. This thesis seeks to correct this situation and investigates the relative effectiveness of the dimensions of interactivity, set in the context of travel weblogs. The aim is to determine how three principal dimensions of interactivity namely, active control, two-way communication, and real-time communication, affects users‟ attitudes and usage intentions. This thesis also examines the effect of motive factors, such as social interaction, information of travel weblogs, and enjoyment, upon a user‟s attitudes and usage intentions. The relationships among these variables are examined within a research framework provided by this study. Data was collected through an online questionnaire and semi-structured interviews. The findings verify that the dimensions of interactivity and motivation factors can have positive influence upon users‟ attitudes and usage intentions.
Juno: A Framework for Reconciling Scheduling Disciplines

A thesis presented to the Sever Institute of Washington University for the degree Master of Science August 2001 Type of Report: Other Department of Computer Science & Engineering Washington University in St. Louis Campus Box 1045 St. Louis, MO 63130 ph: (314) 935-6160 WASHINGTON UNIVERSITY SEVERINSTITUTE OFTECHNOLOGY DEPARTMENT OF COMPUTERSCIENCE
Incremental acquisition and visualization of 3d ultrasound images

This dissertation describes work on 3D visualization of ultrasound echography data. The future goal of this research is the in-place volume visualization of medical 3D ultrasound images acquired and visualized real-time. For example, using such a system, a doctor wearing a special glasses would see a volume-visualized image of the fetus in the mother‘s abdomen. This dissertation discusses two feasibility study systems that have been developed in order to push the state of the art toward this goal. The work on the first system, the static viewpoint 3D echography system, shows that it is possible with current graphics hardware to visualize, at an interactive rate, a stationary object from a series of 2D echography image slices hand-guided with 3 degrees-of-freedom. This work includes development of an incremental volume reconstruction algorithm for irregularly spaced samples and development of an efficient volume visualization algorithm based on a spatial bounding technique. The work on the second system, the dynamic viewpoint 3D echography system, shows the feasibility of a system that uses a video see-through head-mounted display to realize in-place visualization of ultrasound echography datasets.
CI/CC and Evolutionary Computation

Evolutionary Computation (EC, [1]) comprises all Monte Carlo metaheuristics which iteratively refine sets (populations) of multiple candidate solutions. Most EC approaches are either Swarm Intelligence (SI) methods or Evolutionary Algorithms (EAs). SI is inspired by fact that natural systems of many independent, simple agents (such as ants or birds) are often able to find pieces of food or shortest-distance routes very efficiently. EAs, on the other hand, copy the behavior of natural evolution and treat candidate solutions as individuals which compete and reproduce in a virtual environment defined by the user-provided objective function(s). Generation after generation, these individuals adapt to the environment and thus, tend to become suitable solutions for the problem at hand.
A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation

Proefschrift ingediend met het oog op het behalen van de graad van Doctor in de Wetenschappen Body and mind are two phenomena , observed under different conditions , but of one and the same ultimate reality. Body and mind are aspects of the living being. They operate within a peculiar principle of synchronicity wherein things happen together and behave as if they are the same. yet can be conceived of as separate.
Probabilistic Process Monitoring in Process-Aware Information Systems

Complex information systems generate large amount of event logs that represent the states of system dynamics. By monitoring these logs, we can learn the process models that describe the underlying business procedures, predict the future development of the systems, and check whether the process models match the expected ones. Most of the existing process monitoring techniques are derived from the workflow management systems used to cope with the logs generated by systems with deterministic outcomes. In this dissertation, however, I consider novel techniques that handle event log data, monitor system deviations, and infer the development of systems based on probabilistic process models. In particular, I present a novel process monitoring approach based on maximizing the information divergences of the system state dynamics and demonstrate its efficiency in detecting abrupt changes, as well as long-term system deviation. In addition, a new process modeling technique, Classification Tree hidden (semi-) Markov Model (CTHMM), is proposed. I show that CTHMM derived from Classification and Regression Tree and hidden semi-Markov model (HSMM) with hidden system states identified by Classification Tree can help discover and predict relevant system state sequences in temporal-probabilistic manners. The main contributions of this dissertation can be summarized as follows: 1) a new approach used in process monitoring that helps detect anomalies of dynamic systems from the point of views of both system change-point and long-term system deviation; 2) a unique HMM/HSMM learning technique that solves the problem of hidden state splitting and estimates HMM/HSMM parameters simultaneously; 3) a novel temporal-probabilistic process model that generates human-comprehensible IF-THEN system state definitions used to help infer evolutions of discrete dynamic systems.