| 1. |
- Abend, Sven, et al.
(författare)
-
Terrestrial very-long-baseline atom interferometry : Workshop summary
- 2024
-
Ingår i: AVS Quantum Science. - : American Institute of Physics (AIP). - 2639-0213. ; 6:2
-
Forskningsöversikt (refereegranskat)abstract
- This document presents a summary of the 2023 Terrestrial Very-Long-Baseline Atom Interferometry Workshop hosted by CERN. The workshop brought together experts from around the world to discuss the exciting developments in large-scale atom interferometer (AI) prototypes and their potential for detecting ultralight dark matter and gravitational waves. The primary objective of the workshop was to lay the groundwork for an international TVLBAI proto-collaboration. This collaboration aims to unite researchers from different institutions to strategize and secure funding for terrestrial large-scale AI projects. The ultimate goal is to create a roadmap detailing the design and technology choices for one or more kilometer--scale detectors, which will be operational in the mid-2030s. The key sections of this report present the physics case and technical challenges, together with a comprehensive overview of the discussions at the workshop together with the main conclusions.
|
|
| 2. |
- Ahrendt, Wolfgang, 1967, et al.
(författare)
-
Practical Aspects of Automated Deduction for Program Verification
- 2010
-
Ingår i: KI - K√ºnstliche Intelligenz. - : Springer Science and Business Media LLC. - 0933-1875 .- 1610-1987. ; 24:1, s. 43-49
-
Tidskriftsartikel (refereegranskat)abstract
- Software is vital for modern society. It is used in manysafety- or security-critical applications, where a high degree of correctness is desirable. Over the last years, technologies for the formal specification and verification of software -- using logic-based specification languages and automated deduction -- have matured and can be expected to complement and partly replace traditional software engineering methods in the future. Program verification is an increasingly important application area for automated deduction. The field has outgrown the area of academic case studies, and industry is showing serious interest. This article describes the aspects of automated deduction that are important for program verification in practice, and it gives an overview of the reasoning mechanisms, the methodology, and the architecture of modern program verification systems.
|
|
| 3. |
- Ahrendt, Wolfgang, 1967, et al.
(författare)
-
The KeY System: Integrating Object-Oriented Design and Formal Methods
- 2002
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783540433538 ; 2306, s. 327-330
-
Konferensbidrag (refereegranskat)abstract
- This paper gives a brief description of the KeY system, a tool written as part of the ongoing KeY project1, which is aimed at bridging the gap between (a) OO software engineering methods and tools and (b) deductive verification. The KeY system consists of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.
|
|
| 4. |
- Botella Mascarell, Carmen, 1979, et al.
(författare)
-
EU FP7 INFSO-ICT-247223 ARTIST4G, D1.3 Innovative scheduling and cross-layer design techniques for interference avoidance
- 2011
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- This document provides an overview of the proposed innovations and activities in Task 1.2 of Work Package 1 (WP1) of the ARTIST4G project, related to interference avoidance. Focus is on the technical approaches applicable at layer 2, which are grouped into five different classes of innovations related to clustering & user grouping, inter-cell interference coordination, coordinated scheduling, scheduling for joint processing and gametheory based scheduling. Descriptions of the proposed innovations are given including basic ideas, potential of performance, simulation results, realization options and possible implementation restrictions.
|
|
| 5. |
- D'Amico, Valeria, et al.
(författare)
-
Advanced interference management in ARTIST4G: Interference Avoidance
- 2010
-
Ingår i: European Wireless Technology Conference, Paris, France, September 2010. - 9782874870187 ; , s. 21-24
-
Konferensbidrag (refereegranskat)abstract
- This paper gives an overview of the objectives and current research activities on interference avoidance in the EC funded research project ARTIST4G. It is the main objective of the ARTIST4G Work Package 1 (WP1), to build forward on the 3GPP LTE Release 8 baseline, proposing a novel fair mobile broadband technological framework in which to design innovative, practical, scalable and cost-effective interference avoidance solutions. This paper provides an overview of the fundamental classes of innovations studied in ARTIST4G Work Package 1 (WP1) and presents some performance results obtained by means of numerical simulations and test-bed measurements run in the field.
|
|
| 6. |
- D’Amico, Valeria, et al.
(författare)
-
EU FP7 INFSO-ICT-247223 ARTIST4G, D1.1 Definitions and architecture requirements for supporting interference avoidance techniques
- 2010
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- It is the main objective of the ARTIST4G Work Package 1 (WP1), to design innovative interference avoidance solutions by means of transmitter signal processing, scheduling and/or cross layer techniques. Such an approach will enable to identify optimal strategies also taking into account the practical implications on the real system. The major impacts of the WP1 innovations on the radio access network and on the mobile system interfaces, together with constraints due to practical implementations, will be analyzed in this deliverable. This deliverable will be a reference for the work in ARTIST4G Work Package 4 (WP4).A set of guiding questions used to precise the requirements for WP4 has been considered for each new cooperation/coordination functionality. Answers to these questions are provided in this deliverable by grouping the different classes of WP1 innovations into 4 categories with similar requirements on the radio access architecture. For each question, current, expected, minimum and maximum targets of the requirement will be given, helping to ensure that the range of all possible values for all the innovations are taken into account.
|
|
| 7. |
- D’Amico, Valeria, et al.
(författare)
-
EU FP7 INFSO-ICT-247223 ARTIST4G, D1.2 Innovative advanced signal processing algorithms for interference avoidance
- 2010
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- This document provides an overview of the proposed innovations and activities in Task 1.1 of Work Package 1 (WP1) of the ARTIST4G project, related to interference avoidance. Focus is on the technical approaches applicable at the physical layer, which are grouped into four different classes of innovations related to single-cell multi-user MIMO schemes, multi-cell multi-user MIMOschemes, advanced 3D beamforming and enabling functionalities. Descriptions of the proposed innovations are given including basic ideas, potential of performance, simulation results, realization options and possible implementation restrictions.
|
|
| 8. |
- Hähnle, Reiner, 1962, et al.
(författare)
-
The KeY Tool
- 2005
-
Ingår i: Software and Systems Modeling. - 1619-1374 .- 1619-1366. ; 4:1, s. 32-54
-
Tidskriftsartikel (refereegranskat)
|
|
| 9. |
- Höglinger, Günter U, et al.
(författare)
-
Clinical diagnosis of progressive supranuclear palsy : The movement disorder society criteria
- 2017
-
Ingår i: Movement Disorders. - : Wiley. - 0885-3185. ; 32:6, s. 853-864
-
Tidskriftsartikel (refereegranskat)abstract
- Background: PSP is a neuropathologically defined disease entity. Clinical diagnostic criteria, published in 1996 by the National Institute of Neurological Disorders and Stroke/Society for PSP, have excellent specificity, but their sensitivity is limited for variant PSP syndromes with presentations other than Richardson's syndrome. Objective: We aimed to provide an evidence- and consensus-based revision of the clinical diagnostic criteria for PSP. Methods: We searched the PubMed, Cochrane, Medline, and PSYCInfo databases for articles published in English since 1996, using postmortem diagnosis or highly specific clinical criteria as the diagnostic standard. Second, we generated retrospective standardized clinical data from patients with autopsy-confirmed PSP and control diseases. On this basis, diagnostic criteria were drafted, optimized in two modified Delphi evaluations, submitted to structured discussions with consensus procedures during a 2-day meeting, and refined in three further Delphi rounds. Results: Defined clinical, imaging, laboratory, and genetic findings serve as mandatory basic features, mandatory exclusion criteria, or context-dependent exclusion criteria. We identified four functional domains (ocular motor dysfunction, postural instability, akinesia, and cognitive dysfunction) as clinical predictors of PSP. Within each of these domains, we propose three clinical features that contribute different levels of diagnostic certainty. Specific combinations of these features define the diagnostic criteria, stratified by three degrees of diagnostic certainty (probable PSP, possible PSP, and suggestive of PSP). Clinical clues and imaging findings represent supportive features. Conclusions: Here, we present new criteria aimed to optimize early, sensitive, and specific clinical diagnosis of PSP on the basis of currently available evidence.
|
|
| 10. |
- Jin, Yi, et al.
(författare)
-
Tyrosine-protein kinase Yes controls endothelial junctional plasticity and barrier integrity by regulating VE-cadherin phosphorylation and endocytosis
- 2022
-
Ingår i: Nature Cardiovascular Research. - : Springer Nature. - 2731-0590. ; 1:12, s. 1156-1173
-
Tidskriftsartikel (refereegranskat)abstract
- Vascular endothelial (VE)-cadherin in endothelial adherens junctions is an essential component of the vascular barrier, critical for tissue homeostasis and implicated in diseases such as cancer and retinopathies. Inhibitors of Src cytoplasmic tyrosine kinase have been applied to suppress VE-cadherin tyrosine phosphorylation and prevent excessive leakage, edema and high interstitial pressure. Here we show that the Src-related Yes tyrosine kinase, rather than Src, is localized at endothelial cell (EC) junctions where it becomes activated in a flow-dependent manner. EC-specific Yes1 deletion suppresses VE-cadherin phosphorylation and arrests VE-cadherin at EC junctions. This is accompanied by loss of EC collective migration and exaggerated agonist-induced macromolecular leakage. Overexpression of Yes1 causes ectopic VE-cadherin phosphorylation, while vascular leakage is unaffected. In contrast, in EC-specific Src deficiency, VE-cadherin internalization is maintained and leakage is suppressed. In conclusion, Yes-mediated phosphorylation regulates constitutive VE-cadherin turnover, thereby maintaining endothelial junction plasticity and vascular integrity.
|
|
| 11. |
- Kozaki, Koichi, et al.
(författare)
-
Blockade of platelet-derived growth factor or its receptors transiently delays but does not prevent fibrous cap formation in ApoE null mice.
- 2002
-
Ingår i: The American journal of pathology. - 0002-9440. ; 161:4, s. 1395-407
-
Tidskriftsartikel (refereegranskat)abstract
- Platelet-derived growth factor (PDGF) is a potent stimulant of smooth muscle cell migration and proliferation in culture. To test the role of PDGF in the accumulation of smooth muscle cells in vivo, we evaluated ApoE -/- mice that develop complex lesions of atherosclerosis. Fetal liver cells from PDGF-B-deficient embryos were used to replace the circulating cells of lethally irradiated ApoE -/- mice. One month after transplant, all monocytes in PDGF-B -/- chimeras are of donor origin (lack PDGF), and no PDGF-BB is detected in circulating platelets, primary sources of PDGF in lesions. Although lesion volumes are comparable in the PDGF-B +/+ and -/- chimeras at 35 weeks, lesions in PDGF-B -/- chimeras contain mostly macrophages, appear less mature, and have a reduced frequency of fibrous cap formation as compared with PDGF-B +/+ chimeras. However, after 45 weeks, smooth muscle cell accumulation in fibrous caps is indistinguishable in the two groups. Comparison of elicited peritoneal macrophages by RNase protection assay shows an altered cytokine and cytokine receptor profile in PDGF-B -/- chimeras. ApoE -/- mice were also treated for up to 50 weeks with a PDGF receptor antagonist that blocks all three PDGF receptor dimers. Blockade of the PDGF receptors similarly delays, but does not prevent, accumulation of smooth muscle and fibrous cap formation. Thus, elimination of PDGF-B from circulating cells or blockade of PDGF receptors does not appear sufficient to prevent smooth muscle accumulation in advanced lesions of atherosclerosis.
|
|
| 12. |
- Respondek, Gesine, et al.
(författare)
-
Which ante mortem clinical features predict progressive supranuclear palsy pathology?
- 2017
-
Ingår i: Movement Disorders. - : Wiley. - 0885-3185. ; 32:7, s. 995-1005
-
Forskningsöversikt (refereegranskat)abstract
- Background: Progressive supranuclear palsy (PSP) is a neuropathologically defined disease presenting with a broad spectrum of clinical phenotypes. Objective: To identify clinical features and investigations that predict or exclude PSP pathology during life, aiming at an optimization of the clinical diagnostic criteria for PSP. Methods: We performed a systematic review of the literature published since 1996 to identify clinical features and investigations that may predict or exclude PSP pathology. We then extracted standardized data from clinical charts of patients with pathologically diagnosed PSP and relevant disease controls and calculated the sensitivity, specificity, and positive predictive value of key clinical features for PSP in this cohort. Results: Of 4166 articles identified by the database inquiry, 269 met predefined standards. The literature review identified clinical features predictive of PSP, including features of the following 4 functional domains: ocular motor dysfunction, postural instability, akinesia, and cognitive dysfunction. No biomarker or genetic feature was found reliably validated to predict definite PSP. High-quality original natural history data were available from 206 patients with pathologically diagnosed PSP and from 231 pathologically diagnosed disease controls (54 corticobasal degeneration, 51 multiple system atrophy with predominant parkinsonism, 53 Parkinson's disease, 73 behavioral variant frontotemporal dementia). We identified clinical features that predicted PSP pathology, including phenotypes other than Richardson's syndrome, with varying sensitivity and specificity. Conclusions: Our results highlight the clinical variability of PSP and the high prevalence of phenotypes other than Richardson's syndrome. The features of variant phenotypes with high specificity and sensitivity should serve to optimize clinical diagnosis of PSP.
|
|
| 13. |
- Rolfs, Arndt, et al.
(författare)
-
Acute Cerebrovascular Disease in the Young The Stroke in Young Fabry Patients Study
- 2013
-
Ingår i: Stroke: a journal of cerebral circulation. - 1524-4628. ; 44:2, s. 340-349
-
Tidskriftsartikel (refereegranskat)abstract
- Background and Purpose-Strokes have especially devastating implications if they occur early in life; however, only limited information exists on the characteristics of acute cerebrovascular disease in young adults. Although risk factors and manifestation of atherosclerosis are commonly associated with stroke in the elderly, recent data suggests different causes for stroke in the young. We initiated the prospective, multinational European study Stroke in Young Fabry Patients (sifap) to characterize a cohort of young stroke patients. Methods-Overall, 5023 patients aged 18 to 55 years with the diagnosis of ischemic stroke (3396), hemorrhagic stroke (271), transient ischemic attack (1071) were enrolled in 15 European countries and 47 centers between April 2007 and January 2010 undergoing a detailed, standardized, clinical, laboratory, and radiological protocol. Results-Median age in the overall cohort was 46 years. Definite Fabry disease was diagnosed in 0.5% (95% confidence interval, 0.4%-0.8%; n=27) of all patients; and probable Fabry disease in additional 18 patients. Males dominated the study population (2962/59%) whereas females outnumbered men (65.3%) among the youngest patients (18-24 years). About 80.5% of the patients had a first stroke. Silent infarcts on magnetic resonance imaging were seen in 20% of patients with a first-ever stroke, and in 11.4% of patients with transient ischemic attack and no history of a previous cerebrovascular event. The most common causes of ischemic stroke were large artery atherosclerosis (18.6%) and dissection (9.9%). Conclusions-Definite Fabry disease occurs in 0.5% and probable Fabry disease in further 0.4% of young stroke patients. Silent infarcts, white matter intensities, and classical risk factors were highly prevalent, emphasizing the need for new early preventive strategies.
|
|
