Specifying Self-configurable Component-based Systems with FracToy

International audienceOne of the key research challenges in autonomic computing is to define rigorous mathematical models for specifying, analyzing, and verifying high-level self-* policies. This paper presents the FracToy formal methodology to specify self-configurable component-based systems, and particularly both their component-based architectural description and their self-configuration policies. This rigorous methodology is based on the first-order relational logic, and is implemented with the Alloy formal specication language. The paper presents the dierent steps of the FracToy methodology and illustrates them on a self-configurable component-based example

The First VERITAS Telescope

The first atmospheric Cherenkov telescope of VERITAS (the Very Energetic Radiation Imaging Telescope Array System) has been in operation since February 2005. We present here a technical description of the instrument and a summary of its performance. The calibration methods are described, along with the results of Monte Carlo simulations of the telescope and comparisons between real and simulated data. The analysis of TeV $\gamma$-ray observations of the Crab Nebula, including the reconstructed energy spectrum, is shown to give results consistent with earlier measurements. The telescope is operating as expected and has met or exceeded all design specifications.Comment: Accepted by Astroparticle Physic

First spatial separation of a heavy ion isomeric beam with a multiple-reflection time-of-flight mass spectrometer

211 Po ions in the ground and isomeric states were produced via 238 U projectile fragmentation at 1000 MeV/u. The 211 Po ions were spatially separated in flight from the primary beam and other reaction products by the fragment separator FRS. The ions were energy-bunched, slowed-down and thermalized in a gas-filled cryogenic stopping cell (CSC). They were then extracted from the CSC and injected into a high-resolution multiple-reflection time-of-flight mass spectrometer (MR-TOF-MS). The excitation energy of the isomer and, for the first time, the isomeric-to-ground state ratio were determined from the measured mass spectrum. In the subsequent experimental step, the isomers were spatially separated from the ions in the ground state by an ion deflector and finally collected with a silicon detector for decay spectroscopy. This pioneering experimental result opens up unique perspectives for isomer-resolved studies. With this versatile experimental method new isomers with half-lives longer than a few milliseconds can be discovered and their decay properties can be measured with highest sensitivity and selectivity. These experiments can be extended to studies with isomeric beams in nuclear reactions

Response of a Lake Michigan coastal lake to anthropogenic catchment disturbance

A paleolimnological investigation of post-European sediments in a Lake Michigan coastal lake was used to examine the response of Lower Herring Lake to anthropogenic impacts and its role as a processor of watershed inputs. We also compare the timing of this response with that of Lake Michigan to examine the role of marginal lakes as ‘early warning’ indicators of potential changes in the larger connected system and their role in buffering Lake Michigan against anthropogenic changes through biotic interactions and material trapping. Sediment geochemistry, siliceous microfossils and nutrient-related morphological changes in diatoms, identified three major trophic periods in the recent history of the lake. During deforestation and early settlement (pre-1845–1920), lake response to catchment disturbances results in localized increases in diatom abundances with minor changes in existing communities. In this early phase of disturbance, Lower Herring Lake acts as a sediment sink and a biological processor of nutrient inputs. During low-lake levels of the 1930s, the lake goes through a transitional period characterized by increased primary productivity and a major shift in diatom communities. Post-World War II (late 1940s–1989) anthropogenic disturbances push Lower Herring Lake to a new state and a permanent change in diatom community structure dominated by Cyclotella comensis . The dominance of planktonic summer diatom species associated with the deep chlorophyll maximum (DCM) is attributed to epilimnetic nutrient depletion. Declining Si:P ratios are inferred from increased sediment storage of biogenic silica and morphological changes in the silica content of Aulacoseira ambigua and Stephanodiscus niagarae . Beginning in the late 1940s, Lower Herring Lake functions as a biogeochemical processor of catchment inputs and a carbon, nutrient and silica sink. Microfossil response to increased nutrients and increased storage of biogenic silica in Lower Herring Lake and other regional embayments occur approximately 20–25 years earlier than in a nearby Lake Michigan site. Results from this study provide evidence for the role of marginal lakes and bays as nutrient buffering systems, delaying the impact of anthropogenic activities on the larger Lake Michigan system.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/43091/1/10933_2004_Article_1688.pd

Pengaruh Pemberian Ketotifen terhadap Jumlah Sel Fibroblas dan Kepadatan Sel Kolagen pada Luka Insisi Tikus Wistar

Ingga Hadian, S-501202027. PENGARUH PEMBERIAN KETOTIFEN TERHADAP JUMLAH SEL FIBROBLAS DAN KEPADATAN SEL KOLAGEN PADA LUKA INSISI TIKUS WISTAR. Pembimbing I : DR. Untung Alfianto, dr, Sp.Bs, Pembimbing II : dr. Ardana Tri Arianto. Msi. Med. Sp.An-KNA. Program studi Magister Kedokteran Keluarga, Minat Utama Ilmu Biomedik, Fakultas Kedokteran Universitas Sebelas Maret, Surakarta, 2016. Latar Belakang : Sel mast merupakan salah satu yang berperan dalam proses inflamasi pada penyembuhan luka. Sel mast dikaitkan dengan kejadian luka kronis, sehingga sel mast diduga ikut memelihara proses inflamasi secara berlebihan. Hambatan pada degranulasi sel mast diharapkan akan mempercepat penyembuhan luka yang ditandai dengan meningkatnya jumlah sel fibroblas dan kepadatan sel kolagen. Ketotifen mampu mengurangi dreganulasi sel Mast dan mengurangi pelepasan Histamin, protease sel Mast, myeloperoxidase, leukotriens, PAF dan bermacam-macam Prostaglandin. Ketotifen juga menghambat agregasi polimorfonuklear serta mengurangi respon inflamasi dan mempercepat migrasi fibroblas di fase proliferasi. Tujuan :Mengetahui perbedaan jumlah sel fibroblas dan kepadatan sel kolagen pada tikus wistar yang diberikan Ketotifen oral dosis 0.3 mg/kg dibandingkan plasebo pada penyembuhan luka insisi tikus wistar. Metode : Penelitian ini termasuk true eksperimental laboratorik dengan desain Randomized Controlled Trial yang menggunakan tikus wistar sebagai obyek penelitian. 14 tikus Wistar dibagi dalam 2 kelompok, masing masing kelompok terdiri atas 7 tikus Wistar. Kelompok 1 merupakan kelompok kontrol yang dilakukan insisi sepanjang 2cm pada kulit punggung tikus dan diberikan plasebo per oral selama 6 hari. Kelompok 2 merupakan kelompok perlakuan yang dilakukan insisi sepanjang 2cm pada kulit punggung tikus dan diberikan Ketotifen 0,3 mg/kgBB per oral setiap 12 jam selama 6 hari. Analisis data untuk membandingkan rerata antar kedua kelompok yaitu kelompok perlakuan dan kelompok kontrol menggunakan uji independent samples t-test, dengan tingkat kemaknaan p < 0,05 (dikatakan bermakna secara statistik). Hasil : Pada kelompok kontrol didapatkan rerata persentase kepadatan sel kolagen sebesar 26,05 %, sedangkan pada kelompok Ketotifen didapatkan rerata persentase kepadatan sel kolagen sebesar 36,13 %. Untuk jumlah sel fibroblas pada kelompok kontrol didapatkan rerata sebesar 423 per lapang pandang, sedangkan pada kelompok Ketotifen didapatkan rerata sebesar 555,43 per lapang pandang. Kesimpulan : Ketotifen mempercepat penyembuhan luka ditandai dengan peningkatan sel fibroblas dan sel kolagen. Kata Kunci : Sel Mast, Ketotifen, Sel fibroblas, Serabut Kolagen. ABSTRACT Ingga Hadian, S-501202027. EFFECTS OF KETOTIFEN ON FIBROBLAST CELL COUNT AND COLLAGEN DENSITY ON INCISED WISTAR RATS. DR. Untung Alfianto, dr., Sp.BS, dr. Ardana Tri Arianto, Msi, Med, Sp.An-KNA. Background: Mast cells have a pivotal role in every healing process that involves inflammation of the cells, usually in wounds of chronic nature. If the degranulation process of the mast cells are inhibited, the healing process of the wound will accelerate, indicated by a raise in fibroblast cells and collagen density. Ketotifen are shown to inhibit the degranulation process and decreasing the release of histamin, mast cells proteases, myeloperoxidases, leukotriens, PAF, and various prostaglandins. Ketotifen can also inhibit the aggregation of polymorphonuclear cells, increasing the rate of fibroblast migration in the proliferation phase. This study was aimed to identify the effects of ketotifen on fibroblast cell count and collagen density tested on a wistar rats model. Methods: This study was a true laboratoric experimental study with randomized controlled trial using wistar rats model as objects. 14 rats were divided into two groups, each group contained seven rats. The first group was the control group, where the rats were incised 2 cm above the back skin, and were given per oral placebo for 6 days. The second group were given the same treatment, only the rats were given ketotifen 0.3 mg/kg per oral, every 12 hours lasting 6 days. The data were then collected and tested with independent sample t-test, with p value less than 0,05 is statistically significant. Results: In the control group, the mean percentage of the thickest collagen density were marked at 26.05%, whereas in the treatment group collagen density were marked at 36.13%. The mean fibroblast cell count were marked at 423 and 555.43 each viewing field, on the control group and the treatment group respectively. Conclusion: Ketotifen can accelerate the healing process, marked by the significant increase in collagen density and fibroblast cell count. Keywords: mast cells, ketotifen, fibroblast cells, collagen fibers

Multiwavelength observations of a TeV-Flare from W comae

We report results from an intensive multiwavelength campaign on the intermediate-frequency-peaked BL Lacertae object W Com (z = 0.102) during a strong outburst of very high energy gamma-ray emission in 2008 June. The very high energy gamma-ray signal was detected by VERITAS on 2008 June 7-8 with a flux F(>200 GeV) =(5.7 0.6) × 10-11 cm-2 s -1, about three times brighter than during the discovery of gamma-ray emission from W Com by VERITAS in 2008 March. The initial detection of this flare by VERITAS at energies above 200 GeV was followed by observations in high-energy gamma rays (AGILE; E γ≥ 100 MeV), X-rays (Swift and XMM-Newton), and at UV, and ground-based optical and radio monitoring through the GASP-WEBT consortium and other observatories. Here we describe the multiwavelength data and derive the spectral energy distribution of the source from contemporaneous data taken throughout the flare. © 2009. The American Astronomical Society. All rights reserved

Insights into the high-energy γ-ray emission of Markarian 501 from extensive multifrequency observations in the Fermi era

We report on the γ-ray activity of the blazar Mrk 501 during the first 480 days of Fermi operation. We find that the average Large Area Telescope (LAT) γ-ray spectrum of Mrk 501 can be well described by a single power-law function with a photon index of 1.78 ± 0.03. While we observe relatively mild flux variations with the Fermi-LAT (within less than a factor of two), we detect remarkable spectral variability where the hardest observed spectral index within the LAT energy range is 1.52 ± 0.14, and the softest one is 2.51 ± 0.20. These unexpected spectral changes do not correlate with the measured flux variations above 0.3 GeV. In this paper, we also present the first results from the 4.5 month long multifrequency campaign (2009 March 15-August 1) on Mrk 501, which included the Very Long Baseline Array (VLBA), Swift, RXTE, MAGIC, and VERITAS, the F-GAMMA, GASP-WEBT, and other collaborations and instruments which provided excellent temporal and energy coverage of the source throughout the entire campaign. The extensive radio to TeV data set from this campaign provides us with the most detailed spectral energy distribution yet collected for this source during its relatively low activity. The average spectral energy distribution of Mrk 501 is well described by the standard one-zone synchrotron self-Compton (SSC) model. In the framework of this model, we find that the dominant emission region is characterized by a size ≲0.1 pc (comparable within a factor of few to the size of the partially resolved VLBA core at 15-43 GHz), and that the total jet power (≃1044 erg s-1) constitutes only a small fraction (∼10-3) of the Eddington luminosity. The energy distribution of the freshly accelerated radiating electrons required to fit the time-averaged data has a broken power-law form in the energy range 0.3 GeV-10 TeV, with spectral indices 2.2 and 2.7 below and above the break energy of 20 GeV. We argue that such a form is consistent with a scenario in which the bulk of the energy dissipation within the dominant emission zone of Mrk 501 is due to relativistic, proton-mediated shocks. We find that the ultrarelativistic electrons and mildly relativistic protons within the blazar zone, if comparable in number, are in approximate energy equipartition, with their energy dominating the jet magnetic field energy by about two orders of magnitude. © 2011. The American Astronomical Society

Step by step help for children with ADHD a self-help manual for parents

Raising a child with ADHD can be distressing and exhausting for the whole family. But given the appropriate knowledge, and the right tools, parents can intervene to manage their child's behaviour, leading to improved relationships at home and, it is hoped, a more successful time at school.This simple, flexible six-step programme is full of tried-and-tested ideas for parents and professionals supporting families of young children with ADHD. By practicing the techniques and strategies, parents will gain confidence in their parenting and, over time, will improve the child’s management of the condition. The programme includes games that will help improve the child’s attention, exercises to develop patience and tips for supporting the child in successful self-organization. There are also plenty of useful ideas for developing communication between parents and schools.Based on research and extensive clinical experience, Step by Step Help for Children with ADHD will help families to adapt their parenting to the child, improving relationships and behaviours in the home and at play group.<br/

Parent-based therapies for preschool attention deficit/hyperactivity disorder: a randomized, controlled trial with a community sample

Objective: To evaluate two different parent-based therapies for preschool attention-deficit/hyperactivity disorder (ADHD) in a community sample.Method: Three-year-old children displaying a preschool equivalent of ADHD (n = 78) were randomly assigned to either a parent training (PT;n = 30), a parent counseling and support (PC&amp;S;n = 28), or a waiting-list control group (n = 20). The PT group received coaching in child management techniques. The PC&amp;S group received nondirective support and counseling. Measures of child symptoms and mothers' well-being were taken before and after intervention and at 15 weeks follow-up.Results: ADHD symptoms were reduced (F2,74 = 11.64;p &lt; .0001) and mothers' sense of well-being was increased by PT relative to both other groups (F2,74 = 10.32;p &lt; .005). Fifty-three percent of children in the PT group displayed clinically significant improvement ([chi]2 = 4.08;p = .048).Conclusions: PT is a valuable treatment for preschool ADHD. PC&amp;S had little effect on children's behavior. Constructive training in parenting strategies is an important element in the success of parent-based interventions. Psychostimulants are not a necessary component of effective treatment for many children with preschool ADHD