25,830 results on '"A, Hausmann"'
Search Results
2. Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
- Author
-
Hausmann, Daniel, Lehaut, Mathieu, and Piterman, Nir
- Subjects
Computer Science - Formal Languages and Automata Theory - Abstract
We study how to distribute trace languages in a setting where processes communicate via reconfigurable communication channels. That is, the different processes can connect and disconnect from channels at run time. We restrict attention to communication via tree-like communication architectures. These allow channels to connect more than two processes in a way that maintains an underlying spanning tree and keeps communication continuous on the tree. We make the reconfiguration explicit in the language allowing both a centralized automaton as well as the distributed processes to share relevant information about the current communication configuration. We show that Zielonka's seminal result regarding distribution of regular languages for asynchronous automata can be generalized in this setting, incorporating both reconfiguration and more than binary tree architectures.
- Published
- 2024
3. Alternating Nominal Automata with Name Allocation
- Author
-
Frank, Florian, Hausmann, Daniel, Milius, Stefan, Schröder, Lutz, and Urbat, Henning
- Subjects
Computer Science - Formal Languages and Automata Theory - Abstract
Formal languages over infinite alphabets serve as abstractions of structures and processes carrying data. Automata models over infinite alphabets, such as classical register automata or, equivalently, nominal orbit-finite automata, tend to have computationally hard or even undecidable reasoning problems unless stringent restrictions are imposed on either the power of control or the number of registers. This has been shown to be ameliorated in automata models with name allocation such as regular nondeterministic nominal automata, which allow for deciding language inclusion in elementary complexity even with unboundedly many registers while retaining a reasonable level of expressiveness. In the present work, we demonstrate that elementary complexity survives under extending the power of control to alternation: We introduce regular alternating nominal automata (RANAs), and show that their non-emptiness and inclusion problems have elementary complexity even when the number of registers is unbounded. Moreover, we show that RANAs allow for nearly complete de-alternation, specifically de-alternation up to a single deadlocked universal state.
- Published
- 2024
4. Faster and Smaller Solutions of Obliging Games
- Author
-
Hausmann, Daniel and Piterman, Nir
- Subjects
Computer Science - Computer Science and Game Theory ,Computer Science - Formal Languages and Automata Theory - Abstract
Obliging games have been introduced in the context of the game perspective on reactive synthesis in order to enforce a degree of cooperation between the to-be-synthesized system and the environment. Previous approaches to the analysis of obliging games have been small-step in the sense that they have been based on a reduction to standard (non-obliging) games in which single moves correspond to single moves in the original (obliging) game. Here, we propose a novel, large-step view on obliging games, reducing them to standard games in which single moves encode long-term behaviors in the original game. This not only allows us to give a meaningful definition of the environment winning in obliging games, but also leads to significantly improved bounds on both strategy sizes and the solution runtime for obliging games., Comment: extended version of paper accepted for publication at CONCUR 2024
- Published
- 2024
5. Physically consistent immersed boundary method: a framework for predicting hydrodynamic forces on particles with coarse meshes
- Author
-
Hausmann, Max, Elmestikawy, Hani, and van Wachem, Berend
- Subjects
Physics - Fluid Dynamics ,Physics - Computational Physics - Abstract
In the present paper, a fluid-particle coupling method is directly derived from the Navier-Stokes equations (NSE) by applying the concept of volume-filtering, yielding a physically consistent methodology to incorporate solid wall boundary conditions in the volume-filtered flow solution, thereby allowing to solve the governing flow equations on non-body conforming meshes. The resulting methodology possesses similarities with a continuous forcing immersed boundary method (IBM) and is, therefore, termed physically consistent IBM (PC-IBM). Based on the recent findings of arXiv:2402.05842v1, the closures arising in the volume-filtered NSE are closed by suitable models or even expressed analytically. The PC-IBM is fully compatible with the large eddy simulation framework, as the volume-filtered NSE converge to the filtered NSE away from solid boundaries. The potential of the PC-IBM is demonstrated by means of different particle-laden flow applications, including a dense packing of fixed particles and periodic settling of 500 particles. The new methodology turns out to be capable of accurately predicting the fluid forces on particles with relatively coarse mesh resolutions. For the flow around isolated spheres, a spatial resolution of six fluid mesh cells per diameter is sufficient to predict the drag force with less than 10% deviation from highly resolved simulation for the investigated particle Reynolds numbers ranging from 10 to 250.
- Published
- 2024
- Full Text
- View/download PDF
6. The universal property of bordism of commuting involutions
- Author
-
Hausmann, Markus and Schwede, Stefan
- Subjects
Mathematics - Algebraic Topology ,55N22, 55N91, 55P91, 57R85 - Abstract
We propose a formalism to capture the structure of the equivariant bordism rings of smooth manifolds with commuting involutions. We introduce the concept of an oriented el$_2^{RO}$-algebra, an algebraic structure featuring representation graded rings for all elementary abelian 2-groups, connected by restriction homomorphisms, a pre-Euler class, and an inverse Thom class; this data is subject to one exactness property. Besides equivariant bordism, oriented global ring spectra also give rise to oriented el$_2^{RO}$-algebras, so examples abound. Inverting the inverse Thom classes yields a global 2-torsion group law. In this sense, our oriented el$_2^{RO}$-algebras are delocalized generalizations of global 2-torsion group laws. Our main result shows that equivariant bordism for elementary abelian 2-groups is an initial oriented el$_2^{RO}$-algebra. Several other interesting equivariant homology theories can also be characterized, on elementary abelian 2-groups, by similar universal properties. We prove that stable equivariant bordism is an initial el$_2^{RO}$-algebra with an invertible orientation; that Bredon homology with constant mod 2 coefficients is an initial el$_2^{RO}$-algebra with an additive orientation; and that Borel equivariant homology with mod 2 coefficients is an initial el$_2^{RO}$-algebra with an orientation that is both additive and invertible.
- Published
- 2024
7. Global arthropod beta-diversity is spatially and temporally structured by latitude.
- Author
-
Seymour, Mathew, Roslin, Tomas, deWaard, Jeremy R, Perez, Kate HJ, D'Souza, Michelle L, Ratnasingham, Sujeevan, Ashfaq, Muhammad, Levesque-Beaudin, Valerie, Blagoev, Gergin A, Bukowski, Belén, Cale, Peter, Crosbie, Denise, Decaëns, Thibaud, deWaard, Stephanie L, Ekrem, Torbjørn, El-Ansary, Hosam O, Evouna Ondo, Fidèle, Fraser, David, Geiger, Matthias F, Hajibabaei, Mehrdad, Hallwachs, Winnie, Hanisch, Priscila E, Hausmann, Axel, Heath, Mark, Hogg, Ian D, Janzen, Daniel H, Kinnaird, Margaret, Kohn, Joshua R, Larrivée, Maxim, Lees, David C, León-Règagnon, Virginia, Liddell, Michael, Lijtmaer, Darío A, Lipinskaya, Tatsiana, Locke, Sean A, Manjunath, Ramya, Martins, Dino J, Martins, Marlúcia B, Mazumdar, Santosh, McKeown, Jaclyn TA, Anderson-Teixeria, Kristina, Miller, Scott E, Milton, Megan A, Miskie, Renee, Morinière, Jérôme, Mutanen, Marko, Naik, Suresh, Nichols, Becky, Noguera, Felipe A, Novotny, Vojtech, Penev, Lyubomir, Pentinsaari, Mikko, Quinn, Jenna, Ramsay, Leah, Rochefort, Regina, Schmidt, Stefan, Smith, M Alex, Sobel, Crystal N, Somervuo, Panu, Sones, Jayme E, Staude, Hermann S, St Jaques, Brianne, Stur, Elisabeth, Telfer, Angela C, Tubaro, Pablo L, Wardlaw, Tim J, Worcester, Robyn, Yang, Zhaofu, Young, Monica R, Zemlak, Tyler, Zakharov, Evgeny V, Zlotnick, Bradley, Ovaskainen, Otso, and Hebert, Paul DN
- Subjects
Animals ,Arthropods ,Biodiversity ,Geography ,Spatio-Temporal Analysis ,Biological Sciences ,Ecology ,Evolutionary Biology ,Life Below Water ,Biological sciences ,Biomedical and clinical sciences - Abstract
Global biodiversity gradients are generally expected to reflect greater species replacement closer to the equator. However, empirical validation of global biodiversity gradients largely relies on vertebrates, plants, and other less diverse taxa. Here we assess the temporal and spatial dynamics of global arthropod biodiversity dynamics using a beta-diversity framework. Sampling includes 129 sampling sites whereby malaise traps are deployed to monitor temporal changes in arthropod communities. Overall, we encountered more than 150,000 unique barcode index numbers (BINs) (i.e. species proxies). We assess between site differences in community diversity using beta-diversity and the partitioned components of species replacement and richness difference. Global total beta-diversity (dissimilarity) increases with decreasing latitude, greater spatial distance and greater temporal distance. Species replacement and richness difference patterns vary across biogeographic regions. Our findings support long-standing, general expectations of global biodiversity patterns. However, we also show that the underlying processes driving patterns may be regionally linked.
- Published
- 2024
8. Technological developments and accelerator improvements for the FRIB beam power ramp-up
- Author
-
Wei, J, Alleman, C, Ao, H, Arend, B, Barofsky, D, Beher, S, Bollen, G, Bultman, N, Casagrande, F, Chang, W, Choi, Y, Cogan, S, Cole, P, Compton, C, Cortesi, M, Curtin, J, Davidson, K, Di Carlo, S, Du, X, Elliott, K, Ewert, B, Facco, A, Fila, A, Fukushima, K, Ganni, V, Ganshyn, A, Ginter, T, Glasmacher, T, Gonzalez, A, Hao, Y, Hartung, W, Hasan, N, Hausmann, M, Holland, K, Hseuh, HC, Ikegami, M, Jager, D, Jones, S, Joseph, N, Kanemura, T, Kim, SH, Knowles, C, Konomi, T, Kortum, B, Kulkarni, N, Kwan, E, Lange, T, Larmann, M, Larter, T, Laturkar, K, LaVere, M, Laxdal, RE, LeTourneau, J, Li, Z-Y, Lidia, S, Machicoane, G, Magsig, C, Manwiller, P, Marti, F, Maruta, T, Metzgar, E, Miller, S, Momozaki, Y, Mugerian, M, Morris, D, Nesterenko, I, Nguyen, C, Ostroumov, P, Patil, M, Plastun, A, Popielarski, L, Portillo, M, Powers, A, Priller, J, Rao, X, Reaume, M, Rodriguez, S, Rogers, S, Saito, K, Sherrill, BM, Smith, MK, Song, J, Steiner, M, Stolz, A, Tarasov, O, Tousignant, B, Walker, R, Wang, X, Wenstrom, J, West, G, Witgen, K, Wright, M, Xu, T, Yamazaki, Y, Zhang, T, Zhao, Q, Zhao, S, Hurh, P, Prestemon, S, and Shen, T
- Subjects
Nuclear and Plasma Physics ,Engineering ,Synchrotrons and Accelerators ,Physical Sciences ,Nuclear & Particles Physics ,Physical sciences - Abstract
The Facility for Rare Isotope Beams (FRIB) began operation with 1 kW beam power for scientific users in May 2022 upon completion of 8 years of project construction. The ramp-up to the ultimate beam power of 400 kW, planned over a 6-year period, will enable the facility to reach its full potential for scientific discovery in isotope science and applications. In December 2023, a record-high beam power of 10.4 kW uranium was delivered to the target. Technological developments and accelerator improvements are being made over the entire facility and are key to completion of the power ramp-up. Major technological developments entail the phased deployment of high-power beam-intercepting systems, including the charge strippers, the charge selection systems, the production target, and the beam dump, along with support systems, including non-conventional utilities (NCU) and remote handling facilities. Major accelerator improvements include renovations to aging legacy systems associated with experimental beam lines and system automation for improved operational efficiency and better machine availability. Experience must be gained to safely handle the increased radiological impacts associated with high beam power; extensive machine studies and advanced beam tuning procedures are needed to minimize uncontrolled beam losses for the desired operating conditions. This paper discusses the technological developments and accelerator improvements with emphasis on major R&D efforts.
- Published
- 2024
9. Faster Game Solving by Fixpoint Acceleration
- Author
-
Hausmann, Daniel
- Subjects
Computer Science - Computer Science and Game Theory ,Computer Science - Logic in Computer Science - Abstract
We propose a method for solving parity games with acyclic (DAG) sub-structures by computing nested fixpoints of a DAG attractor function that lives over the non-DAG parts of the game, thereby restricting the domain of the involved fixpoint operators. Intuitively, this corresponds to accelerating fixpoint computation by inlining cycle-free parts during the solution of parity games, leading to earlier convergence. We also present an economic later-appearence-record construction that takes Emerson-Lei games to parity games, and show that it preserves DAG sub-structures; it follows that the proposed method can be used also for the accelerated solution of Emerson-Lei games.
- Published
- 2024
10. Representation-graded Bredon homology of elementary abelian 2-groups
- Author
-
Hausmann, Markus and Schwede, Stefan
- Subjects
Mathematics - Algebraic Topology ,55N91, 55P91, 55Q91 - Abstract
We calculate the representation-graded Bredon homology rings of all elementary abelian 2-groups with coefficients in the constant mod-2 Mackey functor. We exhibit minimal presentations for these rings as quotients of the polynomial algebra on the pre-Euler and inverse Thom classes of all nontrivial characters, subject to an explicit finite list of relations arising from orientability properties. Two corollaries of our presentation are the calculation, originally due to Holler and Kriz, of the geometric fixed point rings, and a strengthening of a calculation of Balmer and Gallauer of the localized twisted cohomology ring.
- Published
- 2024
11. Study and derivation of closures in the volume-filtered framework for particle-laden flows
- Author
-
Hausmann, Max, Chéron, Victor, Evrard, Fabien, and van Wachem, Berend
- Subjects
Physics - Fluid Dynamics - Abstract
The volume-filtering of the Navier-Stokes equations allows to consider the effect that particles have on the fluid without further assumptions, but closures arise of which the implications are not fully understood. In the present paper, we carefully study every closure in the volume-filtered fluid momentum equation and investigate their impact on the momentum and energy transfer dependent on the filtering characteristics. We provide an analytical expression for the viscous closure that arises because filter and spatial derivative in the viscous term do not commute. An analytical expression for the regularization of the particle momentum source of a single sphere in the Stokes regime is derived. Furthermore, we propose a model for the subfilter stress tensor, which originates from filtering the advective term. The model for the subfilter stress tensor is shown to agree well with the subfilter stress tensor for small filter widths relative to the size of the particle. We show that the subfilter stress tensor requires modeling and should not be neglected. For small filter widths, we find that the commonly applied Gaussian regularization of the particle momentum source is a poor approximation of the spatial distribution of the particle momentum source, but for larger filter widths the spatial distribution approaches a Gaussian. Furthermore, we propose a modified advective term in the volume-filtered momentum equation that consistently circumvents the common stability issues observed at locally small fluid volume fractions and identify inconsistencies in previous studies of the phase-averaged kinetic energy of the volume-filtered fluid velocity. Finally, we propose a generally applicable form of the volume-filtered momentum equation and its closures based on clear and well-founded assumptions and propose guidelines for point-particle simulations based on the new findings.
- Published
- 2024
- Full Text
- View/download PDF
12. Kann beim muskelinvasiven Urothelkarzinom der Harnblase zukünftig auf die Zystektomie verzichtet werden?: Neue Daten zur trimodalen Therapie und zum Blasenerhalt nach reiner Systemtherapie
- Author
-
Hausmann, Jan and Grunewald, Camilla M.
- Published
- 2024
- Full Text
- View/download PDF
13. Disrupting glioblastoma networks with tumor treating fields (TTFields) in in vitro models
- Author
-
Schlieper-Scherf, Steffen, Hebach, Nils, Hausmann, David, Azorín, Daniel D., Hoffmann, Dirk C., Horschitz, Sandra, Maier, Elena, Koch, Phillip, Karreman, Matthia A., Etminan, Nima, and Ratliff, Miriam
- Published
- 2024
- Full Text
- View/download PDF
14. Model-based closed-loop process control for the manufacturing of hairpin coils
- Author
-
Wirth, Felix, Hausmann, Ludwig, and Fleischer, Jürgen
- Published
- 2024
- Full Text
- View/download PDF
15. Suicidal Ideation Risk Among Chilean High School Students: An Analysis of Social, Educational, and Psychological Mediator Factors
- Author
-
Quijada, Yanet, Bustos Navarrete, Claudio, Inostroza, Carolina, and Hausmann-Stabile, Carolina
- Published
- 2024
- Full Text
- View/download PDF
16. Single-mode waveguides for GRAVITY II. Single-mode fibers and Fiber Control Unit
- Author
-
Perrin, G., Jocou, L., Perraut, K., Berger, J. Ph., Dembet, R., Fédou, P., Lacour, S., Chapron, F., Collin, C., Poulain, S., Cardin, V., Joulain, F., Eisenhauer, F., Haubois, X., Gillessen, S., Haug, M., Hausmann, F., Kervella, P., Léna, P., Lippa, M., Pfuh, O., Rabien, S., Amorim, A., Brandner, W., and Straubmeier, C.
- Subjects
Astrophysics - Instrumentation and Methods for Astrophysics - Abstract
The 2nd generation VLTI instrument GRAVITY is a two-field infrared interferometer operating in the K band between 1.97 and 2.43 $\mu$m with either the four 8 m or the four 1.8 m telescopes of the Very Large Telescope (VLT). Beams collected by the telescopes are corrected with adaptive optics systems and the fringes are stabilized with a fringe-tracking system. A metrology system allows the measurement of internal path lengths in order to achieve high-accuracy astrometry. High sensitivity and high interferometric accuracy are achieved thanks to (i) correction of the turbulent phase, (ii) the use of low-noise detectors, and (iii) the optimization of photometric and coherence throughput. Beam combination and most of the beam transport are performed with single-mode waveguides in vacuum and at low temperature. In this paper, we present the functions and performance achieved with weakly birefringent standard single-mode fiber systems in GRAVITY. Fibered differential delay lines (FDDLs) are used to dynamically compensate for up to 6 mm of delay between the science and reference targets. Fibered polarization rotators allow us to align polarizations in the instrument and make the single-mode beam combiner close to polarization neutral. The single-mode fiber system exhibits very low birefringence (less than 23{\deg}), very low attenuation (3.6-7 dB/km across the K band), and optimized differential dispersion (less than 2.04 $\mu$rad cm2 at zero extension of the FDDLs). As a consequence, the typical fringe contrast losses due to the single-mode fibers are 6% to 10% in the lowest-resolution mode and 5% in the medium- and high-resolution modes of the instrument for a photometric throughput of the fiber chain of the order of 90%. There is no equivalent of this fiber system to route and modally filter beams with delay and polarization control in any other K-band beamcombiner., Comment: 14 pages including 2 appendices, 8 figures in the main text plus 2 figures in the appendices, final version published in A&A
- Published
- 2024
- Full Text
- View/download PDF
17. Condensed Matter Systems Exposed to Radiation: Multiscale Theory, Simulations, and Experiment
- Author
-
Solov'yov, Andrey V., Verkhovtsev, Alexey V., Mason, Nigel J., Amos, Richard A., Bald, Ilko, Baldacchino, Gérard, Dromey, Brendan, Falk, Martin, Fedor, Juraj, Gerhards, Luca, Hausmann, Michael, Hildenbrand, Georg, Hrabovský, Miloš, Kadlec, Stanislav, Kočišek, Jaroslav, Lépine, Franck, Ming, Siyi, Nisbet, Andrew, Ricketts, Kate, Sala, Leo, Schlathölter, Thomas, Wheatley, Andrew, and Solov'yov, Ilia A.
- Subjects
Physics - Chemical Physics ,Condensed Matter - Mesoscale and Nanoscale Physics ,Physics - Atomic Physics ,Physics - Biological Physics ,Physics - Plasma Physics - Abstract
This paper reviews the new highly interdisciplinary research field studying the behavior of condensed matter systems exposed to radiation. The paper highlights several relevant examples of recent advances in the field and provides a roadmap for the development of the field in the next decade. Condensed matter systems exposed to radiation may have very different natures, being inorganic, organic or biological, finite or infinite, be composed of many different molecular species or materials, existing in different phases (solid, liquid, gaseous or plasma) and operating under different thermodynamic conditions. The essential and novel element of this research is that, despite the vast diversity of such systems, many of the key phenomena related to the behavior of irradiated systems (such as radiation-induced damage, mechanisms of damage repair and control, radiation protection, etc.) are very similar and can be understood based on the same fundamental theoretical principles and computational approaches. One of the essential features of the aforementioned phenomena concerns their multiscale nature as the manifestation of the radiation-induced effects occurring at different spatial and temporal scales ranging from the atomic to the macroscopic. The multiscale nature of the effects and similarity of their manifestation in systems of different origins necessarily brings together different disciplines, such as physics, chemistry, biology, materials and nano-science, and biomedical research, demonstrating numerous interlinks and commonalities between them. This research field is highly relevant to many novel and emerging technologies and medical applications., Comment: Roadmap paper; 376 pages, 32 figures. Submitted to Chemical Reviews
- Published
- 2023
- Full Text
- View/download PDF
18. Generic Model Checking for Modal Fixpoint Logics in COOL-MC
- Author
-
Hausmann, Daniel, Humml, Merlin, Prucker, Simon, Schröder, Lutz, and Strahlberger, Aaron
- Subjects
Computer Science - Logic in Computer Science - Abstract
We report on COOL-MC, a model checking tool for fixpoint logics that is parametric in the branching type of models (nondeterministic, game-based, probabilistic etc.) and in the next-step modalities used in formulae. The tool implements generic model checking algorithms developed in coalgebraic logic that are easily adapted to concrete instance logics. Apart from the standard modal $\mu$-calculus, COOL-MC currently supports alternating-time, graded, probabilistic and monotone variants of the $\mu$-calculus, but is also effortlessly extensible with new instance logics. The model checking process is realized by polynomial reductions to parity game solving, or, alternatively, by a local model checking algorithm that directly computes the extensions of formulae in a lazy fashion, thereby potentially avoiding the construction of the full parity game. We evaluate COOL-MC on informative benchmark sets., Comment: Full Version of VMCAI 2024 publication
- Published
- 2023
19. Bestrahlung des Herzens zur Verbesserung der linksventrikulären Funktion
- Author
-
Mehrhof, Felix, Hohendanner, Felix, Blanck, Oliver, Hindricks, Gerhard, Zips, Daniel, and Hausmann, Franziska
- Published
- 2024
- Full Text
- View/download PDF
20. Intergenerational Ambivalence, Self-differentiation and Ethnic Identity: A Mixed-methods Study on Family Ethnic Socialization
- Author
-
Yao, Hong, Hou, Yajie, Hausmann-Stabile, Carolina, and Lai, Angel Hor Yan
- Published
- 2024
- Full Text
- View/download PDF
21. A prognostic neural epigenetic signature in high-grade glioma
- Author
-
Drexler, Richard, Khatri, Robin, Sauvigny, Thomas, Mohme, Malte, Maire, Cecile L., Ryba, Alice, Zghaibeh, Yahya, Dührsen, Lasse, Salviano-Silva, Amanda, Lamszus, Katrin, Westphal, Manfred, Gempt, Jens, Wefers, Annika K., Neumann, Julia E., Bode, Helena, Hausmann, Fabian, Huber, Tobias B., Bonn, Stefan, Jütten, Kerstin, Delev, Daniel, Weber, Katharina J., Harter, Patrick N., Onken, Julia, Vajkoczy, Peter, Capper, David, Wiestler, Benedikt, Weller, Michael, Snijder, Berend, Buck, Alicia, Weiss, Tobias, Göller, Pauline C., Sahm, Felix, Menstel, Joelle Aline, Zimmer, David Niklas, Keough, Michael B., Ni, Lijun, Monje, Michelle, Silverbush, Dana, Hovestadt, Volker, Suvà, Mario L., Krishna, Saritha, Hervey-Jumper, Shawn L., Schüller, Ulrich, Heiland, Dieter H., Hänzelmann, Sonja, and Ricklefs, Franz L.
- Published
- 2024
- Full Text
- View/download PDF
22. Advanced Polycrystalline γ′-Strengthened CoNiCr-Based Superalloys
- Author
-
Neumeier, S., Freund, L. P., Bezold, A., Köbrich, M., Vollhüter, J., Hausmann, D., Solis, C., Stark, A., Schell, N., Pyczak, F., Felfer, P., Gilles, R., and Göken, M.
- Published
- 2024
- Full Text
- View/download PDF
23. Facility-Level Variation in Racial Disparities in Anticoagulation for Atrial Fibrillation: The REACH-AF Study
- Author
-
Essien, Utibe R., Kim, Nadejda, Hausmann, Leslie R. M., Washington, Donna L., Mor, Maria K., Gellad, Walid F., and Fine, Michael J.
- Published
- 2024
- Full Text
- View/download PDF
24. Fair $\omega$-Regular Games
- Author
-
Hausmann, Daniel, Piterman, Nir, Sağlam, Irmak, and Schmuck, Anne-Kathrin
- Subjects
Computer Science - Computer Science and Game Theory - Abstract
We consider two-player games over finite graphs in which both players are restricted by fairness constraints on their moves. Given a two player game graph $G=(V,E)$ and a set of fair moves $E_f\subseteq E$ a player is said to play "fair" in $G$ if they choose an edge $e \in E_f$ infinitely often whenever the source vertex of $e$ is visited infinitely often. Otherwise, they play "unfair". We equip such games with two $\omega$-regular winning conditions $\alpha$ and $\beta$ deciding the winner of mutually fair and mutually unfair plays, respectively. Whenever one player plays fair and the other plays unfair, the fairly playing player wins the game. The resulting games are called "fair $\alpha/\beta$ games". We formalize fair $\alpha/\beta$ games and show that they are determined. For fair parity/parity games, i.e., fair $\alpha/\beta$ games where $\alpha$ and $\beta$ are given each by a parity condition over $G$, we provide a polynomial reduction to (normal) parity games via a gadget construction inspired by the reduction of stochastic parity games to parity games. We further give a direct symbolic fixpoint algorithm to solve fair parity/parity games. On a conceptual level, we illustrate the translation between the gadget-based reduction and the direct symbolic algorithm which uncovers the underlying similarities of solution algorithms for fair and stochastic parity games, as well as for the recently considered class of fair games where only one player is restricted by fair moves.
- Published
- 2023
25. Implementation Guidance for Wood Harvesting and Storage
- Author
-
Zeng, Ning, Sanchez, Daniel, Belmont, Erica, and Hausmann, Henry
- Subjects
Physics - Physics and Society - Abstract
This implementation guidance focuses on carbon removal and sequestration via wood harvesting and storage (WHS), a process where woody biomass, with the embedded carbon, is stored for long timescales in shallow geologic storage. The engineering structure designed to ensure such durable storage by preventing biomass decomposition is called a Wood Vault. This guidance contains the requirements for a basic Wood Vault project, and is intended to aid project developers, verifiers, and registries in this space. It describes a set of requirements that govern the end-to-end process of carbon removal and sequestration. This includes carbon accounting, wood sourcing via wood residual (WR) utilization, Wood Vault construction and maintenance, as well as processes for monitoring, verification, and credit issuance. Carbon accounting requirements include baseline, or counterfactual specification, and full life cycle analysis (LCA) within a specified process boundary. For the vault itself, the guidance describes a buried vault with the burial chamber covered by a layer of low permeability material to create anoxic condition. Other types of vaults can also be used to adjust to local environmental, transport, and economic constraints. Monitoring and verification requirements include in-situ sensors, gas sampling, sample excavations, and site maintenance. This guidance also contemplates land ownership and legal assurances, as well as environmental and societal impact assessments. The implementation guidance concludes with recommendations regarding auditing, certification and carbon credit issuance.
- Published
- 2023
26. Invariant prime ideals in equivariant Lazard rings
- Author
-
Hausmann, Markus and Meier, Lennart
- Subjects
Mathematics - Algebraic Topology ,Mathematics - Algebraic Geometry ,55N22, 57R85, 14L05, 55P91 - Abstract
Let $A$ be an abelian compact Lie group. In this paper we compute the spectrum of invariant prime ideals of the $A$-equivariant Lazard ring, or equivalently the spectrum of points of the moduli stack of $A$-equivariant formal groups. We further show that this spectrum is homeomorphic to the Balmer spectrum of compact $A$-spectra, with the comparison map induced by equivariant complex bordism homology., Comment: 43 pages, comments welcome
- Published
- 2023
27. Measurement events relative to temporal quantum reference frames
- Author
-
Hausmann, Ladina, Schmidhuber, Alexander, and Castro-Ruiz, Esteban
- Subjects
Quantum Physics - Abstract
The Page-Wootters formalism is a proposal for reconciling the background-dependent, quantum-mechanical notion of time with the background-independence of general relativity. However, the physical meaning of this framework remains debated. In this work, we compare two consistent approaches to the Page-Wootters formalism to clarify the operational meaning of evolution and measurements with respect to a quantum temporal reference frame. The so-called "twirled observable" approach implements measurements as operators that are invariant with respect to the Hamiltonian constraint. The "purified measurement" approach instead models measurements dynamically by modifying the constraint itself. While both approaches agree in the limit of ideal clocks, a natural generalization of the purified measurement approach to the case of non-ideal, finite-resource clocks yields a radically different picture. We discuss the physical origin of this discrepancy and argue that the approaches describe operationally distinct situations. Moreover, we show that, for non-ideal clocks, the purified measurement approach yields time non-local, non-unitary evolution and implies a fundamental limitation to the operational definition of the temporal order of events. Nevertheless, unitarity and definite temporal order can be restored if we assume that time is discrete.
- Published
- 2023
28. A current assessment and commentary on the field of shell seasonality
- Author
-
Hausmann, Niklas
- Published
- 2024
- Full Text
- View/download PDF
29. The influence of growth rate-controlling feeding strategy on the surfactin production in Bacillus subtilis bioreactor processes
- Author
-
Eric Hiller, Manuel Off, Alexander Hermann, Maliheh Vahidinasab, Elvio Henrique Benatto Perino, Lars Lilge, and Rudolf Hausmann
- Subjects
Bacillus subtilis ,Surfactin ,Bioreactor ,Bioprocess engineering ,Fed-batch ,Microbiology ,QR1-502 - Abstract
Abstract Background The production of surfactin, an extracellular accumulating lipopeptide produced by various Bacillus species, is a well-known representative of microbial biosurfactant. However, only limited information is available on the correlation between the growth rate of the production strain, such as B. subtilis BMV9, and surfactin production. To understand the correlation between biomass formation over time and surfactin production, the availability of glucose as carbon source was considered as main point. In fed-batch bioreactor processes, the B. subtilis BMV9 was used, a strain well-suited for high cell density fermentation. By adjusting the exponential feeding rates, the growth rate of the surfactin-producing strain, was controlled. Results Using different growth rates in the range of 0.075 and 0.4 h-1, highest surfactin titres of 36 g/L were reached at 0.25 h-1 with production yields YP/S of 0.21 g/g and YP/X of 0.7 g/g, while growth rates lower than 0.2 h-1 resulted in insufficient and slowed biomass formation as well as surfactin production (YP/S of 0.11 g/g and YP/X of 0.47 g/g for 0.075 h-1). In contrast, feeding rates higher than 0.25 h-1 led to a stimulation of overflow metabolism, resulting in increased acetate formation of up to 3 g/L and an accumulation of glucose due to insufficient conversion, leading to production yields YP/S of 0.15 g/g and YP/X of 0.46 g/g for 0.4 h-1. Conclusions Overall, the parameter of adjusting exponential feeding rates have an important impact on the B. subtilis productivity in terms of surfactin production in fed-batch bioreactor processes. A growth rate of 0.25 h-1 allowed the highest surfactin production yield, while the total conversion of substrate to biomass remained constant at the different growth rates.
- Published
- 2024
- Full Text
- View/download PDF
30. Quantification of biomass availability for wood harvesting and storage in the continental United States with a carbon cycle model
- Author
-
Henry Hausmann, Qixiang Cai, and Ning Zeng
- Subjects
Carbon removal ,Carbon storage ,Forestry ,Wood Harvesting and Storage ,United States ,Carbon cycle modeling ,Environmental sciences ,GE1-350 - Abstract
Abstract Background Wood Harvesting and Storage (WHS) is a form of Biomass Carbon Removal and Storage (BiCRS) that utilizes a combined natural and engineered process to harvest woody biomass and put it into long term storage, most frequently in the form of subterranean burial. This paper aims to quantify the availability of woody biomass for the purposes of WHS in the continental United States using a carbon cycle modeling approach. Using a regional version of the VEGAS terrestrial carbon cycle model at 10 km resolution, this paper calculates the annual woody net primary production in the continental United States. It then applies a series of constraints to exclude woody biomass that is unavailable for WHS. These constraints include fine woody biomass, current land use, current wood utilization, land conservation, and topographical limitations. These results were then split into state by state and regional totals. Results In total, the model projects the continental United States could produce 1,274 MtCO2e (CO2 equivalent) worth of coarse woody biomass annually in a scenario with no anthropogenic land use or constraints. In a scenario with anthropogenic land use and constraints on wood availability, the model projects that 415 MtCO2e of coarse woody biomass is available for WHS annually. This is enough to offset 8.5% of the United States’ 2020 greenhouse gas emissions. Of this potential, 20 MtCO2e is from the Pacific region, 77 MtCO2e is from the Western Interior, 91 MtCO2e is from the Northeast region, and 228 MtCO2e is from the Southeast region. Conclusion There is enough coarse woody biomass available in the continental United States to make WHS a viable form of carbon removal and storage in the country. There is coarse woody biomass available across the continental United States. All four primary regions analyzed have enough coarse woody biomass available to justify investment in WHS projects.
- Published
- 2024
- Full Text
- View/download PDF
31. The role of miR-155-5p in inflammation and mechanical loading during intervertebral disc degeneration
- Author
-
Petra Cazzanelli, Mikkael Lamoca, Johannes Hasler, Oliver Nic Hausmann, Addisu Mesfin, Varun Puvanesarajah, Wolfgang Hitzl, and Karin Wuertz-Kozak
- Subjects
MiRNA-155 ,Cyclic stretching ,ECM degradation ,MAPK signaling ,Degenerative disc disease ,Low back pain ,Medicine ,Cytology ,QH573-671 - Abstract
Abstract Background Intervertebral disc (IVD) degeneration is a multifactorial pathological process resulting in the dysregulation of IVD cell activity. The catabolic shift observed in IVD cells during degeneration leads to increased inflammation, extracellular matrix (ECM) degradation, aberrant intracellular signaling and cell loss. Importantly, these pathological processes are known to be interconnected and to collectively contribute to the progression of the disease. MicroRNAs (miRNAs) are known as strong post-transcriptional regulators, targeting multiple genes simultaneously and regulating numerous intracellular pathways. Specifically, miR-155-5p has been of particular interest since it is known as a pro-inflammatory mediator and contributing factor to diseases like cancer and osteoarthritis. This study investigated the role of miR-155-5p in IVD degeneration with a specific focus on inflammation and mechanosensing. Methods Gain- and loss-of-function studies were performed through transfection of human Nucleus pulposus (NP) and Annulus fibrosus (AF) cells isolated from degenerated IVDs with miR-155-5p mimics, inhibitors or their corresponding non-targeting control. Transfected cells were then subjected to an inflammatory environment or mechanical loading. Conditioned media and cell lysates were collected for phosphorylation and cytokine secretion arrays as well as gene expression analysis. Results Increased expression of miR-155-5p in AF cells resulted in significant upregulation of interleukin (IL)-8 cytokine secretion during cyclic stretching and a similar trend in IL-6 secretion during inflammation. Furthermore, miR-155-5p mimics increased the expression of the brain-derived neurotrophic factor (BDNF) in AF cells undergoing cyclic stretching. In NP cells, miR-155-5p gain-of-function resulted in the activation of the mitogen-activated protein kinase (MAPK) signaling pathway through increased phosphorylation of p38 and p53. Lastly, miR-155-5p inhibition caused a significant increase in the anti-inflammatory cytokine IL-10 in AF cells and the tissue inhibitor of metalloproteinases (TIMP)-4 in NP cells respectively. Conclusion Overall, these results show that miR-155-5p contributes to IVD degeneration by enhancing inflammation through pro-inflammatory cytokines and MAPK signaling, as well as by promoting the catabolic shift of AF cells during mechanical loading. The inhibition of miR-155-5p may constitute a potential therapeutic approach for IVD degeneration and low back pain.
- Published
- 2024
- Full Text
- View/download PDF
32. COOL 2 -- A Generic Reasoner for Modal Fixpoint Logics
- Author
-
Görlitz, Oliver, Hausmann, Daniel, Humml, Merlin, Pattinson, Dirk, Prucker, Simon, and Schröder, Lutz
- Subjects
Computer Science - Logic in Computer Science ,Computer Science - Formal Languages and Automata Theory - Abstract
There is a wide range of modal logics whose semantics goes beyond relational structures, and instead involves, e.g., probabilities, multi-player games, weights, or neighbourhood structures. Coalgebraic logic serves as a unifying semantic and algorithmic framework for such logics. It provides uniform reasoning algorithms that are easily instantiated to particular, concretely given logics. The COOL 2 reasoner provides an implementation of such generic algorithms for coalgebraic modal fixpoint logics. As concrete instances, we obtain in particular reasoners for the aconjunctive and alternation-free fragments of the graded $\mu$-calculus and the alternating-time $\mu$-calculus. We evaluate the tool on standard benchmark sets for fixpoint-free graded modal logic and alternating-time temporal logic (ATL), as well as on a dedicated set of benchmarks for the graded $\mu$-calculus., Comment: Final version (corrected slight mistake in Rabin-type formula series)
- Published
- 2023
33. Wavelet based modeling of subgrid-scales in LES of particle-laden turbulent flows
- Author
-
Hausmann, Max, Evrard, Fabien, and van Wachem, Berend
- Subjects
Physics - Fluid Dynamics ,Physics - Computational Physics - Abstract
We propose a novel model to obtain the subgrid-scale velocity in the context of large-eddy simulation (LES) of particle-laden turbulent flows, to recover accurate particle statistics. In the new wavelet enrichment model, the subgrid-scale velocity is discretized with a divergence-free wavelet vector basis, and the coefficients of the expansion are obtained by minimizing the squared error of the linearized subfilter Navier-Stokes equations (SFNSE). The compact support of the wavelet basis is exploited to achieve continuously varying subgrid-scale velocity statistics across the domain. The performance of the new wavelet enrichment model is evaluated in single-phase and particle-laden flow simulations, comparing the results with the results of direct numerical simulations (DNS). The simulations show that the model can generate inhomogeneous and anisotropic velocity statistics, accurate strain-rotation relations, and a good approximation of the kinetic energy spectrum of the corresponding DNS. Furthermore, the model significantly improves the prediction of the particle-pair dispersion, the clustering of the particles, and the turbulence modulation by particles in two-way coupled simulations. The proposed model recovers the most important interactions between fluid turbulence and the behavior of the particles, while maintaining the computational cost on the order of a LES.
- Published
- 2023
- Full Text
- View/download PDF
34. Symbolic Solution of Emerson-Lei Games for Reactive Synthesis
- Author
-
Hausmann, Daniel, Lehaut, Mathieu, and Pitermann, Nir
- Subjects
Computer Science - Formal Languages and Automata Theory ,Computer Science - Computer Science and Game Theory - Abstract
Emerson-Lei conditions have recently attracted attention due to their succinctness and compositionality properties. In the current work, we show how infinite-duration games with Emerson-Lei objectives can be analyzed in two different ways. First, we show that the Zielonka tree of the Emerson-Lei condition gives rise naturally to a new reduction to parity games. This reduction, however, does not result in optimal analysis. Second, we show based on the first reduction (and the Zielonka tree) how to provide a direct fixpoint-based characterization of the winning region. The fixpoint-based characterization allows for symbolic analysis. It generalizes the solutions of games with known winning conditions such as B\"uchi, GR[1], parity, Streett, Rabin and Muller objectives, and in the case of these conditions reproduces previously known symbolic algorithms and complexity results. We also show how the capabilities of the proposed algorithm can be exploited in reactive synthesis, suggesting a new expressive fragment of LTL that can be handled symbolically. Our fragment combines a safety specification and a liveness part. The safety part is unrestricted and the liveness part allows to define Emerson-Lei conditions on occurrences of letters. The symbolic treatment is enabled due to the simplicity of determinization in the case of safety languages and by using our new algorithm for game solving. This approach maximizes the number of steps solved symbolically in order to maximize the potential for efficient symbolic implementations.
- Published
- 2023
35. Omicron variant infection in inflammatory rheumatological conditions - outcomes from a COVID-19 naive population in Aotearoa New Zealand.
- Author
-
Brooks, Jonathon, Montgomery, Anna, Dalbeth, Nicola, Sapsford, Mark, Ngan Kee, Rachel, Cooper, Amy, Quincey, Vicki, Bhana, Suleman, Gore-Massy, Monique, Hausmann, Jonathan, Liew, Jean, Machado, Pedro, Sufka, Paul, Sirotich, Emily, Robinson, Philip, Wallace, Zachary, Grainger, Rebecca, and Yazdany, Jinoos
- Subjects
COVID-19 ,Outcomes ,Rheumatic disease ,SARS-CoV-2 - Abstract
BACKGROUND: Due to geographic isolation and border controls Aotearoa New Zealand (AoNZ) attained high levels of population coronavirus disease-19 (COVID-19) vaccination before widespread transmission of COVID-19. We describe outcomes of SARS-CoV-2 infection (Omicron variant) in people with inflammatory rheumatic diseases in this unique setting. METHODS: This observational study included people with inflammatory rheumatic disease and SARS-CoV-2 infection in AoNZ between 1 February and 30 April 2022. Data were collected via the Global Rheumatology Alliance Registry including demographic and rheumatic disease characteristics, and COVID-19 vaccination status and outcomes. Multivariable logistic regression was used to explore associations of demographic and clinical factors with COVID-19 hospitalisation and death. FINDINGS: Of the 1599 cases included, 96% were from three hospitals that systematically identified people with inflammatory rheumatic disease and COVID-19. At time of COVID-19, 1513 cases (94.6%) had received at least two COVID-19 vaccinations. Hospitalisation occurred for 104 (6.5%) cases and 10 (0.6%) patients died. Lower frequency of hospitalisation was seen in cases who had received at least two vaccinations (5.9%), compared to the unvaccinated (20.6%) or those with a single vaccine dose (10.7%). In multivariable adjusted models, people with gout or connective tissue diseases (CTD) had increased risk of the combined outcome of hospitalisation/death, compared to people with inflammatory arthritis. Glucocorticoid and rituximab use were associated with increased rates of hospitalisation/death. All patients who died had three or more co-morbidities or were over 60 years old. INTERPRETATION: In this cohort with inflammatory rheumatic diseases and high vaccination rates, severe outcomes from SARS-CoV-2 Omicron variant were relatively infrequent. The outcome of Omicron variant infection among vaccinated but SARS-CoV-2 infection-naive people with inflammatory rheumatic disease without other known risk factors were favourable. FUNDING: Financial support from the American College of Rheumatology (ACR) and European Alliance of Associations for Rheumatology (EULAR) included management of COVID-19 Global Rheumatology Alliance funds.
- Published
- 2023
36. Das Management touristischer Märkte und Zielgruppen: Kulturtourismus
- Author
-
Hausmann, Andrea and Hausmann, Andrea, Series Editor
- Published
- 2024
- Full Text
- View/download PDF
37. Das Management finanzieller und sonstiger Mittel: Kulturfinanzierung
- Author
-
Hausmann, Andrea and Hausmann, Andrea, Series Editor
- Published
- 2024
- Full Text
- View/download PDF
38. Das Management von Angebot und Nachfrage: Kulturmarketing
- Author
-
Hausmann, Andrea and Hausmann, Andrea, Series Editor
- Published
- 2024
- Full Text
- View/download PDF
39. Das Management von Kunst und Kultur
- Author
-
Hausmann, Andrea and Hausmann, Andrea, Series Editor
- Published
- 2024
- Full Text
- View/download PDF
40. Das Management von Mitarbeitenden: Personalmanagement
- Author
-
Hausmann, Andrea and Hausmann, Andrea, Series Editor
- Published
- 2024
- Full Text
- View/download PDF
41. Holocene palaeoclimate
- Author
-
Niklas Hausmann and Yoshiki Saito
- Subjects
Medicine ,Science - Abstract
Abstract This editorial introduces the “Holocene palaeoclimate” special collection, which examines the intricate relationship between human activities and climate systems throughout the Holocene. The collection highlights the significance of palaeoclimatic reconstructions, providing insights into past climate variability and extremes. By integrating multidisciplinary research from diverse regions, including the Siberian Arctic, Singapore, the Iberian Peninsula, Bavaria, and Madagascar, the collection elucidates the global and regional climate dynamics that shaped historical and contemporary environments. These studies underscore the value of understanding past climates to better predict future climate behaviour and develop strategies to mitigate the impacts of ongoing global warming. The findings offer a long-term perspective on climate trends, contributing to more informed and resilient approaches to addressing contemporary climate challenges.
- Published
- 2024
- Full Text
- View/download PDF
42. Holocene palaeoclimate
- Author
-
Hausmann, Niklas and Saito, Yoshiki
- Published
- 2024
- Full Text
- View/download PDF
43. The influence of growth rate-controlling feeding strategy on the surfactin production in Bacillus subtilis bioreactor processes
- Author
-
Hiller, Eric, Off, Manuel, Hermann, Alexander, Vahidinasab, Maliheh, Benatto Perino, Elvio Henrique, Lilge, Lars, and Hausmann, Rudolf
- Published
- 2024
- Full Text
- View/download PDF
44. Quantification of biomass availability for wood harvesting and storage in the continental United States with a carbon cycle model
- Author
-
Hausmann, Henry, Cai, Qixiang, and Zeng, Ning
- Published
- 2024
- Full Text
- View/download PDF
45. The role of miR-155-5p in inflammation and mechanical loading during intervertebral disc degeneration
- Author
-
Cazzanelli, Petra, Lamoca, Mikkael, Hasler, Johannes, Hausmann, Oliver Nic, Mesfin, Addisu, Puvanesarajah, Varun, Hitzl, Wolfgang, and Wuertz-Kozak, Karin
- Published
- 2024
- Full Text
- View/download PDF
46. Plant roots affect free-living diazotroph communities in temperate grassland soils despite decades of fertilization
- Author
-
Dietrich, Marlies, Panhölzl, Christopher, Angel, Roey, Giguere, Andrew T., Randi, Dania, Hausmann, Bela, Herbold, Craig W., Pötsch, Erich M., Schaumberger, Andreas, Eichorst, Stephanie A., and Woebken, Dagmar
- Published
- 2024
- Full Text
- View/download PDF
47. Multiomic ALS signatures highlight subclusters and sex differences suggesting the MAPK pathway as therapeutic target
- Author
-
Caldi Gomes, Lucas, Hänzelmann, Sonja, Hausmann, Fabian, Khatri, Robin, Oller, Sergio, Parvaz, Mojan, Tzeplaeff, Laura, Pasetto, Laura, Gebelin, Marie, Ebbing, Melanie, Holzapfel, Constantin, Columbro, Stefano Fabrizio, Scozzari, Serena, Knöferle, Johanna, Cordts, Isabell, Demleitner, Antonia F., Deschauer, Marcus, Dufke, Claudia, Sturm, Marc, Zhou, Qihui, Zelina, Pavol, Sudria-Lopez, Emma, Haack, Tobias B., Streb, Sebastian, Kuzma-Kozakiewicz, Magdalena, Edbauer, Dieter, Pasterkamp, R. Jeroen, Laczko, Endre, Rehrauer, Hubert, Schlapbach, Ralph, Carapito, Christine, Bonetto, Valentina, Bonn, Stefan, and Lingor, Paul
- Published
- 2024
- Full Text
- View/download PDF
48. Dynamics and drivers of fungal communities in a multipartite ant-plant association
- Author
-
Barrajon-Santos, Veronica, Nepel, Maximilian, Hausmann, Bela, Voglmayr, Hermann, Woebken, Dagmar, and Mayer, Veronika E.
- Published
- 2024
- Full Text
- View/download PDF
49. Combined deletion of MEN1, ATRX and PTEN triggers development of high-grade pancreatic neuroendocrine tumors in mice
- Author
-
Fuentes, Mary Esmeralda, Lu, Xiaoyin, Flores, Natasha M., Hausmann, Simone, and Mazur, Pawel K.
- Published
- 2024
- Full Text
- View/download PDF
50. Redefining the ontogeny of hyalocytes as yolk sac-derived tissue-resident macrophages of the vitreous body
- Author
-
Rosmus, Dennis-Dominik, Koch, Jana, Hausmann, Annika, Chiot, Aude, Arnhold, Franz, Masuda, Takahiro, Kierdorf, Katrin, Hansen, Stefanie Marie, Kuhrt, Heidrun, Fröba, Janine, Wolf, Julian, Boneva, Stefaniya, Gericke, Martin, Ajami, Bahareh, Prinz, Marco, Lange, Clemens, and Wieghofer, Peter
- Published
- 2024
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.