| 1. |
- Abdellaoui, G., et al.
(författare)
-
Meteor studies in the framework of the JEM-EUSO program
- 2017
-
Ingår i: Planetary and Space Science. - : Elsevier. - 0032-0633 .- 1873-5088. ; 143, s. 245-255
-
Tidskriftsartikel (refereegranskat)abstract
- We summarize the state of the art of a program of UV observations from space of meteor phenomena, a secondary objective of the JEM-EUSO international collaboration. Our preliminary analysis indicates that JEM-EUSO, taking advantage of its large FOV and good sensitivity, should be able to detect meteors down to absolute magnitude close to 7. This means that JEM-EUSO should be able to record a statistically significant flux of meteors, including both sporadic ones, and events produced by different meteor streams. Being unaffected by adverse weather conditions, JEM-EUSO can also be a very important facility for the detection of bright meteors and fireballs, as these events can be detected even in conditions of very high sky background. In the case of bright events, moreover, exhibiting some persistence of the meteor train, preliminary simulations show that it should be possible to exploit the motion of the ISS itself and derive at least a rough 3D reconstruction of the meteor trajectory. Moreover, the observing strategy developed to detect meteors may also be applied to the detection of nuclearites, exotic particles whose existence has been suggested by some theoretical investigations. Nuclearites are expected to move at higher velocities than meteoroids, and to exhibit a wider range of possible trajectories, including particles moving upward after crossing the Earth. Some pilot studies, including the approved Mini-EUSO mission, a precursor of JEM-EUSO, are currently operational or in preparation. We are doing simulations to assess the performance of Mini-EUSO for meteor studies, while a few meteor events have been already detected using the ground-based facility EUSO-TA.
|
|
| 2. |
- Abdellaoui, G., et al.
(författare)
-
First observations of speed of light tracks by a fluorescence detector looking down on the atmosphere
- 2018
-
Ingår i: Journal of Instrumentation. - : IOP PUBLISHING LTD. - 1748-0221 .- 1748-0221. ; 13
-
Tidskriftsartikel (refereegranskat)abstract
- EUSO-Balloon is a pathfinder mission for the Extreme Universe Space Observatory onboard the Japanese Experiment Module (JEM-EUSO). It was launched on the moonless night of the 25(th) of August 2014 from Timmins, Canada. The flight ended successfully after maintaining the target altitude of 38 km for five hours. One part of the mission was a 2.5 hour underflight using a helicopter equipped with three UV light sources (LED, xenon flasher and laser) to perform an inflight calibration and examine the detectors capability to measure tracks moving at the speed of light. We describe the helicopter laser system and details of the underflight as well as how the laser tracks were recorded and found in the data. These are the first recorded laser tracks measured from a fluorescence detector looking down on the atmosphere. Finally, we present a first reconstruction of the direction of the laser tracks relative to the detector.
|
|
| 3. |
- Hammarsjö, A., et al.
(författare)
-
High diagnostic yield in skeletal ciliopathies using massively parallel genome sequencing, structural variant screening and RNA analyses
- 2021
-
Ingår i: Journal of Human Genetics. - : Springer Nature. - 1434-5161 .- 1435-232X. ; 66:10, s. 995-1008
-
Tidskriftsartikel (refereegranskat)abstract
- Skeletal ciliopathies are a heterogenous group of disorders with overlapping clinical and radiographic features including bone dysplasia and internal abnormalities. To date, pathogenic variants in at least 30 genes, coding for different structural cilia proteins, are reported to cause skeletal ciliopathies. Here, we summarize genetic and phenotypic features of 34 affected individuals from 29 families with skeletal ciliopathies. Molecular diagnostic testing was performed using massively parallel sequencing (MPS) in combination with copy number variant (CNV) analyses and in silico filtering for variants in known skeletal ciliopathy genes. We identified biallelic disease-causing variants in seven genes: DYNC2H1, KIAA0753, WDR19, C2CD3, TTC21B, EVC, and EVC2. Four variants located in non-canonical splice sites of DYNC2H1, EVC, and KIAA0753 led to aberrant splicing that was shown by sequencing of cDNA. Furthermore, CNV analyses showed an intragenic deletion of DYNC2H1 in one individual and a 6.7 Mb de novo deletion on chromosome 1q24q25 in another. In five unsolved cases, MPS was performed in family setting. In one proband we identified a de novo variant in PRKACA and in another we found a homozygous intragenic deletion of IFT74, removing the first coding exon and leading to expression of a shorter message predicted to result in loss of 40 amino acids at the N-terminus. These findings establish IFT74 as a new skeletal ciliopathy gene. In conclusion, combined single nucleotide variant, CNV and cDNA analyses lead to a high yield of genetic diagnoses (90%) in a cohort of patients with skeletal ciliopathies.
|
|
| 4. |
- Sanchez Perez, Cesar, 1981, et al.
(författare)
-
A survey of challenges for runtime verification from advanced application domains (beyond software)
- 2019
-
Ingår i: Formal Methods in System Design. - : Springer Science and Business Media LLC. - 1572-8102 .- 0925-9856. ; 54:3, s. 279-335
-
Tidskriftsartikel (refereegranskat)abstract
- Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor. Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many more potential applications to other computational devices and target systems. In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges. The computational models that characterize these domains require to devise new techniques beyond the current state of the art in runtime verification.
|
|
| 5. |
|
|
| 6. |
|
|
| 7. |
- Agut, T, et al.
(författare)
-
Preterm white matter injury: ultrasound diagnosis and classification
- 2020
-
Ingår i: Pediatric research. - : Springer Science and Business Media LLC. - 1530-0447 .- 0031-3998. ; 87:SUPPL 1Suppl 1, s. 37-49
-
Tidskriftsartikel (refereegranskat)abstract
- White matter injury (WMI) is the most frequent form of preterm brain injury. Cranial ultrasound (CUS) remains the preferred modality for initial and sequential neuroimaging in preterm infants, and is reliable for the diagnosis of cystic periventricular leukomalacia. Although magnetic resonance imaging is superior to CUS in detecting the diffuse and more subtle forms of WMI that prevail in very premature infants surviving nowadays, recent improvement in the quality of neonatal CUS imaging has broadened the spectrum of preterm white matter abnormalities that can be detected with this technique. We propose a structured CUS assessment of WMI of prematurity that seeks to account for both cystic and non-cystic changes, as well as signs of white matter loss and impaired brain growth and maturation, at or near term equivalent age. This novel assessment system aims to improve disease description in both routine clinical practice and clinical research. Whether this systematic assessment will improve prediction of outcome in preterm infants with WMI still needs to be evaluated in prospective studies.
|
|
| 8. |
|
|
| 9. |
|
|
| 10. |
|
|
