cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Automated Verification of Soundness of DNN Certifiers
Creators: name: Singh, Avaljot
name: Sarita, Yasmin Chandini
name: Mendis, Charith
name: Singh, Gagandeep
Publisher: name: arXiv
Year: 2025
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: The uninterpretability of Deep Neural Networks (DNNs) hinders their use in safety-critical applications. Abstract Interpretation-based DNN certifiers provide promising avenues for building trust in DNNs. Unsoundness in the mathematical logic of these certifiers can lead to incorrect results. However, current approaches to ensure their soundness rely on manual, expert-driven proofs that are tedious to develop, limiting the speed of developing new certifiers. Automating the verification process is challenging due to the complexity of verifying certifiers for arbitrary DNN architectures and handling diverse abstract analyses.
 We introduce ProveSound, a novel verification procedure that automates the soundness verification of DNN certifiers for arbitrary DNN architectures. Our core contribution is the novel concept of a symbolic DNN, using which, ProveSound reduces the soundness property, a universal quantification over arbitrary DNNs, to a tractable symbolic representation, enabling verification with standard SMT solvers. By formalizing the syntax and operational semantics of ConstraintFlow, a DSL for specifying certifiers, ProveSound efficiently verifies both existing and new certifiers, handling arbitrary DNN architectures.
 Our code is available at https://github.com/uiuc-focal-lab/constraintflow.git
R-covered foliations of hyperbolic 3-manifolds
Creators: name: Calegari, Danny
Publisher: name: arXiv
Year: 1998
Subjects: subject: Geometric Topology (math.GT)
subject: FOS: Mathematics
subject: 57M50, 57R30, 53C12

description: We produce examples of taut foliations of hyperbolic 3-manifolds which are R-covered but not uniform --- ie the leaf space of the universal cover is R, but pairs of leaves are not contained in bounded neighborhoods of each other. This answers in the negative a conjecture of Thurston `Three-manifolds, foliations and circles I' (math.GT/9712268). We further show that these foliations can be chosen to be C^0 close to foliations by closed surfaces. Our construction underscores the importance of the existence of transverse regulating vector fields and cone fields for R-covered foliations. Finally, we discuss the effect of perturbing arbitrary R-covered foliations.
description: 17 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTVol3/paper6.abs.html
title: Trichophorum cespitosum
title: Rasen-Haarsimse (Trichophorum cespitosum)
titleType: AlternativeTitle
Creators: name: Schulz, Herbert
Publisher: name: Universitätsbibliothek Braunschweig
Year: 2006
Subjects: subject: Diasammlung Herbert Schulz
subject: 580

description: Enthält 3 Bilder der Rasen-Haarsimse.
An ALMA multi-line survey of the interstellar medium of the redshift 7.5 quasar host galaxy J1342+0928
Creators: name: Novak, Mladen
name: Banados, Eduardo
name: Decarli, Roberto
name: Walter, Fabian
name: Venemans, Bram
name: Neeleman, Marcel
name: Farina, Emanuele Paolo
name: Mazzucchelli, Chiara
name: Carilli, Chris
name: Fan, Xiaohui
name: Rix, Hans-Walter
name: Wang, Feige
Publisher: name: arXiv
Year: 2019
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We use ALMA observations of the host galaxy of the quasar ULAS-J1342+0928 at z=7.54 to study the dust continuum and far infrared lines emitted from its interstellar medium. The Rayleigh-Jeans tail of the dust continuum is well sampled with eight different spectral setups, and from a modified black body fit we obtain an emissivity coefficient of beta=1.85+-0.3. Assuming a standard dust temperature of 47 K we derive a dust mass of Mdust=0.35x10^8 Msol and a star formation rate of 150+-30 Msol/yr. We have >4sigma detections of the [CII]_158, [OIII]_88 and [NII]_122 atomic fine structure lines and limits on the [CI]_369, [OI]_146 and [NII]_205 emission. We also report multiple limits of CO rotational lines with Jup >= 7, as well as a tentative 3.3sigma detection of the stack of four CO lines (Jup=11, 10, 8, 7). We find line deficits that are in agreement with local ultra luminous infrared galaxies. Comparison of the [NII]_122 and [CII]_158 lines indicates that the [CII]_158 emission arises predominantly from the neutral medium, and we estimate that the photo-disassociation regions in J1342+0928 have densities 180 cm^-3. Our observations favor a low gas-to-dust ratio of <100 and a metallicity of the interstellar medium comparable to the Solar value. All the measurements presented here suggest that the host galaxy of J1342+0928 is highly enriched in metal and dust, despite being observed just 680 Myr after the Big Bang.
description: 18 pages, 11 figures, 3 tables, accepted for publication in ApJ
SURFACE-FLUCTUATIONS ON CLATHRATE HYDRATE STRUCTURE I AND II SLABS IN SELECTED ENVIRONMENTS
Creators: name: Saethre, Bjorn Steen
name: Hoffmann, Alex C.
Publisher: name: The University of British Columbia
Year: 2008

description: Hydrates in some crude oils have a smaller tendency to form plugs than in others, and lately this is becoming a focus of research. To study this and the action of hydrate antiagglomerants in general, hydrate surface properties must be known. To help in characterizing the surface properties by simulation, the capillary waves of clathrate hydrate surfaces in vacuum are examined in all unique crystal faces by Molecular Dynamics, and an attempt is made to estimate the surface energies in the respective crystal faces from the wave fluctuations [1]. We also attempt to estimate solid/liquid surface energies of hydrate/oil and hydrate/water for a specific face, for comparison. The forcefield OPLS_AA is used for the organic compounds, while TIP4P/ice is used for the water framework. The anisotropy of the surface energy is then estimated and the result compared to the initial growth rate of different crystal faces as found in experiment [2].
Additional file 1 of A lactate-targeted resuscitation strategy may be associated with higher mortality in patients with septic shock and normal capillary refill time: a post hoc analysis of the ANDROMEDA-SHOCK study
Creators: name: Kattan, Eduardo
name: Hernández, Glenn
name: Ospina-Tascón, Gustavo
name: Valenzuela, Emilio Daniel
name: Bakker, Jan
name: Castro, Ricardo
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: Computational Biology

description: Additional File 1: Baseline characteristics and clinical outcomes of septic shock patients at ANDROMEDA-SHOCK protocol inclusion. Data at 8-hours are reported for clarification purposes.
Ethnoconfessional Nationalism in the Balkans: Analysis, Manifestations and Management
Creators: Bardos, Gordon
Publisher: name: Columbia University
Year: 2013
Subjects: subject: Political science
subject: FOS: Political science

description: For at least the past two hundred years, ethnoconfessional nationalism has been the most powerful ideology and force shaping political and social developments in southeastern Europe. This dissertation argues that Balkan ethnoconfessional nationalism is such an important element in southeastern Europe because it is a collective, chronic and non-economic phenomenon which transcends other political ideologies, generations, or socio-economic classes. As such, conventional Marxist-based approaches to understanding the phenomenon of nationalism, and their intellectual descendants such as the more materially-based forms of social constructivism and instrumentalism, consistently fail to both understand and predict its appeal and success in southeastern Europe. The dissertation concludes by arguing that there are severe limitations to the extent to which outsiders can manage the outcome of ethnoconfessional conflicts; hence, in terms of policy prescriptions, the analysis provided in this dissertation argues for a cautious and modest understanding of the extent to which intervention by the international community can transform Balkans states and societies.
pc-COP: An Efficient and Configurable 2048-p-Bit Fully-Connected Probabilistic Computing Accelerator for Combinatorial Optimization
Creators: name: Magar, Kiran
name: Bharathan, Shreya
name: Banerjee, Utsav
Publisher: name: arXiv
Year: 2025
Subjects: subject: Emerging Technologies (cs.ET)
subject: FOS: Computer and information sciences

description: Probabilistic computing is an emerging quantum-inspired computing paradigm capable of solving combinatorial optimization and various other classes of computationally hard problems. In this work, we present pc-COP, an efficient and configurable probabilistic computing hardware accelerator with 2048 fully connected probabilistic bits (p-bits) implemented on Xilinx UltraScale+ FPGA. We propose a pseudo-parallel p-bit update architecture with speculate-and-select logic which improves overall performance by $4 \times$ compared to the traditional sequential p-bit update. Using our FPGA-based accelerator, we demonstrate the standard G-Set graph maximum cut benchmarks with near-99% average accuracy. Compared to state-of-the-art hardware implementations, we achieve similar performance and accuracy with lower FPGA resource utilization.
description: Published in 2024 IEEE High Performance Extreme Computing Conference (HPEC)
Developing Digital Characters to Illustrate Fire Safety Procedures
Creators: name: Abdulla, Ghadeer
Publisher: name: American University of Bahrain
Year: 2024
Subjects: classificationCode: 3303
subject: Design
classificationCode: 3605
subject: Screen and digital media
classificationCode: 360503
subject: Digital and electronic media art

description: As our world rapidly evolves, we also must improve how we deliver important messages and information. The correct execution of info delivery in this time and age is very priceless due to the fact that misinformation spreads rapidly. This project hopes to deliver proper info in an engaging, memorable way to young children to educate them and potentially save lives. We will dive into the importance of digital characters and how characters can be used to educate about home fire safety procedures effectively. In addition, this research will discuss the best medium to use when trying to reach as many children as possible during this digital age.
Essential aspects of the spontaneous exchange bias effect
Creators: name: Bufaiçal, L.
name: Bittar, E. M.
Publisher: name: arXiv
Year: 2024
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Here, we present a review of the phenomenology of the spontaneous exchange bias effect, a phenomenon in which some materials exhibit unidirectional magnetic anisotropy even without the assistance of an external magnetic field applied during its cooling process. We review and discuss the most critical advances in this field of research that flourished more than a decade ago, pointing out its main features as well as its similarities and dissimilarities with the conventional exchange bias effect that has been vastly investigated since the 1950 decade. Finally, we briefly overview the obstacles to advancement in the field and discuss what we believe could be promising roads to overcome them.
description: Review Article
Additional file 2 of A lactate-targeted resuscitation strategy may be associated with higher mortality in patients with septic shock and normal capillary refill time: a post hoc analysis of the ANDROMEDA-SHOCK study
Creators: name: Kattan, Eduardo
name: Hernández, Glenn
name: Ospina-Tascón, Gustavo
name: Valenzuela, Emilio Daniel
name: Bakker, Jan
name: Castro, Ricardo
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: Computational Biology

description: Additional File 2: Demographic, perfusion and hemodynamic characteristics and clinical outcomes of patients according to CRT status at T0 and T2.
Compactness Theorems for Geometric Packings
Creators: name: Martin, Greg
Publisher: name: arXiv
Year: 2000
Subjects: subject: Metric Geometry (math.MG)
subject: Combinatorics (math.CO)
subject: General Topology (math.GN)
subject: FOS: Mathematics
subject: 52C17 (52C15, 54H99)

description: Moser asked whether the collection of rectangles of dimensions 1 x 1/2, 1/2 x 1/3, 1/3 x 1/4, ..., whose total area equals 1, can be packed into the unit square without overlap, and whether the collection of squares of side lengths 1/2, 1/3, 1/4, ... can be packed without overlap into a rectangle of area pi^2/6-1. Computational investigations have been made into packing these collections into squares of side length 1+epsilon and rectangles of area pi^2/6-1+epsilon, respectively, and one can consider the apparently weaker question whether such packings are possible for every positive number epsilon. In this paper we establish a general theorem on sequences of geometrical packings that implies in particular that the ``for every epsilon'' versions of these two problems are actually equivalent to the original tiling problems.
description: 10 pages
Additional file 6: of A chloroplast-targeted pentatricopeptide repeat protein PPR287 is crucial for chloroplast function and Arabidopsis development
Creators: name: Kwanuk Lee
name: Park, Su
name: Han, Ji
name: Jeon, Young
name: Pai, Hyun-Sook
name: Hunseung Kang
Publisher: name: figshare
Year: 2019
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: 69999 Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Plant Biology

description: Splicing patterns of intron-containing chloroplast genes. (a) Total RNA was extracted from 2-week-old Col-0 (W), ppr287 mutant (K), knockdown mutant (KD1), and complementation line (Com1), and transcript levels of each gene were analyzed by RT-PCR. (b) The rations of un-spliced (precursor) to spliced (mature) transcripts between mutant and wild-type were determined by real-time RT-PCR. Data are meanâ Âąâ SE of three independent biological replicates. (PDF 81 kb)
The Maxwell group in 2+1 dimensions and its infinite-dimensional enhancements
Creators: name: Salgado-Rebolledo, Patricio
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The Maxwell group in 2+1 dimensions is given by a particular extension of a semi-direct product. This mathematical structure provides a sound framework to study different generalizations of the Maxwell symmetry in three space-time dimensions. By giving a general definition of extended semi-direct products, we construct infinite-dimensional enhancements of the Maxwell group that enlarge the ${\rm ISL}(2,\mathbb{R})$ Kac-Moody group and the ${\rm BMS}_3$ group by including non-commutative supertranslations. The coadjoint representation in each case is defined, and the corresponding geometric actions on coadjoint orbits are presented. These actions lead to novel Wess-Zumino terms that naturally realize the aforementioned infinite-dimensional symmetries. We briefly elaborate on potential applications in the contexts of three-dimensional gravity, higher-spin symmetries, and quantum Hall systems.
description: 42 pages, typos corrected
title: ML meets aerospace : challenges of certifying airborne AI
Creators: name: Luettig, Bastian
name: Akhiat, Yassine
name: Daw, Zamira
Publisher: name: Universität Stuttgart
Year: 2024
Subjects: subject: 004
subject: 620

description: Artificial Intelligence (AI) technologies can potentially revolutionize the aerospace industry with applications such as remote sensing data refinement, autonomous landing, and drone-based agriculture. However, safety concerns have prevented the widespread adoption of AI in commercial aviation. Currently, commercial aircraft do not incorporate AI components, even in entertainment or ground systems. This paper explores the intersection of AI and aerospace, focusing on the challenges of certifying AI for airborne use, which may require a new certification approach. We conducted a comprehensive literature review to identify common AI-enabled aerospace applications, classifying them by the criticality of the application and the complexity of the AI method. An applicability analysis was conducted to assess how existing aerospace standards - for system safety, software, and hardware - apply to machine learning technologies. In addition, we conducted a gap analysis of machine learning development methodologies to meet the stringent aspects of aviation certification. We evaluate current efforts in AI certification by applying the EASA concept paper and Overarching Properties (OPs) to a case study of an automated peripheral detection system (ADIMA). Aerospace applications are expected to use a range of methods tailored to different levels of criticality. Current aerospace standards are not directly applicable due to the manner in which the behavior is specified by the data, the uncertainty of the models, and the limitations of white box verification. From a machine learning perspective, open research questions were identified that address validation of intent and data-driven requirements, sufficiency of verification, uncertainty quantification, generalization, and mitigation of unintended behavior. For the ADIMA system, we demonstrated compliance with EASA development processes and achieved key certification objectives. However, many of the objectives are not applicable due to the human-centric design. OPs helped us to identify and uncover several defeaters in the applied ML technology. The results highlight the need for updated certification standards that take into account the unique nature of AI and its failure types. Furthermore, certification processes need to support the continuous evolution of AI technologies. Key challenges remain in ensuring the safety and reliability of AI systems, which calls for new methodologies in the machine learning community.
title: Fallibilist analysis of epistemic assumptions underlying the AHS-curriculum
Creators: name: Lischka, Martin
Year: 2024

description: Nationale Lehrpläne sind Dokumente, die die Lernziele der nationalen Bildungspolitik festlegen. Sie sind unvermeidlich von epistemologischen Annahmen geprägt, die von einer Vielzahl an Perspektiven beeinflusst sein können, wie Rationalismus, Empirismus, Relativismus, Fallibilismus oder einer Mischung dieser theoretischen Zugänge zu Wissen und Lernen. Als Pädagoge interessiere ich mich dafür, die epistemologischen Annahmen, die den österreichischen Lehrplänen zugrunde liegen, zu untersuchen, da diese Dokumente die Bildungspraxis prägen und die verpflichtende Umsetzung durch Bildungsinstitutionen erfordern. Ziel dieses Forschungsprojekts ist es zunächst, die epistemologischen Annahmen im Lehrplan zu analysieren, wobei ein besonderer Schwerpunkt auf dem dominierenden Bildungsparadigma – der kompetenzorientierten Pädagogik – liegt. Der zweite Teil des Forschungsprojekts skizziert relevante Beiträge fallibilistischer Ideen zur Erkenntnistheorie und erörtert, ob die im Lehrplan eingebettete Epistemologie durch die Integration spezifischer fallibilistischer Konzepte und Theorien verbessert werden kann. Abschließend skizziert der dritte Teil, wie fallibilistische Prinzipien in der Didaktik aussehen könnten, und untersucht, welche Bildungspraktiken aus solchen Prinzipien hervorgehen können.
description: National curricula are documents that specify the learning goals of national educational policy. They are inevitably shaped by epistemological assumptions, which can be informed by a variety of perspectives, such as rationalism, empiricism, relativism, fallibilism, or a mixture of these approaches to knowledge and learning. As an educator, I am interested in exploring the epistemological assumptions underlying the Austrian curricula, as these documents shape educational practices and require obligatory implementation by educational institutions. The purpose of this research project is, first, to analyze the epistemological assumptions present in the curriculum, with a particular focus on the dominant educational paradigm—competence-oriented pedagogy (kompetenzorientierte Pädagogik). The second part of the research project outlines relevant contributions of fallibilist ideas to epistemology and discusses whether the curriculum’s epistemology might be enhanced by integrating specific fallibilist concepts and theories. Finally, the third part outlines what fallibilist principles in didactics might entail and explores the educational practices that could follow from such principles.
title: Diabetic Modulation of Caveolar Proteins, Infarct Tolerance and Ischaemic Preconditioning
Creators: name: Russell, Jake S.
Publisher: name: Griffith University
Year: 2019
Subjects: subject: Ischaemic heart disease
subject: Ischaemic conditioning
subject: Diabetes
subject: Acute myocardial infarction

description: Ischaemic heart disease (IHD) remains a leading cause of death worldwide and clinical therapies to improve cardiac outcomes following associated acute myocardial infarction (AMI) remain elusive. Subjecting the heart to transient pharmacological or ischaemic conditioning stimuli prior to or immediately following prolonged ischaemia potently protects hearts from ischaemia-reperfusion (I-R) injury in experimental models; however, this is generally ineffective in the clinical setting, where among other factors, patients suffer one or more co-morbidities. Indeed, multi-morbidity is now dominant in those with IHD. Increasingly common diabetes is a major risk factor for AMI, and not only doubles the risk of AMI but may also worsen cardiac injury and impair or negate normally protective conditioning stimuli. However, effects of diabetes on ischaemic tolerance and cardioprotection are highly variable in both humans and animal models, complicating strategic development of protective therapies. Diabetic disease duration and progression may play critical roles in governing myocardial I-R tolerance, and cardiac outcomes may differ in type 1 diabetes (T1D) vs. more widespread type 2 diabetes (T2D). Changes in I-R tolerance and cardioprotection with diabetes likely involves multiple mechanisms, including disruption of membrane structure and function and depletion of membranous caveolins. These proteins, together with cavins, play critical structural and functional roles in membrane signalling domains, known as caveolae, and appear essential for cardioprotective conditioning and other responses. Emerging evidence indicates caveolin proteins may be sensitive to hyperglycaemia and hyperlipidaemia; however, studies are limited to acute in vitro and T1D models, with effects in relevant chronic models of diabetes warranting further study. While little is known about the regulation of caveolins, they may be depleted with saturated fat vs. increased with the omega-3 fatty acid, [alpha]-linolenic acid (ALA). Studies also indicate differential modulation via pharmacological interventions and hyperglycaemic conditions, indicating restoration of caveolins under diabetic conditions may be possible. However, whether such changes are capable of improving outcomes following infarction is unknown. Studies undertaken in the course of this doctoral project therefore aimed to characterise caveolar protein expression, I-R tolerance and cardioprotection in in vitro and in vivo models of T1D and T2D, and to test whether ALA supplementation might improve cardiac outcomes.
title: Bolboschoenus maritimus
title: Gewöhnliche Strandsimse (Bolboschoenus maritimus)
titleType: AlternativeTitle
Creators: name: Schulz, Herbert
Publisher: name: Universitätsbibliothek Braunschweig
Year: 2006
Subjects: subject: Diasammlung Herbert Schulz
subject: 580

description: Enthält 5 Bilder der Gewöhnlichen Strandsimse.
title: Observations on sport and eSport from a systems theory perspective : theoretical reflections on differentiating sport and eSport and on the functions and consequences of an integration
Creators: name: Borggrefe, Carmen
name: Hoffmann, Andreas
Publisher: name: Universität Stuttgart
Year: 2024
Subjects: subject: 300
subject: 796

description: This article takes up the sport policy and sports science debate on the recognition of competitive computer and video games - so-called eSport - as sport and pursues the goal of differentiating sport and eSport on the basis of systems theory considerations and reflecting on the functions and consequences of recognizing eSport as sport. It begins by addressing the questions of how sport can be observed at all with the help of theories and which epistemological position underlies the systems theory approach. This is followed by a consideration of sport in terms of systems theory as a social functional system and by reflection on forms of structural coupling between the sport system and other social functional systems. In light of these theoretical considerations, the connectivity of eSport to the sport system as well as the functions and consequences of such an integration for structural couplings between the sport system and the systems of health, education, the economy, mass media, and politics are analyzed. The article concludes with an outline of perspectives for future scientific observation of sport and eSport.
Additional file 6: of Postoperative elective pelvic nodal irradiation compared to prostate bed irradiation in locally advanced prostate cancer â a retrospective analysis of dose-escalated patients
Creators: name: Link, Carola
name: Honeck, Patrick
name: Makabe, Akiko
name: Giordano, Frank
name: Bolenz, Christian
name: Joerg Schaefer
name: Bohrer, Markus
name: Lohr, Frank
name: Wenz, Frederik
name: Buergy, Daniel
Publisher: name: figshare
Year: 2019
Subjects: subject: Space Science
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer

description: Figure S6. Univariate survival analyses comparing FFBF and bPFS between the analysed cohort of patients with locally advanced tumors and patients with localized tumors and node-positive tumors at our department. (DOCX 373 kb)
Classification of finite dimensional modules of singly atypical type over the Lie superalgebras sl(m/n)
Creators: name: Su, Yucai
Publisher: name: arXiv
Year: 1999
Subjects: subject: Representation Theory (math.RT)
subject: FOS: Mathematics

description: We classify the finite dimensional indecomposable sl(m/n)-modules with at least a typical or singly atypical primitive weight. We do this classification not only for weight modules, but also for generalized weight modules. We obtain that such a generalized weight module is simply a module obtained by ``linking'' sub-quotient modules of generalized Kac-modules. By applying our results to sl(m/1), we have in fact completely classified all finite dimensional sl(m/1)-modules.
description: 17 pages, Latex
title: Powering the future : Germany's Wasserstoffstrategie in the transition to climate neutrality : case study on green hydrogen for the chemical industry
Creators: name: Seithümmer, Valentin Benedikt
name: Lutz, Julia Valentina
name: Kaufmann, Samuel Jaro
name: Chinnaraj, Haripriya
name: Rößner, Paul
name: Birke, Kai Peter
Publisher: name: Universität Stuttgart
Year: 2024
Subjects: subject: 333.7

description: This article provides a comprehensive insight into Germany's transition to climate neutrality, bringing together the political framework of Germany's Climate Protection Act (CPA), the funding strategy of its key pillar, namely the “Wasserstoffstrategie” and the technical dimensions for non-technical stakeholders through a case study of Germany's largest current hydrogen user, the chemical industry. Increasing complexity of our modern economy and society and a lack of clarity in reporting contribute to misleading conclusions and can facilitate polarised views. To overcome that gap, we aim to draw a clear picture of these complex scientific topics and make them also accessible to non-technical stakeholders. This paper reviews Germany's climate policy, emphasizing the federal constitutional court's pivotal role. By calculating prospective GHG-reduction paths for Germany, we illuminate the gap between aspirational targets and practical strategies, emphasizing the need to translate global targets into actionable national plans. Taking the crucial, often-overlooked CO2-budget into account, potential shortcomings are revealed, even when annual emission goals are met by Germany. Shifting focus of this paper to the German hydrogen strategy, a core part of the Climate Protection Program, we reveal a strong emphasis on international collaboration. This involves a global hydrogen ramp-up and facilitation of hydrogen imports, offering trade opportunities but also introducing dependencies and potential price increases. A scale estimation case study on green hydrogen production for the German chemical industry underscores the rationale behind prioritising imports over domestic production. Calculating a demand of 7840 windmills (78.37 TW h) that require 168 000 football pitches (7000 m2 per pitch) of space, it provides easy to grasp insights into the necessary actions for a climate neutral Germany. This perspective frames Germany's climate goals, the Wasserstoffstrategie, and the technical scale of implementing renewables by conducting a case study on green hydrogen. Hereby, it highlights the magnitude of the climate problem and the immense scale of solutions required for a sustainable technical transition in a clear and sound manner.
Numerical approximation of the Stochastic Cahn-Hilliard Equation near the Sharp Interface Limit
Creators: name: Antonopoulou, Dimitra
name: Banas, Lubomir
name: Nürnberg, Robert
name: Prohl, Andreas
Publisher: name: arXiv
Year: 2019
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics

description: We consider the stochastic Cahn-Hilliard equation with additive noise term $\varepsilon^γg\, \dot{W}$ ($γ>0$) that scales with the interfacial width parameter $\varepsilon$. We verify strong error estimates for a gradient flow structure-inheriting time-implicit discretization, where $\varepsilon^{-1}$ only enters polynomially; the proof is based on higher-moment estimates for iterates, and a (discrete) spectral estimate for its deterministic counterpart. For $γ$ sufficiently large, convergence in probability of iterates towards the deterministic Hele-Shaw/Mullins-Sekerka problem in the sharp-interface limit $\varepsilon \rightarrow 0$ is shown. These convergence results are partly generalized to a fully discrete finite element based discretization. We complement the theoretical results by computational studies to provide practical evidence concerning the effect of noise (depending on its 'strength' $γ$) on the geometric evolution in the sharp-interface limit. For this purpose we compare the simulations with those from a fully discrete finite element numerical scheme for the (stochastic) Mullins-Sekerka problem. The computational results indicate that the limit for $γ\geq 1$ is the deterministic problem, and for $γ=0$ we obtain agreement with a (new) stochastic version of the Mullins-Sekerka problem.
Quantum dephasing by chaos
Creators: name: Nakazato, Hiromichi
name: Namiki, Mikio
name: Pascazio, Saverio
name: Yamanaka, Yoshiya
Publisher: name: arXiv
Year: 1996
Subjects: subject: Quantum Physics (quant-ph)
subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: We examine whether the chaotic behavior of classical systems with a limited number of degrees of freedom can produce quantum dephasing, against the conventional idea that dephasing takes place only in large systems with a huge number of constituents and complicated internal interactions. On the basis of this analysis, we briefly discuss the possibility of defining quantum chaos and of inventing a ``chaos detector".
description: 13 pages, LaTeX, including 1 epsfigure, tar+gzip+uuencoded
title: Schoenoplectus tabernaemontani
title: Salz-Teichsimse (Schoenoplectus tabernaemontani)
titleType: AlternativeTitle
Creators: name: Schulz, Herbert
Publisher: name: Universitätsbibliothek Braunschweig
Year: 2006
Subjects: subject: Diasammlung Herbert Schulz
subject: 580

description: Enthält 2 Bilder der Salz-Teichsimse.
A meshless, integration-free, and boundary-only RBF technique
Creators: name: Chen, W.
name: Tanaka, M.
Publisher: name: arXiv
Year: 2002
Subjects: subject: Computational Engineering, Finance, and Science (cs.CE)
subject: Computational Geometry (cs.CG)
subject: FOS: Computer and information sciences
subject: G1.3, G1.8

description: Based on the radial basis function (RBF), non-singular general solution and dual reciprocity method (DRM), this paper presents an inherently meshless, integration-free, boundary-only RBF collocation techniques for numerical solution of various partial differential equation systems. The basic ideas behind this methodology are very mathematically simple. In this study, the RBFs are employed to approximate the inhomogeneous terms via the DRM, while non-singular general solution leads to a boundary-only RBF formulation for homogenous solution. The present scheme is named as the boundary knot method (BKM) to differentiate it from the other numerical techniques. In particular, due to the use of nonsingular general solutions rather than singular fundamental solutions, the BKM is different from the method of fundamental solution in that the former does no require the artificial boundary and results in the symmetric system equations under certain conditions. The efficiency and utility of this new technique are validated through a number of typical numerical examples. Completeness concern of the BKM due to the only use of non-singular part of complete fundamental solution is also discussed.
Ce que nous apprend l’histoire des sciences à propos du concept de fonction d’onde et impact sur l’enseignement de la physique quantique
Creators: name: OLDACHE, MUSTAPHA
name: KHIARI, CHAMS-EDDINE
Publisher: name: Educational Journal of the University of Patras UNESCO Chair
Year: 2016
Subjects: Science history, wave function, interpretation of quantum mechanics, epistemology

description: The introduction of the notion of wave function in quantum mechanics was historically done in a progressive manner, beginning with the original idea of “pilot wave” introduced by de Broglie and finishing with the interpretation of Copenhagen School. One returns here to the historical sources of this concept in order to know better its evolution along history. One believes that this method will allow understanding better the importance of the right interpretation of quantum mechanics. This study has also an educational objective in the sense that it will allow to discuss the opportunity of introducing the teaching of science history in the university programs for the future physicians, engineering physicians and teachers in high schools.
description: Educational Journal of the University of Patras UNESCO Chair, Vol. 3, N. 2 (2016) - Colloque SIEST Méditerranée, Marseille 2016
Thermodynamic constraints on matter creation models
Creators: name: Valentim, R.
name: Jesus, J. F.
Publisher: name: arXiv
Year: 2019
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Entropy is a fundamental concept from Thermodynamics and it can be used to study models on context of Creation Cold Dark Matter (CCDM). From conditions on the first ($\dot{S}\geq0$)\footnote{Throughout the present work we will use dots to indicate time derivatives and dashes to indicate derivatives with respect to scale factor.} and second order ($\ddot{S}<0$) time derivatives of total entropy in the initial expansion of Sitter through the radiation and matter eras until the end of Sitter expansion, it is possible to estimate the intervals of parameters. The total entropy ($S_{t}$) is calculated as sum of the entropy at all eras ($S_γ$ and $S_{m}$) plus the entropy of the event horizon ($S_h$). This term derives from the Holographic Principle where it suggests that all information is contained on the observable horizon. The main feature of this method for these models are that thermodynamic equilibrium is reached in a final de Sitter era. Total entropy of the universe is calculated with three terms: apparent horizon ($S_{h}$), entropy of matter ($S_{m}$) and entropy of radiation ($S_γ$). This analysis allows to estimate intervals of parameters of CCDM models.
description: 16 pages, 11 figures. Replaced in order to match accepted version
Impact de la situation-problème sur la pratique de l’enseignant en classe : Cas de la résonance d’intensité
Creators: name: SADDOUKI, SAIDA
name: BOILEVIN, JEAN-MARIE
name: JAMEAU, ALAIN
Publisher: name: Educational Journal of the University of Patras UNESCO Chair
Year: 2016
Subjects: Inquiry based science teaching, activity theory, professional didactics, teaching practice, intensity resonance, didactic contract

description: In this article we examine the implementation of inquiry based science teaching in practical work on the concept of intensity resonance for fourth graders in Tunisia. Specifically, we consider the impact of a problem-solving situation on teacher’s practice in the class. First, we present the theoretical framework that is within the teaching of science and methodology that we have developed. We then present the preliminary outcomes of this research that we consider intermediate within an ongoing research project. Using inquiry based science teaching in its practice in class was found difficult by the teacher throughout the different moments of the teaching session. The problem-solving situation triggering a cause among others that can negatively influence the implementation of the inquiry process.
description: Educational Journal of the University of Patras UNESCO Chair, Vol. 3, N. 2 (2016) - Colloque SIEST Méditerranée, Marseille 2016
Robust Reference Frame Extraction from Unsteady 2D Vector Fields with Convolutional Neural Networks
Creators: name: Kim, Byungsoo
name: Günther, Tobias
Publisher: name: arXiv
Year: 2019
Subjects: subject: Graphics (cs.GR)
subject: FOS: Computer and information sciences

description: Robust feature extraction is an integral part of scientific visualization. In unsteady vector field analysis, researchers recently directed their attention towards the computation of near-steady reference frames for vortex extraction, which is a numerically challenging endeavor. In this paper, we utilize a convolutional neural network to combine two steps of the visualization pipeline in an end-to-end manner: the filtering and the feature extraction. We use neural networks for the extraction of a steady reference frame for a given unsteady 2D vector field. By conditioning the neural network to noisy inputs and resampling artifacts, we obtain numerically stabler results than existing optimization-based approaches. Supervised deep learning typically requires a large amount of training data. Thus, our second contribution is the creation of a vector field benchmark data set, which is generally useful for any local deep learning-based feature extraction. Based on Vatistas velocity profile, we formulate a parametric vector field mixture model that we parameterize based on numerically-computed example vector fields in near-steady reference frames. Given the parametric model, we can efficiently synthesize thousands of vector fields that serve as input to our deep learning architecture. The proposed network is evaluated on an unseen numerical fluid flow simulation.
description: Computer Graphics Forum (Proceedings of EuroVis 2019)
Evaluating Community Advocacy in Response to Mayor de Blasio’s Homeless Shelter Development
Creators: Priadi, Yufi N.
Publisher: name: Columbia University
Year: 2019
Subjects: City planning
Urban policy
Homelessness
Shelters for the homeless
Shelters for the homeless--Government policy
NIMBY syndrome

description: In the United States, cities like New York, San Francisco, and Washington, D.C., the three metropolitans that are wealthy and have excessive cost, all share one common struggle: homelessness. With a policymaking effort regarding homelessness that were experimented within a highly dependent system of mayoral administration, hence my paper primarily focuses on new homeless shelter policy under NYC Mayor Bill de Blasio’s second term that started in 2017 until 2022. Under his 2017 plan ‘Turning the Tide on Homelessness’, the City has targeted to open new ninety shelters across the City by 2022. Under his 2017 plan ‘Turning the Tide on Homelessness’, the City has targeted to open new ninety shelters across the City by 2022. This target has drawn different responses from local neighborhood community level that has forced the City to engage in complex situations, such as opposition and protest that require clear communication to push the goal to happen. Community advocacy and the way local residents negotiate has been central in influencing the City to open a new homeless shelter, with the notion that the local will always challenge any siting if its within their neighborhood area, activating their ‘not in my back yard’ (NIMBY) response that arises by simply selfish or uninformed beliefs and responses by residents. This paper uses single case study (n=1) on West 58th St. Coalition in Manhattan to support detail examination based on the hypotheses that community advocacy that takes place in an affluent neighborhood (higher median income, higher educational attainment, higher median gross rent than the City’s average) is more likely to be powerful to oppose the City’s plan on developing new homeless shelter in their neighborhood. This community is chosen as a case because it has more accessible resources, therefore, it can provide more support to this research. To provide a fair comparison, West 58th St. will be supported by the other cases of community advocacy from different place such as Crown Heights shelters in Brooklyn and Maspeth shelters in Queens.
Commutants of Analytic Toeplitz Operators on the Bergman Space
Creators: name: Axler, Sheldon
name: Cuckovic, Zeljko
name: Rao, N. V.
Publisher: name: arXiv
Year: 1998
Subjects: subject: Functional Analysis (math.FA)
subject: FOS: Mathematics
subject: 47B35

description: In this note we show that if two Toeplitz operators on a Bergman space commute and the symbol of one of them is analytic and nonconstant, then the other one is also analytic.
description: 5 pages. For more information, see http://math.sfsu.edu/axler/Commutants.html
Evaluate The Impact Of Disruptions On New York City Subway System
Creators: Jia, Zhengzhe
Publisher: name: Columbia University
Year: 2020
Subjects: Subways
City planning--Transportation
Local transit--Evaluation

description: This research aims to evaluate the impact of disruptions on the New York City subway system to passengers in terms of time and financial loss. A network model will be built to represent the New York City subway system, and the passenger flow will be simulated using the shortest-path algorithm. This paper uses the network and the algorithm to check the delay caused by the removal of one or two subway stations, which represents the disruptions on the subway system. Specially, the disruption events that happen simultaneously are checked to determine whether and to what extent is greater than it when separate events happen. Delays will be calculated for each scenario, and an economic analysis will be performed to evaluate the financial loss caused to the community and the whole society. The research can be useful for evaluating the loss caused by the disruptions that happen in New York City, and contributing to the schedule change decision-making processes.
Analyse de la possibilité d’utiliser des Serious Games dans les enseignements en éducation à l’entrepreneuriat
Creators: name: CHARROUF, YOUSRA
name: TAHA JANAN, MOURAD
Publisher: name: Educational Journal of the University of Patras UNESCO Chair
Year: 2016
Subjects: Serious Games, entrepreneurship, teaching

description: This article presents the results of a field survey designed to evaluate the students’ profile in term of wiliness to utilize Serious Games for their learning. The first results obtained are encouraging, since they allow us to plan the first steps to the actual experimentation in which the students are going to play with a Serious Game. By spreading a wide entrepreneurial culture we might help the students in overcoming the problem of finding a job and creating their own business. To achieve this, we propose the use of Serious Games as a tool, in order to practice and apply what they have learned in class.
description: Educational Journal of the University of Patras UNESCO Chair, Vol. 3, N. 2 (2016) - Colloque SIEST Méditerranée, Marseille 2016
Harmonic spinors on homogeneous spaces
Creators: name: Landweber, Gregory D.
Publisher: name: arXiv
Year: 2000
Subjects: subject: Differential Geometry (math.DG)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics
subject: 22E46 (Primary) 17B20, 58J20 (Secondary)

description: Let G be a compact, semi-simple Lie group and H a maximal rank reductive subgroup. The irreducible representations of G can be constructed as spaces of harmonic spinors with respect to a Dirac operator on the homogeneous space G/H twisted by bundles associated to the irreducible, possibly projective, representations of H. Here, we give a quick proof of this result, computing the index and kernel of this twisted Dirac operator using a homogeneous version of the Weyl character formula noted by Gross, Kostant, Ramond, and Sternberg, as well as recent work of Kostant regarding an algebraic version of this Dirac operator.
description: 7 pages
VARIABLE-COMPLIANCE-TYPE CONSTITUTIVE MODEL FOR METHANE HYDRATE BEARING SEDIMENT
Creators: name: Miyazaki, Kuniyuki
name: Masui, Akira
name: Haneda, Hironori
name: Ogata, Yuji
name: Aoki, Kazuo
name: Yamaguchi, Tsutomu
Publisher: name: The University of British Columbia
Year: 2008

description: In order to evaluate a methane gas productivity of methane hydrate reservoirs, it is necessary to develop a numeric simulator predicting gas production behavior. For precise assessment of long-term gas productivity, it is important to develop a mathematical model which describes mechanical behaviors of methane hydrate reservoirs in consideration of their time-dependent properties and to introduce it into the numeric simulator. In this study, based on previous experimental results of triaxial compression tests of Toyoura sand containing synthetic methane hydrate, stress-strain relationships were formulated by variable-compliance-type constitutive model. The suggested model takes into account the time-dependent property obtained from laboratory investigation that time dependency of methane hydrate bearing sediment is influenced by methane hydrate saturation and effective confining pressure. Validity of the suggested model should be verified by other laboratory experiments on time-dependent behaviors of methane hydrate bearing sediment.