Exponential dichotomies of evolution operators in Banach spaces

This paper considers three dichotomy concepts (exponential dichotomy, uniform exponential dichotomy and strong exponential dichotomy) in the general context of non-invertible evolution operators in Banach spaces. Connections between these concepts are illustrated. Using the notion of Green function, we give necessary conditions and sufficient ones for strong exponential dichotomy. Some illustrative examples are presented to prove that the converse of some implication type theorems are not valid

The Paths to Choreography Extraction

Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification (e.g., Multiparty Session Types) and synthesis of correct-by-construction software (Choreographic Programming). They require a top-down approach: programmers first write choreographies, and then use them to verify or synthesize their programs. However, most existing software does not come with choreographies yet, which prevents their application. To attack this problem, we propose a novel methodology (called choreography extraction) that, given a set of programs or protocol specifications, automatically constructs a choreography that describes their behavior. The key to our extraction is identifying a set of paths in a graph that represents the symbolic execution of the programs of interest. Our method improves on previous work in several directions: we can now deal with programs that are equipped with a state and internal computation capabilities; time complexity is dramatically better; we capture programs that are correct but not necessarily synchronizable, i.e., they work because they exploit asynchronous communication

Distributed information consensus filters for simultaneous input and state estimation

This paper describes the distributed information filtering where a set of sensor networks are required to simultaneously estimate input and state of a linear discrete-time system from collaborative manner. Our research purpose is to develop a consensus strategy in which sensor nodes communicate within the network through a sequence of Kalman iterations and data diffusion. A novel recursive information filtering is proposed by integrating input estimation error into measurement data and weighted information matrices. On the fusing process, local system state filtering transmits estimation information using the consensus averaging algorithm, which penalizes the disagreement in a dynamic manner. A simulation example is provided to compare the performance of the distributed information filtering with optimal Gillijins–De Moor’s algorithm

Into the groove:instructive conductive silk films with topological guidance cues

Instructive biomaterials capable of controlling the behaviour of the cells are particularly interesting scaffolds for tissue engineering and regenerative medicine. Novel biomaterials are particularly important in societies with rapidly aging populations, where demand for organ/tissue donations is greater than their supply. Herein we describe the preparation of electrically conductive silk film-based nerve tissue scaffolds that are manufactured using all aqueous processing. Aqueous solutions of Bombyx mori silk were cast on flexible polydimethylsiloxane substrates with micrometer-scale grooves on their surfaces, allowed to dry, and annealed to impart β-sheets to the silk which assures that the materials are stable for further processing in water. The silk films were rendered conductive by generating an interpenetrating network of polypyrrole and polystyrenesulfonate in the silk matrix. Films were incubated in an aqueous solution of pyrrole (monomer), polystyrenesulfonate (dopant) and iron chloride (initiator), after which they were thoroughly washed to remove low molecular weight components (monomers, initiators, and oligomers) and dried, yielding conductive films with sheet resistances of 124 ± 23 kΩ square-1. The micrometer-scale grooves that are present on the surface of the films are analogous to the natural topography in the extracellular matrix of various tissues (bone, muscle, nerve, skin) to which cells respond. Dorsal Root Gangions (DRGs) adhere to the films and the grooves in the surface of the films instruct the aligned growth of processes extending from the DRGs. Such materials potentially enable the electrical stimulation of cells cultured on them, and future in vitro studies will focus on understanding the interplay between electrical and topographical cues on the behaviour of cells cultured on them

Highlights from the Pierre Auger Observatory

The Pierre Auger Observatory is the world's largest cosmic ray observatory. Our current exposure reaches nearly 40,000 km$^2$ str and provides us with an unprecedented quality data set. The performance and stability of the detectors and their enhancements are described. Data analyses have led to a number of major breakthroughs. Among these we discuss the energy spectrum and the searches for large-scale anisotropies. We present analyses of our X$_{max}$ data and show how it can be interpreted in terms of mass composition. We also describe some new analyses that extract mass sensitive parameters from the 100% duty cycle SD data. A coherent interpretation of all these recent results opens new directions. The consequences regarding the cosmic ray composition and the properties of UHECR sources are briefly discussed.Comment: 9 pages, 12 figures, talk given at the 33rd International Cosmic Ray Conference, Rio de Janeiro 201

ECFA Detector R&D Panel, Review Report

Two special calorimeters are foreseen for the instrumentation of the very forward region of an ILC or CLIC detector; a luminometer (LumiCal) designed to measure the rate of low angle Bhabha scattering events with a precision better than 10$^{-3}$ at the ILC and 10$^{-2}$ at CLIC, and a low polar-angle calorimeter (BeamCal). The latter will be hit by a large amount of beamstrahlung remnants. The intensity and the spatial shape of these depositions will provide a fast luminosity estimate, as well as determination of beam parameters. The sensors of this calorimeter must be radiation-hard. Both devices will improve the e.m. hermeticity of the detector in the search for new particles. Finely segmented and very compact electromagnetic calorimeters will match these requirements. Due to the high occupancy, fast front-end electronics will be needed. Monte Carlo studies were performed to investigate the impact of beam-beam interactions and physics background processes on the luminosity measurement, and of beamstrahlung on the performance of BeamCal, as well as to optimise the design of both calorimeters. Dedicated sensors, front-end and ADC ASICs have been designed for the ILC and prototypes are available. Prototypes of sensor planes fully assembled with readout electronics have been studied in electron beams.Comment: 61 pages, 51 figure

Multiple functional regression with both discrete and continuous covariates

International audienceIn this paper we present a nonparametric method for extending functional regression methodology to the situation where more than one functional covariate is used to predict a functional response. Borrowing the idea from Kadri et al. (2010a), the method, which support mixed discrete and continuous explanatory variables, is based on estimating a function-valued function in reproducing kernel Hilbert spaces by virtue of positive operator-valued kernels

Measurement of shower development and its Moli\`ere radius with a four-plane LumiCal test set-up

A prototype of a luminometer, designed for a future e+e- collider detector, and consisting at present of a four-plane module, was tested in the CERN PS accelerator T9 beam. The objective of this beam test was to demonstrate a multi-plane tungsten/silicon operation, to study the development of the electromagnetic shower and to compare it with MC simulations. The Moli\`ere radius has been determined to be 24.0 +/- 0.6 (stat.) +/- 1.5 (syst.) mm using a parametrization of the shower shape. Very good agreement was found between data and a detailed Geant4 simulation.Comment: Paper published in Eur. Phys. J., includes 25 figures and 3 Table

Performance of fully instrumented detector planes of the forward calorimeter of a Linear Collider detector

Detector-plane prototypes of the very forward calorimetry of a future detector at an e+e- collider have been built and their performance was measured in an electron beam. The detector plane comprises silicon or GaAs pad sensors, dedicated front-end and ADC ASICs, and an FPGA for data concentration. Measurements of the signal-to-noise ratio and the response as a function of the position of the sensor are presented. A deconvolution method is successfully applied, and a comparison of the measured shower shape as a function of the absorber depth with a Monte-Carlo simulation is given.Comment: 25 pages, 32 figures, revised version following comments from referee