Results 141-160 of 7116.
Bookmark and Share    
Peer Reviewed
See detailEspaces de frontière. Penser et analyser la frontière en tant qu’espace
Wille, Christian UL

in Dziub, Nikol (Ed.) Le Transfrontalier, pratiques et représentations (in press)

This paper examines how practice-theoretical considerations can be linked with those of a spatial-theoretical nature and translated into a heuristic of spatial analysis from a cultural studies perspec ... [more ▼]

This paper examines how practice-theoretical considerations can be linked with those of a spatial-theoretical nature and translated into a heuristic of spatial analysis from a cultural studies perspec-tive. This question focus results from the understanding that space should be regarded as an emer-gent aspect of the social and that it is still largely insufficiently defined in Border Studies. Drawing on a number of different spatial concepts, the paper first presents an action-theoretical notion of space and reformulates it in a practice-theoretical framework. It constitutes the point of departure for the development of the spaces of the border model with its analytical categories of social practices, practical knowledge as well as physical-material and social-structural aspects. The diversity of con-nections between these analytical categories have proven to be heuristically particularly useful. [less ▲]

Detailed reference viewed: 87 (0 UL)
See detailMapping Legal Innovation: Trends and Perspectives
Robinson, Gavin UL; Masson, Antoine

Book published by Springer (in press)

Detailed reference viewed: 42 (0 UL)
Full Text
Peer Reviewed
See detailMining Assumptions for Software Components using Machine Learning
Gaaloul, Khouloud UL; Menghi, Claudio UL; Nejati, Shiva UL et al

in Proceedings of the The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (in press)

Software verification approaches aim to check a software component under analysis for all possible environments. In reality, however, components are expected to operate within a larger system and are ... [more ▼]

Software verification approaches aim to check a software component under analysis for all possible environments. In reality, however, components are expected to operate within a larger system and are required to satisfy their requirements only when their inputs are constrained by environment assumptions. In this paper, we propose EPIcuRus, an approach to automatically synthesize environment assumptions for a component under analysis (i.e., conditions on the component inputs under which the component is guaranteed to satisfy its requirements). EPIcuRus combines search-based testing, machine learning and model checking. The core of EPIcuRus is a decision tree algorithm that infers environment assumptions from a set of test results including test cases and their verdicts. The test cases are generated using search-based testing, and the assumptions inferred by decision trees are validated through model checking. In order to improve the efficiency and effectiveness of the assumption generation process, we propose a novel test case generation technique, namely Important Features Boundary Test (IFBT), that guides the test generation based on the feedback produced by machine learning. We evaluated EPIcuRus by assessing its effectiveness in computing assumptions on a set of study subjects that include 18 requirements of four industrial models. We show that, for each of the 18 requirements, EPIcuRus was able to compute an assumption to ensure the satisfaction of that requirement, and further, ≈78% of these assumptions were computed in one hour. [less ▲]

Detailed reference viewed: 169 (86 UL)
Full Text
Peer Reviewed
See detailGoal-Directed Decision Procedures for Input/Output Logics
Steen, Alexander UL

in Marra, Alessandra; Liu, Fenrong; Portner, Paul (Eds.) et al Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/2021 (in press)

Input/Output (I/O) logics address the abstract study of conditional norms. Here, norms are represented as pairs of formulas instead of statements that themselves carry truth-values. I/O logics have been ... [more ▼]

Input/Output (I/O) logics address the abstract study of conditional norms. Here, norms are represented as pairs of formulas instead of statements that themselves carry truth-values. I/O logics have been studied thoroughly in the past, including further applications and refinements. In this paper, a class of automated reasoning procedures is presented that, given a set of norms and a concrete situation, decide whether a specific state of affairs is obligatory according to the output operations of I/O logics. The procedures are parametric in the underlying logical formalism and can be instantiated with different classical objects logics, such as propositional logic or first-order logic. The procedures are shown to be correct, and a proof-of-concept implementation for propositional I/O logics is surveyed. [less ▲]

Detailed reference viewed: 52 (2 UL)
Full Text
Peer Reviewed
See detailModulation of startle and heart rate responses by fear of physical activity in patients with heart failure and in healthy adults
Hoffmann, Jeremia Mark; Finke, Johannes B.; Schächinger, Hartmut et al

in Physiology and Behavior (in press)

Fear of physical activity (FoPA) is prevalent in patients with heart failure and associated with lower physical activity despite medical exercise prescriptions. The present study examined physiological ... [more ▼]

Fear of physical activity (FoPA) is prevalent in patients with heart failure and associated with lower physical activity despite medical exercise prescriptions. The present study examined physiological indicators of FoPA by assessing startle modulation and heart rate responses after affective priming with lexical stimuli of positive, neutral, and negative valence, as well as words related to physical activity as potentially phobic cues. After screening for FoPA in patients with heart failure and healthy adults, twenty participants each were assigned to one of three subsamples: a healthy control group and two cardiac patient groups scoring either low or high on FoPA. The high-FoPA group showed more pronounced startle potentiation and heart rate acceleration (i.e., mobilization of defensive behavior) in the phobic prime condition compared to controls. Differences in FoPA accounted for 30% of the startle potentiation by phobic priming, whereas general anxiety, depression, and disease severity were no significant predictors in patients with heart failure. These findings suggest that heart failure-associated FoPA elicits avoidance behavior at a largely automatic level, and might thereby contribute to low adherence to exercise regimen. Thus, FoPA should be addressed in the design of psychological interventions for cardiac patients to foster physical activity. [less ▲]

Detailed reference viewed: 71 (0 UL)
Full Text
Peer Reviewed
See detailAltered interoceptive awareness in high habitual symptom reporters and patients with somatoform disorders
Flasinski, Tabea; Dierolf, Angelika UL; Rost, Silke et al

in Frontiers in Psychology (in press)

Objective. Altered interoception may play a major role in the etiology of medically unexplained symptoms (MUS). It remains unclear, however, if these alterations concerns noticing of signals or if they ... [more ▼]

Objective. Altered interoception may play a major role in the etiology of medically unexplained symptoms (MUS). It remains unclear, however, if these alterations concerns noticing of signals or if they are limited to the interpretation of signals. We investigated whether individuals with MUS differ in interoceptive awareness as assessed with the Multidimensional Assessment of Interoceptive Awareness (MAIA) questionnaire. Methods. Study 1: 486 individuals completed the Screening for Somatoform Disorders (SOMS-2). 32 individuals each of the upper and lower decile of the SOMS distribution (low symptom reporters/LSR, high symptom reporters/HSR) completed the MAIA. Study 2: MAIA scores of individuals diagnosed with somatoform disorder (SFD; n = 26) were compared to individuals with major depressive disorder (MDD; n = 25) and healthy controls (HC; n = 26). Results. HSR had lower scores than LSR on the MAIA scales Not-Distracting and Not-Worrying. The SFD and MDD groups showed lower scores than HC on the MAIA scales Not-Distracting, Self-Regulation, and Trusting. The MDD group scored lower than the other two groups on the scales Body Listening and Attention Regulation. There were no group differences on the scale Noticing. Conclusion. HSR, SFD and MDD patients do not differ from HC in the awareness of noticing of interoceptive signal processing, whereas cognitive facets of interoception, such as distraction or self-regulation are differentially affected. This highlights the necessity of including specifically targeted interventions, which improve interoceptive awareness, in the prevention and treatment of SFDs. [less ▲]

Detailed reference viewed: 27 (0 UL)
Full Text
Peer Reviewed
See detailGBA variants in Parkinson’s disease: clinical, metabolomic and multimodal neuroimaging phenotypes
Greuel, Andrea; Trezzi, Jean-Pierre UL; Glaab, Enrico UL et al

in Movement Disorders (in press)

Background: Alterations in the GBA gene (NM_000157.3) are the most important genetic risk factor for Parkinson’s disease. Biallelic GBA mutations cause the lysosomal storage disorder Gaucher´s disease ... [more ▼]

Background: Alterations in the GBA gene (NM_000157.3) are the most important genetic risk factor for Parkinson’s disease. Biallelic GBA mutations cause the lysosomal storage disorder Gaucher´s disease. The GBA variants p.E365K and p.T408M are associated with Parkinson’s but not with Gaucher´s disease. The pathophysiological role of these variants needs to be further explored. Objective: This study analyzed the clinical, neuropsychological, metabolic and neuroimaging phenotypes of Parkinson’s disease patients carrying the GBA variants p.E365K and p.T408M. Methods: GBA was sequenced in 56 mid-stage Parkinson’s disease patients. Carriers of GBA variants were compared to non-carriers regarding clinical history and symptoms, neuropsychological features, metabolomics and multimodal neuroimaging. Blood plasma gas chromatography coupled to mass spectrometry, [18F]FDopa PET, [18F]FDG PET, and resting-state fMRI were performed. Results: Sequence analysis detected 13 heterozygous GBA variant carriers (seven with p.E365K, six with p.T408M). One patient carried a GBA mutation (p.N409S) and was excluded. Clinical history and symptoms were not significantly different between groups. Global cognitive performance was lower in variant carriers. Metabolomic group differences were suggestive of more severe Parkinson’s disease-related alterations in carriers versus non-carriers. [18F]FDopa and [18F]FDG PET showed signs of a more advanced disease; [18F]FDG PET and fMRI showed similarities with Lewy body dementia and Parkinson’s disease dementia in carriers. Conclusions: This is the first study to comprehensively assess (neuro-)biological phenotypes of GBA variants in Parkinson’s disease. Metabolomics and neuroimaging detected more significant group differences than clinical and behavioral evaluation. These alterations could be promising to monitor effects of disease-modifying treatments targeting glucocerebrosidase metabolism. [less ▲]

Detailed reference viewed: 71 (2 UL)
Peer Reviewed
See detailEngagement féministe en sons et en images dans l’œuvre cinématographique d’Assia Djebar
Barthelmebs-Raguin, Hélène UL

in Guaaybess, Tourya; Di Cesare, Nurit; Levy, Jessica (Eds.) et al Femmes engagées au cœur de l’action. Mise en récit(s), mise en image(s) (in press)

Detailed reference viewed: 14 (1 UL)
Peer Reviewed
See detailSword, Shield and Cloud: Toward a European System of Public-Private Orders for Electronic Evidence in Criminal Matters?
Ligeti, Katalin UL; Robinson, Gavin UL

in Mitsilegas, Valsamis; Vavoula, Niovi (Eds.) Surveillance and Privacy in the Digital Age: European, Transatlantic and Global Perspectives (in press)

Detailed reference viewed: 59 (1 UL)
Full Text
Peer Reviewed
See detailA novel TIMP3 mutation associated with a retinitis pigmentosa-like phenotype
DeBenedictis, Meghan; Gindzin, Yosef; Glaab, Enrico UL et al

in Ophthalmic Genetics (in press)

Sorsby Fundus Dystrophy is an inherited macular degeneration caused by pathogenic variants in the TIMP3 gene. In this study we describe a father and son initially diagnosed with retinitis pigmentosa of ... [more ▼]

Sorsby Fundus Dystrophy is an inherited macular degeneration caused by pathogenic variants in the TIMP3 gene. In this study we describe a father and son initially diagnosed with retinitis pigmentosa of unknown genetic origin. More recent genetic testing of the patients, identified a novel c.410A>G; p.Tyr137Cys variant of uncertain clinical significance in the Tissue Inhibitor of Metalloproteinase-3 (TIMP3) gene. The atypical clinical findings led us to compare the theoretical molecular effects of this variant on the TIMP3 protein structure and interactions with other proteins using homology modeling and machine learning predictions. [less ▲]

Detailed reference viewed: 98 (3 UL)
Full Text
Peer Reviewed
See detailRisk disclosure and firm operational efficiency
Derouiche, Imen UL; Manita, riadh; Muessig, Anke UL

in Annals of Operations Research (in press)

This paper examines the effect of risk disclosure on firm operational efficiency using a unique database of nonfinancial, and non-utility French firms belonging to the SBF 120 index over the period ... [more ▼]

This paper examines the effect of risk disclosure on firm operational efficiency using a unique database of nonfinancial, and non-utility French firms belonging to the SBF 120 index over the period 2007–2015. In a first step, we use a data envelopment analysis output-oriented variable returns to scale model to determine firm operational efficiency scores based on one output (i.e., sales revenue) and three inputs (i.e., net property, plant, and equipment; cost of goods sold; and selling, general, and administrative costs). These scores are used in a second step to estimate the effect of risk disclosure on operational efficiency after controlling for a set of other factors. The empirical results show a statistically significant positive relation between risk disclosure and operational efficiency, suggesting that firms tend to be relatively more efficient when they disclose more about their risk exposure. Overall, we provide evidence that firms with greater risk disclosure are seen by stakeholders as more credible and trustworthy, leading them to conduct better transactions and, consequently, to improve their operational efficiency. This result is consistent with the notion that stakeholders perceive transparent firms positively, particularly those revealing bad news. [less ▲]

Detailed reference viewed: 46 (5 UL)
Full Text
Peer Reviewed
See detailAutomated Fault Tolerance Augmentation in Model-Driven Engineering for CPS
Hu, Tingting UL; Cibrario Bertolotti, Ivan; Navet, Nicolas UL et al

in Computer Standards & Interfaces (in press)

Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of efficient fault-tolerance mechanisms has been devised ... [more ▼]

Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of efficient fault-tolerance mechanisms has been devised to handle faults occurring at run-time. However, properly implementing those mechanisms is a time-consuming task that requires a great deal of know-how. In this paper, we propose a general framework which allows system designers to decouple functional and non-functional concerns, and express non- functional properties at design time using domain-specific languages. In the spirit of generative programming, functional models are then automatically “augmented” with dependability mechanisms. Importantly, the real-time behavior of the initial models in terms of sampling times and meeting deadlines is preserved. The practicality of the approach is demonstrated with the automated implementation of one prominent software fault-tolerance pattern, namely N-Version Programming, in the CPAL model-driven engineering workflow. [less ▲]

Detailed reference viewed: 60 (9 UL)
Full Text
Peer Reviewed
See detailNon-localised contact between beams with circular and elliptical cross-sections
Magliulo, Marco UL; Lengiewicz, Jakub UL; Zilian, Andreas UL et al

in Computational Mechanics (in press)

The key novelty of this contribution is a dedicated technique to e fficiently determine the distance (gap) function between parallel or almost parallel beams with circular and elliptical cross-sections ... [more ▼]

The key novelty of this contribution is a dedicated technique to e fficiently determine the distance (gap) function between parallel or almost parallel beams with circular and elliptical cross-sections. The technique consists of parametrizing the surfaces of the two beams in contact, fixing a point on the centroid line of one of the beams and searching for a constrained minimum distance between the surfaces (two variants are investigated). The resulting unilateral (frictionless) contact condition is then enforced with the Penalty method, which introduces compliance to the, otherwise rigid, beams' cross-sections. Two contact integration schemes are considered: the conventional slave-master approach (which is biased as the contact virtual work is only integrated over the slave surface) and the so-called two-half-pass approach (which is unbiased as the contact virtual work is integrated over the two contacting surfaces). Details of the finite element formulation which is suitably implemented using Automatic Di fferentiation techniques are presented. A set of numerical experiments shows the overall performance of the framework and allows a quantitative comparison of the investigated variants. [less ▲]

Detailed reference viewed: 87 (35 UL)
Full Text
Peer Reviewed
See detailBuilding FinTech Ecosystems: Regulatory Sandboxes, Innovation Hubs and Beyond
Buckley, Ross; Arner, Douglas; Veidt, Robin UL et al

in Washington University Journal of Law and Policy (in press), 61

Around the world, regulators and policymakers are working to support the development of financial technology (FinTech) ecosystems. As one example, over 50 jurisdictions have now established or announced ... [more ▼]

Around the world, regulators and policymakers are working to support the development of financial technology (FinTech) ecosystems. As one example, over 50 jurisdictions have now established or announced “financial regulatory sandboxes”. Others have announced or established “innovation hubs”, sometimes incorporating a regulatory sandbox as one element. This article argues that innovation hubs provide all the benefits that the policy discussion associates with regulatory sandboxes, while avoiding most downsides of regulatory sandboxes, and that many benefits typically attributed to sandboxes are the result of inconsistent terminology, and actually accrue from the work of innovation hubs. The paper presents, as the first contribution of its kind, data on regulatory sandboxes and innovation hubs and argues that the data so far available on sandboxes does not justify the statement that regulatory sandboxes are the most effective approach to building FinTech ecosystems. Given that regulatory sandboxes require significant financial contributions, sometimes new legislation, and intense regulatory risk management, and that sandboxes do not work as well on a stand-alone basis (i.e. without an innovation hub), while innovation hubs alone can provide more significant benefits in supporting the development of a FinTech ecosystem, regulators should focus their resources on developing effective innovation hubs, including in appropriate cases a sandbox as one possible element. [less ▲]

Detailed reference viewed: 106 (5 UL)
Full Text
Peer Reviewed
See detailImmersive Telepresence Framework for Remote Educational Scenarios
Botev, Jean UL; Rodríguez Lera, Francisco J.

in Proceedings of the 22nd International Conference on Human-Computer Interaction (HCI International) (in press)

Detailed reference viewed: 17 (3 UL)
Full Text
Peer Reviewed
See detailGaussian Random Measures Generated by Berry's Nodal Sets
Peccati, Giovanni UL; Vidotto, Anna

in Journal of Statistical Physics (in press)

Detailed reference viewed: 20 (3 UL)
Full Text
Peer Reviewed
See detailInternationale Disability Studies
Biermann, Julia; Powell, Justin J W UL

in Waldschmidt, Anne (Ed.) Handbuch Disability Studies (in press)

Der Beitrag zeichnet internationale Entwicklungen in den Disability Studies nach. Aufgrund der Bedeutung für die Entstehung und weltweite Verbreitung des multidisziplinären Forschungsfelds liegt der Fokus ... [more ▼]

Der Beitrag zeichnet internationale Entwicklungen in den Disability Studies nach. Aufgrund der Bedeutung für die Entstehung und weltweite Verbreitung des multidisziplinären Forschungsfelds liegt der Fokus auf den englischsprachigen Diskursen. Skizziert werden drei historische Phasen: die Etablierung der Disability Studies in den 1970er und 1980er Jahren, die Ausdifferenzierung in den 1990er und 2000er Jahren sowie die Pluralisierung seit den 2010er Jahren. [less ▲]

Detailed reference viewed: 75 (3 UL)
Full Text
Peer Reviewed
See detailSelecting Fault Revealing Mutants
Titcheu Chekam, Thierry UL; Papadakis, Mike UL; Bissyande, Tegawendé François D Assise UL et al

in Empirical Software Engineering (in press)

Detailed reference viewed: 51 (5 UL)
Full Text
Peer Reviewed
See detailIntroducing aspects of transformative justice to the International Criminal Court through plea negotiation
Oyugi, Phoebe; Owiso, Owiso UL

in Leyh, Brianne McGonigle; Fraser, Julie (Eds.) Intersections of law and culture at the International Criminal Court (in press)

Detailed reference viewed: 55 (4 UL)