Results 121-140 of 10672.
Bookmark and Share    
Full Text
Peer Reviewed
See detailInputs from Hell: Learning Input Distributions for Grammar-Based Test Generation
Soremekun, Ezekiel UL; Pavese, Esteban; Havrikov, Nikolas et al

in IEEE Transactions on Software Engineering (in press)

Grammars can serve as producers for structured test inputs that are syntactically correct by construction. A probabilistic grammar assigns probabilities to individual productions, thus controlling the ... [more ▼]

Grammars can serve as producers for structured test inputs that are syntactically correct by construction. A probabilistic grammar assigns probabilities to individual productions, thus controlling the distribution of input elements. Using the grammars as input parsers, we show how to learn input distributions from input samples, allowing to create inputs that are similar to the sample; by inverting the probabilities, we can create inputs that are dissimilar to the sample. This allows for three test generation strategies: 1) “Common inputs” – by learning from common inputs, we can create inputs that are similar to the sample; this is useful for regression testing. 2) “Uncommon inputs” – learning from common inputs and inverting probabilities yields inputs that are strongly dissimilar to the sample; this is useful for completing a test suite with “inputs from hell” that test uncommon features, yet are syntactically valid. 3) “Failure-inducing inputs” – learning from inputs that caused failures in the past gives us inputs that share similar features and thus also have a high chance of triggering bugs; this is useful for testing the completeness of fixes. Our evaluation on three common input formats (JSON, JavaScript, CSS) shows the effectiveness of these approaches. Results show that “common inputs” reproduced 96% of the methods induced by the samples. In contrast, for almost all subjects (95%), the “uncommon inputs” covered significantly different methods from the samples. Learning from failure-inducing samples reproduced all exceptions (100%) triggered by the failure-inducing samples and discovered new exceptions not found in any of the samples learned from. [less ▲]

Detailed reference viewed: 56 (1 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 (DEON2020/2021, Munich) (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: 82 (6 UL)
See detailLe voyage de Bartlebooth ou le tour de son Monde
Raus, Tonia UL

in Cahiers Georges Perec (in press), 14

Detailed reference viewed: 29 (1 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: 205 (9 UL)
Peer Reviewed
See detailEmotionen im inklusiven Unterricht
Zurbriggen, Carmen UL; Schmidt, Philipp

in Gläser-Zikuda, Michaela; Hofmann, Florian; Frederking, Volker (Eds.) Emotionen im Unterricht. Psychologische, pädagogische und fachdidaktische Perspektiven (in press)

Emotionen im inklusiven Unterricht wurden bislang noch selten untersucht. Erste Untersuchungen weisen darauf hin, dass Binnendifferenzierung, Individualisierung und kooperatives Lernen – als zentrale ... [more ▼]

Emotionen im inklusiven Unterricht wurden bislang noch selten untersucht. Erste Untersuchungen weisen darauf hin, dass Binnendifferenzierung, Individualisierung und kooperatives Lernen – als zentrale Merkmale eines inklusiven Unterrichts – sich positiv auf das emotionale Erleben von Schüler*innen auswirken. Implikationen für die Praxis werden aufgezeigt und weiterführend diskutiert. [less ▲]

Detailed reference viewed: 51 (2 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: 64 (21 UL)
Peer Reviewed
See detailPrinzip oder Strategie? Die frühe Einführung des Frauenwahlrechts in Luxemburg
Wagener, Renée UL

in Kaiser, Tobias; Schulz, Andreas (Eds.) Vorhang auf – Frauen in Parlament und Politik. Ein internationaler Vergleich = Entering the Parliamentary Stage – Women in Parliament and Politics in International Comparison (in press)

Detailed reference viewed: 13 (2 UL)
Full Text
See detailUpdate Internationales und Europäisches Steuerrecht
Sinnig, Julia UL

in Taeger, Jürgen (Ed.) Tagungsband DSRI-Herbstakademie 2020 (in press)

Im Berichtszeitraum dieses Updates rief die OECD zu einem zweiten Öffentlichkeitsbetei-ligungsverfahren auf und erarbeitete einen präziseren Lösungsansatz zur Besteuerung digitalisierter Geschäftsmodelle ... [more ▼]

Im Berichtszeitraum dieses Updates rief die OECD zu einem zweiten Öffentlichkeitsbetei-ligungsverfahren auf und erarbeitete einen präziseren Lösungsansatz zur Besteuerung digitalisierter Geschäftsmodelle, der in einer Veröffentlichung im Januar 2020 vorgestellt wurde. Auf Ebene der Europäischen Union gab es im Berichtszeitraum keine Weiterent-wicklung der Richtlinienvorschläge zu einer Digitalsteuer und dem Konzept der „signifi-kanten digitalen Präsenz“. Der EuGH urteilte am 3. März 2020 in Hinblick auf die unions-rechtliche Vereinbarkeit zweier ungarischer Umsatzsteuern. Dieses Urteil erlaubt erste Rückschlüsse bezüglich der Europarechtskonformität umsatzbasierter Steuern, wie bspw. auch im Berichtszeitraum eingeführte Digitalsteuern einzelner Mitgliedstaaten. Dieser Beitrag knüpft an die Vorträge von Prof. Dr. Jens M. Schmittmann und der Verfasserin anlässlich der Herbstakademien 2018 in Bochum und 2019 in Oldenburg, sowie dem Vortrag der Verfasserin anlässlich der Herbstakademie 2017 in Heidelberg an. [less ▲]

Detailed reference viewed: 77 (2 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: 153 (18 UL)
Full Text
Peer Reviewed
See detailA new synuclein-transgenic mouse model for early Parkinson's reveals molecular features of preclinical disease
Hendrickx, Diana M.; Garcia, Pierre; Ashrafi, Amer et al

in Molecular Neurobiology (in press)

Understanding Parkinson’s disease (PD) in particular in its earliest phases, is important for diagnosis and treatment. However, human brain samples are collected post- mortem, reflecting mainly end stage ... [more ▼]

Understanding Parkinson’s disease (PD) in particular in its earliest phases, is important for diagnosis and treatment. However, human brain samples are collected post- mortem, reflecting mainly end stage disease. Because brain samples of mouse models can be collected at any stage of the disease process, they are useful to investigate PD progression. Here, we compare ventral midbrain transcriptomics profiles from α- synuclein transgenic mice with a progressive, early PD-like striatal neurodegeneration across different ages using pathway, gene set and network analysis methods. Our study uncovers statistically significant altered genes across ages and between genotypes with known, suspected, or unknown function in PD pathogenesis and key pathways associated with disease progression. Among those are genotype-dependent alterations associated with synaptic plasticity, neurotransmission, as well as mitochondria-related genes and dysregulation of lipid metabolism. Age-dependent changes were among others observed in neuronal and synaptic activity, calcium homeostasis, and membrane receptor signaling pathways, many of which linked to G- protein coupled receptors. Most importantly, most changes occurred before neurodegeneration was detected in this model, which points to a sequence of gene expression events that may be relevant for disease initiation and progression. It is tempting to speculate that molecular changes similar to those changes observed in our model happen in midbrain dopaminergic neurons before they start to degenerate. In other words, we believe we have uncovered molecular changes that accompany the progression from preclinical to early PD. [less ▲]

Detailed reference viewed: 144 (3 UL)
Full Text
Peer Reviewed
See detailDu mode bureaucratique vers l’agilité organisationnelle : le rôle de la communauté de pratique pilotée dans un établissement public
Obringer, Lisa Désirée UL; Geraudel, Mickaël UL; Benedic, Michael

in Projectique (in press)

Les établissements publics ont besoin de faire preuve d’agilité organisationnelle pour être performants et répondre aux nouveaux enjeux sociétaux. Cependant, ce besoin d’agilité est freiné par la logique ... [more ▼]

Les établissements publics ont besoin de faire preuve d’agilité organisationnelle pour être performants et répondre aux nouveaux enjeux sociétaux. Cependant, ce besoin d’agilité est freiné par la logique bureaucratique qui sous-tend le fonctionnement-même de ces établissements. Résoudre cette tension paradoxale entre bureaucratie et agilité organisationnelle requiert de mettre en œuvre le processus d’acceptation et de management de la tension paradoxale. Pour ce faire, la communauté de pratique pilotée offre un cadre d’analyse favorisant cette acceptation et donc le changement organisationnel souhaité. Ainsi, nous montrons, au travers d’une recherche action, comment la communauté de pratiques pilotée favorise le changement organisationnel au sein d’un établissement public luxembourgeois en facilitant sa transition d’une logique bureaucratique vers une logique d’agilité organisationnelle. Les implications sont doubles. Premièrement, nous montrons comment manager la tension entre bureaucratie et agilité au sein d’un établissement public. Deuxièmement, nous mettons en lumière le rôle de la communauté de pratique pilotée comme vecteur de changement organisationnel d’un établissement public. [less ▲]

Detailed reference viewed: 112 (4 UL)
Full Text
Peer Reviewed
See detailNoradrenergic activation induced by yohimbine decreases interoceptive accuracy in healthy individuals with childhood adversity
Schulz, André UL; Deuter, Christian E.; Breden, Ion-Hideo et al

in Development and Psychopathology (in press)

Acute stress affects interoception, but it remains unclear if this is due to activation of the sympatho-adreno-medullary (SAM) or hypothalamicpituitary-adrenocortical axis. This study aimed to investigate ... [more ▼]

Acute stress affects interoception, but it remains unclear if this is due to activation of the sympatho-adreno-medullary (SAM) or hypothalamicpituitary-adrenocortical axis. This study aimed to investigate the effect of SAM axis activation on interoceptive accuracy (IAcc). Central alpha2-adrenergic receptors represent a negative feedback mechanism of the SAM axis. Major depressive disorder and adverse childhood experiences (ACE) are associated with alterations in the biological stress systems, including central alpha2-adrenergic receptors. Here, healthy individuals with and without ACE as well as depressive patients with and without ACE (n=114; all without antidepressant medication) were tested after yohimbine (alpha2-adrenergic antagonist) and placebo. We assessed IAcc and sensibility in a heartbeat counting task. Increases in systolic and diastolic blood pressure after yohimbine confirmed successful SAM axis activation. IAcc decreased after yohimbine only in the healthy group with ACE, but remained unchanged in all other groups (‘group’ × ‘drug’ interaction). This effect may be due to selective up-regulation of alpha2-adrenergic receptors after childhood trauma, which reduces capacity for attention focus on heartbeats. The sympathetic neural pathway including alpha2-adrenergic circuitries may be essential for mediating interoceptive signal transmission. Suppressed processing of physical sensations in stressful situations may represent an adaptive response in healthy individuals who experienced ACE. [less ▲]

Detailed reference viewed: 77 (3 UL)
Full Text
Peer Reviewed
See detailGene selection for optimal prediction of cell position in tissues from single-cell transcriptomics
Tanevski, Jovan; Nguyen, Thin; Truong, Buu et al

in Life Science Alliance (in press)

Single-cell RNA-seq (scRNAseq) technologies are rapidly evolving. While very informative, in standard scRNAseq experiments the spatial organization of the cells in the tissue of origin is lost. Conversely ... [more ▼]

Single-cell RNA-seq (scRNAseq) technologies are rapidly evolving. While very informative, in standard scRNAseq experiments the spatial organization of the cells in the tissue of origin is lost. Conversely, spatial RNA-seq technologies designed to maintain cell localization have limited throughput and gene coverage. Mapping scRNAseq to genes with spatial information increases coverage while providing spatial location. However, methods to perform such mapping have not yet been benchmarked. To fill this gap, we organized the DREAM Single-Cell Transcriptomics challenge focused on the spatial reconstruction of cells from the Drosophila embryo from scRNAseq data, leveraging as silver standard, genes with in situ hybridization data from the Berkeley Drosophila Transcription Network Project reference atlas. The 34 participating teams used diverse algorithms for gene selection and location prediction, while being able to correctly localize clusters of cells. Selection of predictor genes was essential for this task. Predictor genes showed a relatively high expression entropy, high spatial clustering and included prominent developmental genes such as gap and pair-rule genes and tissue markers. Application of the Top-10 methods to a zebrafish embryo dataset yielded similar performance and statistical properties of the selected genes than in the Drosophila data. This suggests that methods developed in this challenge are able to extract generalizable properties of genes that are useful to accurately reconstruct the spatial arrangement of cells in tissues. [less ▲]

Detailed reference viewed: 154 (4 UL)
See detailLa technologie blockchain – et les tendances de la décorporéisation en droit et culture
Becker, Katrin UL

in Pistes. Revue de philosophie contemporaine. Éthique, politique, philosophie des techniques (in press), 1

Detailed reference viewed: 55 (2 UL)
See detailIngeborg Bachmanns Simultan und die Frage der Rechtsbindung in Zeiten von Multilingualität und Transkulturalität
Becker, Katrin UL

in Walter, Tonio; Schramm, Edward (Eds.) Dichtung und Wahrheit - und Recht (in press)

Detailed reference viewed: 68 (0 UL)
See detailHumanities als Rekonstrukteure des Rechts
Becker, Katrin UL

in the Ends of the Humanities (in press)

Detailed reference viewed: 87 (4 UL)
Full Text
Peer Reviewed
See detailEfficient Preamble Detection and Time-of-Arrival Estimation for Single-Tone Frequency Hopping Random Access in NB-IoT
Chougrani, Houcine UL; Kisseleff, Steven UL; Chatzinotas, Symeon UL

in IEEE Internet of Things Journal (in press)

The narrowband internet of things (NB-IoT) standard is a new cellular wireless technology, which has been introduced by the 3rd Generation Partnership Project (3GPP) with the goal to connect massive low ... [more ▼]

The narrowband internet of things (NB-IoT) standard is a new cellular wireless technology, which has been introduced by the 3rd Generation Partnership Project (3GPP) with the goal to connect massive low-cost, low-complexity and long-life IoT devices with extended coverage. In order to improve power efficiency, 3GPP proposed a new Random Access (RA) waveform for NB-IoT based on a single-tone frequencyhopping scheme. RA handles the first connection between user equipments (UEs) and the base station (BS). Through this, UEs can be identified and synchronized with the BS. In this context, receiver methods for the detection of the new waveform should satisfy the requirements on the successful user detection as well as the timing synchronization accuracy. This is not a trivial task, especially in the presence of radio impairments like carrier frequency offset (CFO) which constitutes one of the main radio impairments besides the noise. In order to tackle this problem, we propose a new receiver method for NB-IoT Physical Random Access Channel (NPRACH). The method is designed to eliminate perfectly the CFO without any additional computational complexity and supports all NPRACH preamble formats. The associated performance has been evaluated under 3GPP conditions. We observe a very high performance compared both to 3GPP requirements and to the existing state-of-the-art methods in terms of detection accuracy and complexity. [less ▲]

Detailed reference viewed: 56 (9 UL)
Full Text
Peer Reviewed
See detailWhich Properties has an Icon? A Critical Discussion on Evaluation Methods for Standardised Data Protection Iconography
Rossi, Arianna UL; Lenzini, Gabriele UL

in Proceedings of the 8th Workshop on Socio-Technical Aspects in Security and Trust (STAST) (in press)

Following GDPR's Article12.7's proposal to use standardized icons to inform data subject in "an easily visible, intelligible and clearly legible manner," several icon sets have been developed. In this ... [more ▼]

Following GDPR's Article12.7's proposal to use standardized icons to inform data subject in "an easily visible, intelligible and clearly legible manner," several icon sets have been developed. In this paper, we firstly critically review some of those proposals. We then examine the properties that icons and icon sets should arguably fulfill according to Art.12's transparency provisions. Lastly, we discuss metrics and evaluation procedures to measure compliance with the Article. [less ▲]

Detailed reference viewed: 149 (13 UL)