cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Star formation triggered by galaxy interactions in modified gravity
Creators: name: Renaud, Florent
name: Famaey, Benoit
name: Kroupa, Pavel
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Together with interstellar turbulence, gravitation is one key player in star formation. It acts both at galactic scales in the assembly of gas into dense clouds, and inside those structures for their collapse and the formation of pre-stellar cores. To understand to what extent the large scale dynamics govern the star formation activity of galaxies, we present hydrodynamical simulations in which we generalise the behaviour of gravity to make it differ from Newtonian dynamics in the low acceleration regime. We focus on the extreme cases of interacting galaxies, and compare the evolution of galaxy pairs in the dark matter paradigm to that in the Milgromian Dynamics (MOND) framework. Following up on the seminal work by Tiret & Combes, this paper documents the first simulations of galaxy encounters in MOND with a detailed Eulerian hydrodynamical treatment of baryonic physics, including star formation and stellar feedback. We show that similar morphologies of the interacting systems can be produced by both the dark matter and MOND formalisms, but require a much slower orbital velocity in the MOND case. Furthermore, we find that the star formation activity and history are significantly more extended in space and time in MOND interactions, in particular in the tidal debris. Such differences could be used as observational diagnostics and make interacting galaxies prime objects in the study of the nature of gravitation at galactic scales.
description: MNRAS in press
Neue Ansätze der Vernetzung durch Quartierszentren in Bremen
Creators: name: Baumheier, Ulrike
name: Schwarzer, Thomas
Publisher: name: Universität Bremen
Year: 2009
Subjects: subject: Quartiersbildungszentrum
subject: 300

description: Zur Stärkung des sozialen Zusammenhalts im Stadt- oder Ortsteil und der Aufwertung von benachteiligten Quartieren wird (nicht nur) in Bremen aktuell die lokale Vernetzung von Sozial- und Bildungseinrichtungen gefördert und Familienzentren, Mehrgenerationenhäuser oder Quartiersbildungszentren sind geplant. Um mit diesen Ansätzen gerade in Zeiten öffentlicher Sparzwänge eine Ausweitung und Qualitätssteigerung von Angeboten erreichen zu können, sind integrierte, sozialräumlich orientierte Handlungskonzepte notwendig. Auf der Basis einer Auswertung internationaler Forschungsergebnisse und eigener empirischer Erhebungen untersucht die Studie, welche Chancen sich aus der Bildung von Quartierszentren ergeben und welche Rahmenbedingungen dafür auf der Ebene der Ressorts und in den Quartieren geschaffen werden müssen.
Additional file 1 of Utility of urinary presepsin in the diagnosis of pyelonephritis: a cross-sectional study
Creators: name: Yamashita, Ryo
name: Izumi, Yusuke
name: Nakada, Koji
name: Hiramoto, Jun
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Marine Biology
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1: sTable 1. Comparison in pyelonephritis group with and without bacteremia. sTable 2. Comparison of pyelonephritis and nonpyelonephritis groups in patients with negative blood cultures.
The DNA Nucleobase Thymine in Motion - Intersystem Crossing Simulated with Surface Hopping
Creators: name: Mai, Sebastian
name: Richter, Martin
name: Marquetand, Philipp
name: González, Leticia
Publisher: name: arXiv
Year: 2016
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: We report ab initio excited-state dynamics simulations on isolated thymine to investigate the mechanism of intersystem crossing, based on CASSCF potential energy surfaces and the \textsc{Sharc} surface hopping method. We show that even though $S_2 \rightarrow S_1$ internal conversion is not described accurately with CASSCF, intersystem crossing can be correctly simulated. Intersystem crossing in thymine occurs from the $S_1$ ($^1nπ^*$) minimum, via a nearby crossing with $T_2$ ($^3ππ^*$). The system further relaxes via ultrafast internal conversion in the triplet manifold to the $T_1$ ($^3ππ^*$) state. The simulations reveal that, once the system is trapped in the $^1nπ^*$ minimum, intersystem crossing might proceed with a time constant of 1~ps. Furthermore, the change of the system's electronic state is accompanied respectively by elongation/shortening of specific bonds, which could thus be used as indicators to identify which state is populated in the dynamics.
Gestaltung und Prozessanalyse für im Schleuderverfahren hergestellte FKV-Metall-Hohlstrukturen
Creators: name: Nieschlag, Jonas
Publisher: name: Shaker Verlag
Year: 2023

description: Due to the increasing impact of climate change, solutions are increasingly being sought to reduce emissions of climate-damaging greenhouse gases. One possibility is the use of lightweight components that can save energy during the service life of moving systems. Hybrid tie rods or drive shafts made of fiber reinforced plastics with metallic functional or load introduction elements offer potential. Corresponding components can be produced intrinsically with continuous fiber reinforcement and thermoset matrix in a novel rotational molding process. In intrinsic hybridization, fiber reinforced plastics and metal are joined by molding or forming without the need for downstream joining processes such as bolting, riveting or bonding. Previous work has only demonstrated the general feasibility of the rotational molding process, so the mechanical strengths of the hybrid joints and the achievable cycle times for impregnation of the preform and curing of the matrix are still unknown. In order to address these existing deficits, a solution approach is developed. This comprises the mechanical characterization of rotationally molded FRP-metal components, the creation of finite element models for design optimization and the development of a numerical mold filling simulation. First, tensile tests are carried out to determine suitable surface treatments for the metallic load introduction elements in order to improve adhesion between the laminate and the metal surface. For this purpose, the hybrid test specimens are divided into co-cured and form-fitted components. In addition, tensile shear tests are used to investigate different matrix systems to determine the matrix with the best adhesion properties. Based on these findings, numerical simulation models are developed for the optimization of rotationally molded FRP-metal tie rods with co-cured and form-fitted joints. For this purpose, parameterized FE models are implemented so that the geometry parameters can be changed within specified limits. A cost function is defined to evaluate the resulting stresses and determine an optimal shape. Finally, a numerical mold filling simulation is developed to determine impregnation and curing times in the rotational molding process. Suitable models for viscosity, permeability and degree of cure are selected and fitted to the material parameters used. The calculated times are validated with experimental results. This makes it possible to determine the optimum demolding time.
Aspects of testing and modelling conditional heteroscedastic processes
Creators: name: Lee, John Hin Hock
Publisher: name: Monash University
Year: 2021

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
Hierarchical State Machines as Modular Horn Clauses
Creators: name: Garoche, Pierre-Loïc
name: Kahsai, Temesghen
name: Thirioux, Xavier
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: In model based development, embedded systems are modeled using a mix of dataflow formalism, that capture the flow of computation, and hierarchical state machines, that capture the modal behavior of the system. For safety analysis, existing approaches rely on a compilation scheme that transform the original model (dataflow and state machines) into a pure dataflow formalism. Such compilation often result in loss of important structural information that capture the modal behaviour of the system. In previous work we have developed a compilation technique from a dataflow formalism into modular Horn clauses. In this paper, we present a novel technique that faithfully compile hierarchical state machines into modular Horn clauses. Our compilation technique preserves the structural and modal behavior of the system, making the safety analysis of such models more tractable.
description: In Proceedings HCVS2016, arXiv:1607.04033
Additional file 1 of Vaccination against influenza in pregnant women in a maternity hospital in the Czech Republic in the season 2020–2021
Creators: name: Kynčl, Jan
name: Liptáková, Monika
name: Košťálová, Jana
name: Malý, Marek
name: Křížová, Marcela
name: Heřman, Hynek
name: Fabiánová, Kateřina
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Pharmacology
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Supplementary Material 1
Bombus pascuorum
Creators: name: Pauly, Alain
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Apidae
Bombus
Bombus pascuorum

description: Bombus pascuorum (Scopoli, 1763)
 18.VIII.1978, 5D, Calluna vulgaris; 18.VIII.1978, 1D, bois de chênes et bouleaux, piège Malaise; 18.VIII.1978, 1D, lisière, Teucrium scorodonia; 7.V.1979, 1♀, boulaie, Vaccinium myrtillus; 7.V.1979, 1♀, lande, au sol; 4.VI.1979, 1D, lisière, Vicia sp.; 17.VIII.1989, 1D, lande, bac jaune; 24.IV.2011, 1♀, lande, Silene dioica; 21.VII.2013, 1D, lande, Campanula rotundifolia; 3.IX.2014, 2♂, 3D, entrée lande, Lotus corniculatus; 3.IX.2014, 1♂, lande, Calluna vulgaris; 8.VIII.2015, 1D, Cirsium, 1D, Angelica sylvestris.
description: Published as part of Pauly, Alain, 2018, Les abeilles sauvages de la lande de Streupas (Hymenoptera: Apoidea), pp. 1-36 in Belgian Journal of Entomology 60 on page 20, DOI: 10.5281/zenodo.13619251
The Razor's Edge of Collapse: The Transition Point from Lognormal to Powerlaw in Molecular Cloud PDFs
Creators: name: Burkhart, Blakesley
name: Stalpes, Kye
name: Collins, David
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We derive an analytic expression for the transitional column density value ($s_t$) between the lognormal and power-law form of the probability distribution function (PDF) in star-forming molecular clouds. Our expression for $s_t$ depends on the mean column density, the variance of the lognormal portion of the PDF, and the slope of the power-law portion of the PDF. We show that $s_t$ can be related to physical quantities such as the sonic Mach number of the flow and the power-law index for a self-gravitating isothermal sphere. This implies that the transition point between the lognormal and power-law density/column density PDF represents the critical density where turbulent and thermal pressure balance, the so-called "post-shock density." We test our analytic prediction for the transition column density using dust PDF observations reported in the literature as well as numerical MHD simulations of self-gravitating supersonic turbulence with the Enzo code. We find excellent agreement between the analytic $s_t$ and the measured values from the numerical simulations and observations (to within 1.5 A$_V$). We discuss the utility of our expression for determining the properties of the PDF from unresolved low density material in dust observations, for estimating the post-shock density, and for determining the HI-H$_2$ transition in clouds.
description: submitted to ApJL, comments welcome
Alte Schätze - frischer Wind
Creators: name: Geraedts, Regine
name: Heibült, Jessica
name: Lorenzen, Ralf
name: Salot, Marion
name: Santner, Dominik
name: Schwarzer, Thomas
name: Weise, Axel
Publisher: name: Arbeitnehmerkammer Bremen
Year: 2019
Subjects: subject: Bremerhaven
subject: Entwicklung
subject: 80

description: Bremerhaven als Stadt der Vielfalt, als Vorzeigestandort für nachhaltiges Wirtschaften oder als Hotspot für kluge Köpfe? Welches Gesicht wollen wir der Seestadt der Zukunft geben? Wir haben nach alten Schätzen gegraben, auf Bremerhavens Stärken gebaut, Visionen entwickelt und mit Bürgerinnen und Bürgern darüber gesprochen, was sie an ihrer Stadt lieben und was sie sich von ihr wünschen. Herausgekommen ist ein buntes Lesebuch, in dem deutlich wird, wie viele Ideen und Kompetenzen es hier zu entdecken gibt. Auf 208 Seiten zeigen wir auf, was Bremerhaven auszeichnet, welche Schätze es zu heben gibt und wohin die Reise – vom frischen´Wind angetrieben – gehen könnte.
Efficient Photocatalytic H2 Evolution: Controlled Dewetting-Dealloying to Fabricate Site-Selective High-activity Nanoporous Au Particles on Highly Ordered TiO2 Nanotube Arrays
Creators: name: Nguyen, Nhat Truong
name: Altomare, Marco
name: Yoo, JeongEun
name: Schmuki, Patrik
Publisher: name: arXiv
Year: 2016
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Overlaid self-ordering processes: we form anodic self-organized TiO2 nanostumps and exploit them for self-ordering dewetting of Au-Ag sputtered films. This forms ordered particle configurations at tube top (crown position) or bottom (ground position). By dealloying we then form, from minimal amount of noble metal, porous Au nanoparticles that when in crown position allow for a drastically improved photocatalytic H2 production compared with nanoparticles produced by conventional dewetting processes.
Nomada fucata Panzer 1798
Creators: name: Pauly, Alain
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Apidae
Nomada
Nomada fucata

description: Nomada fucata Panzer, 1798
 Parasite Andrena flavipes. – 24.IV.2011, 2♀, lande, au sol; 21.IV.2014, 3♀, lande, au sol; 21.VII.2013, 1♂, Leontodon autumnalis.
description: Published as part of Pauly, Alain, 2018, Les abeilles sauvages de la lande de Streupas (Hymenoptera: Apoidea), pp. 1-36 in Belgian Journal of Entomology 60 on page 21, DOI: 10.5281/zenodo.13619251
Struktur und Entwicklungsperspektiven der IT-Branche im Land Bremen
Creators: name: Friemer, Andreas
name: Warsewa, Günter
Publisher: name: Universität Bremen
Year: 2020
Subjects: subject: IT-Branche
subject: Bremen
subject: 330

description: Die IT-Branche ist kein traditionell gewachsener Wirtschaftszweig, sondern eine Mischung aus verschiedenen tradierten Produktionsbereichen (z.B. Elektronik, Fernmeldewesen) und Dienstleistungen (z.B. Medienangebote, Informations- und Kommunikationsdienste). Sie gilt als Schlüsselbranche, weil ihr strategische Bedeutung als „Enabler“ für die Digitalisierung der gesamten Wirtschaftsstruktur in Deutschland zugeschrieben wird – die sich auch heute schon in einem kontinuierlichen Wachstum der Beschäftigtenzahlen ausdrückt. Der vorliegende Branchenreport liefert für das Bundesland Bremen zum einen ein aktuelles Bild des Umfangs und der inneren Struktur der IT-Branche. Dieser Teil basiert im Wesentlichen auf der Auswertung statistischer Daten aus unterschiedlichen Quellen. Zum anderen wurden eigene Re-cherchen und insbesondere eine Online-Umfrage durchgeführt, die den weiteren Ausführungen zu den regionalen Funktions- und Entwicklungsbedingungen der IT-Branche zugrunde liegen. Zusammengefasst zeigt sich insbesondere für den im Land Bremen weitaus dominierenden Sektor der IT-Dienstleistungen eine sehr positive Entwicklung bei den Beschäftigten- wie bei den Betriebszahlen und auch bei den Unternehmensgründungen. Die positive Branchenentwicklung der vergangenen Jahre setzt sich auch in überwiegend optimistischen Erwartungen der Unternehmen für die Zukunft fort. Insgesamt erhält der Standort in der Branchenumfrage gute Noten, auch wenn von den Unternehmen aus ihrer Perspektive auf einige Mängel verwiesen wurde. Dazu gehören zunehmende Probleme bei der Rekrutierung von qualifiziertem Personal oder bei der Ausstattung des Standortes mit Infrastrukturen, die für die Entwicklung der Branche als wichtig eingeschätzt werden. Eine besondere Stärke des Standortes Bremen scheint dagegen bei der Entwicklung und verschiedenen Anwendungen von künstlicher Intelligenz zu liegen.
Management training choices and equal employment opportunities : a comparison of men and women students and graduates
Creators: name: Lasky, Barbara
Publisher: name: Monash University
Year: 2021

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
Prioritized Task-Scheduling Algorithm in Cloud Computing Using Cat Swarm Optimization
Creators: name: Mangalampalli, Sudheer
name: Swain, Sangram Keshari
name: Chakrabarti, Tulika
name: Chakrabarti, Prasun
name: Karri, Ganesh Reddy
name: Margala, Martin
name: Unhelkar, Bhuvan
name: Bala Krishnan, Sivaneasan
Publisher: name: Singapore Institute of Technology
Year: 2023
Subjects: Cloud computing
Energy-efficient computing

description: Effective scheduling algorithms are needed in the cloud paradigm to leverage services to customers seamlessly while minimizing the makespan, energy consumption and SLA violations. The ineffective scheduling of resources while not considering the suitability of tasks will affect the quality of service of the cloud provider, and much more energy will be consumed in the running of tasks by the inefficient provisioning of resources, thereby taking an enormous amount of time to process tasks, which affects the makespan. Minimizing SLA violations is an important aspect that needs to be addressed as it impacts the makespans, energy consumption, and also the quality of service in a cloud environment. Many existing studies have solved task-scheduling problems, and those algorithms gave near-optimal solutions from their perspective. In this manuscript, we developed a novel task-scheduling algorithm that considers the task priorities coming onto the cloud platform, calculates their task VM priorities, and feeds them to the scheduler. Then, the scheduler will choose appropriate tasks for the VMs based on the calculated priorities. To model this scheduling algorithm, we used the cat swarm optimization algorithm, which was inspired by the behavior of cats. It was implemented on the Cloudsim tool and OpenStack cloud platform. Extensive experimentation was carried out using real-time workloads. When compared to the baseline PSO, ACO and RATS-HM approaches and from the results, it is evident that our proposed approach outperforms all of the baseline algorithms in view of the above-mentioned parameters.
Challenges in Decomposing Encodings of Verification Problems
Creators: name: Schrammel, Peter
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Modern program verifiers use logic-based encodings of the verification problem that are discharged by a back end reasoning engine. However, instances of such encodings for large programs can quickly overwhelm these back end solvers. Hence, we need techniques to make the solving process scale to large systems, such as partitioning (divide-and-conquer) and abstraction. In recent work, we showed how decomposing the formula encoding of a termination analysis can significantly increase efficiency. The analysis generates a sequence of logical formulas with existentially quantified predicates that are solved by a synthesis-based program analysis engine. However, decomposition introduces abstractions in addition to those required for finding the unknown predicates in the formula, and can hence deteriorate precision. We discuss the challenges associated with such decompositions and their interdependencies with the solving process.
description: In Proceedings HCVS2016, arXiv:1607.04033
On-sky single-mode fiber coupling measurements at the Large Binocular Telescope
Creators: name: Bechter, Andrew
name: Crass, Jonathan
name: Ketterer, Ryan
name: Crepp, Justin R.
name: Reynolds, Robert O.
name: Bechter, Eric
name: Hinz, Philip
name: Pedichini, Fernando
name: Foley, Michael
name: Runburg, Elliott
name: Onuma, Eleanya
name: Gaudi, Scott
name: Micela, Giuseppina
name: Pagano, Isabella
name: Woodward, Charles E.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The demonstration of efficient single-mode fiber (SMF) coupling is a key requirement for the development of a compact, ultra-precise radial velocity (RV) spectrograph. iLocater is a next generation instrument for the Large Binocular Telescope (LBT) that uses adaptive optics (AO) to inject starlight into a SMF. In preparation for commissioning iLocater, a prototype SMF injection system was installed and tested at the LBT in the Y-band (0.970-1.065 $μ$m). This system was designed to verify the capability of the LBT AO system as well as characterize on-sky SMF coupling efficiencies. SMF coupling was measured on stars with variable airmasses, apparent magnitudes, and seeing conditions for six half-nights using the Large Binocular Telescope Interferometer. We present the overall optical and mechanical performance of the SMF injection system, including details of the installation and alignment procedure. A particular emphasis is placed on analyzing the instrument's performance as a function of telescope elevation to inform the final design of the fiber injection system for iLocater.
description: 11 pages, 7 figures
Nomada femoralis Morawitz 1869
Creators: name: Pauly, Alain
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Apidae
Nomada
Nomada femoralis

description: Nomada femoralis Morawitz, 1869
 Parasite Andrena humilis et A. fulvago. – 21.IV.2014, 1♂, lande, au sol.
description: Published as part of Pauly, Alain, 2018, Les abeilles sauvages de la lande de Streupas (Hymenoptera: Apoidea), pp. 1-36 in Belgian Journal of Entomology 60 on page 21, DOI: 10.5281/zenodo.13619251
Additional file 1 of Emergency department-based injury surveillance information system: a conceptual model
Creators: name: Mirani, Nader
name: Ayatollahi, Haleh
name: Khorasani-Zavareh, Davoud
name: Zeraatkar, Kimia
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1: Appendix I. Questionnaire
Estimation and testing of linear regression disturbances based on modified likelihood and message length functions
Creators: name: Laskar, Md. Mizanur Rahman
Publisher: name: Monash University
Year: 2021

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
Solving non-linear Horn clauses using a linear Horn clause solver
Creators: name: Kafle, Bishoksan
name: Gallagher, John P.
name: Ganty, Pierre
Publisher: name: arXiv
Year: 2016
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.1

description: In this paper we show that checking satisfiability of a set of non-linear Horn clauses (also called a non-linear Horn clause program) can be achieved using a solver for linear Horn clauses. We achieve this by interleaving a program transformation with a satisfiability checker for linear Horn clauses (also called a solver for linear Horn clauses). The program transformation is based on the notion of tree dimension, which we apply to a set of non-linear clauses, yielding a set whose derivation trees have bounded dimension. Such a set of clauses can be linearised. The main algorithm then proceeds by applying the linearisation transformation and solver for linear Horn clauses to a sequence of sets of clauses with successively increasing dimension bound. The approach is then further developed by using a solution of clauses of lower dimension to (partially) linearise clauses of higher dimension. We constructed a prototype implementation of this approach and performed some experiments on a set of verification problems, which shows some promise.
description: In Proceedings HCVS2016, arXiv:1607.04033
Nomada flavoguttata
Creators: name: Pauly, Alain
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Apidae
Nomada
Nomada flavoguttata

description: Nomada flavoguttata (Kirby, 1802)
 Parasite les Andrena du groupe minutula. – 4.VI.1979, 1♂, lande, Asteraceae; 9.VI.1979, 1♀, lisière, Cytisus scoparius; 15.VII.1988, 1♂, lisière, bac jaune; 24.IV.2011, Taraxacum, 1♂, 5♀, lande, au sol, 5♀.
description: Published as part of Pauly, Alain, 2018, Les abeilles sauvages de la lande de Streupas (Hymenoptera: Apoidea), pp. 1-36 in Belgian Journal of Entomology 60 on page 21, DOI: 10.5281/zenodo.13619251
The Role of Accelerators in Startup Ecosystems
Creators: name: (:Unkn) Unknown
Publisher: name: Universität Bremen
Year: 2019
Subjects: subject: Start up
subject: 330

description: The following research papers have been developed with advanced students in the last couple of months at University of Bremen, Germany. All the three papers contribute to the overarching topic of accelerators in startup ecosystems and, thus, fit nicely under one thematic umbrella. Lisa Ahuis, Irfan Cheema, Franziska Otten, Chantal-Laureen Pensky and Vanessa Vogt start this research paper by specifying the role of accelerators as drivers of a startup ecosystem. The raise the following research question: how can accelerators influence the institutional framework in ecosystems as change agents? Based on a comprehensive literature review and conceptual foundations, they apply institutional theory to specify institutional change and develop preliminary causalities to be checked by an empirical approach that rests on grounded theory. Caspar Michael Majewski analyzes based on a Master’s Thesis previously written the social capital acceleration in startup ecosystems with a focus on the role of business accelerators. There are different capitals provided in startup ecosystems. It seems that social capital is of pivotal relevance and deserves much more attention than paid to date. Insofar, the paper targets a well-chosen research gap and followed by this research question: what role do business accelerators play in the acceleration of social capital within startup ecosystems? Majewski responds to this question by an empirical research design that rests on a case study. The empirical background is the dynamic and well-developed startup ecosystem of Berlin. Jannik Blischke addresses the role of a private business accelerator in an emerging startup ecosystem. The paper is based on a Bachelor’s Thesis written prior to paper development. The empirical background is Bremen where the ecosystem is still in an infant, but moving state. The Kraftwerk City Accelerator is the targeted accelerator. To specify the role of this accelerator, Blischke refers to a model of capitals of startup ecosystems developed by Juling et al. (2016). The empirical fieldwork rests predominantly on interviews and, besides that, on observations and secondary data sources.
Proceedings of the 2014 Joint International Accelerator School: Beam Loss and Accelerator Protection (JAS 2014), Newport Beach, CA, USA, 5-14 Nov 2014
Creators: name: Schmidt, R.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Accelerator Physics (physics.acc-ph)
subject: FOS: Physical sciences

description: Many particle accelerators operate with very high beam power and very high energy stored in particle beams as well as in magnet systems. In the future, the beam power in high intensity accelerators will further increase. The protection of the accelerator equipment from the consequences of uncontrolled release of the energy is essential. This was the motivation for organizing a first school on beam losses and accelerator protection (in general referred to as machine protection). During the school the methods and technologies to identify, mitigate, monitor and manage the technical risks associated with the operation of accelerators with high-power beams or subsystems with large stored energy were presented. At the completion of the school the participants should have been able to understand the physical phenomena that can damage machine subsystems or interrupt operations and to analyze an accelerator facility to produce a register of technical risks and the corresponding risk mitigation and management strategies.
description: 17 lectures, 440 pages, published as CERN Yellow Report https://cds.cern.ch/record/1641418
The iLocater cryostat: design and thermal control strategy for precision radial velocity measurements
Creators: name: Crass, Jonathan
name: Fantano, Louis G.
name: Hearty, Frederick R.
name: Crepp, Justin R.
name: Nelson, Matthew J.
name: Wall, Sheila M.
name: Cavalieri, David A.
name: Koca, Corina
name: King, David L.
name: Reynolds, Robert O.
name: Stapelfeldt, Karl R.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The current generation of precision radial velocity (RV) spectrographs are seeing-limited instruments. In order to achieve high spectral resolution on 8m class telescopes, these spectrographs require large optics and in turn, large instrument volumes. Achieving milli-Kelvin thermal stability for these systems is challenging but is vital in order to obtain a single measurement RV precision of better than 1m/s. This precision is crucial to study Earth-like exoplanets within the habitable zone. iLocater is a next generation RV instrument being developed for the Large Binocular Telescope. Unlike seeing-limited RV instruments, iLocater uses adaptive optics (AO) to inject a diffraction-limited beam into single-mode fibers. These fibers illuminate the instrument spectrograph, facilitating a diffraction-limited design and a small instrument volume compared to present-day instruments. This enables intrinsic instrument stability and facilitates precision thermal control. We present the current design of the iLocater cryostat which houses the instrument spectrograph and the strategy for its thermal control. The spectrograph is situated within a pair of radiation shields mounted inside an MLI lined vacuum chamber. The outer radiation shield is actively controlled to maintain instrument stability at the sub-mK level and minimize effects of thermal changes from the external environment. An inner shield passively dampens any residual temperature fluctuations and is radiatively coupled to the optical board. To provide intrinsic stability, the optical board and optic mounts will be made from Invar and cooled to 58K to benefit from a zero coefficient of thermal expansion (CTE) value at this temperature. Combined, the small footprint of the instrument spectrograph, the use of Invar, and precision thermal control will allow long-term sub-milliKelvin stability to facilitate precision RV measurements.
description: 10 pages, 7 figures
Additional file 1 of Flow diagram of the differential diagnosis and clinical decision making in a rare case of contrast-induced encephalopathy following cardiac catheterization: a case report
Creators: name: Sun, Jiayin
name: Yuan, Lichuang
name: Yu, Hailiang
name: Yang, Yanzhao
name: Zhou, Zhiming
name: Jia, Dean
name: Zhou, Yujie
name: Yang, Shiwei
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Cancer
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 110309 Infectious Diseases
subject: Computational Biology

description: Additional file 1. Timeline.
Nomada alboguttata Herrich-Schaffer 1839
Creators: name: Pauly, Alain
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Apidae
Nomada
Nomada alboguttata

description: Nomada alboguttata Herrich-Schaffer, 1839
 Parasite Andrena ventralis. – 21.IV.2014, 2♀, au sol.
description: Published as part of Pauly, Alain, 2018, Les abeilles sauvages de la lande de Streupas (Hymenoptera: Apoidea), pp. 1-36 in Belgian Journal of Entomology 60 on page 21, DOI: 10.5281/zenodo.13619251
Removing Unnecessary Variables from Horn Clause Verification Conditions
Creators: name: De Angelis, Emanuele
name: Fioravanti, Fabio
name: Pettorossi, Alberto
name: Proietti, Maurizio
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: D.2.4; F.3.1; I.2.2

description: Verification conditions (VCs) are logical formulas whose satisfiability guarantees program correctness. We consider VCs in the form of constrained Horn clauses (CHC) which are automatically generated from the encoding of (an interpreter of) the operational semantics of the programming language. VCs are derived through program specialization based on the unfold/fold transformation rules and, as it often happens when specializing interpreters, they contain unnecessary variables, that is, variables which are not required for the correctness proofs of the programs under verification. In this paper we adapt to the CHC setting some of the techniques that were developed for removing unnecessary variables from logic programs, and we show that, in some cases, the application of these techniques increases the effectiveness of Horn clause solvers when proving program correctness.
description: In Proceedings HCVS2016, arXiv:1607.04033
Modelling and forecasting quarterly international tourist flows to Australia using time-series and econometric models
Creators: name: Kulendran, Nadarajamuthali
Publisher: name: Monash University
Year: 2021

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
On Proving Confluence Modulo Equivalence for Constraint Handling Rules
Creators: name: Christiansen, Henning
name: Kirkeby, Maja H.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Previous results on proving confluence for Constraint Handling Rules are extended in two ways in order to allow a larger and more realistic class of CHR programs to be considered confluent. Firstly, we introduce the relaxed notion of confluence modulo equivalence into the context of CHR: while confluence for a terminating program means that all alternative derivations for a query lead to the exact same final state, confluence modulo equivalence only requires the final states to be equivalent with respect to an equivalence relation tailored for the given program. Secondly, we allow non-logical built-in predicates such as var/1 and incomplete ones such as is/2, that are ignored in previous work on confluence. To this end, a new operational semantics for CHR is developed which includes such predicates. In addition, this semantics differs from earlier approaches by its simplicity without loss of generality, and it may also be recommended for future studies of CHR. For the purely logical subset of CHR, proofs can be expressed in first-order logic, that we show is not sufficient in the present case. We have introduced a formal meta-language that allows reasoning about abstract states and derivations with meta-level restrictions that reflect the non-logical and incomplete predicates. This language represents subproofs as diagrams, which facilitates a systematic enumeration of proof cases, pointing forward to a mechanical support for such proofs.
Plattformökonomie in Bremen: Hintergründe und ökonomische Perspektiven „moderner“ Erwerbstätigkeit
Creators: name: Bollen, Antje
name: Cordsen, Manuel
name: Heinemann, André W.
name: Nischwitz, Guido
Publisher: name: Universität Bremen
Year: 2020
Subjects: subject: Plattformökonomie
subject: Bremen
subject: 330

description: Vor dem Hintergrund plattformökonomischer Entwicklungen wurde versucht, die Situation der Plattformarbeit in Bremen im Auftrag der Arbeitnehmerkammer Bremen näher beleuchtet. Das Projekt wurde in drei verschiedene Forschungsphasen unterteilt. Dabei ging es in einem ersten Schritt um die Identifizierung der Plattformökonomie in Bremen, während in einem zweiten Schritt die Qualifizierung der ermittelten Plattformaktivitäten erfolgte. Dazu gehörte es, einen Überblick über die Anzahl der Erwerbstätigen der Bremer Plattformökonomie zu gewinnen. Zudem sollte der Wissensstand zur Plattformökonomie von Institutionen im Land Bremen ermittelt werden. Im zentralen dritten Modul wurden die Bedingungen und Arbeitsstrukturen von Erwerbstätigen der bremischen Plattformökonomie näher untersucht. Dazu gehörten Aspekte wie die konkrete Form der Erwerbsarbeit sowie die Wahrnehmung und Gewährleistung von Ansprüchen, Rechten und Pflichten im Kontext der Plattformarbeit. Zentral war es auch einen Eindruck über das persönliche Empfinden der Plattformarbeiter über ihre Arbeit in der Plattformökonomie zu erhalten. Der Forschungsprozess war primär explorativ ausgerichtet und wurde mit qualitativen Methoden erschlossen.
How economics can help mitigate climate change - a critical review and conceptual analysis of economic paradigms
Creators: name: Rogowski, Wolf
name: Elsner, Wolfram
Publisher: name: Universität Bremen
Year: 2021
Subjects: subject: Climate change
subject: neoclassical economics
subject: behavioral economics
subject: economic heterodoxies
subject: evolutionary economics
subject: institutional economics
subject: objective functions
subject: research programs
subject: policy implications
subject: 330

description: In economic research about climate change mitigation, there is a tension between the objectives to ensure scientific rigor (focusing on orthodox theory) and to illuminate blind spots of relevance (drawing on different “heterodox” theories). Our aim is to develop an economic perspective on climate change mitigation which considers both objectives. We conduct a critical literature review, searching for coherent economic theory lattices, which meet the requirements of research programs, i.e. contain a pre-analytic vision, an analytical core including a concept of rationality, and examples of applications in empirical research. We develop a framework structuring these research programs and associated research fields and search for examples illustrating their applicability to climate change mitigation. We identify several research fields within four major research programs that perceive economic phenomena as (1) individual optimization decisions (neoclassical analysis of efficient and of inefficient equilibria and behavioral economics); (2) a set of institutions (New and Original institutional economics); (3) a complex evolutionary system (Biophysical and Evolutionary economics); and (4) an objective function (which can guide research focusing on the content or the distribution of the normatively defined units of interest). For each research program and its subdivisions, we present theoretical elements and illustrate how they can improve our understanding of how economic activity contributes to climate change and how these impacts can be alleviated. There is a need for more systematic evidence synthesis to validate the contributions of the different economic research fields and to improve their selection and application to climate change.
Does the chemical signature of TYC 8442-1036-1 originate from a rotating massive star that died in a faint explosion?
Creators: name: Cescutti, G.
name: Valentini, M.
name: François, P.
name: Chiappini, C.
name: Depagne, E.
name: Christlieb, N.
name: Cortés, C.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Context. We have recently investigated the origin of chemical signatures observed in Galactic halo stars by means of a stochastic chemical evolution model. We have found that rotating massive stars are a promising way to explain several signatures observed in these fossil stars. Aims. In the present paper we discuss how the extremely metal-poor halo star TYC 8442-1036-1, for which we have now obtained detailed abundances from VLT-UVES spectra, fits into the framework of our previous work. Methods. We apply a standard 1D LTE analysis to the spectrum of this star. We measure the abundances of 14 chemical elements; for Na, Mg, Ca, Sc, Ti, V, Cr, Mn, Fe, Ni and Zn we compute the abundances using equivalent widths; for C, Sr and Ba we obtain the abundances by means of synthetic spectra generated by MOOG. Results. We find an abundance of [Fe/H]= $-$3.5 $\pm$0.13 dex based on our high resolution spectrum; this points to an iron content lower by a factor of three (0.5 dex) compared to the one obtained by a low resolution spectrum. The star has a [C/Fe] = 0.4 dex, and it is not carbon enhanced like most of the stars at this metallicity. Moreover, this star lies in the plane [Ba/Fe] vs. [Fe/H] in a relatively unusual position, shared by a few others galactic halo stars that is only marginally explained by our past results. Conclusions. The comparison of the model results with the chemical abundance characteristics of this group of stars can be improved if we consider in our model the presence of faint supernovae coupled with rotating massive stars. These results seem to imply that rotating massive stars and faint supernovae scenarios are complementary to each other, and are both required in order to match the observed chemistry of the earliest phases of the chemical enrichment of the Universe.
description: 13 pages, 6 figures, accepted for publication in Astronomy and Astrophysics
Salesforce retention in Australian network direct selling organisations
Creators: name: Kennedy, Rowan Elodie
Publisher: name: Monash University
Year: 2021

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
Selection Rules for Non-Radiative Carrier Relaxation Processes in Semiconductor Quantum Dots
Creators: name: Schmidgall, E. R.
name: Benny, Y.
name: Schwartz, I.
name: Presman, R.
name: Gantz, L.
name: Don, Y.
name: Gershoni, D.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Physics (quant-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Time resolved intensity cross-correlation measurements of radiative cascades are used for studying non-radiative relaxation processes of excited carriers confined in semiconductor quantum dots. We spectrally identify indirect radiative cascades which include intermediate phonon assisted relaxations. The energy of the first photon reveals the multicarrier configuration prior to the non-radiative relaxation, while the energy of the second photon reveals the configuration after the relaxation. The intensity cross correlation measurements thus provide quantitative measures of the non-radiative processes and their selection rules. We construct a model which accurately describes the experimental observations in terms of the electron-phonon and electron-hole exchange interactions. Our measurements and model provide a new tool for engineering relaxation processes in semiconductor nanostructures.
description: 12 pages, 5 figures
iLocater: A Diffraction-limited Doppler Spectrometer for the Large Binocular Telescope
Creators: name: Crepp, Justin R.
name: Crass, Jonathan
name: King, David
name: Bechter, Andrew
name: Bechter, Eric
name: Ketterer, Ryan
name: Reynolds, Robert
name: Hinz, Philip
name: Kopon, Derek
name: Cavalieri, David
name: Fantano, Louis
name: Koca, Corina
name: Onuma, Eleanya
name: Stapelfeldt, Karl
name: Thomes, Joseph
name: Wall, Sheila
name: Macenka, Steven
name: McGuire, James
name: Korniski, Ronald
name: Zugby, Leonard
name: Eisner, Joshua
name: Gaudi, B. Scott
name: Hearty, Fred
name: Kratter, Kaitlin
name: Kuchner, Marc
name: Micela, Giusi
name: Nelson, Matthew
name: Pagano, Isabella
name: Quirrenbach, Andreas
name: Schwab, Christian
name: Skrutskie, Michael
name: Sozzetti, Alessandro
name: Woodward, Charles E.
name: Zhao, Bo
Publisher: name: arXiv
Year: 2016
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We are developing a stable and precise spectrograph for the Large Binocular Telescope (LBT) named "iLocater." The instrument comprises three principal components: a cross-dispersed echelle spectrograph that operates in the YJ-bands (0.97-1.30 microns), a fiber-injection acquisition camera system, and a wavelength calibration unit. iLocater will deliver high spectral resolution (R~150,000-240,000) measurements that permit novel studies of stellar and substellar objects in the solar neighborhood including extrasolar planets. Unlike previous planet-finding instruments, which are seeing-limited, iLocater operates at the diffraction limit and uses single mode fibers to eliminate the effects of modal noise entirely. By receiving starlight from two 8.4m diameter telescopes that each use "extreme" adaptive optics (AO), iLocater shows promise to overcome the limitations that prevent existing instruments from generating sub-meter-per-second radial velocity (RV) precision. Although optimized for the characterization of low-mass planets using the Doppler technique, iLocater will also advance areas of research that involve crowded fields, line-blanketing, and weak absorption lines.
description: 13 pages, 11 figures
Wir in der Pflege
Creators: name: (:Unkn) Unknown
Publisher: name: Arbeitnehmerkammer Bremen
Year: 2019
Subjects: subject: 360

description: Rund 15.000 Beschäftigte arbeiten im Land Bremen in der Pflege - im Krankenhaus, in einer Pflegeeinrichtung oder in der ambulanten Pflege. "Wir in der Pflege" soll diesen Kolleginnen und Kollegen als Ratgeber im Berufsalltag dienen und möglichst knappe und verständliche Antworten auf eine Vielzahl von rechtlichen Fragen liefern. Die Themen reichen von A wie Arbeitskleidung, über D wie Dienstwagen, R wie Rufbereitschaft bis hin zu Z wie Zuschläge.