| 1. |
- Buvendiek, Kai, et al.
(författare)
-
Privacy-Preserving Architectures with Probabilistic Guaranties
- 2018
-
Ingår i: 2018 16th Annual Conference on Privacy, Security and Trust, PST 2018. - 9781538674932 ; , s. 38-47
-
Konferensbidrag (refereegranskat)abstract
- Violations of the privacy of users can happen if data protection is not a fundamental part of the development process of a software system. The principle of Privacy by Design (PbD) therefore stipulates the consideration of privacy as a default feature. We have developed an integrated tool environment called CAPVerDE that provides a formal description language of software architectures and helps a designer by automatically verifying data minimization properties the architectural level. Our logic includes probabilistic properties that introduce uncertainty into the architectures. These properties can be used to model attack scenarios that rely on chance. This paper presents the logic of the description language of CAPVerDE and illustrates the reasoning by applying it to a smart energy metering case study.
|
|
| 2. |
- Adams, Robin, 1978
(författare)
-
A Modular Hierarchy of Logical Frameworks
- 2004
-
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. ; 3085, s. 1-16
-
Konferensbidrag (refereegranskat)abstract
- We present a method for defining logical frameworks as a collection of features which are defined and behave independently of one another. Each feature is a set of grammar clauses and rules of deduction such that the result of adding the feature to a framework is a conservative extension of the framework itself. We show how several existing logical frameworks can be so built, and how several much weaker frameworks defined in this manner are adequate for expressing a wide variety of object logics.
|
|
| 3. |
- Wuestefeld, Anika, et al.
(författare)
-
Comparison of histological delineations of medial temporal lobe cortices by four independent neuroanatomy laboratories
-
Ingår i: Hippocampus. - 1050-9631.
-
Tidskriftsartikel (refereegranskat)abstract
- The medial temporal lobe (MTL) cortex, located adjacent to the hippocampus, is crucial for memory and prone to the accumulation of certain neuropathologies such as Alzheimer's disease neurofibrillary tau tangles. The MTL cortex is composed of several subregions which differ in their functional and cytoarchitectonic features. As neuroanatomical schools rely on different cytoarchitectonic definitions of these subregions, it is unclear to what extent their delineations of MTL cortex subregions overlap. Here, we provide an overview of cytoarchitectonic definitions of the entorhinal and parahippocampal cortices as well as Brodmann areas (BA) 35 and 36, as provided by four neuroanatomists from different laboratories, aiming to identify the rationale for overlapping and diverging delineations. Nissl-stained series were acquired from the temporal lobes of three human specimens (two right and one left hemisphere). Slices (50 μm thick) were prepared perpendicular to the long axis of the hippocampus spanning the entire longitudinal extent of the MTL cortex. Four neuroanatomists annotated MTL cortex subregions on digitized slices spaced 5 mm apart (pixel size 0.4 μm at 20× magnification). Parcellations, terminology, and border placement were compared among neuroanatomists. Cytoarchitectonic features of each subregion are described in detail. Qualitative analysis of the annotations showed higher agreement in the definitions of the entorhinal cortex and BA35, while the definitions of BA36 and the parahippocampal cortex exhibited less overlap among neuroanatomists. The degree of overlap of cytoarchitectonic definitions was partially reflected in the neuroanatomists' agreement on the respective delineations. Lower agreement in annotations was observed in transitional zones between structures where seminal cytoarchitectonic features are expressed less saliently. The results highlight that definitions and parcellations of the MTL cortex differ among neuroanatomical schools and thereby increase understanding of why these differences may arise. This work sets a crucial foundation to further advance anatomically-informed neuroimaging research on the human MTL cortex.
|
|
