Analysis of locking policies in database management systems

summar

Curve counting via stable pairs in the derived category

For a nonsingular projective 3-fold $X$, we define integer invariants virtually enumerating pairs $(C,D)$ where $C\subset X$ is an embedded curve and $D\subset C$ is a divisor. A virtual class is constructed on the associated moduli space by viewing a pair as an object in the derived category of $X$. The resulting invariants are conjecturally equivalent, after universal transformations, to both the Gromov-Witten and DT theories of $X$. For Calabi-Yau 3-folds, the latter equivalence should be viewed as a wall-crossing formula in the derived category. Several calculations of the new invariants are carried out. In the Fano case, the local contributions of nonsingular embedded curves are found. In the local toric Calabi-Yau case, a completely new form of the topological vertex is described. The virtual enumeration of pairs is closely related to the geometry underlying the BPS state counts of Gopakumar and Vafa. We prove that our integrality predictions for Gromov-Witten invariants agree with the BPS integrality. Conversely, the BPS geometry imposes strong conditions on the enumeration of pairs.Comment: Corrected typos and duality error in Proposition 4.6. 47 page

Progress on the Beam Energy Monitor for the SPIRAL2 Accelerator.

WEPF29, posterInternational audienceThe first part of the SPIRAL2 project entered last year in the end of the construction phase at GANIL in France. The facility will be composed by an ion source, a deuteron/proton source, a RFQ and a superconducting linear accelerator. The driver is planned to accelerate high intensities, up to 5 mA and 40 MeV for the deuteron beams. A monitoring system was built to measure the beam energy on the BTI line (Bench of Intermediate Test) at the exit of the RFQ. As part of theMEBT commissioning, the beamenergy will be measured on the BTI with an Epics monitoring application. At the exit of the LINAC, another system will have to measure and control the beam energy. The control consists in ensuring that the beam energy stays under a limit by taking account of the measurement uncertainty. The energy is measured by a method of time of flight; the signal is captured by non-intercepting capacitive pick-ups. This paper describes the BTI monitor interface and presents the system evolution following the design review

Surveying activated sludge changes during acclimation with artificial wastewater

Many processes in the chemical and pharmaceutical industries generate wastewater containing organic toxic compounds and other kinds of xenobiotics. Usually, biological treatments are used to degrade a great quantity of these substances. However, most of the time, the microorganisms are not adapted and the treatment can be blocked. Therefore, the first step to make a continuous reactor operative is the acclimation, i.e., the adaptation of the microorganisms to a specific substrate. During this particular step of the process there is a selection and a multiplication of specialized microorganisms and physiological transformations can occur in their metabolic system. Furthermore, combining image processing techniques have already been successfully used to elucidate the activated sludge morphological changes for both aggregated and filamentous bacteria contents, during such processes. The experimental set-up is composed of an aerated reactor and a clarifier. The sludge is recycled from the clarifier by a peristaltic pump. The complete mixing inside the reactor is guaranteed by the diffusion of air from its bottom. The reactor was inoculated with biomass collected from a wastewater treatment plant and fed with an artificial wastewater based on meat extract. During acclimation, chemical parameters were measured in the influent, reactor and effluent, in order to verify the stability of the process. To complete the evaluation of the process, microscopy acquisition and image processing and analysis techniques were performed for aggregates and filamentous bacteria characterization for bright field, Gram and poly-β-hydroxybutyrate (PHB) staining images. The information extracted from those images allowed for aggregates and filamentous bacteria contents inspection, identification of PHB storing microorganisms and, gram-positive and gram-negative filamentous bacteria recognition. Figure 1 presents activated sludge samples at the beginning and at the end of the acclimation phase. It was found in this study that biomass changes during the acclimation phase could be effectively monitored, combining image analysis information and chemical parameters

Behavioural and psychological symptoms of dementia in Down syndrome: Early indicators of clinical Alzheimer's disease?

Behavioural and Psychological Symptoms of Dementia (BPSD) are a core symptom of dementia and are associated with suffering, earlier institutionalization and accelerated cognitive decline for patients and increased caregiver burden. Despite the extremely high risk for Down syndrome (DS) individuals to develop dementia due to Alzheimer's disease (AD), BPSD have not been comprehensively assessed in the DS population. Due to the great variety of DS cohorts, diagnostic methodologies, sub-optimal scales, covariates and outcome measures, it is questionable whether BPSD have always been accurately assessed. However, accurate recognition of BPSD may increase awareness and understanding of these behavioural aberrations, thus enabling adaptive caregiving and, importantly, allowing for therapeutic interventions. Particular BPSD can be observed (long) before the clinical dementia diagnosis and could therefore serve as early indicators of those at risk, and provide a new, non-invasive way to monitor, or at least give an indication of, the complex progression to dementia in DS. Therefore, this review summarizes and evaluates the rather limited knowledge on BPSD in DS and highlights its importance and potential for daily clinical practice