In factory automation and process control systems, hybrid wired/wireless networks are often deployed to connect devices of difficult reachability such as those mounted on mobile equipment. A widespread implementation of these networks makes use of Access Points (APs) to implement wireless extensions of Real–Time Ethernet (RTE) networks via the IEEE 802.11 Wireless LAN (WLAN). Unfortunately, APs...

It has recently been reported that in cold rolled copper, cube-oriented volumes are frequently found in long thin bands next to bands whose orientation is related to the cube orientation by a 30-40° rotation about a common pole. This microstructure would suggest that during recrystallisation, cube in the deformed structure can growth easily into its neighbour due to the special misorienta...

The prevalence, characteristics and significance of ventricular arrhythmias detected by ambulatory electrocardiography were evaluated in 1,498 patients who were randomized to encainide, flecainide or placebo in the Cardiac Arrhythmia Suppression Trial. The mean ventricular premature complex (VPC) frequency at baseline was 133 f 297 VPCs/hour. Nonsustained ventricular tachycardia (VT) (rate 2120...

Mechanisms governing the transcription of p16, one of the master regulators of cellular senescence, have been extensively studied. However, little is known about chromatin dynamics taking place at its promoter and distal enhancer. Here, we report that Forkhead box A1 protein (FOXA1) is significantly upregulated in both replicative and oncogene-induced senescence, and in turn activates transcrip...

The first space-based GPS augmentation systems were implemented using the L-band geostationary transponders launched on the Inmarsat-3 satellites. The Ground Uplink Station (GUS) hardware and software, which enables these “bent-pipe” transponders to broadcast pseudo-GPS signals, was developed by NAVSYS. The Ground Uplink Station equipment allows the Inmarsat-3 GPS augmentation signals to be pre...

We describe a mechanically checked correctness proof for a system of n processes, each running a simple, non-blocking counter algorithm. We prove that if the system runs longer than 5n steps, the counter is increased. The theorem is formalized in applicative Common Lisp and proved with the ACL2 theorem prover. The value of this paper lies not so much in the trivial algorithm addressed as in the...

Hawking radiation is an important and prominent quantum effect that arises upon the quantization of matter fields in a background spacetime with an event horizon. This is due to the different vacuum states between the vicinity of the event horizon and the asymptotic infinity [1]. Apart from the original derivation [1], there are other approaches [2, 3] each having their own merits and demerits....

Calibration of the first space-borne SAR instruments, with only one swath and based on passive antenna technologies, (e.g. ERS-1) required the in-flight characterisation of that single-swath instrument over well-known scatterers (reflectors, transponders and rainforest sensing data). Modern systems evolved to more access flexibility -therefore, multiple beams-, and multi-polarisation that led t...

Bradford EDucational Simulation language fOr Continuous Systems (BEDSOCS), is an interactive digital computer language designed to allow the easy solution of problems described in terms of ordinary differential equations. The language uses Dartmouth BASIC as the procedural language and, like most BASIC systems, operates interpretively. BEDSOCS has such advanced features as automatic equation so...

The initial boundary value problemfor the heat équation in a domain Q and the corresponding standard Galerkin method is consideied A certain regularity of the initial data in some subdomain Q1 leads to the same regularity of the solution in Q± and for ail times It is shown that the error between the exact solution and the Galerkm approximation is also of (almost) optimal order m the intenor ofQ...