cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Influence of Carbon Content on the Crystallographic Structure of Boron Carbide Films
Creators: name: Conde, O.
name: Silvestre, A. J.
name: Oliveira, J. C.
Publisher: name: arXiv
Year: 2002
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Boron carbide thin films were synthesised by laser-assisted chemical vapour deposition (LCVD), using a CO2 laser beam and boron trichloride and methane as precursors. Boron and carbon contents were measured by electron probe microanalysis (EPMA). Microstructural analysis was carried out by Raman microspectroscopy and glancing incidence X-ray diffraction (GIXRD) was used to study the crystallographic structure and to determine the lattice parameters of the polycrystalline films. The rhombohedral-hexagonal boron carbide crystal lattice constants were plotted as a function of the carbon content, and the non-linear observed behaviour is interpreted on the basis of the complex structure of boron carbide. Keywords: Boron carbide; Laser CVD; crystallographic structure; micro-Raman spectroscopy.
description: 9 pages, 5 figures
Additional file 6: of Effect of short-term oral prednisone therapy on blood gene expression: a randomised controlled clinical trial
Creators: name: Takiguchi, Hiroto
name: Chen, Virginia
name: MaâEn Obeidat
name: Hollander, Zsuzsanna
name: J. FitzGerald
name: McManus, Bruce
name: Ng, Raymond
name: Sin, Don
Publisher: name: figshare
Year: 2019
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology

description: Table S5. Enrichment analysis: Replicated biological process and pathway in studyÂ 2. (DOCX 17 kb)
Einladung zur 32. Versammlung deutscher Naturforscher und Aerzte in Wien im Jahre 1856
Creators: name: Hyrtl, J.
name: Schrötter, A.
name: Fürnrohr, N.
name: Herrich-Schäffer, N.
Publisher: name: Acta Albertina Ratisbonensia
Year: 2016

description: Einladung zur 32. Versammlung deutscher Naturforscher und Aerzte in Wien im Jahre 1856. Die Unterzeichneten Geschäftsführer beehren sich hiermit zu dieser im vorigen Jahre vertagten Versammlung einzuladen, und veröffentlichen unter Einem das Programm derselben wie folgt: §. i. Die Versammlung beginnt am 16. September und endigt am 22.
description: Acta Albertina Ratisbonensia, Bd. 10 (1856): Correspondenzblatt
Universality of Velocity Gradients in Forced Burgers Turbulence
Creators: name: Bec, Jeremie
Publisher: name: arXiv
Year: 2001
Subjects: subject: Chaotic Dynamics (nlin.CD)
subject: Condensed Matter (cond-mat)
subject: FOS: Physical sciences

description: It is demonstrated that Burgers turbulence subject to large-scale white-noise-in-time random forcing has a universal power-law tail with exponent -7/2 in the probability density function of negative velocity gradients, as predicted by E, Khanin, Mazel and Sinai (1997, Phys. Rev. Lett. 78, 1904). A particle and shock tracking numerical method gives about five decades of scaling. Using a Lagrangian approach, the -7/2 law is related to the shape of the unstable manifold associated to the global minimizer.
description: 4 pages, 2 figures, RevTex4, published version
title: Modularization Guidelines to Support Control Software Variability in IEC 61499
Creators: name: Sharma, Shubham
name: Hager, Anna-Lena
name: Zoitl, Alois
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: Modularization
subject: Control-Software
subject: Guidelines
subject: Variability

description: In the field of Cyber-Physical Production System (CPPS), a substantial number of control software components are integrated with legacy software. This legacy control software has existed in industries for decades and faces maintenance problems due to sub-optimal tool support. Consequently, rigid software structures have emerged, making maintenance difficult and necessitating better support for managing variability. These legacy systems contain an enormous volume of control software, making it impractical to transform manually in terms of variability management. Additionally, there is a growing demand for variability to accommodate to customer-specific requirements. Control software must be flexible and modular enough to fulfill diverse project-specific needs. Guidelines are required to assist control system engineers in determining which control software components must be refactored and which can be left unchanged. We investigated legacy control software from industrial use cases, identified problem areas, and gathered lessons learned. These lessons have been translated into guidelines for future control software modularization. Hence, in this paper, we present a set of guidelines aimed at modularizing IEC 61499 control software, specifically focusing on enhancing control software variability for variability-intensive CPPS.
Additional file 5: of Genetic diversity and population structure of the Sapsaree, a native Korean dog breed
Creators: name: Chandima Gajaweera
name: Kang, Ji
name: Lee, Doo
name: Lee, Soo
name: Kim, Yeong
name: Hasini Wijayananda
name: Kim, Jong
name: Ha, Ji
name: Choi, Bong
name: Lee, Seung
Publisher: name: figshare
Year: 2019
Subjects: subject: Biochemistry
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: Evolutionary Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Computational Biology

description: Figure S5. The population structure bar plots generated by STRUCTURE software at Kâ =â 8. (DOCX 73 kb)
Jahresbericht
Creators: name: Schuch, N.
Publisher: name: Acta Albertina Ratisbonensia
Year: 2016

description: Jahresbericht des zoologisch-mineralogischen Vereines in Regensburg. Vorgetragen in der Generalversammlung am 23. Juli 1856 von dem Sekretär Dr. Schuch. Hochansehnliche Versammlung!
description: Acta Albertina Ratisbonensia, Bd. 10 (1856): Correspondenzblatt
Enhancement of magnetic ordering by the stress fields of grain boundaries in ferromagnets
Creators: name: Kadigrobov, A.
name: Ivanov, Z.
name: Shekhter, R. I.
name: Jonson, M.
Publisher: name: arXiv
Year: 2001
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: In the paper we predict a distinctive change of magnetic properties and considerable increase of the Curie temperature caused by the strain fields of grain boundaries in ferromagnetic films. It is shown that a sheet of spontaneous magnetization may arise along a grain boundary at temperatures greater than the bulk Curie temperature. The temperature dependence and space distribution of magnetization in a ferromagnetic film with grain boundaries are calculated. We found that $45^\circ$ grain boundaries can produce long-range strain fields that results in the width of the magnetic sheet along the boundary of the order of $ 0.5 ÷1 μm$ at temperatures grater than the bulk Curie temperature by about $10^2$ K.
description: 5 pages, 3 Figures included
Copris (Paracopris) similis Balthasar 1939
Creators: name: Bezděk, Aleš
name: Hájek, Jiří
name: Ascr, Biology Centre
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Scarabaeidae
Copris
Copris similis

description: Copris (Paracopris) similis Balthasar, 1939
 Copris (Paracopris) similis Balthasar, 1939b: 4.
One syntype is deposited in NMPC (ex coll. V. Balthasar):
SYNTYPE (unsexed specimen): ‘Monze [p] / Chituni / I 1930 [hw] // Rhodesia / Prof. L. Cipriani [p] // Typus [p, red label, black margin] // Paracopris / similis n. sp. [hw] / Dr. V. Balthasar det. [p] // similis m. [hw, pink label]’.
 Current status. Junior subjective synonym of Copris (Copris) mesacanthus mesacanthus
Harold, 1878, see NGUYEN- PHUNG (1988).
description: Published as part of Bezděk, Aleš, Hájek, Jiří & Ascr, Biology Centre, 2012, Catalogue of type specimens of beetles (Coleoptera) deposited in the National Museum, Prague, Czech Republic, pp. 297-334 in Acta Entomologica Musei Nationalis Pragae 52 (1) on page 309, DOI: 10.5281/zenodo.5330401
Verlegung des Ablieferungs-Termins
Creators: name: Burmeister, H.
name: Nees V. Esenbeck, N.
Publisher: name: Acta Albertina Ratisbonensia
Year: 2016

description: Verlegung des Ablieferungs-Termins der zoologischen Preis-Aufgabe der Akademie auf den 3. März; 1857. Durch eine Reihe hindernder Umstände und Missverständnisse bei der Wahl des Gegenstandes ist die von der kaiserlich Leopoldinisch-Carolinischen Akademie der Naturforscher auf Veranlassung Sr Durchlaucht des Fürsten Anatol v. Demidoff für das Jahr 1856 aufgestellte zoologische Preis-Aufgabe so spät zur Bekanntmachung gelangt (im April 1855), dass es fast unmöglich erscheint, das darin gewählte Thema bis zu der gegebenen Frist vom 31. März 1856 sachgemäss und genügend zu behandeln.
description: Acta Albertina Ratisbonensia, Bd. 10 (1856): Correspondenzblatt
X-ray and Optical Monitoring of State Transitions in MAXI J1820+070
Creators: name: Shidatsu, Megumi
name: Nakahira, Satoshi
name: Murata, Katsuhiro L.
name: Adachi, Ryo
name: Kawai, Nobuyuki
name: Ueda, Yoshihiro
name: Negoro, Hitoshi
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We report results from the X-ray and optical monitoring of the black hole candidate MAXI J1820+070 (=ASSASN-18ey) over the entire period of its outburst from March to October 2018.In this outburst, the source exhibited two sets of `fast rise and slow decay'-type long-term flux variations. We found that the 1--100 keV luminosities at two peaks were almost the same, although a significant spectral softening was only seen in the second flux rise. This confirms that the state transition from the low/hard state to the high/soft state is not determined by the mass accretion rate alone. The X-ray spectrum was reproduced with the disk blackbody emission and its Comptonization, and the long-term spectral variations seen in this outburst were consistent with a disk truncation model. The Comptonization component, with a photon index of 1.5-1.9 and electron temperature of ~>40 keV, was dominant during the low/hard state periods, and its contribution rapidly decreased (increased) during the spectral softening (hardening). During the high/soft state period, in which the X-ray spectrum became dominated by the disk blackbody component, the inner disk radius was almost constant, suggesting that the standard disk was present down to the inner most stable circular orbit. The long-term evolution of optical and X-ray luminosities and their correlation suggest that the jets substantially contributed to the optical emission in the low/hard state, while they are quenched and the outer disk emission dominated the optical flux in the intermediate state and the high/soft state.
description: 12 pages, 7 figures, ApJ in press
Skyrmion relaxation dynamics in the presence of quenched disorder
Creators: name: Brown, Barton L.
name: Täuber, Uwe C.
name: Pleimling, Michel
Publisher: name: arXiv
Year: 2019
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Using Langevin molecular dynamics simulations we study relaxation processes of interacting skyrmion systems with and without quenched disorder. Using the typical diffusion length as the time-dependent length characterizing the relaxation process, we find that clean systems always display dynamical scaling, and this even in cases where the typical length is not a simple power law of time. In the presence of the Magnus force, two different regimes are identified as a function of the noise strength. The Magnus force has also a major impact when attractive pinning sites are present, as this velocity-dependent force helps skyrmions to bend around defects and avoid caging effects. With the exception of the limit of large noise, for which dynamical scaling persists even in the presence of quenched disorder, attractive pinning sites capture a substantial fraction of skyrmions which results in a complex behavior of the two-time auto-correlation function that is not reproduced by a simple aging scaling ansatz.
description: 17 pages, 5 figures, accepted for publication in the Physical Review B
Additional file 6: of Genetic diversity and population structure of the Sapsaree, a native Korean dog breed
Creators: name: Chandima Gajaweera
name: Kang, Ji
name: Lee, Doo
name: Lee, Soo
name: Kim, Yeong
name: Hasini Wijayananda
name: Kim, Jong
name: Ha, Ji
name: Choi, Bong
name: Lee, Seung
Publisher: name: figshare
Year: 2019
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Evolutionary Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Science Policy
subject: Computational Biology

description: Figure S6. Heat map of relatedness between the individuals of Sapsaree and other studied breeds. (DOCX 95 kb)
title: Code Smell Detection using Features from Version History
Creators: name: Engeln, Ulrike
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: code smells detection
subject: machine learning
subject: mining sofware repositories

description: Code smells are indicators of bad quality in software. There exist several detection techniques for smells, which mainly base on static properties of the source code. Those detectors usually show weak performance in detection of context-sensitive smells since static properties hardly capture information about relations in the code. To address this information gap, we propose a strategy to extract information about interdependencies from version history. We use static and the new historical features to identify code smells by a random forest. Experiments show that the introduced historical features improve detection of code smells that focus on interdependencies.
Vereinsangelegenheiten
Creators: name: N., N.
Publisher: name: Acta Albertina Ratisbonensia
Year: 2016

description: Vereinsangelegenheiten. Zum korrespondirenden Mitgliede wurde ernannt: Herr Victor Ritter von Zepharovich in Wien. Als ordentliche Mitglieder sind beigetreten: Herr Popp, Chr., k. Revierförster in Heroldsberg, „Schönnamsgrüber, Fr., k. Oberlieutenant im Genie-Regiment zu Ingolstadt. Anzeige der im Jahre 1856 für die Sammlungen des zoologisch-mineralog. Vereins eingegangenen Beiträge. (Fortsetzung.) a) Bibliothek.
description: Acta Albertina Ratisbonensia, Bd. 10 (1856): Correspondenzblatt
THE INTERSECTION OF DUE PROCESS AND CAPITAL PUNISHMENT: A LEGAL COMPARISON IN NIGERIA
Creators: name: Chijioke Emeka, Okafor
Publisher: name: keith journal
Year: 2025
Subjects: Capital punishment, global issue, retentionist countries, capital offenses, penological theories, societal security.

description: Capital punishment remains a contentious global issue, sparking debates and varying perspectives worldwide. This article delves into the diverse attitudes of nations towards capital punishment, emphasizing that different countries maintain distinctive lists of crimes that warrant the ultimate penalty. The absence of a universal standard for classifying capital offenses further underscores the nuanced approach adopted by retentionist states. Capital punishment represents the most severe sanction imposed on individuals found guilty of capital crimes by competent judicial bodies. Grounded in penological theories like deterrence, retribution, and elimination, this method seeks to address the societal security threat posed by certain offenses. Nevertheless, the perception of what constitutes a threat varies among different societies, leading to a complex and multifaceted global landscape concerning capital punishment
title: Towards COTS component synchronization for low SWaP-C flight control systems
Creators: name: Sax, Franz
name: Holzapfel, Florian
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: Synchronization
subject: time-triggered
subject: event-triggered
subject: latencies
subject: real time system
subject: low level software
subject: timing
subject: drift

description: The rise of innovative and novel fly-by-wire air vehicles like e-VTOLs for Advanced Air Mobility demands flight control systems whose components are low size, weight, power and cost (SWaP-C), but nevertheless offer high performance. One approach towards this mismatch is to use COTS components from e.g. the automotive sector and use their extensive features to enhance performance in a given system architecture. This paper describes one method of minimizing the latency in the communication between two COTS components by using an easily realizable algorithm with minimal memory, code and computation requirements for relative synchronization of the execution cycles of the components. A description of the resulting control problem, as well as simulation results from a dedicated MATLAB simulation environment are given. Those are then compared with an implementation on a representative set of devices from the EPUCOR flight control system.
Predictability of catastrophic events; a new approach for Structural Health Monitoring
Creators: name: Sornette, D.
name: Floc'h, C. Le
Publisher: name: arXiv
Year: 2002
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We present a non-traditional general methodology for the prediction of breakdown of engineering structures, based on a global top-down monitoring of the health of the structure modelled by the theory of critical rupture. The new Acceptance Test Plan integrating the resulting Predictive Acoustic Emission procedure has been successfully applied to the prediction of the breakdown of composite over-wrapped high pressure vessels which are currently produced for the Ariane 5 launcher by EADS Launch Vehicles. This new approach should be an efficient tool more generally in Structural Health Monitoring service, especially for the prediction of the residual margins and lifetimes of heterogeneous structures which constitutes the main issue of SHM in civil infrastructures.
description: 4 pages prepared with word, 1 figure and 1 table
Using Big Five Personality Model to Detect Cultural Aspects in Crowds
Creators: name: Favaretto, Rodolfo Migon
name: Dihl, Leandro
name: Musse, Soraia Raupp
name: Vilanova, Felipe
name: Costa, Angelo Brandelli
Publisher: name: arXiv
Year: 2019
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Image and Video Processing (eess.IV)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: The use of information technology in the study of human behavior is a subject of great scientific interest. Cultural and personality aspects are factors that influence how people interact with one another in a crowd. This paper presents a methodology to detect cultural characteristics of crowds in video sequences. Based on filmed sequences, pedestrians are detected, tracked and characterized. Such information is then used to find out cultural differences in those videos, based on the Big-five personality model. Regarding cultural differences of each country, results indicate that this model generates coherent information when compared to data provided in literature.
Bitte
Creators: name: Jäckel, N.
Publisher: name: Acta Albertina Ratisbonensia
Year: 2016

description: Bitte. Der Unterzeichnete ist gesonnen, im Korrespondenzblatte eine Bearbeitung der bayerischen Fledermäuse nach ihrer geographischen Verbreitung über unser Vaterland zu veröffentlichen, wozu bereits sehr viel Material vorliegt. Zur Erreichung möglichster Vollständigkeit erlaube ich mir, an unsere hochverehr-lichen Vereinsmitglieder die ergebenste Bitte zu richten, mir entweder Verzeichnisse der in den Umgebungen ihrer resp. Wohnorte oder sonst in Bayern vorkommenden Fledermäuse, oder — was noch erwünschter ist — alle derartigen Thiere, welcher sie habhaft werden können, gefälligst einzusenden, auch gegen Rückgabe etwaige Exemplare ihrer Privatsammlungen zur Ansicht mitzutheilen.
description: Acta Albertina Ratisbonensia, Bd. 10 (1856): Correspondenzblatt
Polarization instabilities in a two-photon laser
Creators: name: Pfister, Olivier
name: Brown, William J.
name: Stenner, Michael D.
name: Gauthier, Daniel J.
Publisher: name: arXiv
Year: 2001
Subjects: subject: Quantum Physics (quant-ph)
subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: We describe the operating characteristics of a new type of quantum oscillator that is based on a two-photon stimulated emission process. This two-photon laser consists of spin-polarized and laser-driven $^{39}$K atoms placed in a high-finesse transverse-mode-degenerate optical resonator, and produces a beam with a power of $\sim $0.2 $μ$W at a wavelength of 770 nm. We observe complex dynamical instabilities of the state of polarization of the two-photon laser, which are made possible by the atomic Zeeman degeneracy. We conjecture that the laser could emit polarization-entangled twin beams if this degeneracy is lifted.
description: Accepted by Physical Review Letters. REVTeX 4 pages, 4 EPS figures
Utility-Preserving Privacy Mechanisms for Counting Queries
Creators: name: Fernandes, Natasha
name: Lefki, Kacem
name: Palamidessi, Catuscia
Publisher: name: arXiv
Year: 2019
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Differential privacy (DP) and local differential privacy (LPD) are frameworks to protect sensitive information in data collections. They are both based on obfuscation. In DP the noise is added to the result of queries on the dataset, whereas in LPD the noise is added directly on the individual records, before being collected. The main advantage of LPD with respect to DP is that it does not need to assume a trusted third party. The main disadvantage is that the trade-off between privacy and utility is usually worse than in DP, and typically to retrieve reasonably good statistics from the locally sanitized data it is necessary to have a huge collection of them. In this paper, we focus on the problem of estimating counting queries from collections of noisy answers, and we propose a variant of LDP based on the addition of geometric noise. Our main result is that the geometric noise has a better statistical utility than other LPD mechanisms from the literature.
Copris (Copris) youngai Balthasar 1967
Creators: name: Bezděk, Aleš
name: Hájek, Jiří
name: Ascr, Biology Centre
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Scarabaeidae
Copris
Copris youngai

description: Copris (Copris) youngai Balthasar, 1967
 Copris (s. str.) youngai Balthasar, 1967: 49.
Two paratypes are deposited in NMPC (ex coll. V. Balthasar): PARATYPES (1 J 1 ♀): ‘Soil-Zoological Exp. / Congo-Brazzaville / Lefinie reservation / bungalow near Mpo [p]
// 7.1.1964 No. 603 / by lamplight / leg. Endrödy-Younga [p] // Copris / youngai n.sp. / Balthasar / 66 [hw] /
Paratypus [p, orange label]’.
 Current status. Copris (Copris) youngai Balthasar, 1967, see FERREIRA (1972).
description: Published as part of Bezděk, Aleš, Hájek, Jiří & Ascr, Biology Centre, 2012, Catalogue of type specimens of beetles (Coleoptera) deposited in the National Museum, Prague, Czech Republic, pp. 297-334 in Acta Entomologica Musei Nationalis Pragae 52 (1) on page 311, DOI: 10.5281/zenodo.5330401
Hierarchic trees with branching number close to one: noiseless KPZ equation with additional linear term for imitation of 2-d and 3-d phase transitions.
Creators: name: Saakian, D. B.
Publisher: name: arXiv
Year: 2001
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: An imitation of 2d field theory is formulated by means of a model on the hierarhic tree (with branching number close to one) with the same potential and the free correlators identical to 2d correlators ones. Such a model carries on some features of the original model for certain scale invariant theories. For the case of 2d conformal models it is possible to derive exact results. The renormalization group equation for the free energy is noiseless KPZ equation with additional linear term.
description: latex, 5 pages
Kritischer Anzeiger
Creators: name: Besnard, N.
name: Jäckel, N.
Publisher: name: Acta Albertina Ratisbonensia
Year: 2016

description: Kritischer Anzeiger des zoologisch-mineralogischen Vereines in Regensburg. Mit wahrem Vergnügen zeigen wir allen Freunden der Naturwissenschaften das Erscheinen der zweiten, gänzlich umgearbeiteten, mit mehreren 100 Holzschnitten und der etymologischen Erklärung der Namen vermehrten Auflage „der Synopsis der drei Naturreiche “ von Herrn Prof. Dr. Joh. L e u n i s dtc. an; Hannover, 1856.
description: Acta Albertina Ratisbonensia, Bd. 10 (1856): Correspondenzblatt
The Number of Large Graphs with a Positive Density of Triangles
Creators: name: Collet, Pierre
name: Eckmann, Jean-Pierre
Publisher: name: arXiv
Year: 2002
Subjects: subject: Mathematical Physics (math-ph)
subject: Combinatorics (math.CO)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We give upper and lower bounds on the number of graphs of fixed degree which have a positive density of triangles. In particular, we show that there are very few such graphs, when compared to the number of graphs without this restriction. We also show that in this case the triangles seem to cluster even at low density.
description: 17 pages, 1 figure
Vereinsangelegenheiten
Creators: name: N., N.
Publisher: name: Acta Albertina Ratisbonensia
Year: 2016

description: Vereinsangelegenheiten. Als ordentliche Mitglieder sind beigetreten: Herr C. Ostermayer, Apotheker in Wörth, und Herr C. Popp, k. Oberlieutenant im 11. Infanterie-Regi-mente hier. Anzeige der im Jahre 1855 für die Sammlungen des zoologisch-mineralogischen Vereins eingegangenen Beiträge. a) Bibliothek:
description: Acta Albertina Ratisbonensia, Bd. 10 (1856): Correspondenzblatt
GAN-based Generation and Automatic Selection of Explanations for Neural Networks
Creators: name: Mishra, Saumitra
name: Stoller, Daniel
name: Benetos, Emmanouil
name: Sturm, Bob L.
name: Dixon, Simon
Publisher: name: arXiv
Year: 2019
Subjects: subject: Machine Learning (cs.LG)
subject: Sound (cs.SD)
subject: Audio and Speech Processing (eess.AS)
subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: One way to interpret trained deep neural networks (DNNs) is by inspecting characteristics that neurons in the model respond to, such as by iteratively optimising the model input (e.g., an image) to maximally activate specific neurons. However, this requires a careful selection of hyper-parameters to generate interpretable examples for each neuron of interest, and current methods rely on a manual, qualitative evaluation of each setting, which is prohibitively slow. We introduce a new metric that uses Fréchet Inception Distance (FID) to encourage similarity between model activations for real and generated data. This provides an efficient way to evaluate a set of generated examples for each setting of hyper-parameters. We also propose a novel GAN-based method for generating explanations that enables an efficient search through the input space and imposes a strong prior favouring realistic outputs. We apply our approach to a classification model trained to predict whether a music audio recording contains singing voice. Our results suggest that this proposed metric successfully selects hyper-parameters leading to interpretable examples, avoiding the need for manual evaluation. Moreover, we see that examples synthesised to maximise or minimise the predicted probability of singing voice presence exhibit vocal or non-vocal characteristics, respectively, suggesting that our approach is able to generate suitable explanations for understanding concepts learned by a neural network.
description: 8 pages plus references and appendix. Accepted at the ICLR 2019 Workshop "Safe Machine Learning: Specification, Robustness and Assurance". Camera-ready version. v2: Corrected page header
EU-DREAM D8.1 Dissemination and Communication Plan
Creators: name: Eunice Oliveira
Publisher: name: Zenodo
Year: 2025
Subjects: AI
Digital Tools
Energy Transition
Communication and Dissemination
Energy Consumers

description: The EU-DREAM project (Effective Uptake of Digital Services to Repower European Consumers and Communities as Active Participants in Energy Transition and Markets) is a 42-month Horizon Europe project focused on improving consumer interaction with the energy market. It aims to simplify complex energy management processes and enhance customer awareness, trust, and confidence through the introduction of an Artificial Intelligence (AI) -based assistant and a Natural Language Processing (NLP) intermediary. This deliverable, D8.1 Dissemination and Communication (D&C) Plan, outlines strategies and actions for effectively conveying information to target audiences and ensuring widespread distribution of the project messages and findings.
title: Enhancing System-model Quality: Evaluation of the MontiBelle Approach with the Avionics Case Study on a Data Link Uplink Feed System
Creators: name: Kausch, Hendrik
name: Pfeiffer, Mathias
name: Raco, Deni
name: Rumpe, Bernhard
name: Schweiger, Andreas
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: Model Quality
subject: Design Methodology
subject: Theorem Prover
subject: Formal Verification

description: Software quality is often related directly to the quality of the models used throughout the development phases. Assuring model quality can thus be an important aspect for assuring the quality of the final product. Measuring model quality is done via different quality indicators. In this article, we investigate the influence of our holistic systems engineering methodology on model quality. An avionics case study was previously conducted using our methodology. The developed SysML v2 model artifacts are evaluated in this paper regarding internal and external model quality, as well as model notation quality. In total, the positive impact on 26 model quality indicators from our previous work is argued. These indicators are divided into intra-model (single artifact) quality indicators and inter-model (across model artifact) quality indicators. The inter-model quality indicators are further classified into indicators for models at the same granularity level (horizontal) and across several granularity levels (vertical). Multiple quality indicators are positively affected by the modeling language’s capabilities and the underlying mathematical semantics. Other indicators depend on methodological guidelines that steer the engineering process. The evaluation of model-quality properties leads towards maturing a holistic systems engineering methodology that facilitates high model quality and thus indicates high product quality.
Vereinsangelegenheiten
Creators: name: N., N.
Publisher: name: Acta Albertina Ratisbonensia
Year: 2016

description: Vereinsangelegenheiten. Zum Ehrenmitgliede wurde ernannt: Herr Dr. Renard, kaiserl. russischer Staatsrath, lter Sekretär der naturforschenden Gesellschaft in Moskau etc. etc. Zu correspondirenden Mitgliedern wurden gewählt: Herr Dr. Friedrich, k. Bataillonsarzt in München, und Herr Paumard Charles, Professor der Physik und Geologie zu Precigne in Frankreich. Als ordentliche Mitglieder sind dem Vereine beigetreten: Herr Büchel e J., Zeichnenlehrer in Memmingen, und Herr Holler, G., Rentamts-Oberschreiber in Zwiesel. Neue Beiträge zu den Sammlungen.
description: Acta Albertina Ratisbonensia, Bd. 9 (1855): Correspondenzblatt
A Renormalization Group Analysis of Coupled Superconducting and Stripe Order in 1+1 Dimensions
Creators: name: Fu, Henry C.
Publisher: name: arXiv
Year: 2002
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: In this paper we perform a renormalization group analysis on the 1+1 dimensional version of an effective field theory (previously proposed by Dung-Hai Lee, cond-mat/011393) describing (quantum) fluctuating stripe and superconductor orders. We find four possible phases corresponding to stripe order/disorder combined with superconducting order/disorder.
description: 8 pages, 3 figures, revtex
Additional file 5: of Effect of short-term oral prednisone therapy on blood gene expression: a randomised controlled clinical trial
Creators: name: Takiguchi, Hiroto
name: Chen, Virginia
name: MaâEn Obeidat
name: Hollander, Zsuzsanna
name: J. FitzGerald
name: McManus, Bruce
name: Ng, Raymond
name: Sin, Don
Publisher: name: figshare
Year: 2019
Subjects: subject: Space Science
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Pharmacology
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Inorganic Chemistry
subject: FOS: Chemical sciences
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Table S4. Genes replicated in the Rapid Transition Program (RTP) Cohort at a FDRâ
title: Enhancing DO-178C/DO-331 Based Process-Oriented Build Tool: Integration of System Composer and Automated PIL Simulation
Creators: name: Panchal, Purav
name: Dmitriev, Konstantin
name: Myschik, Stephan
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: DO-178C
subject: DO-331
subject: model-based software
subject: process-oriented
subject: software architecture
subject: verification

description: The growing utilization of software in safety-critical systems can be attributed to advancing technology and substantial interest within aerospace and space industries. However, this increased reliance on software to enhance avionic system functionality raises crucial safety questions, emphasizing the need for compliance with standards like DO-178C/DO-331. To facilitate development, a process-oriented build tool was created in MATLAB/Simulink. This tool enhances development efficiency and ensures adherence to established processes, offering benefits like modular software management, systematic artifact handling with traceability, seamless integration with various verification tools, automated model and code verification, and a well-defined design environment. Recently, two new advancements have been made to the tool, integration of System Composer for developing software architecture and automated processor-in-the-loop (PIL) verification using Trace32. This paper presents these new developments along with examples.
Qualitativ-empirische Studie zu Elternschaft unter den Bedingungen der Covid-19-Pandemie
Creators: name: Borgers, Sarah
Publisher: name: Bergische Universität Wuppertal
Year: 2025

description: Die Studie untersucht Elternschaft unter den Krisenbedingungen der Covid-19-Pandemie. Hierbei werden zunächst diskurstheoretisch die Pressemitteilungen, Positionspapiere und Stellungnahmen der Landes- und Bundeselternvertretungen von Kita-Eltern analysiert. Jene Konstruktionen von Elternschaft stellen die Basis der pandemiebedingten Normen von Anerkennbarkeit dar, welche in den Interviews mit Müttern rekonstruiert worden sind. Letzterer liegt die Theorie der Anerkennung nach Judith Butler zugrunde.
One SQL to Rule Them All
Creators: name: Begoli, Edmon
name: Akidau, Tyler
name: Hueske, Fabian
name: Hyde, Julian
name: Knight, Kathryn
name: Knowles, Kenneth
Publisher: name: arXiv
Year: 2019
Subjects: subject: Databases (cs.DB)
subject: FOS: Computer and information sciences
subject: H.2.3

description: Real-time data analysis and management are increasingly critical for today`s businesses. SQL is the de facto lingua franca for these endeavors, yet support for robust streaming analysis and management with SQL remains limited. Many approaches restrict semantics to a reduced subset of features and/or require a suite of non-standard constructs. Additionally, use of event timestamps to provide native support for analyzing events according to when they actually occurred is not pervasive, and often comes with important limitations. We present a three-part proposal for integrating robust streaming into the SQL standard, namely: (1) time-varying relations as a foundation for classical tables as well as streaming data, (2) event time semantics, (3) a limited set of optional keyword extensions to control the materialization of time-varying query results. Motivated and illustrated using examples and lessons learned from implementations in Apache Calcite, Apache Flink, and Apache Beam, we show how with these minimal additions it is possible to utilize the complete suite of standard SQL semantics to perform robust stream processing.
Ontherus (Ontherus) edentulus Genier 1996
Creators: name: Bezděk, Aleš
name: Hájek, Jiří
name: Ascr, Biology Centre
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Scarabaeidae
Ontherus
Ontherus edentulus

description: Ontherus (Ontherus) edentulus Génier, 1996
 Ontherus (Ontherus) edentulus Génier, 1996: 102, Figs. 82, 208–210, 298.
One paratype is deposited in NMPC (ex coll. V. Balthasar): PARATYPE (J): ‘ Peru [hw] // zikani Luedrv. [hw, green label, black margin] // PARATYPE / Ontherus / edentulus /
F. Génier, 1992 [p, yellow label]’.
 Current status. Valid species.
description: Published as part of Bezděk, Aleš, Hájek, Jiří & Ascr, Biology Centre, 2012, Catalogue of type specimens of beetles (Coleoptera) deposited in the National Museum, Prague, Czech Republic, pp. 297-334 in Acta Entomologica Musei Nationalis Pragae 52 (1) on page 312, DOI: 10.5281/zenodo.5330401
Additional file 4: of Genetic diversity and population structure of the Sapsaree, a native Korean dog breed
Creators: name: Chandima Gajaweera
name: Kang, Ji
name: Lee, Doo
name: Lee, Soo
name: Kim, Yeong
name: Hasini Wijayananda
name: Kim, Jong
name: Ha, Ji
name: Choi, Bong
name: Lee, Seung
Publisher: name: figshare
Year: 2019
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: Evolutionary Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Plant Biology

description: Figure S4. Ancestry model for Sapsaree including related dog breeds based on the genetic distance. Each colored vertical line represents proportions of ancestral populations for each individual. K inferred the number of estimated ancestors and which differentiated by colors. Optimum K value (Kâ =â 16) was determined by Admixtureâ s cross-validation (CV) procedure. (DOCX 64 kb)
Quadratic solitons in cubic crystals
Creators: name: Gisin, Boris V.
name: Malomed, Boris A.
Publisher: name: arXiv
Year: 2001
Subjects: subject: Pattern Formation and Solitons (nlin.PS)
subject: FOS: Physical sciences

description: Starting from the Maxwell's equations and without resort to the paraxial approximation, we derive equations describing stationary (1+1)-dimensional beams propagating at an arbitrary direction in an optical crystal with cubic symmetry and purely quadratic nonlinearity. The equations are derived separately for beams with the TE and TM polarizations. In both cases, they contain and cubic nonlinear terms, the latter ones generated via the cascading mechanism. The final TE equations and soliton solutions to them are quite similar to those in previously known models with mixed quadratic-cubic nonlinearities. On the contrary to this, the TM model is very different from previously known ones. It consists of four first-order equations for transverse and longitudinal components of the electric field at the fundamental and second harmonics. Fundamental-soliton solutions of the TM model are also drastically different from the usual "quadratic" solitons, in terms of the parity of their components. In particular, the transverse and longitudinal components of the electric field at the fundamental harmonic in the fundamental TM solitons are described, respectively, by odd and single-humped even functions of the transverse coordinate. Amplitudes of the longitudinal and transverse fields become comparable for very narrow solitons, whose width is commensurate to the carrier wavelength.
description: Optics Communications, in press
Bitte
Creators: name: Bertram, N.
Publisher: name: Acta Albertina Ratisbonensia
Year: 2016

description: Bitte. Unter Bezugnahme auf die Anzeige vom 20. Dezember v. J. (Nr. 11 des Correspondenzblattes für 1854, Seite 166) werden diejenigen verehrlichen auswärtigen Mitglieder, welche ihre Beiträge zur Vereinskasse für das Jahr 1855 — einige auch noch für die Jahre 1853 und 1854 —, noch nicht entrichtet haben, höflichst aber dringend ersucht, diese rückständigen Beiträge baldgefälligst und portofrei an die Adresse des Unterzeichneten übersenden zu wollen. Piegensburg den 1. Dezember 1855. Bertram, k. Begierungs-Assessor. als Cassier des zool.-min. Vereines.
description: Acta Albertina Ratisbonensia, Bd. 9 (1855): Correspondenzblatt
Sammlung von Petrefakten gegen Lepidopreren zu vertauschen
Creators: name: N., N.
Publisher: name: Acta Albertina Ratisbonensia
Year: 2016

description: Eine Sammlung von Petrefakten aus der Regensburger- u. Ingolstädter-Gegend u. von Gressenberg, welche nicht bestimmt sind, von denen aber mit Bestimmtheit die Fundorte genau angegeben werden können, ist gegen Lepidopteren zu vertauschen.
description: Acta Albertina Ratisbonensia, Bd. 9 (1855): Correspondenzblatt
title: A Universal Configuration Format for Avionics
Creators: name: Chrysalidis, Philipp
name: Thielecke, Frank
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: Avionics
subject: Configuration
subject: MBSE

description: Avionics module configuration, especially in the face of advancing technologies, will become more complex as computational demands rise. This requires a robust and automated approach while adhering to industry standards. However, state-of-the-art configuration is still highly error-prone and suffers from various stakeholders working with unsynchronized and decentralized data. This causes unnecessary iterations, leading to delays in development. The Universal Configuration Format for Avionics (UCoF), integrated into the AvioNET framework, presents a forward-looking solution. UCoF, built upon a meta-model approach, strives to enhance the configuration process through model-based methods. It meets essential configuration management requirements and offers versatility by supporting the configuration of diverse avionic platforms. Combining essential data for configuring real avionics device families, implementation targets and network design grants users access to a comprehensive data set throughout the configuration process.
title: A Preliminary Survey of the State of the Art in Simulation-Based Development and Certification to Support Digital Aircraft Design Research
Creators: name: Struck, Malte Christian
name: Weinert, Alexander
name: Schreiber, Andreas
name: Felderer, Michael
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: Virtual Certification
subject: Certification by Analysis
subject: Simulation
subject: Development
subject: Certification
subject: CbA
subject: Numerical method
subject: Simulation Based Development

description: Many safety critical domains require certification of a product before it can be released to the market. On the one hand, simulations and digital methods allow for cheaper and faster assurance of properties. On the other hand, the new and different methodology implies completely new requirements. We provide a general overview of the field and focus on naming, use cases, stakeholders, and quality criteria. We also highlight the needs of simulation users for research. We show that the naming in the different domains for virtual certification is widely spread, but the research needs aim into the same direction.
title: Verbesserung der Testqualität mit dem Testing Quality Audit
Creators: name: Reißing, Ralf
name: Gomringer, Christoph
name: Houdek, Frank
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: Testen
subject: Testprozess
subject: Testqualität

description: Die Entwicklung der Elektrik/Elektronik (E/E) im Automobil ist typischerweise verteilt auf den Fahrzeughersteller (OEM) und seine Zulieferer. Mitentscheidend für eine hohe Qualität der entwickelten Systeme ist eine hinreichende Absicherung der Erfüllung aller jeweils relevanten Anforderungen durch die beteiligten Parteien. Mercedes-Benz hat ab 2008 das Testing Quality Audit (TQA) eingeführt, um bei Bedarf die Güte der durchgeführten Testaktivitäten bei Zulieferern zu bewerten und zu verbessern. Dieser Beitrag stellt das TQA vor und diskutiert seineWeiterentwicklung über die Jahre seit der Einführung sowie die dabei gemachten Erfahrungen sowohl zum TQA-Ablauf als auch zu typischen Befunden bei den TQAs.
Dielectric mixtures -- electrical properties and modeling
Creators: name: Tuncer, Enis
name: Serdyuk, Yuriy V.
name: Gubanski, Stanislaw M.
Publisher: name: arXiv
Year: 2001
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: In this paper, a review on dielectric mixtures and the importance of the numerical simulations of dielectric mixtures are presented. It stresses on the interfacial polarization observed in mixtures. It is shown that this polarization can yield different dielectric responses depending on the properties of the constituents and their concentrations. Open question on the subject are also introduced.
description: 40 pages 12 figures, to be appear in IEEE Trans. on Dielectrics
title: Reliable Generation of Formal Specifications using Large Language Models
Creators: name: Kogler, Philipp
name: Falkner, Andreas
name: Sperl, Simon
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: Generative AI
subject: Large Language Models
subject: Reliable Code Generation
subject: Post-processing
subject: Domain-specific Languages
subject: Engineering Processes

description: Recent pre-trained Large Language Models (LLMs) have demonstrated promising Natural Language Processing (NLP) and code generation abilities. However, the intrinsically unreliable output due to the probabilistic nature of LLMs imposes a major challenge as validity can generally not be guaranteed, making subsequent processing prone to errors. When LLMs are used to translate natural-language specifications to formal specifications, this limitation becomes evident. We propose a framework involving prompting and algorithmic post-processing that continuously interacts with the LLM to ensure strict syntactic validity and reasonable content correctness. Furthermore, we introduce a use-case in the domain of engineering processes for railway infrastructure and demonstrate that our approach is sufficiently mature for implementation in an industrial environment.