The Nexus of Corporate Entrepreneurship and Radical Innovation

This paper explores the linkage between the entrepreneurial orientation of established firms and the development of radical innovation. Through five case studies in firms involved in radical innovation, three propositions are developed, suggesting that proactiveness, risk‐taking and autonomy stimulate the development of radical innovation, whereas competitive aggressiveness does not necessarily do so, as radical innovations are directed towards the creation of entirely new arenas of business, where existing competitors are not present.     

What is a free name in a process algebra?

There are two popular approaches to specifying the semantics of process algebras: labelled transition semantics and reaction semantics. While the notion of free name is rather unproblematic for labelled transition semantics this is not so for reaction semantics in the presence of a structural congruence for unfolding recursive declarations.We show that the standard definition of free name is not preserved under the structural congruence. We then develop a fixed point approach to the set of free names and show that it is invariant under the structural congruence.     

A simple chromatographic method for purification of egg lecithin

Egg lecithin was purified from the CdCl₂-lecithin complex by column chromatography on Alumina. The yield from 5 eggs was 2.8 g. The purified lecithin had correct chemical values for pure lecithin and a fatty acid composition similar to lecithin prepared by other methods. The method probably can be adapted for purification of other lipids containing the phosphocholine moiety and for purification of synthetic lecithin.     

Static analysis of topology-dependent broadcast networks

Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast networks have focused on fixed connectivities, but this is unsuitable in the case of wireless networks where the dynamically changing network topology is a crucial ingredient. In this paper, we develop a static analysis that automatically constructs an abstract transition system, labelled by actions and connectivity information, to yield a mobility-preserving finite abstraction of the behaviour of a network expressed in a process calculus with asynchronous local broadcast. Furthermore, we use model checking based on a 3-valued temporal logic to distinguish network behaviour which differs under changing connectivity patterns.     

Electro-thermal and -mechanical model of thermal breakdown in multilayered dielectric elastomers

Multiple breakdown phenomena may take place when operating dielectric elastomers. Thermal breakdown, which occurs due to Joule heating, becomes of special importance when using multilayered stacks of dielectric elastomers, due to the large volume-to-surface-area-ratio. In this article, a 2D axisymmetric finite-element model of a multilayered stack of dielectric elastomers is set up in COMSOL Multiphysics®. Both the electro-thermal and electro-mechanical couplings are considered, allowing for determination of the onset of thermal breakdown. Simulation results show that an entrapped particle in the dielectric elastomer drastically reduces the possible number of layers in the stack. Furthermore, the possible number of layers is greatly affected by the ambient temperature and the applied voltage. The performance of three hyperelastic material models for modeling the elastomer deformation are compared, and it is established that the Gent model yields the most restrictive prediction of breakdown point, while the Ogden model yields the least restrictive estimation.     

Experimental demonstration of polarization discrimination at the Helstrom bound

Abstract

We present an experimental realization of discrimination between non-orthogonal polarization states at the Helstrom bound for minimum probability of error. The experiment was performed with highly attenuated laser light with a mean number of about 0·1 photons per pulse.     

Bose-Einstein condensates in 'giant' toroidal magnetic traps

The experimental realization of gaseous Bose—Einstein condensation (BEC) in 1995 sparked considerable interest in this intriguing quantum fluid. Here, progress towards the development of an ⁸⁷Rb BEC experiment in a large (≈ 10cm diameter) toroidal storage ring is reported. A BEC will be formed at a localized region within the toroidal magnetic trap, from whence it can be launched around the torus. The benefits of the system are manifold, as it should readily enable detailed investigations of persistent currents, Josephson effects, phase fluctuations and high-precision Sagnac or gravitational interferometry.     

A monotone framework for CCS

The calculus of communicating systems, CCS, was introduced by Robin Milner as a calculus for modelling concurrent systems. Subsequently several techniques have been developed for analysing such models in order to get further insight into their dynamic behaviour.In this paper we present a static analysis for approximating the control structure embedded within the models. We formulate the analysis as an instance of a monotone framework and thus draw on techniques that often are associated with the efficient implementation of classical imperative programming languages.We show how to construct a finite automaton that faithfully captures the control structure of a CCS model. Each state in the automaton records a multiset of the enabled actions and appropriate transfer functions are developed for transforming one state into another. A classical worklist algorithm governs the overall construction of the automaton and its termination is ensured using techniques from abstract interpretation.     

Deployment of Mobile Switching Centers in a Telecommunications Network: A Stochastic Programming Approach

We consider a network design problem arising in mobile communications. At the core of the network is a number of mobile switching centers (MSCs), each serving a number of base station controllers (BSCs). The network design problem involves three major groups of decisions – deployment of a number of new MSCs, allocation of BSCs to new and existing MSCs, and capacity expansion of transmission links interconnecting the MSCs. These decisions must be made so as to minimize the incurred costs while meeting customer demand and observing the capacity restrictions. We formulate the problem as a two-stage stochastic program with mixed-integer recourse. To solve the problem we apply a dual decomposition procedure, solving scenario subproblems by means of branch and cut. The solution procedure has been tested on a real life problem instance provided by SONOFON, a Danish mobile communication network operator, and we report results of our computational experiments.     

Control Flow Analysis for BioAmbients

This paper presents a static analysis for investigating properties of biological systems specified in BioAmbients. We exploit the control flow analysis to decode the bindings of variables induced by communications and to build a relation of the ambients that can interact with each other. We eventually apply our analysis to an example of gene regulation by positive feedback taken from the literature.