cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Variability Representations in Class Models: An Empirical Assessment
Creators: name: Strüber, Daniel
name: Anjorin, Anthony
name: Berger, Thorsten
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: model-driven engineering
subject: class models
subject: variability
subject: software product lines

description: We present our paper originally published in the proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems 2020 (MODELS). Owing to the ever-growing need for customization, software systems often exist in many different variants. To avoid the need to maintain many different copies of the same model, developers of modeling languages and tools have recently started to provide representations for such variant-rich systems, notably variability mechanisms that support the implementation of differences between model variants. Available mechanisms either follow the annotative or the compositional paradigm, each of them having unique benefits and drawbacks. Language and tool designers select the used variability mechanism often solely based on intuition. A better empirical understanding of the comprehension of variability mechanisms would help them in improving support for effective modeling. In this paper, we present an empirical assessment of annotative and compositional variability mechanisms for class models. We report and discuss findings from an experiment with 73 participants, in which we studied the impact of the chosen variability mechanisms during model comprehension tasks. We find that, compared to the baseline of listing all model variants separately, the annotative technique did not affect developer performance. Use of the compositional mechanism correlated with impaired performance. For a subset of our tasks the annotative mechanism is preferred to the compositional one and the baseline. We present actionable recommendations concerning support of flexible, tasks-specific solutions, and the transfer of best established best practices from the code domain to models.
Number of vertices in Gelfand-Zetlin polytopes
Creators: name: Gusev, Pavel
name: Kiritchenko, Valentina
name: Timorin, Vladlen
Publisher: name: arXiv
Year: 2012
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05A15

description: We discuss the problem of counting vertices in Gelfand-Zetlin polytopes. Namely, we deduce a partial differential equation with constant coefficients on the exponential generating function for these numbers. For some particular classes of Gelfand-Zetlin polytopes, the number of vertices can be given by explicit formulas.
description: 11 pages, 3 figures
Generalized Attractors in Five-Dimensional Gauged Supergravity
Creators: name: Inbasekar, Karthik
name: Tripathy, Prasanta K.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In this paper we study generalized attractors in N=2 gauged supergravity theory in five dimensions coupled to arbitrary number of hyper, vector and tensor multiplets. We look for attractor solutions with constant anholonomy coefficients. By analyzing the equations of motion we derive the attractor potential. We further show that the generalized attractor potential can be obtained from the fermionic shifts. We study some simple examples and show that constant anholonomy gives rise to homogeneous black branes in five dimensions.
description: 30 pages, no figures,V3 minor revisions, to appear in JHEP
title: Verification of the influence of the sampling aperture on the digital noise power spectrum
Creators: name: Maruyama, Sho
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: Performed at one institution
subject: Experimental
subject: Not applicable
subject: Image verification
subject: Physics
subject: Experimental investigations
subject: Digital radiography
subject: Conventional radiography
subject: Radiation physics
subject: Image Quality

description: Purpose Methods and materials Results Conclusion Personal information and conflict of interest References
description: Purpose: Various image quality characteristics are evaluated for digital imaging systems. Among them, the noise power spectrum (NPS) gauges granularity in the spatial frequency domain. It has been reported that digital NPS, measured using a direct-type FPD...
Dynamism and Economic Performance: A Preliminary Report
Creators: name: Bojilov, Raicho
name: Phelps, Edmund S.
Publisher: name: Columbia University
Year: 2010
Subjects: Economics
Economics--Sociological aspects
Economic development--Technological innovations
Entrepreneurship--Economic aspects

description: This paper is a step in the identification of the determinants of performance in developed economies. A basic finding is that differences in beliefs and attitudes concerning the workplace account for most of the differences in performance. Another finding is that there are four main dimensions, or categories, in which individuals differ in workplace beliefs and attitudes. We find that the most important of them for performance, as we might have suspected, is the one we labeled vitalism. This is followed by materialism (as measured by preference for consumption over leisure), social trust, and self-reliance. We also find that differences in institutional environment have little explanatory power once we control for beliefs and attitudes.
Experimental tests for macroscopic phase coherence in magnetic-quasiparticle condensates of insulating spin systems
Creators: name: Schilling, A.
name: Grundmann, H.
name: Dell'Amore, R.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Quantum Gases (cond-mat.quant-gas)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: For most kinds of already known Bose-Einstein condensates experimental evidence for the existence of a macroscopic coherent quantum state has been provided, e.g., from the observation of interference phenomena, the formation vortices, the detection of Josephson effects, or even by the manifestation of superfluid behaviour. However, none of these hallmarks for a true, macroscopic phase-coherent state has ever been reported for any insulating spin system in a solid in which magnetic bosonic quasiparticles are thought to condense close to a quantum critical point. We describe an attempt to detect superfluid behaviour in TlCuCl3, and discuss in more detail a proposal for an experiment in which the a.c. Josephson effect can be probed by using a device composed of two weakly coupled magnetic insulators with different critical fields. We conclude that the detection of the a.c. Josephson effect is feasible for a proper choice of compounds with realistic material parameters.
description: 6 pages, 2 figures
Arduino for Sustainable Development
Creators: name: Brown, Jennifer C.
Publisher: name: Columbia University
Year: 2017
Subjects: Arduino (Programmable controller)
Programmable controllers

description: This PDF contains a set of workshop slides delivered for a course-integrated library workshop on Arduino microcontrollers; the course was SDEV UN2300 Challenges of Sustainable Development, taught at Columbia University during the Spring 2017 semester.
title: 3rd Workshop on Avionics Systems and Software Engineering (AvioSE’21)
Creators: name: Annighöfer, Björn
name: Schweiger, Andreas
name: Reich, Marina
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2021
Subjects: subject: avionics
subject: systems engineering
subject: software engineering
subject: formal method
subject: model-based
subject: requirement
subject: qualification
subject: certification
subject: simulation
subject: process
subject: tool

description: Software development in the aerospace domain is driven by new application potentials, increasing complexity, rising certification effort, and increasing cost pressure. In particular, future applications such as e.g., autonomous air transport, aircrew workload reduction, commercial UAVs, and further enhancement of existing functionality add to the system complexity. At the same time, there are challenges in communication and navigation in airspace, certification for multi-core processors, artificial intelligence as well as security for software, hardware, and connectivity. New software development methodologies and techniques are required for dealing with these challenges.
title: Modified use of the "SDF" semi-analytical stream depletion model in bounded alluvial aquifers
title: Hydrology days 2005
titleType: AlternativeTitle
title: AGU hydrology days 2005
titleType: AlternativeTitle
Creators: name: Miller, Calvin P.
name: Durnford, Deanna S.
name: Colorado State University, Publisher
Publisher: name: Mountain Scholar
Year: 2005

description: 2005 annual AGU hydrology days was held at Colorado State University on March 7 - March 9, 2005.
description: Includes bibliographical references.
description: A widely used semi-analytical model quantifying stream depletions and accretions induced by groundwater pumping and augmented groundwater recharge was reviewed for accuracy when applied in bounded alluvial aquifers. The method is based on the analytical Glover method, but uses a model-derived input parameter to account for mathematically non-ideal conditions such as variable transmissivities and nearby aquifer boundaries. Using this parameter, called the stream depletion factor (SDF) with units of time, often improves estimates and is an approximation that produces only small errors near the time of the SDF. However, recent experience has highlighted the significant errors introduced at larger times, especially in narrow aquifers. This paper reviews the approximations inherent in the method and presents expanded response curves and error curves as functions of well position within the bounded aquifer. It is shown the SDF values mapped in the half of the aquifer nearest the river do not account for aquifer boundaries, and that values in the other half follow a predictable adjustment. By removing the boundary adjustments, the method of images can be legitimately combined with the SDF method, thereby improving estimates in bounded aquifers while still benefiting from the additional information contained in SDF maps and retaining their value as standardized references for water rights administration.
title: Skill-Based Verification of Cyber-Physical Systems
Creators: name: Knüppel, Alexander
name: Jatzkowski, Inga
name: Nolte, Marcus
name: Runge, Tobias
name: Thüm, Thomas
name: Schaefer, Ina
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Deductive verification
subject: Design by contract
subject: Formal methods
subject: Theorem proving
subject: Hybrid program
subject: Cyber-physical systems

description: This work has been accepted at the 23rd International Conference on Fundamental Approaches to Software Engineering, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The increase of complexity in modeling cyber-physical systems poses a challenge for formally ensuring their functional correctness. Lack of expert knowledge and scalability are two limiting factors that prohibit a seamless integration into today's software engineering processes. To address this challenge, we propose to adopt and formalize the notion of skill graphs, an abstract and easy-to-use modeling notion for representing automated vehicle driving maneuvers. For formally verifying that skill graphs are well-formed and comply with a given set of safety requirements, we incorporate hybrid programs into our formalization. Hybrid programs constitute a program notion for cyber-physical systems on the basis of differential dynamic logic, which enables deductive and compositional verification following the idea of Hoare-style reasoning. That is, simpler verified skill graphs can be combined to exhibit complex maneuvers while validity is retained (i.e., without the need of re-verification). To showcase the benefits of our theoretical considerations, we implemented our framework in an open-source tool named Skeditor and conducted a case study exhibiting an automatic vehicle follow mode.
The Slump, the Recovery, And the 'New Normal' (Trilogy on the analytics of the crisis and the ensuing slump)
Creators: name: Phelps, Edmund S.
Publisher: name: Columbia University
Year: 2010
Subjects: Economics
Global Financial Crisis (2008-2009)
Financial crises--Economic aspects
Business cycles

description: In this paper I want to report on my understanding of the recent boom and recent slump from the perspective of stylized models of a structuralist kind – models akin to those in my 1994 book Structural Slumps and subsequent papers addressing the internet boom. My aim here is to see how far such non-monetary models can go toward illuminating the stages of the recent crisis – the boom, the downturn, the slump and the start of a recovery – the crisis that originated in the U.S., U.K., Spain, and Ireland and went on to have repercussions on other economies where banks made bad loans. The story told about these events is non-monetary in character in the sense that it abstracts from any role played by illiquidity. It is also non-REH in that it avoids the surreal premises of pervasive efficiency and knowledge that is unknowable. Let me add that parts of this survey remain sketchy at points. Like all of us thinking about this subject, my research on the issues here are very much a work in progress.
Speckles generated by skewed, short-coherence light beams
Creators: name: Brogioli, D.
name: Salerno, D.
name: Croccolo, F.
name: Ziano, R.
name: Mantegazza, F.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: When a coherent laser beam impinges on a random sample (e.g. a colloidal suspension), the scattered light exhibits characteristic speckles. If the temporal coherence of the light source is too short, then the speckles disappear, along with the possibility of performing homodyne or heterodyne scattering detection or photon correlation spectroscopy. Here we investigate the scattering of a so-called "skewed coherence beam", i.e., a short-coherence beam modified such that the field is coherent within slabs that are skewed with respect to the wave fronts. We show that such a beam generates speckles and can be used for heterodyne scattering detection, despite its short temporal coherence. When applied to quite turbid samples, the technique has the remarkable advantage of suppressing the multiple scattering contribution of the scattering signal. The phenomenon presented here represents a very effective method for measuring the coherence skewness of either a continuous wave or a pulsed beam. Another field of application concerns X-rays. The observation of speckles is usually limited to synchrotron radiation and FELs. Our experiment suggests that a short-coherence X-ray source can also be used, with no monochromator filtration, provided that the coherence is suitably skewed. Such a technique will also enable heterodyne scattering detection with standard short-coherence light sources.
description: 4 pages, 4 figures
Searching for Meaning in RNNs using Deep Neural Inspection
Creators: name: Lin, Kevin
name: Wu, Eugene
Publisher: name: Columbia University
Year: 2017
Subjects: Neural networks (Computer science)
Computer science
Neurons

description: Recent variants of Recurrent Neural Networks (RNNs)---in particular, Long Short-Term Memory (LSTM) networks---have established RNNs as a deep learning staple in modeling sequential data in a variety of machine learning tasks. However, RNNs are still often used as a black box with limited understanding of the hidden representation that they learn. Existing approaches such as visualization are limited by the manual effort to examine the visualizations and require considerable expertise, while neural attention models change, rather than interpret, the model. We propose a technique to search for neurons based on existing interpretable models, features, or programs.
title: Radiological features and technical aspects affecting the clinical outcome of image-guided drainage of renal and perinephric abscesses
Creators: name: El-Ksas, Mostafa
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: Performed at one institution
subject: Observational
subject: Retrospective
subject: Abscess
subject: Drainage
subject: Ultrasound
subject: CT
subject: Kidney
subject: Genitourinary

description: Purpose Methods and materials Results Conclusion Personal information and conflict of interest References
description: Purpose: To evaluate the success rates and clinical outcome of image guided percutaneous drainage of renal and perinephric abscesses with or without psoas muscle involvement in correlation with pre-intervention radiological findings and procedure...
title: #ifdef Directives and Program Comprehension: The Dilemma between Correctness and Preference
Creators: name: Fenske, Wolfram
name: Krüger, Jacob
name: Kanyshkova, Maria
name: Schulze, Sandro
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Configurable Systems
subject: Preprocessors
subject: Program Comprehension
subject: Refactoring
subject: Empirical Study

description: In this extended abstract, we summarize our paper with the homonymous title published at the International Conference on Software Maintenance and Evolution (ICSME) 2020.
title: What Developers (Care to) Recall: An Interview Survey on Smaller Systems
Creators: name: Krüger, Jacob
name: Hebig, Regina
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Knowledge
subject: Information needs
subject: Developers' memory

description: This extended abstract summarizes our paper with the homonymous title published at the International Conference on Software Maintenance and Evolution (ICSME) 2020.
title: Learning to Generate Fault-revealing Test Cases in Metamorphic Testing
Creators: name: Spieker, Helge
name: Gotlieb, Arnaud
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Software Testing
subject: Metamorphic Testing
subject: 0Machine Learning
subject: Contextual Bandits

description: Metamorphic Testing is a software testing paradigm which aims at using necessary properties of a system under test, called metamorphic relations (MR), to either check its expected outputs, or to generate new test cases. Metamorphic Testing has been successful to test programs for which a full oracle is unavailable or to test programs with uncertainties on expected outputs such as learning systems. In this paper, we formulate the effective selection of MRs as a reinforcement learning problem, based on contextual bandits. Our method Adaptive Metamorphic Testing sequentially selects a MR that is expected to provide the highest payoff, i.e., that is most likely to reveal faults. Which MRs are likely to reveal faults is learned from successive exploration trials. The bandit explores the available MRs and evaluates the fault landscape of the system under test, thereby providing valuable information to the tester. We present experimental results over two applications in machine learning, namely image classification and object detection, where Adaptive Metamorphic Testing efficiently identifies weaknesses of the tested systems. The original paper "Adaptive Metamorphic Testing with Contextual Bandits" first appeared in the Journal of Systems and Software (2020).
title: The effectiveness of stent graft placement to treat cephalic arch stenosis in patients with dysfunctional arteriovenous fistula
Creators: name: Lam, Stefan
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: Performed at one institution
subject: Interventional Radiology
subject: Interventional vascular
subject: Catheter venography
subject: Angioplasty
subject: Catheters
subject: Stents
subject: Fistula
subject: Retrospective
subject: Observational

description: Purpose Methods and materials Results Conclusion Personal information and conflict of interest References
description: Purpose: The establishment and maintenance of adequate vascular access in chronic kidney disease patients for haemodialysis is vital to their survival and quality of life. Arteriovenous fistulas (AVF) are widely accepted as the first-line method of access...
Analysis of Super Fine-Grained Program Phases
Creators: name: Bui, Van
name: Kim, Martha Allen
Publisher: name: Columbia University
Year: 2017
Subjects: Computer science
Phase detectors
Parallel programming (Computer science)

description: Dynamic reconfiguration systems guided by coarse-grained program phases has found success in improving overall program performance and energy efficiency. These performance/energy savings are limited by the granularity that program phases are detected since phases that occur at a finer granularity goes undetected and reconfiguration opportunities are missed. In this study, we detect program phases using interval sizes on the order of tens, hundreds, and thousands of program cycles. This is in stark contrast with prior phase detection studies where the interval size is on the order of several thousands to millions of cycles. The primary goal of this study is to begin to fill a gap in the literature on phase detection by characterizing super fine-grained program phases and demonstrating an application where detection of these relatively short-lived phases can be instrumental. Traditional models for phase detection including basic block vectors and working set signatures are used to detect super fine-grained phases as well as a less traditional model based on microprocessor activity. Finally, we show an analytical case study where super fine-grained phases are applied to voltage and frequency scaling optimizations.
Understanding and Detecting Concurrency Attacks
Creators: name: Gu, Rui
name: Gan, Bo
name: Zhao, Jason Sihua
name: Ning, Yi
name: Cui, Heming
name: Yang, Junfeng
Publisher: name: Columbia University
Year: 2016
Subjects: Computer science
Cyberterrorism
Software engineering

description: Just like bugs in single-threaded programs can lead to vulnerabilities, bugs in multithreaded programs can also lead to concurrency attacks. Unfortunately, there is little quantitative data on how well existing tools can detect these attacks. This paper presents the first quantitative study on concurrency attacks and their implications on tools. Our study on 10 widely used programs reveals 26 concurrency attacks with broad threats (e.g., OS privilege escalation), and we built scripts to successfully exploit 10 attacks. Our study further reveals that, only extremely small portions of inputs and thread interleavings (or schedules) can trigger these attacks, and existing concurrency bug detectors work poorly because they lack help to identify the vulnerable inputs and schedules. Our key insight is that the reports in existing detectors have implied moderate hints on what inputs and schedules will likely lead to attacks and what will not (e.g., benign bug reports). With this insight, this paper presents a new directed concurrency attack detection approach and its implementation, OWL. It extracts hints from the reports with static analysis, augments existing detectors by pruning out the benign inputs and schedules, and then directs detectors and its own runtime vulnerability verifiers to work on the remaining, likely vulnerable inputs and schedules. Evaluation shows that OWL reduced 94.3% reports caused by benign inputs or schedules and detected 7 known concurrency attacks. OWL also detected 3 previously unknown concurrency attacks, including a use-after-free attack in SSDB confirmed as CVE-2016-1000324, an integer overflow, HTML integrity violation in Apache and three new MySQL data races confirmed with bug ID 84064, 84122, 84241. All OWL source code, exploit scripts, and results are available at https://github.com/ruigulala/ConAnalysis.
title: What Am I Testing and Where? Comparing Testing Procedures Based on Lightweight Requirements Annotations
Creators: name: Pudlitz, Florian
name: Brokhausen, Florian
name: Vogelsang, Andreas
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Annotation
subject: Requirements modeling
subject: Test management
subject: Test evaluation
subject: Simulation

description: The article was originally published in the international journal Empirical Software Engineering with the title "What am I testing and where? Comparing testing procedures based on lightweight requirements annotations."
title: Reducing Incidence of Contrast Induced Nephropathy in Scarborough Hospital by Improving Documentation of Renal Function on Request Cards
Creators: name: raofi, ahmad
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: Genitourinary
subject: Contrast agents
subject: Kidney
subject: CT
subject: Contrast agent-intravenous
subject: Safety
subject: Drugs / Reactions
subject: Education and training
subject: Toxicity
subject: Retrospective
subject: Not applicable

description: Purpose Methods and materials Results Conclusion Personal information and conflict of interest References
description: Purpose: Contrast induced nephropathy (CIN) is defined as increase in serum creatinine by ≥ 26µmol/L within 48 hours or serum creatinine rises ≥ 1.5 fold from the baseline value within 72 hours of intravascular contrast administration in absence of...
title: Automated Reuse of Test Cases for Highly Configurable Software Systems
Creators: name: Fischer, Stefan
name: Michelon, Gabriela Karoline
name: Ramler, Rudolf Ramler
name: Linsbauer, Lukas
name: Egyed, Alexander
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Variability
subject: Configurable software
subject: Clone-and-own
subject: Reuse
subject: Testing

description: In this work, we report about our research results initially published in the journal Empirical Software Engineering, volume 25, issue 6, pp. 5295–5332, November 2020, https://doi.org/10.1007/s10664-020-09884-x. We performed experiments on test reusability across configurations of highly configurable software systems. First, we used manually written tests for specific configurations of three configurable systems and investigated how changing configuration options affects these tests. Subsequently, we applied an approach developed for automated reuse, ECCO (Extraction and Composition for Clone-and-Own), to automatically generate tests for new configurations from the existing, manually written tests. The experiments showed that our generated tests had a higher or equal success rate compared to direct reuse and they generally achieved a higher code coverage. It can be concluded that automating the reuse of tests for configurable software can substantially reduce the effort for adapting existing tests and it supports a rigorous testing process.
Deliverable D4.1 – Practices evaluation and mapping: Methods, tools and user needs
Creators: name: Kraker, Peter
name: Bachleitner, Rainer
name: Viltė Banelytė
name: Ilire Hasani-Mavriqi
name: Luzi, Daniela
name: Ruggieri, Roberta
name: Electra Sifacaki
name: Stanciauskas, Vilius
name: Vignoli, Michela
name: Mappet Walker
Publisher: name: Zenodo
Year: 2019
Subjects: OpenUP methods tools user needs

description: In Work Package 4, we explored the emerging landscape of innovative dissemination. Our exploration is user-driven: the goal is to provide stakeholders with an entry point to innovative dissemination, so that they can choose methods and tools based on their audience, their skills and their requirements. In this deliverable, we describe the first iteration of the innovative dissemination framework developed in the first year of the project.
How does confinement affect the dynamics of viscous vesicles and red blood cells?
Creators: name: Kaoui, Badr
name: Krüger, Timm
name: Harting, Jens
Publisher: name: arXiv
Year: 2012
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Biological Physics (physics.bio-ph)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: Despite its significance in microfluidics, the effect of confinement on the transition from the tank-treading (steady motion) to the tumbling (unsteady motion) dynamical state of deformable micro-particles has not been studied in detail. In this paper, we investigate the dynamics of a single viscous vesicle under confining shear as a general model system for red blood cells, capsules, or viscous droplets. The transition from tank-treading to tumbling motion can be triggered by the ratio between internal and external fluid viscosities. Here, we show that the transition can be induced solely by reducing the confinement, keeping the viscosity contrast constant. The observed dynamics results from the variation of the relative importance of viscous-, pressure-, and lubrication-induced torques exerted upon the vesicle. Our findings are of interest for designing future experiments or microfluidic devices: the possibility to trigger the tumbling-to-tank-treading transition either by geometry or viscosity contrast alone opens attractive possibilities for microrheological measurements as well as the detection and diagnosis of diseased red blood cells in confined flow.
description: 8 pages, 8 figures; Soft Matter 2012
title: An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse
Creators: name: Krüger, Jacob
name: Berger, Thorsten
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Economics
subject: Software reuse
subject: Empirical study
subject: Clone & own
subject: Software product line
subject: Platform engineering

description: In this extended abstract, we summarize our paper with the homonymous title published at the Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2020.
Biodiversity Digital Twin: General Project Vision
Creators: name: Harrison, Jesse
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Digital Twin
Destination Earth
HPC

description: The Biodiversity Digital Twin (BioDT) project brings together experts in high-performance computing, ecology and artificial intelligence to develop prototype digital twins (DT) that push the limits of predictive biodiversity modeling.

 Objectives Build and deploy a pre-operational BioDT technical platform for DT operation and access, using the LUMI supercomputer Support interoperability of data and services through integration with biodiversity research infrastructures Ensure interoperability of BioDT with Destination Earth (DestinE) and the European Data Infrastructure The digital twins developed in BioDT are designed to serve a broad range of end-users (Fig. 1), following FAIR principles. The poster was first presented at the BioDT Annual Meeting 2023, 13-14 June in Leiden, Netherlands. Visit the BioDT website
title: The effect of L-carnitine supplementation and training on MR spectroscopy of thigh muscle in healthy women over 65 years old
Creators: name: Sabisz, Agnieszka
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: Performed at one institution
subject: Experimental
subject: Prospective
subject: Tissue characterisation
subject: Treatment effects
subject: Musculoskeletal
subject: MR physics
subject: Musculoskeletal soft tissue
subject: MR-Spectroscopy

description: Purpose Methods and materials Results Conclusion Personal information and conflict of interest References
description: Purpose: MRS has been adopted in medicine as a method of studying chemical compounds formed in metabolic processes that take place in tissues and allows quantitative assessment of biochemical processes. Phosphorus magnetic resonance spectroscopy (31P-MRS)...
title: 2nd Workshop on Requirement Management in Enterprise Systems Projects (AESP’21)
Creators: name: Weiss, Christoph
name: Keckeis, Johannes
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2021
Subjects: subject: enterprise systems
subject: enterprise resource planning
subject: requirements management

description: ERP systems and other enterprise systems are the backbone of any company in a digitized world. In almost every company Enterprise Systems are adapted to the needs of the customers within the scope of parameterization, modifications (changes to existing functions and logics) or even extensions (new developments of existing functions and logics). However, many of such Enterprise Systems projects fail due to missing, incorrect, inadequate or incomplete requirements there are "incorrect" expectations, divergents in definition and attitudes on requirements management between customers and suppliers. These challenges will be highlighted, talked over and discussed during this workshop.
Macroeconomic Effects of Over-investment in Housing in an Aggregative Model of Economic Activity (a trilogy on the analytics of the crisis and the ensuing slump)
Creators: name: Hoon, Hian Teck
name: Phelps, Edmund S.
Publisher: name: Columbia University
Year: 2010
Subjects: Economics
Real estate investment--Econometric models
Employment (Economic theory)--Econometric models
Housing--Prices--Econometric models

description: Is there a theoretical basis for the view that the end of a period of over-investment necessarily leads to a period of below-normal employment as the excess capital stock is run down? We study the repercussions of a false boom in housing driven by prior expectations of future housing prices not justified by fundamentals. When these expectations are corrected, the result is a precipitous drop in housing prices and, on that account alone, some drop in employment. There is also a bulge in the housing stock. In the closed economy case, the downward shift of the term structure of interest rates due to the excess housing stock props up housing prices above the normal steady-state level, so the drop of housing prices “undershoots.” Although this transient elevation of housing prices has a positive demand-wage effect on employment, we show that the wealth effect from owning a higher housing stock and a negative Hicks-Lucas-Rapping effect of lower interest rates dominate, so employment drops initially to a below-normal level. The slump gradually subsides as the housing overhang wears off. In the case of a small open economy that faces a world of perfect capital mobility and takes as given the world interest rate, there are two possibilities. If housing services are instantaneously tradeable and perfect substitutes for foreign ones, so purchasing power parity holds, the end of the bubble causes housing prices to drop precisely to the steady-state level. Since there is no undershooting, the wealth effect of the housing overhang is unopposed and the slump is deeper. If domestic and foreign housing services are imperfect substitutes, the country will suffer a period with a weak real exchange rate, thus to a drop of housing prices that “overshoots” the normal level. Here the slump in employment is worsened by the exaggerated fall in housing prices below the steady-state level.
Shear Modulus of an Elastic Solid under External Pressure as a function of Temperature: The case of Helium
Creators: name: Barra, Felipe
name: Lund, Fernando
name: Mujica, Nicolás
name: Rica, Sergio
Publisher: name: arXiv
Year: 2011
Subjects: subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: The energy of a dislocation loop in a continuum elastic solid under pressure is considered within the framework of classical mechanics. For a circular loop, this is a function with a maximum at pressures that are well within reach of experimental conditions for solid helium suggesting, in this case, that dislocation loops can be generated by a pressure-assisted thermally activated process. It is also pointed out that pinned dislocations segments can alter the shear response of solid helium, by an amount consistent with current measurements, without any unpinning.
description: 5 pages, 3 figures
title: Specmate: Automated Creation of Test Cases from Acceptance Criteria
Creators: name: Fischbach, Jannik
name: Vogelsang, Andreas
name: Spies, Dominik
name: Wehrle, Andreas
name: Junker, Maximilian
name: Freudenstein, Dietmar
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: test case creation
subject: natural language processing
subject: model-based testing
subject: user stories
subject: agile software development

description: We summarize the paper Specmate: Automated Creation of Test Cases from Acceptance Criteria, which was presented at the 2020 edition of the IEEE International Conference on Software Testing, Verification and Validation (ICST).
title: Role of contrast-enhanced CT in evaluating prognosis of acute pyelonephritis
Creators: name: Kim, Beum Jin
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: Genitourinary
subject: Kidney
subject: CT
subject: Laboratory tests
subject: Infection
subject: Inflammation
subject: Retrospective
subject: Diagnostic or prognostic study
subject: Performed at one institution

description: Purpose Methods and materials Results Conclusion Personal information and conflict of interest References
description: Purpose: Acute pyelonephritis (APN) is an acute inflammation of the renal collecting system and parenchyma and a common infectious disease encountered in hospitalized patients. Approximately 20% to 35% of females experience an episode of APN in their...
Demonstration of On-Sky Calibration of Astronomical Spectra using a 25 GHz near-IR Laser Frequency Comb
Creators: name: Ycas, Gabriel G.
name: Quinlan, Franklyn
name: Diddams, Scott A.
name: Osterman, Steve
name: Mahadevan, Suvrath
name: Redman, Stephen
name: Terrien, Ryan
name: Ramsey, Lawrence
name: Bender, Chad F.
name: Botzer, Brandon
name: Sigurdsson, Steinn
Publisher: name: arXiv
Year: 2012
Subjects: subject: Optics (physics.optics)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We describe and characterize a 25 GHz laser frequency comb based on a cavity-filtered erbium fiber mode-locked laser. The comb provides a uniform array of optical frequencies spanning 1450 nm to 1700 nm, and is stabilized by use of a global positioning system referenced atomic clock. This comb was deployed at the 9.2 m Hobby-Eberly telescope at the McDonald Observatory where it was used as a radial velocity calibration source for the fiber-fed Pathfinder near-infrared spectrograph. Stellar targets were observed in three echelle orders over four nights, and radial velocity precision of \sim10 m/s (\sim6 MHz) was achieved from the comb-calibrated spectra.
description: 12 pages, 7 figures
The Secret Faces of Inscrutable Poets in Nelson Algren's Chicago: City on the Make
Creators: name: McMahon, Jeffrey
Publisher: name: University of Chicago
Year: 2002
Subjects: subject: Nelson Algren
subject: Chicago City on the Make
subject: Chicago literature
subject: Carl Sandburg
subject: Ben Maddow
subject: David Wolff
subject: Emergence Theory
subject: Walt Whitman

description: ABSTRACT: Shades of New York in Algren’s Chicago. Many critics and readers regard Nelson Algren’s Chicago: City on the Make as “the best book about Chicago.” Fifty years after its initial publication, the essay continues to win praise for capturing the essence of the city. This thesis examines the symbolic and structural elements within the text that have produced those impressions in readers. It refutes the usual explanations—that Algren captures an essential Chicago that exists outside of time, or that Algren captures a real Chicago that existed in history—as mystical or impossible, and shows instead how Algren builds a convincing textual city through complex systems of reference to prior literary depictions. Chief among Algren’s source texts is Carl Sandburg’s poem “Chicago,” a textual portrait that has defined the city since 1914. In this poem, Sandburg personifies Chicago as a series of character types: a worker with big shoulders, a laughing fighter, a tall, bold slugger. Algren fleshes out these characters, filling his essay with big shoulders, laughing fighters, and bold sluggers. Because they connect to Sandburg’s personifications of Chicago, Algren’s characters stand in for the city as a whole; their actions reveal not only their individual character but the urban character of the city. But Algren’s Chicago also depends on unexpected literary sources, and this thesis presents original research showing that Algren draws upon poetry of New York to paint his picture of Chicago. Algren alters Sandburg’s Chicago through an elaborate system of reference to Ben Maddow’s 1940 poem of New York, “The City,” and Algren’s controlling metaphor follows the literary ethic of another New York poet: Walt Whitman.
title: Robotics Software Engineering: A Perspective from the Service Robotics Domain
Creators: name: García, Sergio
name: Strüber, Daniel
name: Brugali, Davide
name: Berger, Thorsten
name: Pelliccione, Patrizio
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: robotics
subject: software engineering
subject: interview study
subject: questionnaire study

description: We present our paper published in the proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2020. Robots that support humans by performing useful tasks (a.k.a., service robots) are booming worldwide. In contrast to industrial robots, the development of service robots comes with severe software engineering challenges, since they require high levels of robustness and autonomy to operate in highly heterogeneous environments. As a domain with critical safety implications, service robotics faces a need for sound software development practices. In this paper, we present the first large-scale empirical study to assess the state of the art and practice of robotics software engineering. We conducted 18 semi-structured interviews with industrial practitioners working in 15 companies from 9 different countries and a survey with 156 respondents (from 26 countries) from the robotics domain. Our results provide a comprehensive picture of (i) the practices applied by robotics industrial and academic practitioners, including processes, paradigms, languages, tools, frameworks, and reuse practices, (ii) the distinguishing characteristics of robotics software engineering, and (iii) recurrent challenges usually faced, together with adopted solutions. The paper concludes by discussing observations, derived hypotheses, and proposed actions for researchers and practitioners.
Climate Change, the Knowledge Problem and the Good Life
Creators: name: Ammous, Saifedean H.
name: Phelps, Edmund S.
Publisher: name: Columbia University
Year: 2011
Subjects: Economics
Uncertainty
Climatic changes--Decision making
Climate change mitigation
Climatic changes--Social aspects

description: This paper will argue that we must address the challenge of climate change through the prism of what is called the knowledge problem and—no less important—from the perspective of the good life. When discussing our society’s big problems, there is a tendency to assume that we have the knowledge we will require to act on the problems before us. And there is a tendency to presume that the intentions of our actions will translate seamlessly to the desired consequences. Knowledge problems are why both these assumptions can be wrong – and why they can lead to unintended outcomes, some of them disastrous. This paper will briefly outline some of the problems with our knowledge of climate and energy systems, and how these problems can affect planning and policies on climate change, before discussing how these plans and policies come to bear on the conception of the good life. The case of biofuels policies will be used as an illustration of these problems.
Tricholabiodes denticrus BISCHOFF 1920
Creators: name: Madl, Michael
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Mutillidae
Tricholabiodes
Tricholabiodes denticrus

description: Tricholabiodes denticrus BISCHOFF, 1920
The record from Djibouti by BAYLISS (1998: 294) is an error. BISCHOFF (1920: 105) recorded this species from Eritrea.
description: Published as part of Madl, Michael, 2018, A preliminary catalogue of the Hymenoptera (Insecta) of the Republic of Djibouti, pp. 907-967 in Linzer biologische Beiträge 50 (2) on page 921, DOI: 10.5281/zenodo.3776452
Uniformity of measures with Fourier frames
Creators: name: Dutkay, Dorin Ervin
name: Lai, Chun-Kit
Publisher: name: arXiv
Year: 2012
Subjects: subject: Functional Analysis (math.FA)
subject: FOS: Mathematics

description: We examine Fourier frames and, more generally, frame measures for different probability measures. We prove that if a measure has an associated frame measure, then it must have a certain uniformity in the sense that the weight is distributed quite uniformly on its support. To be more precise, by considering certain absolute continuity properties of the measure and its translation, we recover the characterization on absolutely continuous measures $g\, dx$ with Fourier frames obtained in \cite{Lai11}. Moreover, we prove that the frame bounds are pushed away by the essential infimum and supremum of the function $g$. This also shows that absolutely continuous spectral measures supported on a set $Ω$, if they exist, must be the standard Lebesgue measure on $Ω$ up to a multiplicative constant. We then investigate affine iterated function systems (IFSs), we show that if an IFS with no overlap admits a frame measure then the probability weights are all equal. Moreover, we also show that the Łaba-Wang conjecture \cite{MR1929508} is true if the self-similar measure is absolutely continuous. Finally, we will present a new approach to the conjecture of Liu and Wang \cite{LW} about the structure of non-uniform Gabor orthonormal bases of the form ${\mathcal G}(g,Λ,{\mathcal J})$.
title: Learning from grade 3 invasive breast cancer presented as an interval.
Creators: name: Presa , Teresa
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: Breast
subject: Breast
subject: Mammography
subject: Screening
subject: Cancer
subject: Retrospective
subject: Observational
subject: Performed at one institution

description: Purpose Methods and materials Results Conclusion Personal information and conflict of interest References
description: Purpose: Interval cancers are cancers diagnosed after a normal screening mammogram and before the next scheduled screening. Interval cancers are inherent to every screening programme. A regular review of interval cancers is important for the following...