Information technology investment announcements and market value in transition economies: Evidence from Warsaw Stock Exchange

This study examines stock market reactions to announcements of information technology investments in Poland, an emerging market and transition economy. Based on 66 announcements by companies traded at the Warsaw Stock Exchange in the period 2002–2009, our study confirms some previously published results from studies conducted primarily in highly developed markets, but also shows that specific characteristics of announcements play a more important role than has been commonly assumed. Our results indicate that investors in Poland react more positively if systems are acquired from global rather than local vendors. Announcements about completed projects are more positively received than announcements about planned or in-progress projects. Furthermore, announcements in Polish, targeted at existing shareholders, are more likely to be received positively than similar announcements released in English, targeting global investors.     

A strong direct product theorem for quantum query complexity

We show that quantum query complexity satisfies a strong direct product theorem. This means that computing k copies of a function with fewer than k times the quantum queries needed to compute one copy of the function implies that the overall success probability will be exponentially small in k. For a boolean function f, we also show an XOR lemma—computing the parity of k copies of f with fewer than k times the queries needed for one copy implies that the advantage over random guessing will be exponentially small. We do this by showing that the multiplicative adversary method, which inherently satisfies a strong direct product theorem, characterizes bounded-error quantum query complexity. In particular, we show that the multiplicative adversary bound is always at least as large as the additive adversary bound, which is known to characterize bounded-error quantum query complexity.     

Analysis and testing of black‐box component‐based systems by inferring partial models

From experience in component‐based software engineering, it is known that the integration of high‐quality components may not yield high‐quality software systems. It is difficult to evaluate all possible interactions between the components in the system to uncover inter‐component misfunctions. The problem is even harder when the components are used without source code, specifications or formal models. Such components are called black boxes in literature. This paper presents an iterative approach of combining model learning and testing techniques for the formal analysis of a system of black‐box components. In the approach, individual components in the system are learned as finite state machines that (partially) model the behavioural structure of the components. The learned models are then used to derive tests for refining the partial models and/or finding integration faults in the system. The approach has been applied on case studies that have produced encouraging results. Copyright © 2013 John Wiley & Sons, Ltd.     

Enterprise JavaBeans

Large web-based information systems make high demands on scalability, maintainability, reliability and security. In order to ease the development of such systems appropriate software architectures are needed. These architectures have to take into account business aspects as well as requisite tools and products. Such an architecture is offered by Sun Microsystems in the form of the Enterprise JavaBeans specification. Based on our experience from different projects we undertake a close examination of this architecture.     

A view of the relation between the continuum theory of lattice defects and non-euclidean geometry in the linear approximation

A view is presented of the relation between the continuum theory of defects in crystals and the mathematical theory of non-metric, non-Riemannian geometry. Both theories are treated in the linear approximation. The lattice defects consist of disclinations, dislocations, and extra-matter, which are identified with the following three important tensors from non-Euclidean geometry: the Riemann-Christoffel curvature tensor, the Cartan torsion tensor and the non-metric Q-tensor. The correspondence between the two theories is established by finding a relation between the coefficients of linear connection of non-Euclidean geometry and the elastic strain, bend-twist, and quasi-plastic strain of defect theory. The definitions of the important tensors from non-Euclidean geometry then generally correspond to the field equations of defect theory. The identities for the curvature tensor generally correspond to the continuity equations of defect theory. The relation to the conventional formulation of defect theory is pointed out. Two examples are given to illustrate the concepts of the paper. One example is related to the deformations associated with constant dislocation distribution and the other to the deformations of a constant disclination distribution.     

Automated industrial IoT-device integration using the OpenPnP reference architecture

Distributed control systems are currently evolving towards industrial Internet of Things (IoT) systems communicating fully using Internet protocols. This creates opportunities for streamlining costly commissioning processes, which today require substantial manual work for installing, configuring, and integrating thousands of actuators and sensors. The vision of “plug-and-produce” control systems has been pursued for more than 15 years, but existing approaches fell short regarding configuration tasks and vendor neutrality. This paper introduces the standards-based IoT reference architecture OpenPnP, which allows largely automating the configuration and integration tasks of industrial commissioning processes. The architecture includes a number of design and technology decisions and the required implementation can be scaled down to resource-constrained industrial devices. This paper demonstrates how OpenPnP can reduce configuration and integration efforts up to 90% in typical settings, while potentially scaling well up to tens of thousands of communicated signals. Practitioners can orient their implementations towards OpenPnP, therefore potentially enabling “plug-and-produce” in many thousands of control systems.     

Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques

Software and Systems Modeling - Virtualization technology allows service providers to operate data centers in a cost-effective and scalable manner. The data center network (substrate network) and...     

Case Based Imprecision Estimates for Bayes Classifiers with the Bayesian Bootstrap

This article outlines a Bayesian bootstrap method for case based imprecision estimates in Bayes classification. We argue that this approach is an important complement to methods such as k-fold cross validation that are based on overall error rates. It is shown how case based imprecision estimates may be used to improve Bayes classifiers under asymmetrical loss functions. In addition, other approaches to making use of case based imprecision estimates are discussed and illustrated on two real world data sets. Contrary to the common assumption, Bayesian bootstrap simulations indicate that the uncertainty associated with the output of a Bayes classifier is often far from normally distributed.     

Robust anti-sliding control of autonomous vehicles in presence of lateral disturbances

Path following control problem of autonomous vehicles is investigated, concerning both unmeasurable sliding effects and lateral disturbances which lead to some difficulties in designing autonomous control under complex environment. To deal with the sliding effects, sideslip angles are modeled and reconstructed by estimating the tire cornering stiffness, which plays important role in analyzing the sliding effects. To this end, a Luenberger-type observer is designed, which is able to identify the tire cornering stiffness adaptively even in presence of time-varying lateral disturbances. Furthermore, to guarantee high-precision guidance, a sliding mode controller is designed based on chained system theory, and this controller is shown to be robust to both the lateral disturbances and the inaccuracy of the sliding reconstruction. Simulations illustrate that the proposed methods can reconstruct the sliding angles and provide high-accuracy anti-sliding control even in presence of the time-varying lateral disturbances.