bluuebunny/crossref_metadata_2025_split huggingface dataset:
Adrenal insufficiency is a contraindication for omalizumab therapy in mast cell activation disease: risk for serum sickness
Authors: Molderings G. J. , Dumoulin F. L. , Homann J. , Sido B. , Textor J. , Mücke M. , Qagish G. J. , Barion R. , Raithel M. , Klingmüller D. , Schäfer V. S. , Hertfelder H. J. , Berdel D. , Tridente G. , Weinstock L. B. , Afrin L. B. 
Published: May 2020

AbstractOmalizumab is an effective therapeutic humanized murine IgE antibody in many cases of primary systemic mast cell activation disease (MCAD). The present study should enable the clinician to recognize when treatment of MCAD with omalizumab is contraindicated because of the potential risk of severe serum sickness and to report our successful therapeutic strategy for such adverse event (AE). Our clinical observations, a review of the literature including the event reports in the FDA AE Reporting System, the European Medicines Agency Eudra-Vigilance databases (preferred search terms: omalizumab, Xolair®, and serum sickness) and information from the manufacturer’s Novartis database were used. Omalizumab therapy may be more likely to cause serum sickness than previously thought. In patients with regular adrenal function, serum sickness can occur after 3 to 10 days which resolves after the antigen and circulating immune complexes are cleared. If the symptoms do not resolve within a week, injection of 20 to 40 mg of prednisolone on two consecutive days could be given. However, in MCAD patients whose adrenal cortical function is completely suppressed by exogenous glucocorticoid therapy, there is a high risk that serum sickness will be masked by the MCAD and evolve in a severe form with pronounced damage of organs and tissues, potentially leading to death. Therefore, before the application of the first omalizumab dose, it is important to ensure that the function of the adrenal cortex is not significantly limited so that any occurring type III allergy can be self-limiting.
Shifts of finite type as fundamental objects in the theory of shadowing
Authors: Good Chris , Meddaugh Jonathan 
Published: May 2020

AbstractShifts of finite type and the notion of shadowing, or pseudo-orbit tracing, are powerful tools in the study of dynamical systems. In this paper we prove that there is a deep and fundamental relationship between these two concepts. Let X be a compact totally disconnected space and $$f:X\rightarrow X$$f:X→X a continuous map. We demonstrate that f has shadowing if and only if the system $$(f,X)$$(f,X) is (conjugate to) the inverse limit of a directed system satisfying the Mittag-Leffler condition and consisting of shifts of finite type. In particular, this implies that, in the case that X is the Cantor set, f has shadowing if and only if (f, X) is the inverse limit of a sequence satisfying the Mittag-Leffler condition and consisting of shifts of finite type. Moreover, in the general compact metric case, where X is not necessarily totally disconnected, we prove that f has shadowing if $$(f,X)$$(f,X) is a factor of the inverse limit of a sequence satisfying the Mittag-Leffler condition and consisting of shifts of finite type by a quotient that almost lifts pseudo-orbits.
Tightly shut: flexible valve margins and microstructural asymmetry in pterioid bivalves
Authors: Harper Elizabeth M. , Checa Antonio G. 
Published: May 2020

AbstractAn organic-rich columnar prismatic outer shell layer, which extends far beyond the underlying nacre, has allowed pterioid bivalves (the pearl oysters and their allies) to develop flexible valve margins, allowing a tight hermetic seal when shut. In some taxa, the microstructural arrangement is known to be asymmetrically developed between the two valves. The asymmetry was surveyed across 29 taxa of pterioids (including representatives of known genera) confirming that it is typically the right valve which has a greater expanse of prism-only shell (and less nacre) and showing that this portion of the right valve has more organic content (more than twice the value in some instances) than the equivalent in the left. A more detailed investigation of prismatic material in Pteria penguin comparing the right and left valves revealed that the right valve flange has a higher density of smaller prisms, each with its organic envelope, and not a greater thickness of the organic envelopes themselves. The flange is also thinner on the right valve and shown here to be very flexible when wet. This allows it to bend against the rigid left valve when the shell is closed. Comparison of this structural asymmetry in the pterioids with five outgroup taxa in the Ostreidae and Pinnidae suggests that clades with the asymmetry have been freed from the constraints of a flattened valve morphology and to develop inequivalved forms.
A linear-time branching-time perspective on interface automata
Authors: Vogler Walter , Lüttgen Gerald 
Published: May 2020

AbstractOver the past two decades, de Alfaro and Henzinger’s interface automata (IA) have become a popular formal framework for the component-based specification of concurrent systems. IA’s parallel composition assumes that a component may wait on inputs but never on outputs, implying that an output must be consumed immediately or a communication error occurs. By now, the literature contains a number of semantics for IA: linear-time semantics based on traces observing communication errors, quiescence and/or divergence, as well as branching-time semantics based on alternating simulation. This article surveys these semantics from Rob van Glabbeek’s linear-time branching-time perspective, which does not consider settings with communication errors. We shed light onto the subtleties implied by IA’s pruning of all behaviour that might lead a component to autonomously enter an error state, and investigate when exactly de Alfaro and Henzinger’s restriction of input-determinism is needed. In addition, we introduce several new semantics for IA, in particular the linear-time ready semantics and the branching-time ready simulation.
Characteristic invariants in Hennessy–Milner logic
Authors: Jasper Marc , Schlüter Maximilian , Steffen Bernhard 
Published: May 2020

AbstractIn this paper, we prove that Hennessy–Milner Logic (HML), despite its structural limitations, is sufficiently expressive to specify an initial property $$\varphi _0$$φ0 and a characteristic invariant $$\upchi _{_I}$$χI for an arbitrary finite-state process P such that $$\varphi _0 \wedge \mathbf{AG }(\upchi _{_I})$$φ0∧AG(χI) is a characteristic formula for P. This means that a process Q, even if infinite state, is bisimulation equivalent to P iff $$Q \models \varphi _0 \wedge \mathbf{AG }(\upchi _{_I})$$Q⊧φ0∧AG(χI). It follows, in particular, that it is sufficient to check an HML formula for each state of a finite-state process to verify that it is bisimulation equivalent to P. In addition, more complex systems such as context-free processes can be checked for bisimulation equivalence with P using corresponding model checking algorithms. Our characteristic invariant is based on so called class-distinguishing formulas that identify bisimulation equivalence classes in P and which are expressed in HML. We extend Kanellakis and Smolka’s partition refinement algorithm for bisimulation checking in order to generate concise class-distinguishing formulas for finite-state processes.
Implementation of eHealth and AI integrated diagnostics with multidisciplinary digitized data: are we ready from an international perspective?
Authors: Bukowski Mark , Farkas Robert , Beyan Oya , Moll Lorna , Hahn Horst , Kiessling Fabian , Schmitz-Rode Thomas 
Published: May 2020

AbstractDigitization of medicine requires systematic handling of the increasing amount of health data to improve medical diagnosis. In this context, the integration of the versatile diagnostic information, e.g., from anamnesis, imaging, histopathology, and clinical chemistry, and its comprehensive analysis by artificial intelligence (AI)–based tools is expected to improve diagnostic precision and the therapeutic conduct. However, the complex medical environment poses a major obstacle to the translation of integrated diagnostics into clinical research and routine. There is a high need to address aspects like data privacy, data integration, interoperability standards, appropriate IT infrastructure, and education of staff. Besides this, a plethora of technical, political, and ethical challenges exists. This is complicated by the high diversity of approaches across Europe. Thus, we here provide insights into current international activities on the way to digital comprehensive diagnostics. This includes a technical view on challenges and solutions for comprehensive diagnostics in terms of data integration and analysis. Current data communications standards and common IT solutions that are in place in hospitals are reported. Furthermore, the international hospital digitalization scoring and the European funding situation were analyzed. In addition, the regional activities in radiomics and the related publication trends are discussed. Our findings show that prerequisites for comprehensive diagnostics have not yet been sufficiently established throughout Europe. The manifold activities are characterized by a heterogeneous digitization progress and they are driven by national efforts. This emphasizes the importance of clear governance, concerted investments, and cooperation at various levels in the health systems.Key Points•Europe is characterized by heterogeneity in its digitization progress with predominantly national efforts. Infrastructural prerequisites for comprehensive diagnostics are not given and not sufficiently funded throughout Europe, which is particularly true for data integration.•The clinical establishment of comprehensive diagnostics demands for a clear governance, significant investments, and cooperation at various levels in the healthcare systems.•While comprehensive diagnostics is on its way, concerted efforts should be taken in Europe to get consensus concerning interoperability and standards, security, and privacy as well as ethical and legal concerns.
Storyline description of Southern Hemisphere midlatitude circulation and precipitation response to greenhouse gas forcing
Authors: Mindlin Julia , Shepherd Theodore G. , Vera Carolina S. , Osman Marisol , Zappa Giuseppe , Lee Robert W. , Hodges Kevin I. 
Published: May 2020

AbstractAs evidence of climate change strengthens, knowledge of its regional implications becomes an urgent need for decision making. Current understanding of regional precipitation changes is substantially limited by our understanding of the atmospheric circulation response to climate change, which to a high degree remains uncertain. This uncertainty is reflected in the wide spread in atmospheric circulation changes projected in multimodel ensembles, which cannot be directly interpreted in a probabilistic sense. The uncertainty can instead be represented by studying a discrete set of physically plausible storylines of atmospheric circulation changes. By mining CMIP5 model output, here we take this broader perspective and develop storylines for Southern Hemisphere (SH) midlatitude circulation changes, conditioned on the degree of global-mean warming, based on the climate responses of two remote drivers: the enhanced warming of the tropical upper troposphere and the strengthening of the stratospheric polar vortex. For the three continental domains in the SH, we analyse the precipitation changes under each storyline. To allow comparison with previous studies, we also link both circulation and precipitation changes with those of the Southern Annular Mode. Our results show that the response to tropical warming leads to a strengthening of the midlatitude westerly winds, whilst the response to a delayed breakdown (for DJF) or strengthening (for JJA) of the stratospheric vortex leads to a poleward shift of the westerly winds and the storm tracks. However, the circulation response is not zonally symmetric and the regional precipitation storylines for South America, South Africa, South of Australia and New Zealand exhibit quite specific dependencies on the two remote drivers, which are not well represented by changes in the Southern Annular Mode.
Probabilistic neural network-based 2D travel-time tomography
Authors: Earp Stephanie , Curtis Andrew 
Published: May 2020

AbstractTravel-time tomography for the velocity structure of a medium is a highly nonlinear and nonunique inverse problem. Monte Carlo methods are becoming increasingly common choices to provide probabilistic solutions to tomographic problems but those methods are computationally expensive. Neural networks can often be used to solve highly nonlinear problems at a much lower computational cost when multiple inversions are needed from similar data types. We present the first method to perform fully nonlinear, rapid and probabilistic Bayesian inversion of travel-time data for 2D velocity maps using a mixture density network. We compare multiple methods to estimate probability density functions that represent the tomographic solution, using different sets of prior information and different training methodologies. We demonstrate the importance of prior information in such high-dimensional inverse problems due to the curse of dimensionality: unrealistically informative prior probability distributions may result in better estimates of the mean velocity structure; however, the uncertainties represented in the posterior probability density functions then contain less information than is obtained when using a less informative prior. This is illustrated by the emergence of uncertainty loops in posterior standard deviation maps when inverting travel-time data using a less informative prior, which are not observed when using networks trained on prior information that includes (unrealistic) a priori smoothness constraints in the velocity models. We show that after an expensive program of network training, repeated high-dimensional, probabilistic tomography is possible on timescales of the order of a second on a standard desktop computer.
Anticipatory experience in everyday autonomous driving
Authors: Lindgren Thomas , Fors Vaike , Pink Sarah , Osz Katalin 
Published: May 2020

AbstractIn this paper, we discuss how people’s user experience (UX) of autonomous driving (AD) cars can be understood as a shifting anticipatory experience, as people experience degrees of AD through evolving advanced driver assistance systems (ADAS) in their everyday context. We draw on our ethnographic studies of five families, who had access to AD research cars with evolving ADAS features in their everyday lives for a duration of 1½ years. Our analysis shows that people gradually adopt AD cars, through a process that involves anticipating if they can trust them, what the ADAS features will do and what the longer-term technological possibilities will be. It also showed that this anticipatory UX occurs within specific socio-technical and environmental circumstances, which could not be captured easily in experimental settings. The implication is that studying anticipation offers us new insights into how people adopt AD in their everyday commute driving.
Nonlinear optical microscopy is a novel tool for the analysis of cutaneous alterations in pseudoxanthoma elasticum
Authors: Kiss Norbert , Fésűs Luca , Bozsányi Szabolcs , Szeri Flóra , Van Gils Matthias , Szabó Viktória , Nagy Anikó Ilona , Hidvégi Bernadett , Szipőcs Róbert , Martin Ludovic , Vanakker Olivier , Arányi Tamás , Merkely Béla , Wikonkál Norbert M. , Medvecz Márta 
Published: May 2020

AbstractPseudoxanthoma elasticum (PXE, OMIM 264800) is a rare autosomal recessive disorder with ectopic mineralization and fragmentation of elastin fibers. It is caused by mutations of the ABCC6 gene that leads to decreased serum levels of inorganic pyrophosphate (PPi) anti-mineralization factor. The occurrence of severe complications among PXE patients highlights the importance of early diagnosis so that prompt multidisciplinary care can be provided to patients. We aimed to examine dermal connective tissue with nonlinear optical (NLO) techniques, as collagen emits second-harmonic generation (SHG) signal, while elastin can be excited by two-photon excitation fluorescence (TPF). We performed molecular genetic analysis, ophthalmological and cardiovascular assessment, plasma PPi measurement, conventional histopathological examination, and ex vivo SHG and TPF imaging in five patients with PXE and five age- and gender-matched healthy controls. Pathological mutations including one new variant were found in the ABCC6 gene in all PXE patients and their plasma PPi level was significantly lower compared with controls. Degradation and mineralization of elastin fibers and extensive calcium deposition in the mid-dermis was visualized and quantified together with the alterations of the collagen structure in PXE. Our data suggests that NLO provides high-resolution imaging of the specific histopathological features of PXE-affected skin. In vivo NLO may be a promising tool in the assessment of PXE, promoting early diagnosis and follow-up.
A two-layer elasto-visco-plastic rheological model for the material parameter identification of bone tissue
Authors: Reisinger Andreas G. , Frank Martin , Thurner Philipp J. , Pahr Dieter H. 
Published: May 2020

AbstractThe ability to measure bone tissue material properties plays a major role in diagnosis of diseases and material modeling. Bone’s response to loading is complex and shows a viscous contribution to stiffness, yield and failure. It is also ductile and damaging and exhibits plastic hardening until failure. When performing mechanical tests on bone tissue, these constitutive effects are difficult to quantify, as only their combination is visible in resulting stress–strain data. In this study, a methodology for the identification of stiffness, damping, yield stress and hardening coefficients of bone from a single cyclic tensile test is proposed. The method is based on a two-layer elasto-visco-plastic rheological model that is capable of reproducing the specimens’ pre- and postyield response. The model’s structure enables for capturing the viscously induced increase in stiffness, yield, and ultimate stress and for a direct computation of the loss tangent. Material parameters are obtained in an inverse approach by optimizing the model response to fit the experimental data. The proposed approach is demonstrated by identifying material properties of individual bone trabeculae that were tested under wet conditions. The mechanical tests were conducted according to an already published methodology for tensile experiments on single trabeculae. As a result, long-term and instantaneous Young’s moduli were obtained, which were on average 3.64 GPa and 5.61 GPa, respectively. The found yield stress of 16.89 MPa was lower than previous studies suggest, while the loss tangent of 0.04 is in good agreement. In general, the two-layer model was able to reproduce the cyclic mechanical test data of single trabeculae with an root-mean-square error of 2.91 ± 1.77 MPa. The results show that inverse rheological modeling can be of great advantage when multiple constitutive contributions shall be quantified based on a single mechanical measurement.
Multi-grounded action research
Authors: Goldkuhl Göran , Cronholm Stefan , Lind Mikael 
Published: May 2020

AbstractThe research approach of multi-grounded action research (MGAR) is presented and analyzed. This is based on a review of issues and concerns in information systems action research. MGAR builds on the epistemological principles of multi-grounding. This combines empirical, theoretical and internal grounding. The multi-grounded approach builds on elements from grounded theory; i.e. building theory inductively from data through coding procedures, but it also comprises an abductive use of extant theory. MGAR is described through six knowledge contributions: (1) the MGAR process model, (2) the MGAR knowledge model, (3) the MGAR theory model, (4) the principle of the multi-grounded change outcome, (5) the principle of the multi-grounded theory outcome and (6) the principle of mutuality of purposes. MGAR has been applied in an IT service management (ITSM) case, which serves an illustration and a validation of MGAR. In this MGAR case, the improvement of ITSM has been conducted and studied through a multi-organizational setting. In the case, there was a special focus on the service quality of IT services and the relations between service providers and customers.
Towards bamboo agroforestry development in Ghana: evaluation of crop performance, soil properties and economic benefit
Authors: Akoto Daniel S. , Partey Samuel T. , Denich Manfred , Kwaku Michael , Borgemeister Christian , Schmitt Christine B. 
Published: May 2020

AbstractIn the quest to promote bamboo agroforestry in the dry semi-deciduous forest zone of Ghana, we evaluated changes in soil properties, crop productivity and the economic potential of a bamboo-based intercropping system. The intercropping system was established from 3-months old sympodial bamboo (Bambusa balcooa) seedlings planted at a 5 m × 5 m spacing and intercropped with maize, cassava or cowpea. Separate monocropping fields for maize, cassava, cowpea and bamboo were set up adjacent to the intercropped field. In both the intercropping and monocropping fields, plots were with fertilizer treatments and without. The experiment was laid out in a split plot design with four replicates and studied over three years. Economic analysis was conducted using the financial benefit–cost ratio method. The results showed that regardless of fertilizer treatments, bamboo agroforestry and monocropped fields had comparable effects on soil properties and crop productivity within two years of establishment. In the third year, however, bamboo agroforestry had significantly (p < 0.05) higher soil moisture, pH and crop productivity levels. An intercropping advantage over monocropping was evident for all crops with respective partial land equivalent ratios for fertilized and non-fertilized intercropped systems as follows: cowpea (1.37 and 1.54), maize (1.38 and 1.36), and cassava (1.12 and 1.19). The economic evaluation also indicated marginal profitability of bamboo intercropping over monocropping systems. From the results obtained, there are clear indications that where bamboo is a prioritized woody perennial, integrated systems with crops may be encouraged.
Genetic mapping of the common and dwarf bunt resistance gene Bt12 descending from the wheat landrace PI119333
Authors: Muellner Almuth Elise , Eshonkulov Babur , Hagenguth Julia , Pachler Bernadette , Michel Sebastian , Buerstmayr Maria , Hole David , Buerstmayr Hermann 
Published: May 2020

AbstractCommon bunt (CB), caused by Tilletia caries and T. foetida, and dwarf bunt (DB), caused by T. controversa, are particularly destructive diseases of wheat grown under organic (low-input) production conditions and negatively affect both grain yield and quality. A total of 16 race specific bunt resistance genes have been proposed to date. Thereof, only Bt9 and Bt10 have been mapped so far. A mapping and two validation populations comprising 176 recombinant inbred lines were evaluated for CB and DB in artificially inoculated field trials. The mapping population was derived from the cross of the Bt12 carrier PI119333 and the susceptible cultivar ‘Rainer’. The population was genotyped with the Illumina 15 K SNP chip and the major QTL QBt.ifa-7DS representing Bt12 was identified on chromosome 7DS, explaining 39% and 14% of the phenotypic variation for CB and DB resistance, respectively. Selected SNP markers were turned into Kompetitive Allele-Specific (KASP) markers and used to validate Bt12 in two independent validation populations. These markers can be used for introgressing Bt12 into regionally adapted elite breeding material.