cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title:  Rappresentazione, Architettura e Storia. La diffusione degli ordini religiosi in Italia e nei Paesi del Mediterraneo tra Medioevo ed Età Moderna. Atti del Convegno Internazionale 10-11 maggio 2021
Creators: name: Ravesi, Rossana
name: Ragione, Roberto
name: Colaceci, Sara
Publisher: name: Sapienza Università Editrice
Year: 2023

description: La committenza ha da sempre condizionato e indirizzato l’architettura sia nella sua fase progettuale e di cantiere sia nella sua conservazione, tenuto conto delle vicende storiche coeve, della situazione economica al contorno e della cultura architettonica del momento. Un ordine religioso è tra i committenti più esigenti perché, vivendo secondo precisi dogmi, richiede un’architettura che identifichi le proprie necessità. I due tomi raccolgono contributi che affrontano le modalità in cui gli ordini e le congregazioni religiose, tra Medioevo ed Età Moderna, hanno rappresentato sé stessi tramite l’arte e l’architettura.

Gli atti sono frutto del convegno, svolto a maggio 2021, organizzato in seno alle molteplici attività complementari che il Dottorato di Storia, Disegno e Restauro dell’Architettura di Sapienza Università di Roma offre per la formazione accademica integrando i tre distinti, ma affini, settori disciplinari.
Additional file 5 of The microbiota restrains neurodegenerative microglia in a model of amyotrophic lateral sclerosis
Creators: name: Cox, Laura M.
name: Calcagno, Narghes
name: Gauthier, Christian
name: Madore, Charlotte
name: Butovsky, Oleg
name: Weiner, Howard L.
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Neuroscience
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: 60506 Virology

description: Additional file 4: Supplemental Figure 4. Unique genes modulated by antibiotics in SOD1 mice. A) Differential genes in SOD1-antibiotic (ABX) vs SOD1-H2O that are not altered in SOD1-H2O vs. WT-H2O (Fig. 3). DESeq FDR-adjusted q value < 0.2.
Improving spectral efficiency using hybrid system solutions
Creators: name: Le Thi, Chung
Publisher: name: Hannover : Institutionelles Repositorium der Leibniz Universität Hannover
Year: 2019
Subjects: subject: multi-user MIMO systems
subject: linear Pre-coding
subject: relays
subject: cognitive radio
subject: Inteference Alignment
subject: Mehrnutzer-MIMO Systeme
subject: lineare Vorcodierung
subject: Faster-than-Nyquist Signaling
subject: Relaissysteme
subject: kognitive Funksysteme
subject: Dewey Decimal Classification::600 | Technik::620 | Ingenieurwissenschaften und Maschinenbau::621 | Angewandte Physik::621,3 | Elektrotechnik, Elektronik

description: As frequency bands become increasingly crowded, one of the major research challenges for future wireless communication networks is how to use the radio frequency bands more efficiently. In wireless communication networks, spectral efficiency can be improved either through frequency reuse technologies such as cognitive radio and multi-user techniques or by using technologies to increase the data rate. However, in this regard there is still room for further improvements, and thus, development of novel hybrid solution approaches to enhance spectral efficiency for future wireless communication networks is put into the focus of this dissertation. In this thesis, a multi-tier heterogeneous network with macro cells, small cells and relays is addressed. In order to improve spectral efficiency in a single carrier system, the non-orthogonal transmission scheme Faster-than Nyquist (FTN) signaling is investigated. Furthermore, novel hybrid interference mitigation approaches to achieve a spectral efficiency improvement in multi-user multicarrier Multiple-Input and Multiple-Output (MIMO) systems by using cognitive radio and relay technology are proposed.
Quantization of massive Weyl fields in vacuum
Creators: name: Dvornikov, Maxim
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We briefly review the main methods for the description of massive Weyl fields in vacuum. On the classical level we discuss Weyl fields expressed through Grassmann variables as well as having spinors with commuting components. In both approaches we quantize the system. We get the correct anticommutation relations between creation and annihilation operators, which result in the proper form of the total energy of the field. However, the commuting classical Weyl fields require the new method of quantization.
description: 8 pages, LaTeX2e; submitted to the proceedings of 17th International Seminar on High Energy Physics: Quarks-2012 (Yaroslavl, Russia, June 4-10, 2012)
In the sense of product and communication design : investigating the role of sensory-related design benefits in marketing management
Creators: name: Bettels, Jannick
Publisher: name: Hannover : Institutionelles Repositorium der Leibniz Universität Hannover
Year: 2019
Subjects: subject: Product design
subject: Communication design
subject: Sensory design elements
subject: Produktdesign
subject: Kommunikationsdesign
subject: Sensorische Designelemente
subject: Dewey Decimal Classification::300 | Sozialwissenschaften, Soziologie, Anthropologie::330 | Wirtschaft

description: Basically, every design consists of a composition of sensory design elements. As a result, there are numerous possibilities for marketing managers to design products and conduct marketing communication. In addition, this broad spectrum of design opportunities offers rich value potential and therefore the design can be an important strategic tool for companies and brands. Today, design is mainly considered as an instrument to generate a competitive advantage in the market. Specifically, an appealing product design may help to positively differentiate the company’s own products from competing products with similar properties and features. To create an appealing product design, not only knowledge from design theory, but also a comprehensive understanding of the perception of design from the customer’s point of view is of fundamental importance. Accordingly, the need for new insights into the influence of product design on consumer behavior has increased significantly among researchers and practitioners. In particular, efficiently communicating the product’s benefits through product and communication design represents an essential issue for marketers. This dissertation, consisting of a total of eight research articles, therefore focuses on two main areas of research. In the first module, existing research gaps regarding the impact of product-related sensory design elements and design benefits on consumer behavior are identified and empirically investigated. Further, the second module focuses on the influence of sensory design elements in marketing communication on the perception of product design and design benefits. Both modules consist of four research articles each. The results of the various research contributions confirm the important role nowadays attributed to design in marketing management. Furthermore, the new insights provide valuable practical implications for a multitude of application areas in marketing across different industries and additionally set the foundation for future research directions in the field of value-based design research.
Influence of structure and UV-light absorption on the electrical conductivity of TiO2 and comparison with its catalytic activity
Creators: name: Amade Rovira, Roger
Publisher: name: Hannover : Gottfried Wilhelm Leibniz Universität Hannover
Year: 2006
Subjects: subject: titanium dioxide
subject: impedance spectroscopy
subject: photoconductivity
subject: Dewey Decimal Classification::500 | Naturwissenschaften::540 | Chemie

description: [no abstract]
Additional file 6 of The microbiota restrains neurodegenerative microglia in a model of amyotrophic lateral sclerosis
Creators: name: Cox, Laura M.
name: Calcagno, Narghes
name: Gauthier, Christian
name: Madore, Charlotte
name: Butovsky, Oleg
name: Weiner, Howard L.
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Neuroscience
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: 60506 Virology

description: Additional file 5: Supplemental Figure 5. Unique genes modulated by antibiotics in WT mice. a) Top 50 genes up and down regulated by antibiotics uniquely in WT mice. DESeq FDR-adjusted q value < 0.2.
Inclusive education in situated contexts : a social constructivist approach
Creators: name: Hummel, Myriam
Publisher: name: Hannover : Institutionelles Repositorium der Leibniz Universität Hannover
Year: 2018
Subjects: subject: inclusive education
subject: global North
subject: global South
subject: social constructivism
subject: dilemma
subject: inklusive Bildung
subject: globaler Norden
subject: globaler Süden
subject: Malawi
subject: Guatemala
subject: Sozialkonstruktivismus
subject: Dilemmata
subject: Dewey Decimal Classification::300 | Sozialwissenschaften, Soziologie, Anthropologie::370 | Erziehung, Schul- und Bildungswesen

description: The presented publication-based dissertation analyses inclusive education in situated contexts and takes on different perspectives on the complex phenomenon of inclusive education in diverse contexts. Social constructivism serves as epistemological approach to the inquiry and enables exploration of different constructions of diverse actors. This work uses a dilemmatic approach to inclusive education and explores tensions and dilemmas in this field. The research questions of how inclusive education is implemented in specific contexts, how inclusive education is constructed by different stakeholders, and how inclusive education is constructed through research are investigated. This work highlights that both research and practice need to acknowledge the ambiguity, fluidity, and complexity of inclusive education instead of looking for easy solutions on how to do inclusion. At the same time, a discourse is needed about what qualifies as inclusive education – and what cannot be legitimately declared as inclusive practices.
description: Die vorliegende kumulative Dissertation setzt sich mit inklusiver Bildung in unterschiedlichen Kontexten auseinander und nimmt verschiedene Perspektiven auf das komplexe Phänomen inklusive Bildung ein. Der Sozialkonstruktivismus dient als grundlegender erkenntnistheoretischer Zugang und ermöglich es, verschiedene Konstruktionen unterschiedlicher Akteure von inklusiver Bildung zu erforschen. Diese Arbeit verwendet einen dilemmatischen Theorieansatz und untersucht Spannungsfelder und Dilemmata in der inklusiven Bildung. Die Forschungsfragen wie inklusive Bildung in spezifischen Kontexten umgesetzt wird, wie inklusive Bildung von verschiedenen Akteuren konstruiert wird und wie inklusive Bildung durch Forschung konstruiert wurden untersucht. Die vorliegende Arbeit stellt heraus, dass Forschung und Praxis die Ambiguität und Komplexität von inklusiven Bildung anerkennen müssen, anstatt nach konkreten Vorgaben für die Umsetzung zu suchen. Gleichzeitig ist ein Diskurs darüber erforderlich, was als inklusive Bildung gilt – und was nicht rechtmäßig als inklusive Praktiken deklariert werden kann.
Real-Time Performance of Industrial IoT Communication Technologies: A Review
Creators: name: Behnke, Ilja
name: Austad, Henrik
Publisher: name: arXiv
Year: 2023
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: FOS: Computer and information sciences
subject: C.2.5; C.2; C.3

description: With the growing need for automation and the ongoing merge of OT and IT, industrial networks have to transport a high amount of heterogeneous data with mixed criticality such as control traffic, sensor data, and configuration messages. Current advances in IT technologies furthermore enable a new set of automation scenarios under the roof of Industry 4.0 and IIoT where industrial networks now have to meet new requirements in flexibility and reliability. The necessary real-time guarantees will place significant demands on the networks. In this paper, we identify IIoT use cases and infer real-time requirements along several axes before bridging the gap between real-time network technologies and the identified scenarios. We review real-time networking technologies and present peer-reviewed works from the past 5 years for industrial environments. We investigate how these can be applied to controllers, systems, and embedded devices. Finally, we discuss open challenges for real-time communication technologies to enable the identified scenarios. The review shows academic interest in the field of real-time communication technologies but also highlights a lack of a fixed set of standards important for trust in safety and reliability, especially where wireless technologies are concerned.
description: IEEE Internet of Things Journal 2023 | Journal article DOI: 10.1109/JIOT.2023.3332507
In Vitro investigation of multi-domain fragments of squalestatin tetraketide synthase
Creators: name: Yao, Hao
Publisher: name: Hannover : Institutionelles Repositorium der Leibniz Universität Hannover
Year: 2019
Subjects: subject: squalestatin tetraketide synthase
subject: multi-domain fragments
subject: stereoselectivity
subject: Squalestatin Tetraketid Synthase
subject: Multidomän-Fragmente
subject: in vitro
subject: Stereoselektivität
subject: Dewey Decimal Classification::500 | Naturwissenschaften::540 | Chemie

description: Squalestatin tetraketide synthase (SQTKS) is a fungal iterative highly-reducing polyketide synthase (HR-PKS) that catalyzes the biosynthesis of the tetraketide side chain of squalestatin-S1 which is a potent squalene synthase inhibitor and can be potentially used to treat serum cholesterol related diseases. The SQTKS protein is one of the simplest iterative type I HR-PKS as all the iterative β-modification domains are present in an active state and in which a degree of programming occurs. To investigate the programming of the HR-PKS, detailed in vitro and stereochemical studies are fundamental. In this thesis, we have cloned and overexpressed several large multi-domain fragments of SQTKS in E. coli. These fragments have been isolated under a rational purification design and analyzed biochemically and biophysically. Using pantetheine substrates (analogs of the true ACP-bound substrate in SQTKS), kinetic studies of enoyl reduction show that the ER of DH-KR tetradomain is capable of transforming various substrates and it performs the programming function by its inability to reduce the final tetraketide substrate. These results are in accord with the kinetic studies of the isolated SQTKS ER monodomain. As an effect of domain-domain interaction, different stereoselectivities in enoyl reduction have been found by in vitro assays with the SQTKS ER monodomain and with a multidomain construct. With the tetradomain protein, the stereopreference of keto reduction has been studied. From the comparison between the mammalian fatty acid synthase (mFAS) and the SQTKS in stereoselectivity, they are identical, which reinforces the idea that the HR-PKS and mFAS evolved from a common ancestor. To investigate the methyltranfer mechanism, in vitro assays with isolated SQTKS C- methyl transferase (CMeT) monodomain have been studied. In addition, the effectiveness of using the pantetheine substrate as analogs of the original ACP-bound substrate was investigated in this research. These studies indicate that the full methyltransfer activity of SQTKS CMeT may need the cooperation of the acyl carrier protein (ACP).
Additional file 7 of The microbiota restrains neurodegenerative microglia in a model of amyotrophic lateral sclerosis
Creators: name: Cox, Laura M.
name: Calcagno, Narghes
name: Gauthier, Christian
name: Madore, Charlotte
name: Butovsky, Oleg
name: Weiner, Howard L.
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Neuroscience
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: 60506 Virology

description: Additional file 6: Supplemental Figure 6. Genes altered by antibiotics in both SOD1 and WT mice. A-B) Genes modulated by antibiotics in Wt (a) or SOD1 (b). Several genes are regulated in the same direction (upper plot) while others are differentially regulated by antibiotics according to genotype (lower plot). DESeq FDR adjusted q value < 0.2. c) Representative genes modulated by antibiotics.
Estimation of the concentration of deep traps in organic photoconductors using two-photon absorption
Creators: name: Novikov, S. V.
name: Tameev, A. R.
name: Vannikov, A. V.
name: Nunzi, J. -M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Typically, amorphous organic materials contain high density of traps. Traps hinder charge transport and, hence, affect various working parameters of organic electronic devices. In this paper we suggest a simple but reliable method for the estimation of the concentration of deep traps (traps that keep carriers for a time much longer than the typical transport time of the device). The method is based on the measurement of the dependence of the total charge, collected at the electrode, on the total initial charge, uniformly generated in the transport layer under the action of a light pulse. Advantages and limitations of the method are discussed and an experimental example of the estimation of the density of deep traps in photoconductive organic material poly(2-methoxy-5-(2'-ethylhexyloxy)-1,4-phenylenevinylene (MEH-PPV) is provided.
description: 9 pages, 5 figures; Proceedings of ICONO 2010: International Conference on Coherent and Nonlinear Optics
A Formalization of Finite Group Theory: Part III
Creators: name: Russinoff, David M.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Discrete Mathematics (cs.DM)
subject: FOS: Computer and information sciences

description: This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of group homomorphisms and direct products, which are applied in a proof of the Fundamental Theorem of Finite Abelian Groups. The central topics of the present paper are the symmetric groups and the Sylow theorems, which pertain to subgroups of prime power order. Since these theorems are based on the conjugation of subgroups, an example of a group action on a set, their presentation is preceded by a comprehensive treatment of group actions. Our final result is mainly an application of the Sylow theorems: after showing that the alternating group of order 60 is simple (i.e., has no proper normal subgroup), we prove that no group of non-prime order less than 60 is simple. The combined content of the groups directory is a close approximation to that of an advanced undergraduate course taught by the author in 1976.
description: In Proceedings ACL2-2023, arXiv:2311.08373
A Case Study in Analytic Protocol Analysis in ACL2
Creators: name: von Hippel, Max
name: Manolios, Panagiotis
name: McMillan, Kenneth L.
name: Nita-Rotaru, Cristina
name: Zuck, Lenore
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Mathematical Software (cs.MS)
subject: FOS: Computer and information sciences

description: When verifying computer systems we sometimes want to study their asymptotic behaviors, i.e., how they behave in the long run. In such cases, we need real analysis, the area of mathematics that deals with limits and the foundations of calculus. In a prior work, we used real analysis in ACL2s to study the asymptotic behavior of the RTO computation, commonly used in congestion control algorithms across the Internet. One key component in our RTO computation analysis was proving in ACL2s that for all alpha in [0, 1), the limit as n approaches infinity of alpha raised to n is zero. Whereas the most obvious proof strategy involves the logarithm, whose codomain includes irrationals, by default ACL2 only supports rationals, which forced us to take a non-standard approach. In this paper, we explore different approaches to proving the above result in ACL2(r) and ACL2s, from the perspective of a relatively new user to each. We also contextualize the theorem by showing how it allowed us to prove important asymptotic properties of the RTO computation. Finally, we discuss tradeoffs between the various proof strategies and directions for future research.
description: In Proceedings ACL2-2023, arXiv:2311.08373
Income, inequality and the welfare state
Creators: name: Engelhardt, Carina
Publisher: name: Hannover : Insititutionelles Repositorium der Leibniz Universität Hannover
Year: 2018
Subjects: subject: Income distribution
subject: Welfare state
subject: Misperceptions of inequality
subject: Noncognitive skills
subject: Einkommensverteilung
subject: Wohlfahrtsstaat
subject: Nicht-kognitive Fähigkeiten
subject: Verzerrte Wahrnehmung der Ungleichheit
subject: Dewey Decimal Classification::300 | Sozialwissenschaften, Soziologie, Anthropologie::330 | Wirtschaft

description: This thesis examines the relationship between income, inequality and the welfare state. Majority voting models explaining how income inequality affects the size of the welfare state suffer from mixed empirical evidence. It is shown, that the positive correlation between voter turnout in elections and socio-economic status is not the driving factor of this drawback. This thesis shows that it comes more from the fact that individuals hold biased perceptions of income inequality and social mobility. In addition, this thesis takes a look at the bottom end of the income distribution, and shows that (some) personality traits and unemployment are related.
Advances in ACL2 Proof Debugging Tools
Creators: name: Kaufmann, Matt
name: Moore, J Strother
Publisher: name: arXiv
Year: 2023
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: The experience of an ACL2 user generally includes many failed proof attempts. A key to successful use of the ACL2 prover is the effective use of tools to debug those failures. We focus on changes made after ACL2 Version 8.5: the improved break-rewrite utility and the new utility, with-brr-data.
description: In Proceedings ACL2-2023, arXiv:2311.08373
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses
Creators: name: Gamboa, Ruben
name: Manolios, Panagiotis
name: Smith, Eric
name: Thompson, Kyle
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Newcomers to ACL2 are sometimes surprised that ACL2 rejects formulas that they believe should be theorems, such as (REVERSE (REVERSE X)) = X. Experienced ACL2 users will recognize that the theorem only holds for intended values of X, and given ACL2's total logic, there are many counterexamples for which this formula is simply not true. Counterexample generation (cgen) is a technique that helps by giving the user a number of counterexamples (and also witnesses) to the formula, e.g., letting the user know that the intended theorem is false when X is equal to 10. In this paper we describe a tool called DrLA that goes further by suggesting additional hypotheses that will make the theorem true. In this case, for example, DrLA may suggest that X needs to be either a TRUE-LIST or a STRING. The suggestions are discovered using the ideas of theory exploration and subsumption from automated theorem proving.
description: In Proceedings ACL2-2023, arXiv:2311.08373
In situ bioconjugation of laser-generated gold nanoparticles for the rapid design of nanomarkers
Creators: name: Petersen, Svea
Publisher: name: Hannover : Gottfried Wilhelm Leibniz Universität Hannover
Year: 2010
Subjects: subject: Gold nanoparticle
subject: bioconjugation
subject: laser ablation in liquids
subject: Goldnanopartikel
subject: Biokonjugation
subject: Laserstrahlabtragen in Flüssigkeiten
subject: Dewey Decimal Classification::600 | Technik::660 | Technische Chemie

description: [no abstract]
Influence of canopy structure on light interception and productivity of greenhouse cucumber
Creators: name: Wiechers, Dirk
Publisher: name: Hannover : Gottfried Wilhelm Leibniz Universität Hannover
Year: 2011
Subjects: subject: Cucumber
subject: functional-structural plant model
subject: yield formation
subject: Gurke
subject: funktionell-strukturelles Pflanzenmodell
subject: Ertragsbildung
subject: Dewey Decimal Classification::600 | Technik::630 | Landwirtschaft, Veterinärmedizin

description: [no abstract]
Influence of chars from hydrothermal carbonization and pyrolysis on carbon and nitrogen-dynamics in agricultural soils
Creators: name: Gronwald, Marco
Publisher: name: Hannover : Gottfried Wilhelm Leibniz Universität Hannover
Year: 2016
Subjects: subject: Biochar
subject: soil amendment
subject: nutrient retention
subject: C-sueqestration
subject: ammonia volatilization
subject: Biokohle
subject: Bodenverbesserer
subject: Nährstoffauswaschung
subject: Kohlenstoffspeicherer
subject: Ammoniakverflüchtigung
subject: Dewey Decimal Classification::600 | Technik::630 | Landwirtschaft, Veterinärmedizin

description: [no abstract]
Additional file 8 of The microbiota restrains neurodegenerative microglia in a model of amyotrophic lateral sclerosis
Creators: name: Cox, Laura M.
name: Calcagno, Narghes
name: Gauthier, Christian
name: Madore, Charlotte
name: Butovsky, Oleg
name: Weiner, Howard L.
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Neuroscience
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: 60506 Virology

description: Additional file 7: Supplementary Table 1. Longitudinal comparison of changes in unweighted UniFrac distances.
Efbemalenograstim Alfa: First Approval
Creators: name: Blair, Hannah A.
Publisher: name: Adis Journals
Year: 2023
Subjects: Medicine

description: Declarations Funding The preparation of this review was not supported by any external funding. Authorship and Conflict of interest During the peer review process, the manufacturer of the agent under review was offered an opportunity to comment on the article. Changes resulting from any comments received were made by the authors on the basis of scientific completeness and accuracy. Hannah Blair is a salaried employee of Adis International Ltd/Springer Nature, and declares no relevant conflicts of interest. All authors contributed to the review and are responsible for the article content. Ethics approval, Consent to participate, Consent to publish, Availability of data and material, Code availability Not applicable.
 Additional information about this Adis Drug Review can be found here.
 Abstract Efbemalenograstim alfa (Ryzneuta®) is a subcutaneously administered recombinant fusion protein that is being developed by Evive Biotech for the treatment of chemotherapy-induced neutropenia. On 6 May 2023, efbemalenograstim alfa was approved in China for reducing the incidence of infection, as manifested by febrile neutropenia, in adult patients with non-myeloid malignant tumours who are treated with myelosuppressive anticancer drugs that are prone to cause febrile neutropenia. Efbemalenograstim alfa is under regulatory review for the management of chemotherapy-induced neutropenia in the EU and the USA. This article summarizes the milestones in the development of efbemalenograstim alfa leading to this first approval for the management of chemotherapy-induced neutropenia.
 © Springer Nature Switzerland AG 2023
Formal Verification of Zero-Knowledge Circuits
Creators: name: Coglio, Alessandro
name: McCarthy, Eric
name: Smith, Eric W.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Cryptography and Security (cs.CR)
subject: Symbolic Computation (cs.SC)
subject: FOS: Computer and information sciences

description: Zero-knowledge circuits are sets of equality constraints over arithmetic expressions interpreted in a prime field; they are used to encode computations in cryptographic zero-knowledge proofs. We make the following contributions to the problem of ensuring that a circuit correctly encodes a computation: a formal framework for circuit correctness; an ACL2 library for prime fields; an ACL2 model of the existing R1CS (Rank-1 Constraint Systems) formalism to represent circuits, along with ACL2 and Axe tools to verify circuits of this form; a novel PFCS (Prime Field Constraint Systems) formalism to represent hierarchically structured circuits, along with an ACL2 model of it and ACL2 tools to verify circuits of this form in a compositional and scalable way; verification of circuits, ranging from simple to complex; and discovery of bugs and optimizations in existing zero-knowledge systems.
description: In Proceedings ACL2-2023, arXiv:2311.08373
Influence of labyrinth seals in cavities on the flow of an axial compressor
Creators: name: Flores, Diego
Publisher: name: Hannover : Institut für Turbomaschinen und Fluid-Dynamik
Year: 2018
Subjects: subject: Axial Compressor
subject: Cavity
subject: Wake-Leackage Vortex
subject: Axialverdichter
subject: Kavität
subject: Nachlauf-Leakage Wirbel
subject: URANS
subject: Dewey Decimal Classification::600 | Technik::620 | Ingenieurwissenschaften und Maschinenbau

description: The vortex structure inside the upstream cavity-trench depends on the cavity outlet angle. Independently of the cavity outlet angle, the interaction of the upstream rotor wake and the leakage flow induces a wake-leakage vortex. The proximity of the cavity outlet with the rotor modifies the number of induced wake-leakage vortices. This investigation reveals that in the downstream cavity-trench a windage effect occurs similar to the upstream cavity-trench but with minor intensity. The leakage flow cannot recirculate to the upstream cavity-trench and be reheated. All investigated configurations modify the recovery factor near the hub, namely below 10% span with the inclusion of the cavity. The Kerrebrock and Mikolajczak’s effect remains on the stator suction-side at the hub due to the leakage flow transported by wake-leakage vortices while at mid-span the effect appears on the stator pressure-side. The overall performance of the third compressor’s stage shows that the effect of the cavity outlet angle is more influential at lower leakage rates. As the leakage rate progressively increases, the cavity outlet angle loses its influence. Independently of the cavity outlet angle, the inclusion of the cavity in the third stage reduces the total pressure level and increases the total temperature level of the stage as a consequence of the transport within the wake-leakage vortices. This combination results in a more pronounced deterioration of the isentropic stage efficiency. For every 1% of labyrinth seal clearance increase, the stage total pressure ratio decreases between 0.114 to 0.132%, and total temperature ratio increases between 0.039 to 0.051% resulting in an isentropic efficiency reduction by 0.828 to 0.944%.
Role of different type of sub-systems in doubly driven Lambda-system in 87Rb
Creators: name: Pandey, Kanhaiya
Publisher: name: arXiv
Year: 2012
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The well known Lambda-system using two ground state hyperfine levels, F=1 and F=2 of 5S1/2 and one hyperfine level, F=2 of excited state of 5P3/2 of 87Rb has been recently studied using two counter- propagating control lasers [1]. The experiment shows conversion of electromagnetically induced transparency (EIT) into electromagnetically induced absorption (EIA) because the doubly driven Lambda-system forms various sub-systems. We here present detailed theoretical study of the different possible sub-systems created by this configuration. We also explore the possibility of tuning the strength of individual sub-systems by changing the polarization of the control lasers.
Verification of GossipSub in ACL2s
Creators: name: Kumar, Ankit
name: von Hippel, Max
name: Manolios, Panagiotis
name: Nita-Rotaru, Cristina
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computers and Society (cs.CY)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: GossipSub is a popular new peer-to-peer network protocol designed to disseminate messages quickly and efficiently by allowing peers to forward the full content of messages only to a dynamically selected subset of their neighboring peers (mesh neighbors) while gossiping about messages they have seen with the rest. Peers decide which of their neighbors to graft or prune from their mesh locally and periodically using a score for each neighbor. Scores are calculated using a score function that depends on mesh-specific parameters, weights and counters relating to a peer's performance in the network. Since a GossipSub network's performance ultimately depends on the performance of its peers, an important question arises: Is the score calculation mechanism effective in weeding out non-performing or even intentionally misbehaving peers from meshes? We answered this question in the negative in our companion paper by reasoning about GossipSub using our formal, official and executable ACL2s model. Based on our findings, we synthesized and simulated attacks against GossipSub which were confirmed by the developers of GossipSub, FileCoin, and Eth2.0, and publicly disclosed in MITRE CVE-2022-47547. In this paper, we present a detailed description of our model. We discuss design decisions, security properties of GossipSub, reasoning about the security properties in context of our model, attack generation and lessons we learnt when writing it.
description: In Proceedings ACL2-2023, arXiv:2311.08373
Proving Calculational Proofs Correct
Creators: name: Walter, Andrew T.
name: Kumar, Ankit
name: Manolios, Panagiotis
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.4

description: Teaching proofs is a crucial component of any undergraduate-level program that covers formal reasoning. We have developed a calculational reasoning format and refined it over several years of teaching a freshman-level course, "Logic and Computation", to thousands of undergraduate students. In our companion paper, we presented our calculational proof format, gave an overview of the calculational proof checker (CPC) tool that we developed to help users write and validate proofs, described some of the technical and implementation details of CPC and provided several publicly available proofs written using our format. In this paper, we dive deeper into the implementation details of CPC, highlighting how proof validation works, which helps us argue that our proof checking process is sound.
description: In Proceedings ACL2-2023, arXiv:2311.08373
Index insurance, risk preferences, and deprivation in low-income economies
Creators: name: Bertram-Hümmer, Veronika
Publisher: name: Hannover : Gottfried Wilhelm Leibniz Universität Hannover
Year: 2015
Subjects: subject: Deprivation
subject: risk preferences
subject: index insurance
subject: Risikopräferenzen
subject: Index-Versicherung
subject: Dewey Decimal Classification::300 | Sozialwissenschaften, Soziologie, Anthropologie::330 | Wirtschaft

description: [no abstract]
The fundamental role of symmetry in nuclear models
Creators: name: Rowe, D. J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The purpose of these lectures is to illustrate how symmetry and pattern recognition play essential roles in the progression from experimental observation to an understanding of nuclear phenomena in terms of interacting neutrons and protons. We do not discuss weak interactions nor relativistic and sub-nucleon degrees of freedom. The explicit use of symmetry and the power of algebraic methods, in combination with analytical and geometrical methods are illustrated by their use in deriving a shell-model description of nuclear rotational dynamics and the structure of deformed nuclei.
description: 33 pages, 14 figures
Two Effective Heuristics for Beam Angle Optimization in Radiation Therapy
Creators: name: Yarmand, Hamed
name: Craft, David
Publisher: name: arXiv
Year: 2013
Subjects: subject: Medical Physics (physics.med-ph)
subject: FOS: Physical sciences

description: In radiation therapy, mathematical methods have been used for optimizing treatment planning for delivery of sufficient dose to the cancerous cells while keeping the dose to critical surrounding structures minimal. This optimization problem can be modeled using mixed integer programming (MIP) whose solution gives the optimal beam orientation as well as optimal beam intensity. The challenge, however, is the computation time for this large scale MIP. We propose and investigate two novel heuristic approaches to reduce the computation time considerably while attaining high-quality solutions. We introduce a family of heuristic cuts based on the concept of 'adjacent beams' and a beam elimination scheme based on the contribution of each beam to deliver the dose to the tumor in the ideal plan in which all potential beams can be used simultaneously. We show the effectiveness of these heuristics for intensity modulated radiation therapy (IMRT) and stereotactic body radiation therapy (SBRT) on a clinical liver case.
description: arXiv admin note: substantial text overlap with arXiv:1304.4861
ACL2 Proofs of Nonlinear Inequalities with Imandra
Creators: name: Passmore, Grant
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Symbolic Computation (cs.SC)
subject: FOS: Computer and information sciences

description: We present a proof-producing integration of ACL2 and Imandra for proving nonlinear inequalities. This leverages a new Imandra interface exposing its nonlinear decision procedures. The reasoning takes place over the reals, but the proofs produced are valid over the rationals and may be run in both ACL2 and ACL2(r). The ACL2 proofs Imandra constructs are extracted from Positivstellensatz refutations, a real algebraic analogue of the Nullstellensatz, and are found using convex optimization.
description: In Proceedings ACL2-2023, arXiv:2311.08373
A Robust Rapid Approach to Image Segmentation with Optimal Thresholding and Watershed Transform
Creators: name: Chadha, Ankit R.
name: Satam, Neha S.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: This paper describes a novel method for partitioning image into meaningful segments. The proposed method employs watershed transform, a well-known image segmentation technique. Along with that, it uses various auxiliary schemes such as Binary Gradient Masking, dilation which segment the image in proper way. The algorithm proposed in this paper considers all these methods in effective way and takes little time. It is organized in such a manner so that it operates on input image adaptively. Its robustness and efficiency makes it more convenient and suitable for all types of images.
Induction of in vitro T cell immune response against the variable region of paraprotein light chain through autologous dendritic cells
Creators: name: Ramadan, Gamal
Publisher: name: Hannover : Universität
Year: 2001
Subjects: subject: Dendritic cells
subject: retrovirus-mediated gene transfer
subject: V1Ig of plasmocytoma
subject: Dewey Decimal Classification::600 | Technik::610 | Medizin, Gesundheit
subject: Dewey Decimal Classification::500 | Naturwissenschaften::570 | Biowissenschaften, Biologie

description: [no abstract]
The anisotropy of a three- and a one-form
Creators: name: Urban, Federico R
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We calculate the anisotropic signal associated with the coupling of a three-form with an Abelian vector gauge field. In the simplest examples of three-form inflation the amplification of the vector fluctuations is exponential; this makes it almost certain that a large anisotropy will develop, severely constraining the viability of the coupling.
Additional file 1 of An integrative gene expression signature analysis identifies CMS4 KRAS-mutated colorectal cancers sensitive to combined MEK and SRC targeted therapy
Creators: name: Yang, Mingli
name: Davis, Thomas B.
name: Pflieger, Lance
name: Nebozhyn, Michael V.
name: Loboda, Andrey
name: Wang, Heiman
name: Schell, Michael J.
name: Thota, Ramya
name: Pledger, W. Jack
name: Yeatman, Timothy J.
Publisher: name: figshare
Year: 2022
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: Hematology

description: Additional file1. Supplementary Methods_Table S1 Gene Lists of 11Signatures.pdf.
Information security management and employees' security awareness : an analysis of behavioral determinants
Creators: name: Uffen, Jörg
Publisher: name: Hannover : Gottfried Wilhelm Leibniz Universität Hannover
Year: 2014
Subjects: subject: Information security
subject: personality traits
subject: holistic ISM
subject: security awareness
subject: information security policy
subject: compliant behavior
subject: TPB
subject: theory of planned behavior
subject: action design research
subject: process model
subject: Informationssicherheit
subject: Persönlichkeitsmerkmale
subject: ganzheitliches Informationssicherheitsmanagement
subject: Sicherheitsbewusstsein
subject: Informationssicherheitspolicy
subject: sicherheitsrelevantes Verhalten
subject: Theorie des geplanten Verhaltens
subject: konstruktionsorientierte Aktionsforschung
subject: Prozessmodell
subject: Dewey Decimal Classification::600 | Technik::650 | Management

description: [no abstract]
Verification of a Rust Implementation of Knuth's Dancing Links using ACL2
Creators: name: Hardin, David S.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Data Structures and Algorithms (cs.DS)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: F.3.1

description: Dancing Links connotes an optimization to a circular doubly-linked list data structure implementation which provides for fast list element removal and restoration. The Dancing Links optimization is used primarily in fast algorithms to find exact covers, and has been popularized by Knuth in Volume 4B of his seminal series The Art of Computer Programming. We describe an implementation of the Dancing Links optimization in the Rust programming language, as well as its formal verification using the ACL2 theorem prover. Rust has garnered significant endorsement in the past few years as a modern, memory-safe successor to C/C++ at companies such as Amazon, Google, and Microsoft, and is being integrated into both the Linux and Windows operating system kernels. Our interest in Rust stems from its potential as a hardware/software co-assurance language, with application to critical systems. We have crafted a Rust subset, inspired by Russinoff's Restricted Algorithmic C (RAC), which we have imaginatively named Restricted Algorithmic Rust, or RAR. In previous work, we described our initial implementation of a RAR toolchain, wherein we simply transpile the RAR source into RAC. By so doing, we leverage a number of existing hardware/software co-assurance tools with a minimum investment of time and effort. In this paper, we describe the RAR Rust subset, describe our improved prototype RAR toolchain, and detail the design and verification of a circular doubly-linked list data structure employing the Dancing Links optimization in RAR, with full proofs of functional correctness accomplished using the ACL2 theorem prover.
description: In Proceedings ACL2-2023, arXiv:2311.08373. arXiv admin note: substantial text overlap with arXiv:2205.11709
In-line high-rate evaporation of aluminum for the metallization of silicon solar cells
Creators: name: Mader, Christoph Paul
Publisher: name: Hannover : Gottfried Wilhelm Leibniz Universität Hannover
Year: 2012
Subjects: subject: In-line high-rate evaporation
subject: silicon solar cell
subject: temperature
subject: Durchlauf-Hochraten-Aufdampfen
subject: Silizium-Solarzelle
subject: Temperatur
subject: Dewey Decimal Classification::600 | Technik::620 | Ingenieurwissenschaften und Maschinenbau

description: [no abstract]
Additional file 2 of An integrative gene expression signature analysis identifies CMS4 KRAS-mutated colorectal cancers sensitive to combined MEK and SRC targeted therapy
Creators: name: Yang, Mingli
name: Davis, Thomas B.
name: Pflieger, Lance
name: Nebozhyn, Michael V.
name: Loboda, Andrey
name: Wang, Heiman
name: Schell, Michael J.
name: Thota, Ramya
name: Pledger, W. Jack
name: Yeatman, Timothy J.
Publisher: name: figshare
Year: 2022
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: Hematology

description: Additional file2. Table S1 Gene Lists of 11 Signatures.gmt.
Nuclear level densities and $γ-$ray strength functions of $^{111,112,113}$Sn isotopes studied with the Oslo method
Creators: name: Markova, M.
name: Larsen, A. C.
name: Tveten, G. M.
name: von Neumann-Cosel, P.
name: Eriksen, T. K.
name: Garrote, F. L. Bello
name: Campo, L. Crespo
name: Giacoppo, F.
name: Görgen, A.
name: Guttormsen, M.
name: Hadynska-Klek, K.
name: Klintefjord, M.
name: Renstrøm, T.
name: Sahin, E.
name: Siem, S.
name: Tornyi, T. G.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: The $^{111,112,113}$Sn isotopes have been studied with ($p,d γ$), ($p,p^{\prime} γ$), and ($d,p γ$) reactions to extract the nuclear level densities (NLDs) and $γ$-ray strength functions (GSFs) of these nuclei below the neutron separation energy by means of the Oslo method. The experimental NLDs for all three nuclei demonstrate a trend compatible with the constant-temperature model below the neutron separation energy while also being in good agreement with the NLDs of neighboring Sn isotopes, obtained previously with the Oslo-type and neutron evaporation experiments. The extracted microcanonical entropies yield $\approx 1.5$ $k_B$ entropy of a valence neutron in both $^{111}$Sn and $^{113}$Sn. Moreover, the deduced microcanonical temperatures indeed suggest a clear constant-temperature behavior above $\approx$ 3 MeV in $^{111,113}$Sn and above $\approx$ 4.5 MeV in $^{112}$Sn. We observe signatures for the first broken neutron pairs between 2 and 4 MeV in all three nuclei. The GSFs obtained with the Oslo method are found to be in good agreement below the neutron threshold with the strengths of $^{112,114}$Sn extracted in the ($p,p^{\prime}$) Coulomb excitation experiments.
description: 13 pages, 9 figures