cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Stochastic optimization of the geological sequestration of carbon dioxide
title: Hydrology days 2013
titleType: AlternativeTitle
title: AGU hydrology days 2013
titleType: AlternativeTitle
Creators: name: Cody, Brent
name: González-Nicolás, Ana
name: Baù, Domenico
name: Colorado State University, Publisher
Publisher: name: Mountain Scholar
Year: 2013

description: 2013 annual AGU hydrology days was held at Colorado State University on March 25 - March 27, 2013.
description: Includes bibliographical references.
description: Geological sequestration has been identified as having potential to reduce increasing atmospheric concentrations of carbon dioxide (CO2). However, a global impact will only be achieved if this technology is implemented on a massive scale. This work presents a methodology for finding optimal operational schemes for potential sequestration sites having uncertain physical parameters. This tool uses a semi-analytical algorithm to estimate leakage rather than a calibrated numerical model enabling application to potential sites having vastly different domain characteristics. A genetic algorithm is used to heuristically determine non-dominated solutions between the following competing objectives: 1) minimize project cost, 2) minimize risk, and 3) maximize mass of CO2 sequestered. Parallel processing and archiving are employed to reduce computational cost. This framework has been developed into an application (COSMOS: CO2 sequestration simulation and multi-objective optimization software) to visually display domain characteristics, pressure pulse and CO2 plume propagation during simulation, and pareto-optimal tradeoff solutions. Due to the large set of assumptions made by the semi-analytical CO2 leakage algorithm, this framework may only be used for initial site planning and characterization. Once full developed, this tool has the potential for initial screening and ranking of large sets of potential geological sequestration sites.
The Entrepreneurial Economy I: Contracting under Knightian Uncertainty
Creators: name: Amarante, Massimiliano
name: Ghossoub, Mario
name: Phelps, Edmund S.
Publisher: name: Columbia University
Year: 2011
Subjects: Economics
Uncertainty--Economic aspects
Entrepreneurship
Capitalists and financiers
Capitalism
Central planning

description: This is the first of a series of papers in which we address the questions How do capitalist systems generate their dynamism and Why a capitalist economy is inherently different from a centrally planned one. We believe that, in order to study these issues, we must thoroughly reconsider the role played by entrepreneurs and financiers in actual economies. We claim that this role has been grossly misrepresented in classical theories, mainly because of the way the "uncertainty" is modeled. We begin by proposing a new definition of "innovation". This differs from any other definition previously given in the literature and reveals at once the inadequacy of the current theoretical paradigm. In fact, it shows that (a) Knightian uncertainty rather than Risk plays a crucial role in capitalist economies; (b) that two groups of agents, entrepreneurs and financiers, play a special role in that they deal with Knightian uncertainty; (c) that a crucial difference between centrally planned and capitalist systems might reside in the latter's ability to deal with Knightian uncertainty. The final part of this paper focuses on the role of entrepreneurs and financiers as micro actors. There, we study the problem of two parties contracting in a situation of Knightian Uncertainty. This is widely recognized as a very difficult problem, which has not been solved despite several attempts. Here, we solve the problem in a special case, which is nonetheless sufficient for our purposes.
Ultrasound registration and tracking for robot-assisted laproscopic surgery
Creators: name: Yip, Michael Chak Luen
Publisher: name: University of British Columbia
Year: 2011

description: In the past two decades, there has been considerable research interest in medical image registration during surgery. The overlay of medical images over the images from a surgical camera allows the surgeon to see sub-surface features such as tumor boundaries and vasculature. Ultrasound imaging is a prime candidate for medical image registration, as it is a real-time imaging modality and therefore is commonly-used for intraoperative surgical guidance. Prior technologies that attempted ultrasound-based registration have used external trackers in order to establish a geometric correspondence between the surgical cameras and the ultrasound probes; this requires probe and camera calibration, which is time-consuming, requires additional equipment, and adds additional sources of error to the registration. Another problem is how to maintain a registration between the ultrasound image and the underlying tissues, since tissues will move and deform from patient breathing and heartbeat, and from surgical instrument interaction with tissues. In order to overcome this, the underlying tissue should be tracked, and previously acquired ultrasound images should be registered and moved with the tracked tissue. Prior work has had limited success in providing a real-time solution for estimating local tissue deformation and movement; furthermore, there has been no work in estimating the accuracy of maintaining a registration --- that is, the accuracy of the registration after having been moved with the tracked tissue. In this work, we establish an image registration method between ultrasound images and endoscopic stereo-cameras using a novel registration tool; this method does not require external tracking or ultrasound probe calibration, thus providing a simple method for performing a registration. In order to maintain an image registration over time, we developed a tissue tracking framework. Its key innovation is in achieving real-time tracking of a dense tissue surface map. We use the STAR detector and Binary Robust Independent Elementary Features and compare their performance to prior tissue feature tracking methods, showing that they perform significantly faster while still managing to track the tissue at high densities. Experiments are performed on ex-vivo bovine heart, kidney, and porcine liver tissues, and initial results show that registrations can be maintained within 3 mm.
title: Preoperative staging of axillary lymph nodes in patients with invasive breast cancer.Avoiding sentinel lymphadenectomy by maximizing ultrasound guided fine-needle aspiration positiveness.
Creators: name: Paraskevopoulou, Anna
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: Breast
subject: Breast
subject: Lymph nodes
subject: Oncology
subject: Ultrasound
subject: Biopsy
subject: Staging
subject: Cancer
subject: Prospective
subject: Observational
subject: Performed at one institution

description: Purpose Methods and materials Results Conclusion Personal information and conflict of interest References
description: Purpose: Evaluation of axillary lymph node staging is an important prognostic indicator for patients with early stage breast cancer.Moreover preoperative assessment of axillary lymph nodes is crucial for surgical and treatment planning. Over the last years...
Quantum Dynamics of a Driven Correlated System Coupled to Phonons
Creators: name: Vidmar, Lev
name: Bonca, Janez
name: Tohyama, Takami
name: Maekawa, Sadamichi
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Nonequilibrium interplay between charge, spin and lattice degrees of freedom on a square lattice is studied for a single charge carrier doped in the t-J-Holstein model. In the presence of an uniform electric field we calculate the qusistationary state. With increasing electron-phonon (e-ph) coupling the carrier mobility decreases, however, we find increased steady state current due to e-ph coupling in the regime of negative differential resistance. We explore the distribution of absorbed energy between the spin and the phonon subsystem. For model parameters as relevant for cuprates, the majority of the gained energy flows into the spin subsystem.
title: Reshuffling tasks at the radiology department: ultrasound guided peripheral intravenous line placement by radiographers
Creators: name: Gilani, Warda
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: Ultrasound
subject: Anatomy
subject: Radiographers
subject: Veins / Vena cava
subject: Ultrasound
subject: Ultrasound-Colour Doppler
subject: Puncture
subject: Education and training
subject: Prospective
subject: Not applicable
subject: Performed at one institution

description: Purpose Methods and materials Results Conclusion Personal information and conflict of interest References
description: Purpose: An intravenous line is often required to administer contrast agents for diagnostic CT or MRI exams, or for therapeutic purposes to administer drugs such as chemotherapy and immunotherapy. The placement of these lines can be difficult, especiallyin...
title: Value of high-resolution 2D-TSE-T2WI combined with fat-suppressed gadolinium-enhanced isotropic high-resolution 3D-GRE-T1WI in detecting EMVI in rectal cancer
Creators: name: Chen, Yan
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: Performed at one institution
subject: Diagnostic or prognostic study
subject: Retrospective
subject: Cancer
subject: Technology assessment
subject: Diagnostic procedure
subject: Comparative studies
subject: MR
subject: Vascular
subject: Oncology
subject: Gastrointestinal tract
subject: GI Tract

description: Purpose Methods and materials Results Conclusion Personal information and conflict of interest References
description: Purpose: Extramural vascular invasion (EMVI) is defined as the presence of tumor cells in the vasculature outside the muscularis propria (1). EMVI is a risk factor of recurrence and death in rectal cancer (2). Although histopathology is considered the gold...
title: Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
Creators: name: Gerking, Christopher
name: Schubert, David
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2019
Subjects: subject: security policy
subject: information flow
subject: microservice architecture
subject: cyber-physical systems
subject: component-based software engineering
subject: composability

description: This publication is based on our paper presented at the IEEE International Conference on Software Architecture 2019. Due to their close interconnection with the outside world, cyber-physical systems are vulnerable to information leaks. Accordingly, it is crucial for software engineers to regulate and analyze the flow of information through systems. The microservice architectural style requires engineers to refine the regulations into security policies for the constituent software components. These policies must be composable to secure the information flow from end to end. However, since security is hard to compose, a composition of secure components may lead to an insecure system. In our paper, we enable microservice architectures of cyber-physical systems to be composed securely. First, we provide engineers with a set of architectural well-formedness rules for the refinement of security policies, ensuring composability if the constituent components communicate by message passing. Second, we present a verification technique to analyze whether the real-time message passing of components adheres to their refined security policies. Since the analysis results are securely composable, we assure engineers that a composition of secure components will always lead to a secure system. We evaluated the accuracy of our contributions using an extension of the CoCoME case study.
Early-type galaxies at z~1.3. IV. Scaling relations in different environments
Creators: name: Raichoor, A.
name: Mei, S.
name: Stanford, S. A.
name: Holden, B. P.
name: Nakata, F.
name: Rosati, P.
name: Shankar, F.
name: Ford, H.
name: Huertas-Company, M.
name: Illingworth, G.
name: Kodama, T.
name: Postman, M.
name: Rettura, A.
name: Blakeslee, J. P.
name: Demarco, R.
name: Jee, M. J.
name: Tanaka, M.
name: White, R. L.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We present the Kormendy and mass-size relations for early-type galaxies (ETGs) as a function of environment at z~1.3. Our sample includes 76 visually classified ETGs with masses 10^10 < M/Msun < 10^11.5, selected in the Lynx supercluster and in the GOODS/CDF-S field, 31 ETGs in clusters, 18 in groups and 27 in the field, all with multi-wavelength photometry and HST/ACS observations. The Kormendy relation, in place at z~1.3, does not depend on the environment. The mass-size relation reveals that ETGs overall appear to be more compact in denser environments: cluster ETGs have sizes on average around 30-50% smaller than those of the local universe, and a distribution with a smaller scatter, whereas field ETGs show a mass-size relation with a similar distribution than the local one. Our results imply that (1) the mass-size relation in the field did not evolve overall from z ~ 1.3 to present; this is interesting and in contrast to the trend found at higher masses from previous works; (2) in denser environments, either ETGs have increased their size by 30-50%, on average, and spread their distributions, or more ETGs have been formed within the dense environment from not ETG progenitors or larger galaxies have been accreted to a pristine compact population to reproduce the mass-size relation observed in the local Universe. Our results are driven by galaxies with masses M<2*10^11Msun and those with masses M~10^11Msun follow the same trends that the entire sample. Following Valentinuzzi et al. definition of superdense ETGs, around 35-45% of our cluster sample is made of superdense ETGs.
description: 20 pages, ApJ in press
title: BORAMEP application to the low flow conveyance channel on the Middle Rio Grande, New Mexico
title: Hydrology days 2005
titleType: AlternativeTitle
title: AGU hydrology days 2005
titleType: AlternativeTitle
Creators: name: Jay, Forrest
name: Julien, Pierre
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: The Bureau of Reclamation Automated Modified Einstein Procedure (BORAMEP) is a computer model that utilizes the Modified Einstein Procedure (MEP) to estimate the total sediment load in a hydraulic system. The effectiveness of BORAMEP has been evaluated by using sediment and hydraulic data from Low Flow Conveyance Channel (LFCC) on the Middle Rio Grande. The total load and sand load at three cross sections of the Low Flow Conveyance Channel were calculated using three different methods. The suspended sediment load was also calculated. BORAMEP total load results appear to be consistent with the total load estimates from the sampling sills at flow rates near 300 cfs but tend to underestimate the total load at flow rates near 600 cfs by at least a factor of two when compared to the total load estimates from the sampling sills. Sand load estimates from BORAMEP appear to be consistent with sand load estimates from the sampling sills at flow rates near 300 and 600 cfs.
title: 8th Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems (EMLS'21)
Creators: name: Heinrich, Robert
name: Jung, Reiner
name: Konersmann, Marco
name: Schmieders, Eric
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2021
Subjects: subject: Software-Evolution
subject: Architektur
subject: Modellierung
subject: Analyse

description: Software ist ein wesentlicher Bestandteil unseres täglichen Lebens. Mobilität, Energie, Wirtschaft, Produktion und Infrastruktur hängen stark von Software ab, die allerdings nicht immer von hoher Qualität ist. Kritische Probleme, wie Effizienzeinbrüche oder hohe Wartungsaufwände, können durch schlechte Softwarequalität verursacht werden. Beispiele sind vielfältig in der Presse zu finden. Qualitätseigenschaften hängen stark von Entwurfsentscheidungen bzgl. der Architektur eines Systems ab. Um eine hohe Qualität bei der Systemevolution zu gewährleisten, sind Forschung und Praxis an Ansätzen interessiert, mit denen verschiedene Entwurfsalternativen modelliert und analysiert werden können. Dieser Beitrag zeigt Herausforderungen bei der architektur-basierten Evolution von software-intensiven Systemen auf. Es werden Modellierungs- und Analysetechniken vorgestellt, die zur Untersuchung verschiedener Qualitätseigenschaften auf Architekturebene geeignet sind. Darüber hinaus werden Modularisierungskonzepte für Sprachen (definiert durch Metamodelle) und Analysetechniken vorgestellt. Diese führen zur ersten Referenzarchitektur für Metamodelle zur Qualitätsmodellierung und -analyse.
One-photon double ionization of helium: a heuristic formula for the cross section
Creators: name: Førre, Morten
Publisher: name: arXiv
Year: 2011
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Without a formal derivation, we propose a formula for the total and single-differential cross in the problem of one-photon double ionization of an atom. The formula is benchmarked against accurate experimental data for the total cross section of helium. Furthermore, a direct comparison with ab initio calculations for the double ionization of Li+ suggests that the framework is valid for the entire helium isoelectronic sequence. To this end, we introduce a formula for the double ionization of lithium, as well as for the triple ionization of lithium and beryllium.
Innovation and Employment
Creators: name: Hoon, Hian Teck
name: Phelps, Edmund S.
Publisher: name: Columbia University
Year: 2011
Subjects: Economics
Technological innovations--Economic aspects--Econometric models
Labor supply--Effect of technological innovations on
Labor market--Econometric models

description: Is employment higher in an economy that has a higher rate of innovation? In Hoon and Phelps (1997), we study this question in the small open, and closed, economy under the assumption that the rate of technological progress is exogenous to the economic system. In this paper, we reexamine this question in the context of a model with endogenous product innovation (and thus endogenous technological progress) and endogenous labor supply first in a small open economy taking the world interest rate as given and then in a closed economy that determines the whole term structure of the interest rate. In our present model, creating a given flow of new ideas per unit time directly generates labor demand. Indirectly, as later innovations can benefit from a larger stock of ideas (“the standing on the shoulders of giant” effect), thus requiring less R&D labor input to create a new idea, an economy that has been growing more rapidly in the past demands less labor input now to create a given flow of new ideas. Another source of labor demand in our model economy comes from the production of a variety of intermediate inputs whose product designs have already been discovered through past R&D activity. We find that in both the small open economy and the closed economy, a policy shock that leads to a higher rate of innovation also increases aggregate labor demand. When a shock leads the model economy to transit to a higher steady-growth path, the transition path is characterized unambiguously by rising stock market capitalization (taken as a ratio to GDP) in the closed economy. In the small open economy, there is the possibility that higher growth is accompanied by declining stock market capitalization (taken as a ratio to GDP) as GDP races ahead of the stock market on the transition path. In both cases employment is unambiguously rising with the possibility of overshooting in the small open economy. In terms of labor supply, the transition to a higher steady-growth path leads agents to plan a rising path of employment until they reach the steady state where employment stays constant at a permanently higher level absent another shock. What induces agents to keep postponing their leisure along such a transition path is the falling consumption-growth-adjusted real rate of interest and accelerating wage increases. The prospect of a permanently higher debt-to-GDP ratio in the future requiring a higher payroll tax rate to ensure fiscal solvency leads to a transient period of slower innovation, declining or rising stock market capitalization (taken as a ratio to GDP), and reduced employment in the small open economy. In the closed economy, the same shock has permanent effects as the economy settles on a lower steady-growth path with reduced employment and lower stock market capitalization (taken as a ratio to GDP).
Tricholabiodes mendax, nov.sp.
Creators: name: Madl, Michael
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Mutillidae
Tricholabiodes
Tricholabiodes mendax

description: Tricholabiodes mendax (ANDRÉ, 1898)
Mutilla mendax nov.sp.: ANDRÉ 1899a: 23 (descr. ♀, Obock).
Mutilla mendax ANDRÉ, 1898: ANDRÉ 1903: 69 (tax., world cat.). Mutilla mendax ANDRÉ, 1903 (!): BISCHOFF 1921: 742 (tax. (not seen), original descr. ♀ (André 1903), Obock).
Tricholabiodes mendax (ANDRÉ, 1898): BAYLISS 1998: 294 (tax. (not seen)), 303 (app. 1: world cat.).
* Mutilla aegyptiaca RADOSKOWSKI, 1876: ANDRÉ 1898: 70 (tax., descr. ♀, Obock).
D i s t r i b u t i o n: Obock.
Tricholabiodes mendax is only known from Djibouti.
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 pages 921-922, DOI: 10.5281/zenodo.3776452
Contracting for Innovation under Ambiguity
Creators: name: Amarante, Massimiliano
name: Ghossoub, Mario
name: Phelps, Edmund S.
Publisher: name: Columbia University
Year: 2012
Subjects: Economics
Entrepreneurship--Econometric models
Capitalists and financiers--Decision making
Contracts--Econometric models

description: At any given point in time, the collection of assets that exist in the economy is observable. Each asset is a function of a set of contingencies. The union taken over all assets of these contingencies is what we call the set of publicly known states. An innovation is a set of states that are not publicly known along with an asset (in a broad sense) that pays contingent on those states. The creator of an innovation is an entrepreneur. He is represented by a probability measure on the set of new states. All other agents perceive the innovation as ambiguous: each of them is represented by a set of probabilities on the new states. The agents in the economy are classified with respect to their attitude toward the Ambiguity: the financiers are (locally) ambiguity seeking while the consumers are ambiguity averse. An entrepreneur and a financier come together when the former seeks funds to implement his project and the latter seeks new profit opportunities. The resulting contracting problem does not fall within the standard theory due to the presence of Ambiguity (on the financier's side) and to the heterogeneity in the parties' beliefs. We prove existence and monotonicity (i.e., truthful revelation) of the optimal contract. We characterize this contract under the additional assumption that the financiers are globally ambiguity seeking. Finally, we re-formulate our results in an insurance framework and extend the classical result of Arrow-Borch-Raviv and the more recent one of Ghossoub. In the case of an Ambiguity averse insurer, we also show that the optimal contract has the form of a generalized deductible.
title: Tumor recurrence patterns after surgical resection of intracranial low‑grade gliomas
Creators: name: Fukuya, Yasukazu
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: MRI
subject: CNS
subject: Neuroradiology brain
subject: Oncology
subject: MR
subject: Abscess delineation
subject: Radiation therapy / Oncology
subject: Treatment effects
subject: Multidisciplinary cancer care
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: Owed to invasive growth into brain parenchyma precluding radical surgical removal, and resistance to irradiation and chemotherapy the vast majority of gliomas are currently considered as incurable disease, thus relapse of the neoplasm can be always...
Entrepreneurship, Ambiguity, and the Shape of Innovation Contracts
Creators: name: Amarante, Massimiliano
name: Ghossoub, Mario
name: Phelps, Edmund S.
Publisher: name: Columbia University
Year: 2012
Subjects: Economics
Entrepreneurship--Econometric models
Capitalists and financiers--Decision making
Contracts--Econometric models

description: In Amarante, Ghossoub, and Phelps (AGP), we proposed a model of innovation and entrepreneurship where the entrepreneur generates innovation, innovation generates Ambiguity for all economic agents except the entrepreneur, and the financier deals with this Ambiguity through bilateral contracts that we called innovation contracts. Under a requirement on the financier’s ambiguous beliefs, we showed the existence and monotonicity of optimal innovation contracts. Moreover, when the financier is ambiguity-loving in the sense of Schemeidler, we showed that the problem of contracting for innovation under Ambiguity can be reduced to a situation of non-ambiguous but heterogeneous Bayesian beliefs. This is important since the latter situations have been examined by Ghossoub, and the solutions can be characterized in that case. In this paper, we consider a special case of the setting of AGP which will allow us to fully characterize an optimal innovation contract, all the while maintaining a situation where the financier has ambiguous beliefs.
title: Are Unit and Integration Test Definitions Still Valid for Modern Java Projects? An Empirical Study on Open-Source Projects
Creators: name: Trautsch, Fabian
name: Herbold, Steffen
name: Grabowski, Jens
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Software testing
subject: Unit testing
subject: Integration testing
subject: Empirical software engineering

description: The article "Are unit and integration test definitions still valid for modern Java projects? An empirical study on open-source projects" published in the Journal of Systems and Software in 2020 presents the results of our investigations of the defect detection capability of unit and integration tests. While the software development context evolved over time, the definitions of unit and integration tests remained unchanged. There is no empirical evidence, if these commonly used definitions still fit to modern software development. We evaluate if the existing standard definitions of unit and integration tests are still valid in modern software development context through the analysis of the defect types that are detected, because there should be differences according to the standard literature. We classify test cases according to the definition of the IEEE and use mutation testing to assess their defect detection capabilities. We could not find any evidence that one test type is more capable of detecting certain defect types than the other one. This implies that we need to reconsider the definitions of unit and integration tests and suggest that the current property-based definitions may be exchanged with usage-based definitions.
Deliverable D4.2 – Role description: Dissemination to businesses and the public
Creators: name: Vignoli, Michela
name: Rörden, Jan
Publisher: name: Zenodo
Year: 2019
Subjects: OpenUP dissemination

description: To complement the guidelines and dissemination framework for EU funded research provided in D4.1 (Kraker et al. 2017), with this deliverable we provide additional guidance for research organisations and HR. This document summarises the guidelines and recommendations for researchers on how to reach out for two target audiences: businesses and the general public. In addition, it will help organisations in planning and adapting resource and personnel management to the emerging science communication needs for targeting stakeholders beyond the research community.
Job Satisfaction: The Effects of Two Economic Cultures
Creators: name: Bojilov, Raicho
name: Phelps, Edmund S.
Publisher: name: Columbia University
Year: 2012
Subjects: Economics
Economics--Sociological aspects
Social values
Job satisfaction

description: We present a test of our hypothesis that engaging and challenging work in a country, hence rewarding careers, depends on traditional and modern beliefs and attitudes. We start by defining traditionalism and modernism and on that basis construct simple indexes of traditionalism and modernism for a set of OECD countries based on data  from the World Values Survey. Then, we investigate how these indexes relate to reported job satisfaction, based on data from the same source. We find that modernism and job satisfaction are related positively and significantly, in both statistical and economic terms. The relationship between traditionalism and job satisfaction is not totally clear but high levels of traditionalism appear to be associated with low job satisfaction. This relation survives the introduction of some classical controls, such as wage and job security.
The FO^2 alternation hierarchy is decidable
Creators: name: Kufleitner, Manfred
name: Weil, Pascal
Publisher: name: arXiv
Year: 2012
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: We consider the two-variable fragment FO^2[
title: Detecting Quality Problems in Research Data: A Model-Driven Approach
Creators: name: Kesper, Arno
name: Wenz, Viola
name: Taentzer, Gabriele
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Data quality
subject: Model-driven development
subject: Pattern matching

description: The quality of research data is essential for scientific progress. A major challenge in data quality assurance is the localisation of quality problems that are inherent to data. Based on the observation of a dynamic shift in the database technologies employed, we present a model-driven approach to analyse the quality of research data. It allows a data engineer to formulate anti-patterns that are generic concerning the database format and technology. A domain expert chooses a pattern that has been adapted to a specific database technology and concretises it for a domain-specific database format. The resulting concrete pattern is used by a data analyst to locate quality problems in the database. As a proof of concept, we implemented tool support that realises this approach for XML databases. We evaluated our approach concerning expressiveness and performance. The original paper has been published at the International Conference on Model Driven Engineering Languages and Systems 2020.
title: Cellular automata models of particle interactions in sediment entrainment
title: Hydrology days 2003
titleType: AlternativeTitle
title: AGU hydrology days 2003
titleType: AlternativeTitle
Creators: name: Brown, Nancy E.
name: Ramírez, Jorge A.
name: Whol, Ellen E.
name: Colorado State University, Publisher
Publisher: name: Mountain Scholar
Year: 2003

description: Includes bibliographical references.
description: 23rd annual AGU hydrology days was held on March 31 - April 2, 2003 at Colorado State University.
description: The geometry of a river bed surface is determined by the arrangement and size of the particles that form the bed. In gravel-to-boulder bed rivers, the surface geometry around any individual particle may be complex and highly variable, and tends to include multi-particle structures. These textural and structural characteristics influence whether an individual particle is entrained. The effect on entrainment is generally described as particle hiding and protrusion, which together define the degree to which an individual particle is sheltered by surrounding particles. Two variants of a cellular automata (CA) model are used here to investigate the effect of controls on sediment entrainment resulting from particle sheltering. One model variant uses the degree of sheltering as a threshold constraint; the other variant uses the degree of sheltering as an extremal condition. There is a striking contrast in the spatial pattern of particle sizes that result with these different entrainment rules. The extremal rule results in a patchy distribution of particles sizes, in which groups of adjacent cells tend to have the same particle size. The effect of the extremal rule is roughly analogous to considering a sequence of flow events that progressively increase the overall stability of particles on the channel bed, so that over time successively higher flows are required to mobilize particles. In contrast, the threshold rule results in a channel bed that tends to coarsen with time.
title: Workshop on Software Engineering for E-Learning Systems (SEELS’21)
Creators: name: Strickroth, Sven
name: Striewe, Michael
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2021
Subjects: subject: E-Learning
subject: Software Engineering
subject: System Design
subject: Distributed E-Learning Systems

description: The workshop "Software Engineering for E-Learning Systems" (SEELS) is interested in the software engineering question related to the design of e-learning systems, the realization of networked e-learning landscapes at schools and universities, and the operation and maintenance of such systems. The goal is to identify and discuss current research questions in that area. This may include topics such as technical interfaces of e-learning systems, security issues in heterogeneous e-learning landscapes, or management of domain-specific requirements in universal e-learning systems.
title: Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
Creators: name: Benz, Manuel
name: Kristensen, Erik Krogh
name: Luo, Linghui
name: Borges Jr., Nataniel P.
name: Bodden, Eric
name: Zeller, Andreas
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2021
Subjects: subject: points-to analysis
subject: heap snapshot
subject: taint
subject: analysis
subject: Soot
subject: Android

description: The assessment of information flows is an essential part of analyzing Android apps, and is frequently supported by static taint analysis. Its precision, however, can suffer from the analysis not being able to precisely determine what elements a pointer can (and cannot) point to. Recent advances in static analysis suggest that incorporating dynamic heap snapshots, taken at one point at runtime, can significantly improve general static analysis. In this paper, we investigate to what extent this also holds for taint analysis, and how various design decisions, such as when and how many snapshots are collected during execution, and how exactly they are used, impact soundness and precision. We have extended FlowDroid to incorporate heap snapshots, yielding our prototype Heapster, and evaluated it on DroidMacroBench, a novel benchmark comprising real-world Android apps that we also make available as an artifact. The results show (1) the use of heap snapshots lowers analysis time and memory consumption while increasing precision; (2) a very good trade-off between precision and recall is achieved by a mixed mode in which the analysis falls back to static points-to relations for objects for which no dynamic data was recorded; and (3) while a single heap snapshot (ideally taken at the end of the execution) suffices to improve performance and precision, a better trade-off can be obtained by using multiple snapshots.
A Neighborhood-Wide Association Study (NWAS): Example of prostate cancer aggressiveness
Creators: name: Lynch, Shannon M.
name: Mitra, Nandita
name: Ross, Michelle
name: Newcomb, Craig
name: Dailey, Karl
name: Jackson, Tara
name: Zeigler-Johnson, Charnita M.
name: Riethman, Harold
name: Branas, Charles C.
name: Rebbeck, Timothy R.
Publisher: name: Columbia University
Year: 2017
Subjects: Prostate--Cancer
Epidemiology
Environmental risk assessment
Mathematical models

description: Purpose
Cancer results from complex interactions of multiple variables at the biologic, individual, and social levels. Compared to other levels, social effects that occur geospatially in neighborhoods are not as well-studied, and empiric methods to assess these effects are limited. We propose a novel Neighborhood-Wide Association Study(NWAS), analogous to genome-wide association studies(GWAS), that utilizes high-dimensional computing approaches from biology to comprehensively and empirically identify neighborhood factors associated with disease.

Methods
Pennsylvania Cancer Registry data were linked to U.S. Census data. In a successively more stringent multiphase approach, we evaluated the association between neighborhood (n = 14,663 census variables) and prostate cancer aggressiveness(PCA) with n = 6,416 aggressive (Stage≥3/Gleason grade≥7 cases) vs. n = 70,670 non-aggressive (Stage<3/Gleason grade<7) cases in White men. Analyses accounted for age, year of diagnosis, spatial correlation, and multiple-testing. We used generalized estimating equations in Phase 1 and Bayesian mixed effects models in Phase 2 to calculate odds ratios(OR) and confidence/credible intervals(CI). In Phase 3, principal components analysis grouped correlated variables.

Results
We identified 17 new neighborhood variables associated with PCA. These variables represented income, housing, employment, immigration, access to care, and social support. The top hits or most significant variables related to transportation (OR = 1.05;CI = 1.001–1.09) and poverty (OR = 1.07;CI = 1.01–1.12).

Conclusions
This study introduces the application of high-dimensional, computational methods to large-scale, publically-available geospatial data. Although NWAS requires further testing, it is hypothesis-generating and addresses gaps in geospatial analysis related to empiric assessment. Further, NWAS could have broad implications for many diseases and future precision medicine studies focused on multilevel risk factors of disease.
Noise-spectroscopy of multiqubit systems: Determining all their parameters by applying an external classical noise
Creators: name: Savel'ev, S.
name: Zagoskin, A. M.
name: Omelyanchouk, A. N.
name: Nori, F.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Imagine that you have several sets of two coupled qubits, but you do not know the parameters of their Hamitonians. How to determine these without resorting to the usual spectroscopy approach to the problem? Based on numerical modeling, we show that all the parameters of a system of two coupled qubits can be determined by applying to it an external classical noise and analysing the Fourier spectrum of the elements of the system's density matrix. In particular, the interlevel spacings as well as the strength and sign of qubit-qubit coupling can be determined this way.
description: 3 figures
Microscopic theory of the γ-decay of nuclear giant resonances
Creators: name: Brenna, Marco
name: Colò, Gianluca
name: Bortignon, Pier Francesco
Publisher: name: arXiv
Year: 2011
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: In the past decades, the γ-decay of giant resonances has been studied using phenomenological models. In keeping with possible future studies performed with exotic beams, microscopically-based frameworks should be envisaged. In the present paper, we introduce a model which is entirely based on Skyrme effective interactions, and treats the ground-state decay within the fully self-consistent Random Phase Approximation (RPA) and the decay to low-lying states at the lowest order beyond RPA. The model is applied to 208Pb and 90Zr, and the results are compared with experimental data.
description: 11 pages, 7 figures, 5 tables, submitted to Physical Review C
title: The impact of breast augmentation on breast cancer detection rate in a NHSBS Programme.
Creators: name: Chang, Sau Lee
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: Multicentre study
subject: Not applicable
subject: Retrospective
subject: Cancer
subject: Screening
subject: Mammography
subject: Breast

description: Purpose Methods and materials Results Conclusion Personal information and conflict of interest References
description: Purpose: Breast augmentation is the most common plastic surgical procedure. According to the International Society for Aesthetic Plastic Surgery, there were 1,862,506 procedures performed worldwide in 2018. 7727 breast augmentations were performed in UK in...
Improving the performance of post-silicon trace generation
Creators: name: Kuan, Johnny Jone Wai
Publisher: name: University of British Columbia
Year: 2011

description: As microprocessor designs become more complex, the task of finding errors in the design becomes more difficult. Most design errors will be caught before the chip is fabricated, however, there may be some that make it into the fabricated design. The process of determining what is wrong when the fabricated chip of a new design behaves incorrectly is called post-silicon debug (also known as silicon validation). One of the challenges of post-silicon debug is the lack of observability into the state of a fabricated chip. BackSpace is a proposal for tackling the observability challenge. It does this by generating a post-silicon trace using a combination of on-chip monitoring hardware and off-chip formal analysis. To add one state to the trace, BackSpace generates a set of possible predecessor states by analysing the design which are then tested one at a time. The testing is performed by loading a candidate state into a circuit that compares it with the current state of the chip, and running the chip. If the state is reached during execution, then it is added to the trace. The process of testing states one at a time is time consuming. This thesis shows that correlation information characterizing the application running on the chip can reduce the number of runs of the chip by up to 51%. New post-silicon trace generation algorithms, BackSpace-2bp and BackSpace-3bp, are also proposed that do not need to generate the set of possible predecessor states. This leads to a speedup relative to practical implementations of BackSpace and also reduces the hardware overhead needed to generate post-silicon traces by 94.4% relative to the state of the art implementation of BackSpace. To evaluate these new algorithms BackSpace, and the new algorithms, were implemented on a superscalar out-of-order processor using the Alpha instruction set. Non-determinism was introduced in the form of variable memory latency. The effects of non-determinism on the processor and the trace generation algorithms are also evaluated.
Blood pressure and expression of microRNAs in whole blood
Creators: name: Zhang, Zhou
name: Joyce, Brian Thomas
name: Kresovich, Jacob K.
name: Zheng, Yinan
name: Zhong, Jia
name: Patel, Ruchi
name: Zhang, Wei
name: Liu, Lei
name: Dou, Chang
name: McCracken, John P.
name: Dı´A, Anaite´
name: Motta, Valeria
name: Sanchez-Guerra, Marco
name: Bian, Shurui
name: Bertazz, Pier Alberto
name: Schwartz, Joel
name: Baccarelli, Andrea A.
name: Wang, Sheng
name: Hou, Lifang
Publisher: name: Columbia University
Year: 2017
Subjects: Blood pressure
MicroRNA
Leucocytes
Medicine

description: Background
Blood pressure (BP) is a complex, multifactorial clinical outcome driven by genetic susceptibility, behavioral choices, and environmental factors. Many molecular mechanisms have been proposed for the pathophysiology of high BP even as its prevalence continues to grow worldwide, increasing morbidity and marking it as a major public health concern. To address this, we evaluated miRNA profiling in blood leukocytes as potential biomarkers of BP and BP-related risk factors.

Methods
The Beijing Truck Driver Air Pollution Study included 60 truck drivers and 60 office workers examined in 2008. On two days separated by 1–2 weeks, we examined three BP measures: systolic, diastolic, and mean arterial pressure measured at both pre- and post-work exams for blood NanoString nCounter miRNA profiles. We used covariate-adjusted linear mixedeffect models to examine associations between BP and increased miRNA expression in both pooled and risk factor-stratified analyses.

Results
Overall 43 miRNAs were associated with pre-work BP (FDR<0.05). In stratified analyses different but overlapping groups of miRNAs were associated with pre-work BP in truck drivers high-BMI participants, and usual alcohol drinkers (FDR<0.05). Only four miRNAs were associated with post-work BP (FDR<0.05), in ever smokers.

Conclusion
Our results suggest that many miRNAs were significantly associated with BP in subgroups exposed to known hypertension risk factors. These findings shed light on the underlying molecular mechanisms of BP, and may assist with the development of a miRNA panel for early detection of hypertension
title: Imaging evaluation of Paget’s disease of nipple- Are we doing enough?
Creators: name: Chang, Sau Lee
Publisher: name: European Congress of Radiology
Year: 2020
Subjects: subject: Performed at one institution
subject: Not applicable
subject: Retrospective
subject: Cancer
subject: Surgery
subject: Staging
subject: Diagnostic procedure
subject: MR
subject: Breast

description: Purpose Methods and materials Results Conclusion Personal information and conflict of interest References
description: Purpose: Paget’s disease of the nipple is very rare , 2-3% of all breast carcinoma.It has 67-100% high association rate with additional underlying malignant lesion (1).Ductal carcinoma in-situ is the commonest concurrent malignant lesion found in Paget’s...
Enhancing Quantum Effects via Periodic Modulations in Optomechanical Systems
Creators: name: Farace, Alessandro
name: GIovannetti, Vittorio
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: Parametrically modulated optomechanical systems have been recently proposed as a simple and efficient setting for the quantum control of a micromechanical oscillator: relevant possibilities include the generation of squeezing in the oscillator position (or momentum) and the enhancement of entanglement between mechanical and radiation modes. In this paper we further investigate this new modulation regime, considering an optomechanical system with one or more parameters being modulated over time. We first apply a sinusoidal modulation of the mechanical frequency and characterize the optimal regime in which the visibility of purely quantum effects is maximal. We then introduce a second modulation on the input laser intensity and analyze the interplay between the two. We find that an interference pattern shows up, so that different choices of the relative phase between the two modulations can either enhance or cancel the desired quantum effects.
description: 10 pages, 4 figures