Filetype
Can the right requirements boost developer satisfaction and happiness? We believe they can. In keeping with this issue's theme, 'Well-Being for Resilience: Developers Thrive,' we discuss the connection between the three keywords, well-being, resilience, and thriving. How could requirements engineering foster these qualities? While there hasn't been much research on this topic, we see opportunities
We investigate frugal splitting operators for finite sum monotone inclusion problems. These operators utilize exactly one direct or resolvent evaluation of each operator of the sum, and the splitting operator's output is dictated by linear combinations of these evaluations' inputs and outputs. To facilitate analysis, we introduce a novel representation of frugal splitting operators via a generaliz
This thesis presents five papers on minimax adaptive control and estimation. Minimax adaptive estimation is a framework for output prediction and state estimation that provides a priori computable performance bounds for esti- mators. Minimax adaptive controllers ensure that the closed loop has finite gain, maintaining stability and performance under model class uncertainty. The contributions of t
Background: Embryonic stem cells (ESC) have the capacity to self-renew and remain pluripotent, while continuously providing a source of a variety of differentiated cell types. Understanding what governs these properties at the molecular level is crucial for stem cell biology and its application to regenerative medicine. Of particular relevance is to elucidate those molecular interactions which gov
We present a methodology for establishing the existence of quadratic Lyapunov inequalities for a wide range of first-order methods used to solve convex optimization problems. In particular, we consider (i) classes of optimization problems of finite-sum form with (possibly strongly) convex and possibly smooth functional components, (ii) first-order methods that can be written as a linear system on
Arctic clouds are sensitive to atmospheric particles since these are sometimes in such low concentrations that clouds cannot always form under supersaturated water vapor conditions. This is especially true in the late summer, when aerosol concentrations are generally very low in the high Arctic. The environment changes rapidly around freeze-up as the open waters close and snow starts accumulating
This article discusses theoretical and practical aspects of real-time brain computer interface control methods based on Bayesian statistics. The theoretical aspects include how the data from the brain computer interface can be translated into a Gaussian mixture model that is used in the Bayesian statistics-based control methods. The practical aspects include how the control methods improve the per
This article discusses practical and theoretical aspects of real-time brain computer interface control methods based on Bayesian statistics. We investigate and improve the performance of automatic control and feedback algorithms of a reactive brain computer interface based on a visual oddball paradigm for faster statistical convergence. We introduce transfer learning using Gaussian mixture models,
Pharmacometric modeling plays an important role in drug development and personalized medicine. Pharmacometric covariate models can be used to describe the relationships between patient characteristics (such as age and weight) and pharmacokinetic (PK) parameters. Traditionally, the functional structure of these relationships are obtained manually. This is a time-consuming task, and consequently lim
We present property probes, a mechanism for helping a developer explore partial program analysis results in terms of the source program interactively while the program is edited. A node locator data structure is introduced that maps between source code spans and program representation nodes, and that helps identify probed nodes in a robust way, after modifications to the source code. We have devel
Abstract The effects of defects at the steel-concrete interface, the exposure regime, and the cement type, on the initiation of pitting corrosion in specially designed concrete corrosion cells were investigated. Concrete/mortar corrosion cells with cast-in mild steel electrodes representing the reinforcement were exposed for wetting-drying cycles or submerged in NaCl solution. ParalIei field expos
Lifetime tests of solar reflector materials are eligible prior to application, to prove the stability of the optical properties. In this work, six reflector materials were aged outdoors and in a climatic test chamber. The surfaces of the samples were inspected using profilometry and optical microscopy. The total and specular reflectance spectra were measured using spectrophotometry and the weighte
Shorter product life cycles (Ottosson, 2004) and more diversified offers of products (Olsmats, 2002) are market trends in the present day. Companies have to deal with customers with rapidly changing demands, who are looking for high-quality products at low costs. The ability to rapidly respond to such demands can be referred to as a company’s agile manufacturing abilities. Nagel and Dove (1991) su
Purpose: In this study, we explore the relationship between social jetlag (SJL), a parameter of circadian misalignment, and gut microbial composition, diet and cardiometabolic health in the ZOE PREDICT 1 cohort (NCT03479866). Methods: We assessed demographic, diet, cardiometabolic, stool metagenomics and postprandial metabolic measures (n = 1002). We used self-reported habitual sleep (n = 934) to
The nonlinear, or warped, resolvent recently explored by Giselsson and Bùi-Combettes has been used to model a large set of existing and new monotone inclusion algorithms. To establish convergent algorithms based on these resolvents, corrective projection steps are utilized in both works. We present a different way of ensuring convergence by means of a nonlinear momentum term, which in many cases l
This article explores to what extent married middle-aged individuals in Europe are governed by the risk of experiencing divorce, when shaping their physical appearance. The main result is that divorce risks, proxied by national divorce rates, are negatively connected to body mass index (BMI) among married individuals but unrelated to BMI among singles. Hence, it seems that married people in societ
The neurohypophysial peptide arginine vasotocin, and its mammalian ortholog arginine vasopressin, influence a wide range of physiological and behavioral responses, including aspects of sexual and social behaviors, osmoregulation, stress response, metabolism, blood pressure, and circadian rhythms. Here, we demonstrate that, in zebrafish (Danio rerio), the vasotocin precursor gene arginine vasotocin
The aerosol in the Amazon basin is dominated throughout the year by organic matter, for the most part soluble in water. In this modeling study, we show how the knowledge of water-soluble organic compounds (WSOC) and the associated physical and chemical properties (e.g. solubility, surface tension, dissociation into ions) affect the hygroscopic growth and activation of the aerosol in this area. The
The monoclonal gammopathies are a group of disorders associated with monoclonal proliferation of plasma cells. The characterization of specific entities is an area of difficulty in clinical practice. The International Myeloma Working Group has reviewed the criteria for diagnosis and classification with the aim of producing simple, easily used definitions based on routinely available investigations
