A multilingual dataset of COVID-19 vaccination attitudes on Twitter

in Data in Brief (2022), 44

LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset)

in Data in Brief (2020), 33

The LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical ... [more ▼]

The LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical and legal theories at different conceptual layers. More concretely, it comprises, in form of a dataset (Isabelle/HOL theory files), formal encodings of multiple deontic logics, logic combinations, deontic paradoxes and normative theories in the higher-order proof assistant system Isabelle/HOL. The data were acquired through application of the LogiKEy methodology, which supports experimentation with different normative theories, in different application scenarios, and which is not tied to specific logics or logic combinations. Our workbench consolidates related research contributions of the authors and it may serve as a starting point for further studies and experiments in flexible and expressive ethical and legal reasoning. It may also support hands-on teaching of non-trivial logic formalisms in lecture courses and tutorials. [less ▲]

Transcriptome profiling data reveals Ubiquitin-Specific Peptidase 9 knockdown effects

in Data in Brief (2019), 25(1), 104130

Ubiquitin specific peptidase 9 (USP9) is a deubiquitinase encoded by a sex-linked gene with a Y-chromosomal form (USP9Y) and an X-chromosomal form (USP9X) that escapes X-inactivation. Since USP9 is a key ... [more ▼]

Ubiquitin specific peptidase 9 (USP9) is a deubiquitinase encoded by a sex-linked gene with a Y-chromosomal form (USP9Y) and an X-chromosomal form (USP9X) that escapes X-inactivation. Since USP9 is a key regulatory gene with sex-linked expression in the human brain, the gene may be of interest for researchers studying molecular gender differences and ubiquitin signaling in the brain. To assess the downstream effects of knocking down USP9X and USP9Y on a transcriptome-wide scale, we have conducted microarray profiling experiments using the human DU145 prostate cancer cell culture model, after confirming the robust expression of both USP9X and USP9Y in this model. By designing shRNA constructs for the specific knockdown of USP9X and the joint knockdown of USP9X and USP9Y, we have compared gene expression changes in both knockdowns to control conditions to infer potential shared and X- or Y-form specific alterations. Here, we provide details of the corresponding microarray profiling data, which has been deposited in the Gene Expression Omnibus database (GEO series accession number GSE79376). A biological interpretation of the data in the context of a potential involvement of USP9 in Alzheimer’s disease has previously been presented in Köglsberger et al. (2016). To facilitate the re-use and re-analysis of the data for other applications, e.g. the study of ubiquitin signaling and protein turnover control, and the regulation of molecular gender differences in the human brain and brain-related disorders, we provide a more in-depth discussion of the data properties, specifications and possible use cases. [less ▲]

Housing land transaction data and structural econometric estimation of preference parameters for urban economic simulation models

in Data in Brief (2015), 5

This paper describes a dataset of 6284 land transactions prices and plot surfaces in 3 medium-sized cities in France (Besançon, Dijon and Brest). The dataset includes road accessibility as obtained from a ... [more ▼]

This paper describes a dataset of 6284 land transactions prices and plot surfaces in 3 medium-sized cities in France (Besançon, Dijon and Brest). The dataset includes road accessibility as obtained from a minimization algorithm, and the amount of green space available to households in the neighborhood of the transactions, as evaluated from a land cover dataset. Further to the data presentation, the paper describes how these variables can be used to estimate the non-observable parameters of a residential choice function explicitly derived from a microeconomic model. The estimates are used by Caruso et al. (2015) to run a calibrated microeconomic urban growth simulation model where households are assumed to trade-off accessibility and local green space amenities. [less ▲]