cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: ADCO, Troisième cartulaire de Saint-Étienne de Dijon (XVIe), Cart. 23 (G 127), 310 folios, f. 00284
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2011
name: Petot, Frédéric
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi

description: Troisième cartulaire de Saint-Étienne de Dijon (XVIe), Archives départementales de la Côte-d'Or, Cart. 23 (G 127), 310 folios, f. 00284, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Troisième cartulaire de Saint-Étienne de Dijon (XVIe), Archives départementales de la Côte-d'Or, Cart. 23 (G 127), 310 folios, f. 00284, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: abbaye Saint-Étienne de Dijon
description: Provenance: http://www.wikidata.org/entity/Q15945019
title: Datenzentrische Softwarearchitekturen
Creators: name: Seifermann, Stephan
name: Heinrich, Robert
name: Reussner, Ralf
Publisher: name: Gesellschaft für Informatik eV.
Year: 2020
Subjects: subject: Softwarearchitektur
subject: Datenflussanalyse
subject: Vertraulichkeit

description: Die Definition und Umsetzung von Sicherheitsanforderungen ist für alle Arten von Anwendungen essentiell, jedoch in komplexen Softwaresystemen nicht trivial. Verletzungen müssen so früh wie möglich erkannt werden, um sie kosteneffizient beheben zu können. In frühen Entwicklungsstadien können Entwurfszeitanalysen genutzt werden. Datenflussorientierte Analysen erlauben hier das Formulieren von Analysezielen in der Anforderungsterminologie, sind jedoch nicht gut in bestehende architekturelle Beschreibungssprachen (ADLs) integriert. In unserem Ansatz haben wir daher Datenflussmodellierung in die ADL Palladio integriert, um Analysen bzgl. der Einhaltung von Vertraulichkeitsanforderungen durchführen zu können. Eine Evaluierung mittels zweier Fallstudien zeigte, dass eine gute Präzision mittels der Analyse erreicht werden kann
title: Measuring Object-Oriented Design Principles: The Results of Focus Group-Based Research
Creators: name: Bräuer, Johannes
name: Plösch, Reinhold
name: Saft, Matthias
name: Körner, Christian
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Design Best Practices
subject: Design Rules
subject: Design Principles
subject: Software Design Quality

description: This work was published in the Journal of Systems and Software, Volume 140, June 2018,Pages 74-90, doi.org/10.1016/j.jss.2018.03.002. Object-oriented design principles are fundamentalconcepts that foster the development of software-intensive systems with a focus on good designquality. The aim of this paper is to examine the relationship between design best practices and 10selected design principles. This should provide evidence whether the key design aspects of the designprinciples are covered. We conducted focus group research with six focus groups and 31 participantsin total. Each group discussed five design principles and assessed the coverage by using the Delphimethod. The result reveals the impact of each design best practice to the design principle and showsthat the main design aspects of the design principles are covered by our approach.
title: Managing Inter-Model Inconsistencies in Model-based Systems Engineering
Creators: name: Feldmann, Stefan
name: Kernschmidt, Konstantin
name: Wimmer, Manuel
name: Vogel-Heuser, Birgit
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Automated production systems
subject: Model-based systems engineering
subject: Inconsistency management

description: This work summarizes our paper [Fe19] originally published in the Journal of Systems and Software in 2019 about a model-based inconsistency management approach.
A New Method for the Asteroseismic Determination of the Evolutionary State of Red-Giant Stars
Creators: name: Elsworth, Yvonne
name: Hekker, Saskia
name: Basu, Sarbani
name: Davies, Guy
Publisher: name: arXiv
Year: 2016
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Determining the ages of red-giant stars is a key problem in stellar astrophysics. One of the difficulties in this determination is to know the evolutionary state of the individual stars -- i.e. have they started to burn Helium in their cores? That is the topic of this paper. Asteroseismic data provide a route to achieving this information. What we present here is an highly autonomous way of determining the evolutionary state from an analysis of the power spectrum of the light curve. The method is fast and efficient and can provide results for a large number of stars. It uses the structure of the dipole-mode oscillations, which have a mixed character in red-giant stars, to determine some measures that are used in the categorisation. It does not require that all the individual components of any given mode be separately characterised. Some 6604 red giant stars have been classified. Of these 3566 are determined to be on the red-giant branch, 2077 are red-clump and 439 are secondary-clump stars. We do not specifically identify the low metallicity, horizontal-branch stars. The difference between red-clump and secondary-clump stars is dependent on the manner in which Helium burning is first initiated. We discuss that the way the boundary between these classifications is set may lead to mis-categorisation in a small number of stars. The remaining 522 stars were not classified either because they lacked sufficient power in the dipole modes (so-called depressed dipole modes) or because of conflicting values in the parameters.
description: Accepted for publication in MNRAS. There will be an online table associated with the publication
title: Searching for Optimal Models: Comparing Two Encoding Approaches
Creators: name: John, Stefan
name: Burdusel, Alexandru
name: Bill, Robert
name: Strüber, Daniel
name: Taentzer, Gabriele
name: Zschaler, Steffen
name: Wimmer, Manuel
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Model-driven Engineering
subject: Search-based Software Engineering
subject: Optimization
subject: Encoding
subject: Comparative evaluation

description: This work summarizes our paper originally published in The Journal of Object Technology in the course of the International Conference on Model Transformations 2019.
title: Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis
Creators: name: Schlie, Alexander
name: Schulze, Sandro
name: Schaefer, Ina
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: MATLAB/Simulink
subject: clone-and-own
subject: software product lines
subject: variability
subject: descriptors

description: Model-based languages such as MATLAB/Simulink are crucial for the development of embedded software systems. To adapt to changing requirements, engineers commonly copy and modify existing systems to create new variants. Denoted clone-and-own, this straightforward reuse strategy entails severe maintenance and consistency issues as redundant and similar assets proliferate. Software product lines can be a remedy but require all existing variants to be compared prior to their actual migration. However, current work mostly revolves around comparing only two systems and those approaches coping with more are not applicable to embedded software systems such as MATLAB/Simulink. We bridge this gap and propose Static Connectivity Matrix Analysis (SCMA), a novel comparison procedure that evaluates multiple MATLAB/Simulink model variants at once. We transfer models into matrix form and identify all similar structures between them, even with parts being completely relocated during clone-and-own. Moreover, we allow engineers to tailor results and to focus on any arbitrary variant subset, enabling individual reasoning prior to migration. We provide a feasibility study from the automotive domain, showing our matrix representation to be suitable and SCMA to be fast and precise.
title: Integrated Revision and Variation Control for Evolving Model-Driven Software Product Lines
Creators: name: Schwägerl, Felix
name: Westfechtel, Bernhard
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Model-Driven Software Engineering
subject: Revision Control
subject: Variation Control

description: Software engineering projects are faced with abstraction, which is achieved by software models, historical evolution, which is addressed by revision control, and variability, which is managed with the help of software product line engineering. Addressing these phenomena by separate tools ignores obvious overlaps and therefore fails at exploiting synergies between revision and variation control for models. In this article, we present a conceptual framework for integrated revision and variation control of model-driven software projects and its implementation in the tool SuperMod.
Additional file 4: of The imbalance in the complement system and its possible physiological mechanisms in patients with lung cancer
Creators: name: Zhao, Ping
name: Wu, Jun
name: Lu, Feiteng
name: Peng, Xuan
name: Liu, Chenlin
name: Zhou, Nanjin
name: Ying, Muying
Publisher: name: figshare
Year: 2019
Subjects: subject: Space Science
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified
subject: Mathematical Sciences not elsewhere classified
subject: Developmental Biology
subject: Infectious Diseases
subject: FOS: Health sciences

description: Supplementary Materials and Methods: Figure S1-S4. and Tables S4-S9. (DOCX 859 kb)
title: Renaissance: Benchmarking Suite for Parallel Applications on the JVM
Creators: name: Prokopec, Aleksandar
name: Rosà, Andrea
name: Leopoldseder, David
name: Duboscq, Gilles
name: Tu̇ma, Petr
name: Studener, Martin
name: Bulej, Lubomír
name: Zheng, Yudi
name: Villazón, Alex
name: Simon, Doug
name: Würthinger, Thomas
name: Binder, Walter
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: benchmarks
subject: JIT compilation
subject: parallelism
subject: concurrency
subject: JVM
subject: object-oriented programming benchmarks
subject: functional-programming benchmarks
subject: big-data benchmarks

description: Our paper published in the proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)proposes Renaissance, a modern benchmark suite whose aim is to advance compiler and virtual machine (VM) research. The publication is complemented by an accepted artifactTo demonstrate that a compiler optimization, a memory management algorithm, or a synchronization technique is useful, a VM researcher needs benchmarks that demonstrate the desired behavior, and at the same time capture representative aspects of real-world applications. During the last decade, multiple new programming paradigms appeared on the Java VM (JVM), including functional programming, big-data processing, parallel and concurrent programming, message-passing, stream processing, and machine learning. The JVM has evolved as a platform too: new features, such as method-handles, variable-handles, the invokedynamic instruction, lambdas, atomic and relaxed memory operations, present new challenges for dynamic compilers and runtime environments. Existing benchmark suites do not capture the new applications, because they were made in a time when these workloads did not exist. Renaissance bridges this gap. The Renaissance suite is an ongoing, open-source effort to collect representative real-world workloads, and to advance the research and development of VMs. Renaissance is available at https://renaissance.dev/
title: Software engineering knowledge transfer channels between university and medical device industry: a gap analysis
Creators: name: Stapić, Zlatko
name: Lechner, Nadica Hrgarek
name: Mijač, Marko
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Innovation
subject: Knowledge Transfer
subject: Medical Device Industry
subject: Regulated Industry
subject: Software Engineering

description: This paper describes a number of different channels for bidirectional software engineering (SE) knowledge transfer between academia and medical device industry. The paper also brings the results of the gap analysis showing the discrepancy between the medical device industry needs and the curricula of relevant courses. We perform a case study of the Faculty of Organization and Informatics (FOI) at the University of Zagreb (Croatia).
Intraspecific call variation in a Neotropical gladiator frog with a complex advertisement call. Supplementary Material
Creators: name: Turin, Rubens A. F.
name: Nali, Renato C.
name: Prado, Cynthia P. A.
Publisher: name: Brill Online
Year: 2017
Subjects: subject: Zoology
subject: FOS: Biological sciences
subject: 60809 Vertebrate Biology
subject: 60201 Behavioural Ecology

description: Vocalisation is one of the most conspicuous behavioural traits in different animals, but its emission can be variable within species, depending on environmental, morphological, and/or social factors. Understanding how acoustic parameters vary can provide information about sexual selection mechanisms that might have shaped the species´ evolutionary history. We quantified and compared the variation of five call parameters within and among the males of Bokermannohyla ibitiguara, a Neotropical treefrog with complex reproduction and advertisement calls. The parameters were classified as static (dominant frequency), intermediate (note durations) or dynamic (pulse rate of the long note and call duration). Despite these differences, all of them varied more among individuals than within individuals, and most were associated with individual discrimination, showing potential acoustic recognition by males and females. A multiple regression analysis showed that all temporal parameters were affected by abiotic factors, except pulse rate of the long note; body size affected dominant frequency, duration of the long notes and call duration. This high variability in parameters, and the strong support for individual discrimination, indicate the existence of sexual selection mechanisms operating on calls; however, the individual recognition system is very complex and not limited to a single characteristic of the call. This is supported by the reproductive behavior of this species, including choosy females, elaborate courtships, and male-male vocal contests and physical combats. Fine-scale playback experiments with males and females will help us further understand sexual selection mechanisms in this and other acoustically oriented animals.
Longitudinal near-field coupling between acoustic resonators grafted onto a waveguide
Creators: name: Wang, Yan-Feng
name: Laude, Vincent
Publisher: name: arXiv
Year: 2017
Subjects: subject: Classical Physics (physics.class-ph)
subject: FOS: Physical sciences

description: We investigate longitudinal near-field coupling between acoustic resonators grafted onto a waveguide. Experiments are performed in the audible range with a simple acoustic system composed of a finite aperiodic sequence of air resonators. Transmission typically shows a zero around a resonance frequency of a single resonator, as is well known. When two identical resonators are brought in close proximity, however, we observe that longitudinal near-field coupling strongly influences the acoustic transmission. When the separation between resonators is increased so that they can be considered in the far field of one another, we further observe the appearance of Fano-like transmission profiles. We explain this observation by the formation of locally resonant Fabry-Perot interferometers from every pair of resonators. All experimental results are compared to three-dimensional finite element analysis of the acoustic system.
description: 9 pages, 7 figures
How now, modified cow?: the physical modification of cattle in Egyptian art and its welfare implications
Creators: name: Harris, Laura R. E.
Publisher: name: Macquarie University
Year: 2022
Subjects: Other education not elsewhere classified

description: Cattle were important agriculturally and religiously to the ancient Egyptians and as a result they are depicted frequently in art. In some of these representations, cattle are depicted with or undergoing a physical modification of their bodies. Many studies have arisen in the last fifty years about or including cattle, but they focus on how cattle served the Egyptians and not how their handling may have affected the animals themselves. This appears to result from the assumption that the Egyptians were deeply connected with the animal world. Recently, scholars have challenged this assumption through a re-examination of art and archaeological material. However, the modification of cattle has not received the same attention. This thesis investigated a selection of the practices used by the Egyptians to modify their cattle, as represented in two-dimensional art scenes from elite tombs in the New Kingdom period (c.1550-1069 BC). Specifically, horn deformation, overgrown hooves, and physical adornment were examined. Due to the damage suffered in many tombs and the possibility that some of these modifications could be interpreted as artistic variation, the corpus was supplemented with scenes from New Kingdom temples, and also archaeological and textual evidence. The process, purpose and welfare implications of each modification was determined. To aid interpretation, ethnographic and veterinary studies were also considered. Evaluation of each modification practice revealed that, on balance, the Egyptians did not practice animal welfare with regard to their cattle.
Counting Higgs bundles and type A quiver bundles
Creators: name: Mozgovoy, Sergey
name: Schiffmann, Olivier
Publisher: name: arXiv
Year: 2017
Subjects: subject: Algebraic Geometry (math.AG)
subject: Quantum Algebra (math.QA)
subject: FOS: Mathematics

description: We prove a closed formula counting semistable twisted (or meromorphic) Higgs bundles of fixed rank and degree over a smooth projective curve of genus g, defined over a finite field, when the degree of the twisting line bundle is at least 2g-2; this includes the case of usual Higgs bundles. We obtain at the same time a closed expression for the Donaldson-Thomas invariants of the moduli spaces of twisted Higgs bundles. We similarly deal with twisted quiver bundles of type A (affine or finite), obtaining in particular a Harder-Narasimhan-type formula counting semistable U(p,q)-bundles over any smooth projective curve over a finite field.
description: Improved version of arXiv:1411.2101 to now include the case of type A quiver bundles as well. 22 pages
title: ADCO, Cart. 186 (11 H 71), f. 0432v
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CBMA/CG21/F.PETOT/2012
name: Petot, Frédéric
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, t. II (XVe siècle), tome II, Archives départementales de la Côte-d'Or, C
art. 186 (11 H 71). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, t. II (XVe siècle), tome II, Archives départementales de la
 Côte-d'Or, Cart. 186 (11 H 71), f. 0432v, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-
project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
Charge-induced force-noise on free-falling test masses: results from LISA Pathfinder
Creators: name: Armano, M.
name: Audley, H.
name: Auger, G.
name: Baird, J. T.
name: Binetruy, P.
name: Born, M.
name: Bortoluzzi, D.
name: Brandt, N.
name: Bursi, A.
name: Caleno, M.
name: Cavalleri, A.
name: Cesarini, A.
name: Cruise, M.
name: Danzmann, K.
name: Silva, M. de Deus
name: Diepholz, I.
name: Dolesi, R.
name: Dunbar, N.
name: Ferraioli, L.
name: Ferroni, V.
name: Fitzsimons, E. D.
name: Flatscher, R.
name: Freschi, M.
name: Gallegos, J.
name: Marirrodriga, C. García
name: Gerndt, R.
name: Gesa, L.
name: Gibert, F.
name: Giardini, D.
name: Giusteri, R.
name: Grimani, C.
name: Grzymisch, J.
name: Harrison, I.
name: Heinzel, G.
name: Hewitson, M.
name: Hollington, D.
name: Hueller, M.
name: Huesler, J.
name: Inchauspé, H.
name: Jennrich, O.
name: Jetzer, P.
name: Johlander, B.
name: Karnesis, N.
name: Kaune, B.
name: Killow, C. J.
name: Korsakova, N.
name: Lloro, I.
name: Liu, L.
name: Maarschalkerweerd, R.
name: Madden, S.
name: Mance, D.
name: Martín, V.
name: Martin-Polo, L.
name: Martino, J.
name: Martin-Porqueras, F.
name: Mateos, I.
name: McNamara, P. W.
name: Mendes, J.
name: Mendes, L.
name: Moroni, A.
name: Nofrarias, M.
name: Paczkowski, S.
name: Perreur-Lloyd, M.
name: Petiteau, A.
name: Pivato, P.
name: Plagnol, E.
name: Prat, P.
name: Ragnit, U.
name: Ramos-Castro, J.
name: Reiche, J.
name: Perez, J. A. Romera
name: Robertson, D. I.
name: Rozemeijer, H.
name: Rivas, F.
name: Russano, G.
name: Sarra, P.
name: Schleicher, A.
name: Slutsky, J.
name: Sopuerta, C.
name: Sumner, T. J.
name: Texier, D.
name: Thorpe, J. I.
name: Trenkel, C.
name: Vetrugno, D.
name: Vitale, S.
name: Wanner, G.
name: Ward, H.
name: Wass, P. J.
name: Wealthy, D.
name: Weber, W. J.
name: Wittchen, A.
name: Zanoni, C.
name: Ziegler, T.
name: Zweifel, P.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: We report on electrostatic measurements made on board the European Space Agency mission LISA Pathfinder. Detailed measurements of the charge-induced electrostatic forces exerted on free-falling test masses (TMs) inside the capacitive gravitational reference sensor are the first made in a relevant environment for a space-based gravitational wave detector. Employing a combination of charge control and electric-field compensation, we show that the level of charge-induced acceleration noise on a single TM can be maintained at a level close to 1.0 fm/s^2/sqrt(Hz) across the 0.1-100 mHz frequency band that is crucial to an observatory such as LISA. Using dedicated measurements that detect these effects in the differential acceleration between the two test masses, we resolve the stochastic nature of the TM charge build up due to interplanetary cosmic rays and the TM charge-to-force coupling through stray electric fields in the sensor. All our measurements are in good agreement with predictions based on a relatively simple electrostatic model of the LISA Pathfinder instrument.
description: 9 Pages, 3 figures
ALCHIMIA Project D1.2 Data Management Plan
Creators: name: ALCHIMIA
name: Colla, Valentina
name: Matino, Ismael
Publisher: name: Zenodo
Year: 2023

description: This report constitutes the Data Management Plan. Data types, methods for classification, roles and responsibilities as well as FAIR data principles application, allocation of resources, data security and ethical aspects are all addressed in the document.
Critical properties of the Anderson localization transition and the high dimensional limit
Creators: name: Tarquini, Elena
name: Biroli, Giulio
name: Tarzia, Marco
Publisher: name: arXiv
Year: 2016
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: In this paper we present a thorough study of transport, spectral and wave-function properties at the Anderson localization critical point in spatial dimensions $d = 3$, $4$, $5$, $6$. Our aim is to analyze the dimensional dependence and to asses the role of the $d\rightarrow \infty$ limit provided by Bethe lattices and tree-like structures. Our results strongly suggest that the upper critical dimension of Anderson localization is infinite. Furthermore, we find that the $d_U=\infty$ is a much better starting point compared to $d_L=2$ to describe even three dimensional systems. We find that critical properties and finite size scaling behavior approach by increasing $d$ the ones found for Bethe lattices: the critical state becomes an insulator characterized by Poisson statistics and corrections to the thermodynamics limit become logarithmic in $N$. In the conclusion, we present physical consequences of our results, propose connections with the non-ergodic delocalised phase suggested for the Anderson model on infinite dimensional lattices and discuss perspectives for future research studies.
description: 17 pages
Non-isothermal physical and chemical processes in superfluid helium
Creators: name: Gordon, E. B.
name: Kulish, M. I.
name: Karabulin, A. V.
name: Matyushenko, V. I.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: Metal atoms and small clusters introduced into superfluid helium (He II) concentrate there in quantized vortices to form (by further coagulation) the thin nanowires. The nanowires' thickness and structure are well predicted by a double-staged mechanism. On the first stage the coagulation of cold particles in the vortex cores leads to melting of their fusion product, which acquires a spherical shape due to surface tension. Then (second stage) when these particles reach a certain size they do not possess sufficient energy to melt and eventually coalesce into the nanowires. Nevertheless the assumption of melting for such refractory metal as tungsten, especially in He II, which possesses an extremely high thermal conductivity, induces natural skepticism. That is why we decided to register directly the visible thermal emission accompanying metals coagulation in He II. The brightness temperatures of this radiation for the tungsten, molybdenum, and platinum coagulation were found to be noticeably higher than even the metals' melting temperatures. The region of He II that contained suspended metal particles expanded with the velocity of 50 m/s, being close to the Landau velocity, but coagulation took place even more quickly, so that the whole process of nanowire growth is completed at distances about 1.5 mm from the place of metal injection into He II. High rate of coagulation of guest metal particles as well as huge local overheating are associated with them concentrating in quantized vortex cores. The same process should take place not only for metals but for any atoms, molecules and small clusters embedded into He II.
Indeksowanie czasopism w referencyjnych bazach danych
Creators: name: Drabek, Aneta
Publisher: name: figshare
Year: 2018
Subjects: subject: Digital Humanities
subject: 130205 Humanities and Social Sciences Curriculum and Pedagogy (excl. Economics, Business and Management)
subject: FOS: Educational sciences

description: Publikacja powstała w ramach projektu „Współczesna polska humanistyka wobec wyzwań naukometrii” finansowanego ze środków Narodowego Programu Rozwoju Humanistyki, numer decyzji 0057/NPHR3/H11/82/2014.
The significance of Anubis as seen in coffin texts
Creators: name: Newell, Charlotte
Publisher: name: Macquarie University
Year: 2022
Subjects: Other education not elsewhere classified

description: This study aims to seek a further understanding of the role of Anubis during the Middle Kingdom, as reflected in the Coffin Texts, through a close reading in the original language of the eighty-­‐three spells in which Anubis features. This will be done through examining the roles and epithets attributed to Anubis in this corpus. The aim and methods used for this study are presented in Chapter 1 accompanied by an explanation of the primary sources and previous research surrounding both Anubis and the Coffin Texts. Chapter 2 identifies and examines the functional epithets of Anubis as the “Embalmer,” the “Lord of the Netherworld,” the “Guide” or “Gatekeeper” and the “Judge.” Anubis’ significance is rediscussed in Chapter 3 through the examination of the deity’s links to both determined and un-­‐determined toponyms. In Chapter 4 the funerary epithets of Anubis are presented identifying how the deity’s connection with funerary formulae, festivals and sacred spaces can be used to assess Anubis’ significance in the Coffin Texts. A detailed study of Anubis in the Coffin Texts has not previously been attempted, therefore a study of the Coffin Texts dealing with Anubis in the original language will provide a deeper understanding of Anubis' role in the texts and broaden the understanding of Anubis within the context of Middle Kingdom funerary beliefs.
title: Review-Modelle zur Unterstützung in der funktionszentrierten Entwicklung eingebetteter Systeme
Creators: name: Daun, Marian
name: Weyer, Thorsten
name: Pohl, Klaus
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Reviews
subject: Eingebettete Systeme
subject: Requirements Engineering
subject: Manuelle Validierung

description: Dieser Vortrag berichtet von dem Beitrag Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model, der in der Fachzeitschrift Software and Systems Modeling veröffentlicht wurde. Im Rahmen des Beitrags wurde ein dezidiertes Review-Modell vorgeschlagen, um die Validierung der interaktionsbasierten Verhaltensanforderungen und des funktionalen Entwurfs in einem gemeinsamen Qualitätssicherungsschritt zu unterstützen. Neben der automatisierten Erzeugung des Review-Modells wurde mithilfe kontrollierter Experimente die Vorteilhaftigkeit des vorgeschlagenen Review-Modells nachgewiesen.
Faces inside and outside the clinic: a perspective on surface truth's (in)visible depths
Creators: name: McHugh, Anthony Thomas
Publisher: name: Macquarie University
Year: 2022
Subjects: Other education not elsewhere classified

description: "Faces inside and outside the clinic: a perspective on surface truth's (in)visible depths addresses the notion of 'truth' in what are considered to be 'right' and 'wrong' faces - in clinical diagnosis and cosmetic treatment procedures, and in specific sociocultural contexts outside the clinic. Drawing upon ... studies of surface topography, image editing, and diagnostic and surgical experience in the orofacial region, [the thesis discusses] the ways the human face - and often the individual herself or himself as a consequence - is physically defined, conceptually judged, numerically measured, and clinically analysed according to allegedly evidential and objective 'truths' which, on closer inspection, are found to be subjective and prescriptive." -- abstract.
New secondary metabolites from the endophytic fungus Aspergillus sp. from Tripterygium wilfordii
Creators: name: Deng, Mengyi
name: Tan, Xiaosheng
name: Qiao, Yuben
name: Sun, Weiguang
name: Xie, Shuangshuang
name: Shi, Zhengyi
name: Lu, Yuanyuan
name: Chen, Gang
name: Qi, Changxing
name: Zhang, Yonghui
Publisher: name: Taylor & Francis
Year: 2021
Subjects: subject: Biochemistry
subject: Pharmacology
subject: Environmental Sciences not elsewhere classified
subject: Chemical Sciences not elsewhere classified
subject: Ecology
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Hematology

description: One new 3,5-dimethylorsellinic acid (DMOA)-based meroterpenoid (1), one prenylated tryptophan derivative (2), together with ten known compounds (3−12) were isolated from the endophytic fungus Aspergillus sp. from Tripterygium wilfordii. Their structures and absolute configurations were determined by NMR spectroscopic data, HRESIMS data, UV and IR data as well as electronic circular dichroism (ECD) calculation. In structure, compound 1 was a rare example of DMOA-based meroterpenoid with a cis-fused C/D ring system, and compound 2 possessed an unusual (E)-oxime group. In bioactivity, the lovastatin analogues 5, 6, 9 and 10 showed potential immunosuppressive activity against anti-CD3/anti-CD28 monoclonal antibodies (mAbs)-irritated murine splenocytes proliferation, with IC50 values ranging from (5.30 ± 0.51) μM to (16.51 ± 1.62) μM.
title: Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings
Creators: name: Peldszus, Sven
name: Tuma, Katja
name: Strüber, Daniel
name: Jürjens, Jan
name: Scandariato, Riccardo
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Security-by-design
subject: Security compliance
subject: Data Flow Diagram (DFD)
subject: Model-to-Model Transformation (M2M)

description: We present our paper published at the 2019 edition of the International Conference on Model Driven Engineering Languages and Systems (MODELS). During the development of security-critical software, the system implementation must capture the security properties postulated by the architectural design. To iteratively guide the developer in discovering such compliance violations we introduce automated mappings. These mappings are created by searching for correspondences between a design-level model (Security Data Flow Diagram) and an implementation-level model (Program Model). We limit the search space by considering name similarities between model elements and code elements as well as by the use of heuristic rules for matching data-flow structures. The automated mappings support the designer in an early discovery of implementation absence, convergence, and divergence with respect to the planned software design as well as the discovery of secure data-flow compliance violations. We provide a publicly available implementation of the approach and its evaluation on five open source Java projects.
Cyber deterrence and US-Sino cyber relations: regarding US-Sino cyber relations, can deterrence function in cyberspace?
Creators: name: Leach, Georgia Letitia Pollock
Publisher: name: Macquarie University
Year: 2022
Subjects: Other education not elsewhere classified

description: To study the applicability of deterrence theory to the case study of US-Sino cyber relations. This thesis will attempt to determine the utility of cyber deterrence as a management tool as well as its effectiveness in cyberspace. As the relationship between the US and China is arguably one of the most important to the international community its stability is important. Yet in recent years US-Sino relations has been detrimentally affected by a seriec of cyber incidents; some notably stemming from the 2013 Mandiant Report. The international community is becoming progressively more reliant on the cyber domain to conduct affairs ranging from trade and economics to critical infrastructure. However, the increase in interconnectedness has subsequently led to an escalation in vulnerability and susceptibility to exploits for malicious purposes. As the US and China have greater capabilities to undertake operations within the domain, cyber contests are of increasing concern. Deterrence theory is explored as a method to dissuade costly attacks and as a management tool for the political relationship. However, the literature on cyber deterrence is young; it needs further analysis and definitional clarity. This thesis will explore the scale and method used for various cyber incidents in an attempt to examine a more holistic picture of US-Sino relations within the domain. The infancy of cyberspace has resulted in and environment where the boundaries of acceptable behaviour are still being explored. There is a significant disconnect between the perceptions of accepted norms of the US and China within the domain. The possibility of cyber war as well as the use of the cyber domain to conduct large-scale damaging attacks should be considered. The question remains can deterrence apply to the cyber domain and if so to what extent? Moreover, is there a difference in applicability of deterrence when considering the severity of a cyber-incident? This paper seeks to determine the utility of deterrence to the US-Sino political relationship and its applicability to the cyber domain.
title: Methodological Principles for Reproducible Performance Evaluation in Cloud Computing
Creators: name: Papadopoulos, Alessandro V.
name: Versluis, Laurens
name: Bauer, André
name: Herbst, Nikolas
name: Kistowski, Jóakim von
name: Ali-Eldin, Ahmed
name: Abad, Cristina L.
name: Amaral, José Nelson
name: Tůma, Petr
name: Iosup, Alexandru
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Cloud Computing
subject: Performance Evaluation
subject: Benchmark Testing
subject: Systematics
subject: Computer Performance
subject: Software Engineering
subject: Experimental Evaluation
subject: Observation Study

description: In this work, we report on our recent article on \"Methodological Principles for Reproducible Performance Evaluation in Cloud Computing\" published in the IEEE Transactions on Software Engineering (TSE). This publication is a result of a joint effort coordinated by the Cloud Research Working Group of SPEC (Standard Performance Evaluation Corporation).
Entanglement production by evolution operator
Creators: name: Yukalov, V. I.
name: Yukalova, E. P.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Quantum Physics (quant-ph)
subject: Information Theory (cs.IT)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Entanglement production, generated by an evolution operator, is considered. The measure of entanglement production, introduced earlier by one of the authors, is employed. As an illustration, a two-qubit register is studied and the corresponding measure of evolutional entanglement production is calculated. Such two-qubit registers can be realized by atomic systems in a double well or by trapped atoms with two coherent modes.
description: Latex file, 10 pages, 2 figures
title: Too trivial to test? An inverse view on defect prediction to identify methods with low fault risk
Creators: name: Niedermayr, Rainer
name: Röhm, Tobias
name: Wagner, Stefan
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Testing
subject: Inverse Defect Prediction
subject: Fault Risk
subject: Low-fault-risk Methods

description: To cope with the scarce resources for testing, teams can apply defect prediction to identify fault-prone code regions. However, defect prediction tends to low precision in cross-project prediction scenarios. We take an inverse view on defect prediction and aim to identify methods that can be deferred when testing because they contain hardly any faults due to their code being \"trivial\". We compute code metrics and apply association rule mining to create rules for identifying methods with low fault risk (LFR) and assess our approach with six Java open-source projects containing precise fault data at the method level. Our results show that inverse defect prediction can identify approx. 32-44% of the methods of a project to have a LFR; on average, they are about six times less likely to contain a fault than other methods. Our approach identifies methods that can be treated with less priority in testing activities and is well applicable in cross-project prediction scenarios.
Two-dimensional topological nodal line semimetal in layered $X_2Y$ ($X$ = Ca, Sr, and Ba; $Y$ = As, Sb, and Bi)
Creators: name: Niu, Chengwang
name: Buhl, Patrick M.
name: Bihlmayer, Gustav
name: Wortmann, Daniel
name: Dai, Ying
name: Blügel, Stefan
name: Mokrousov, Yuriy
Publisher: name: arXiv
Year: 2017
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: In topological semimetals the Dirac points can form zero-dimensional and one-dimensional manifolds, as predicted for Dirac/Weyl semimetals and topological nodal line semimetals, respectively. Here, based on first-principles calculations, we predict a topological nodal line semimetal phase in the two-dimensional compounds $X_2Y$ ($X$=Ca, Sr, and Ba; $Y$=As, Sb, and Bi) in the absence of spin-orbit coupling (SOC) with a band inversion at the M point. The mirror symmetry as well as the electrostatic interaction, that can be engineered via strain, are responsible for the nontrivial phase. In addition, we demonstrate that the exotic edge states can be also obtained without and with SOC although a tiny gap appears at the nodal line for the bulk states when SOC is included.
Near-threshold photoelectron holography beyond the strong-field approximation
Creators: name: Lai, XuanYang
name: Yu, ShaoGang
name: Huang, YiYi
name: Hua, LinQiang
name: Gong, Cheng
name: Quan, Wei
name: Faria, Carla Figueira de Morisson
name: Liu, XiaoJun
Publisher: name: arXiv
Year: 2017
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We study photoelectron angular distributions (PADs) near the ionization threshold with a newly developed Coulomb quantum-orbit strong-field approximation (CQSFA) theory. The CQSFA simulations present an excellent agreement with the result from time-dependent Schrödinger equation method. We show that the low-energy fan-shaped structure in the PADs corresponds to a subcycle time-resolved holographic structure and stems from the significant influence of the Coulomb potential on the phase of the forward-scattering electron trajectories, which affects different momenta and scattering angles unequally. For the first time, our work provides a direct explanation of how the fan-shaped structure is formed, based on the quantum interference of direct and forward-scattered orbits.
description: An ancillary file added
Serine-38 of Ana2 is phosphorylated in vitro by Plk4 as identified by mass-spectrometry. from Two-step phosphorylation of Ana2 by Plk4 is required for the sequential loading of Ana2 and Sas6 to initiate procentriole formation
Creators: name: Dzhindzhev, Nikola S.
name: Tzolovsky, George
name: Zoltan Lipinszki
name: Abdelaziz, Mohammed
name: Debski, Janus
name: Dadlez, Michal
name: Glover, David M.
Publisher: name: The Royal Society
Year: 2017
Subjects: Cell Biology

description: Supplementary Figure S2. Serine-38 of Ana2 is phosphorylated in vitro by Plk4 as identified by mass-spectrometry. Phospho-Mascot-interpreted fragmentation spectra of the peptide 13-LAPRP…EV (phospho-S-38) ILFG…SPR-65 with phosphorylated serine at the position 38 (highlighted red). Labelled peaks correspond to fragment ions. Despite the relatively long peptide, the fragmentation pattern unambiguously identifies the phosphorylation site.
title: Predicting How to Test Requirements: An Automated Approach
Creators: name: Winkler, Jonas
name: Grönberg, Jannis
name: Vogelsang, Andreas
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Requirements Engineering
subject: Requirements Validation
subject: Test Engineering
subject: Machine Learning
subject: Natural Language Processing
subject: Neural Networks

description: An important task in requirements engineering is to identify and determine how to verify a requirement (eg., by manual review, testing, or simulation; also called \emphpotential verification method). This information is required to effectively create test cases and verification plans for requirements. In this paper, we propose an automatic approach to classify natural language requirements with respect to their potential verification methods (PVM). Our approach uses a convolutional neural network architecture to implement a multiclass and multilabel classifier that assigns probabilities to a predefined set of six possible verification methods, which we derived from an industrial guideline. Additionally, we implemented a backtracing approach to analyze and visualize the reasons for the network's decisions. In a 10-fold cross validation on a set of about 27,000 industrial requirements, our approach achieved a macro averaged \fone score of 0.79 across all labels. The results show that our approach might help to increase the quality of requirements specifications with respect to the PVM attribute and guide engineers in effectively deriving test cases and verification plans.
A Novel Logical Resolution to the P vs NP Problem
Creators: name: Owies, Samer
Publisher: name: Zenodo
Year: 2025
Subjects: P vs NP
Computational
Complexity
Millennium
Problems
Mathematical
Proof
Theory of computation

description:  

This paper introduces a new logical structure to resolve the P vs NP problem. By analyzing the foundational mechanics of polynomial vs non-deterministic polynomial-time problem-solving, we demonstrate that P ≠ NP through a series of bounded logical transformations. This approach avoids abstract reduction and instead focuses on stepwise logical constraints.
title: Christian Doppler Laboratory on Security and Quality Improvement in the Production Systems Life Cycle
Creators: name: Winkler, Dietmar
name: Biffl, Stefan
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2020
Subjects: subject: Production Systems Engineering
subject: Software and Systems Engineering
subject: Security
subject: Quality
subject: Engineering Process Improvement
subject: Testing
subject: Variability Management
subject: Software Models

description: The size and complexity of software components in production systems engineering, such as manufacturing plants or automation systems, requires effective and efficient approaches for security and quality improvement. In industrial practice, engineers from different disciplines, such as electrical, mechanical, and software disciplines typically follow a plan-driven and sequential engineering process approach with parallel engineering activities within a heterogeneous set of methods and tools. Therefore, major challenges concern (a) insufficient data exchange capabilities between disciplines, (b) a lack of consistency evaluation capabilities across disciplines, tools, and engineering phases, (c) insufficient knowledge representation and exchange between disciplines and project stakeholders and (d) limited security considerations. The goal of the Christian Doppler Laboratory on Security and Quality Improvement in the Production Systems Life Cycle (CDL-SQI) is to address these challenges in cooperation with industry partners in the production systems domain. We build on requirements and use case explorations at industry partners and on best-practices from Business Informatics to develop concepts and prototype solutions for the target domain and evaluate these concepts and prototypes in close collaboration with industry partners We derive requirements, use cases, and test data from industry and provide concepts and prototypes to the industry partner and to related scientific communities.