cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
NLTE effects on Fe I/II in the atmospheres of FGK stars and application to abundance analysis of their spectra
Creators: name: Bergemann, Maria
name: Lind, Karin
name: Collet, Remo
name: Asplund, Martin
Publisher: name: arXiv
Year: 2011
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We describe the first results from our project aimed at large-scale calculations of NLTE abundance corrections for important astrophysical atoms and ions. In this paper, the focus is on Fe which is a proxy of stellar metallicity and is commonly used to derive effective temperature and gravity. We present a small grid of NLTE abundance corrections for Fe I lines and discuss how NLTE effects influence determination of effective temperature, surface gravity, and metallicity for late-type stars.
description: 6 pages, to be published in IOP The Journal of Physics: Conference Series, proceedings of the Workshop: 'Stellar Atmospheres in the Gaia Era: Quantitative Spectroscopy and Comparative Spectrum Modelling', Brussels, June 2011
Coexistence of ergodic and non-ergodic behavior and level spacing statistics in a one-dimensional model of a flat band superconductor
Creators: name: Teeriaho, Meri
name: Linho, Ville-Vertti
name: Swaminathan, Koushik
name: Peotta, Sebastiano
Publisher: name: arXiv
Year: 2024
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Motivated by recent studies of the projected dice lattice Hamiltonian [K. Swaminathan et al., Phys. Rev. Research 5, 043215 (2023)], we introduce the on-site/bond singlet (OBS) model, a one-dimensional model of a flat band superconductor, in order to better understand the quasiparticle localization and interesting coexistence of ergodic and non-ergodic behavior present in the former model. The OBS model is the sum of terms that have direct counterparts in the projected dice lattice Hamiltonian, each of which is parameterized by a coupling constant. Exact diagonalization reveals that the energy spectrum and non-equilibrium dynamics of the OBS model are essentially the same as that of the dice lattice for some values of the coupling constants. The quasiparticle localization and breaking of ergodicity manifest in a striking manner in the level spacing distribution. Its near Poissonian form provides evidence for the existence of local integrals of motion and establishes the OBS model as a non-trivial integrable generalization of the projected Creutz ladder Hamiltonian. These results show that level spacing statistics is a promising tool to study quasiparticle excitations in flat band superconductors.
description: 18 pages, 11 figures
Enhancing data annotation in ChEMBL for robust analysis
Creators: name: Corbett, Sybilla
name: Adasme, Melissa
name: Manners, Emma
name: Smit, Ines
name: Blackshaw, James
name: De Veij, Marleen
name: Arcila, Ricardo
name: Bosc, Nicolas
name: Felix, Eloy
name: Hunter, Fiona
name: Ioannidis, Harris
name: Kiziloren, Tevfik
name: Mendez Lopez, David
name: Mosquera, Juan F
name: Leach, Andrew R
name: Zdrazil, Barbara
name: O’Boyle, Noel M
Publisher: name: F1000 Research Limited
Year: 2025

description: ChEMBL is a manually curated database of bioactive molecules with drug-like properties, bringing together chemical, bioactivity and genomic data to aid drug discovery.  ChEMBL was named by the Global Biodata Coalition as a “Global Core Biodata Resource”, highlighting the value of this curated resource to the drug discovery community and our need to be responsive to our user requirements. 

Effective use of public data requires high accuracy, and complete and comprehensive annotations relevant to data users.  The ChEMBL data ingestion and integration pipeline is evolving with our communities needs, supported by a series of new data checks. Value is added through existing manual and automated annotation, and projects in development which are exploring machine learning for further annotation.

Providing structured data is key to enabling utilisation.  When data is accepted into ChEMBL, it is curated, standardised, and mapped to external expert ontologies.  Bioactivity data is supported by diverse metadata fields allowing bespoke user queries.  

As well as structured bioassay data, free-text is permitted in some fields to ensure ease and flexibility of deposition.  To enhance value, we are exploring natural language processing methods to annotate experimental methods; linking data to an ontology describing the assay method will enable users to better understand and more finely filter the data they are accessing.  

We have also explored the annotation of an action type; this data is relevant to drug discovery.  Understanding the mode of action/direction of the effect against a relevant target is important to its potential role in disease and overall impact on biological pathways.  Expanding our annotation to identify cases where a potential action type has not been noted would enrich the metadata describing assays.
Archäomagnetische Datierung von Befunden am »Kleinen Schmidtskopf« bei Elbingerode, Lkr. Harz
Creators: name: Schnepp, Elisabeth
Publisher: name: Jahresschrift für mitteldeutsche Vorgeschichte
Year: 2020

description: Jahresschrift für mitteldeutsche Vorgeschichte, Bd. 95 (2016): Jahresschrift für Mitteldeutsche Vorgeschichte
Palynology, petrography and geochemistry of the Ardley coal zone at Wabamun, Alberta
Creators: name: Demchuk, Thomas D.
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: QE 993 D46 1992a
subject: Additional Copy: QE 993 D46 1992
subject: Palynology - Alberta - Wabaman
subject: Petrology - Alberta - Wabaman
subject: Geochemistry - Alberta - Wabaman

description: Bibliography: p. 295-321.
Wiedereröffnung der weissen Zimmer in der würzbuerger Residenz
Creators: name: Kreisel, Heinrich
Publisher: name: Kunstchronik. Monatsschrift für Kunstwissenschaft, Museumswesen und Denkmalpflege
Year: 2020

description: Kunstchronik. Monatsschrift für Kunstwissenschaft, Museumswesen und Denkmalpflege, Bd. 25 Nr. 11 (1972): Kunstchronik. Monatsschrift für Kunstwissenschaft, Museumswesen und Denkmalpflege
Genetic studies of the switch from meiosis to mitosis during Caenorhabditis elegans embryogenesis
Creators: name: Clandinin, Thomas Robert
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: QL 391 N4 C525 1992
subject: Caenorhabditis elegans - Genetics
subject: Nematoda - Genetics
subject: Meiosis
subject: Mitosis
subject: Embryology

description: Bibliography: p. 74-79.
In search of a research paradigm for comparative education: chaos theory and the world-economy model
Creators: name: Mouat, Thomas William
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: LB 43 M68 1993
subject: Comparative education - Research
subject: Education - Research

description: Bibliography: p. 155-161.
description: Research theory and methods in comparative education lack a coherent, unifying, conceptual framework. No such framework exists because no paradigm has been demonstrated which is capable of offering problem-solutions for all questions currently under study. To create a unifying framework it is necessary to appreciate the nature of paradigms. The concept "paradigm", in turn, offers a vehicle for investigating the development of research in comparative education. Investigation demonstrates that the Newtonian conceptual framework and the nation-state structural model inhibit a fruitful reformulation of the paradigm. It is proposed that replacing Newton's conceptual framework with the framework provided by Prigogine's theory of dissipative structures (chaos theory) and the nation-state model with a model based upon Wallerstein's world economy model permit a coherent reformulation. A unifying paradigm based upon these theories is formulated and a problem for analysis within the resulting conceptual framework is outlined.
Magnetic order and frustrated dynamics in Li(Ni0.8Co0.1Mn0.1)O2: a study by μ+SR and SQUID magnetometry
Creators: name: Wikberg, J. Magnus
name: Mansson, Martin
name: Dahbi, Mohammed
name: Kamazawa, Kazuya
name: Sugiyama, Jun
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Recently, the mixed transition metal oxides of the form Li(Ni1-y-zCoyMnz)O2, have become the center of attention as promising candidates for novel battery material. These materials have also revealed very interesting magnetic properties due to the alternate stacking of planes of metal oxides on a 2D triangular lattice and the Li-layers. The title compound, Li(Ni0.8Co0.1Mn0.1)O2, has been investigated by both magnetometry and measurements and μ+SR. We find the evolution of localized magnetic moments with decreasing temperature below 70 K. The magnetic ground state (T = 2 K) is, however, shown to be a frustrated system in 3D, followed by a transition into a possible 2D spinglass above 22 K. With further increasing temperature the compound show the presence of remaining correlations with increasing effective dimensionality all the way up to the ferrimagnetic transition at TC = 70 K.
description: Accepted for publication in Physics Procedia (muSR2011 Conference)
Some observational aspects of the orientation of galaxies
Creators: name: Godlowski, Wlodzimierz
Publisher: name: arXiv
Year: 2011
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We investigated the sample of galaxies belonging to the Tully groups of galaxies. We analyzed the orientation of galaxies inside the group. We did not found significant deviation from isotropy both in orientation of position angles and angles $δ_D$ and $η$ giving the spatial orientation of galaxy planes. Moreover we analyzed consequences of different approximation of "true shape" of galaxies and showed possible influence of this problem for investigation of spatial orientation of galaxies. Implications of the obtained results for theory of galaxy formation was discussed as well.
description: Acta Physica Polonica B (accepted), references corrected
Buchrezension: Unterlassungen und ihre Folgen
Creators: name: Kahl, Marcel
Publisher: name: Studentische Zeitschrift für Rechtswissenschaft Heidelberg – Wissenschaft Online
Year: 2020

description: Rezension zur Dissertation von Carl Bottek: Unterlassungen und ihre Folgen. Handlungs- und kausalitätstheoretische Überlegungen, Verlag Mohr Siebeck, Tübingen 2014. XII, 371 Seiten, Perspektiven der Ethik 1, 79,00 €.
description: Studentische Zeitschrift für Rechtswissenschaft Heidelberg – Wissenschaft Online, Nr. 2 (2014): StudZR-WissOn
Where Do You Store Your Research Data?
Creators: name: Jareborg, Niclas
Publisher: name: Zenodo
Year: 2016
Subjects: data management
life science

description: BILS poster describing Open Access to research data and support in data management for Swedish Life science.

BILS - Bioinformatics Infrastructure for Life Sciences - is a distributed national research infrastructure supported by the Swedish Research Council (Vetenskapsrådet) providing bioinformatics support to life science researchers in Sweden.
Phonetic and phonological research on hunter-gatherer substrate interference in the West-Coastal Bantu homeland region: some preliminary results and methodological remarks
Creators: name: Maselli, Lorenzo
Publisher: name: Zenodo
Year: 2021
Subjects: subject: Bantu
subject: Africa
subject: Linguistics
subject: FOS: Languages and literature
subject: Phonetics
subject: Laboratory Phonology
subject: Hunter-Gatherers
subject: Language contact

description: On May 12, 2021, BantUGent and the Research Institute for Languages and Cultures of Asia and Africa (ILCAA) in Tokyo (Japan) have the first kick-off meeting of their FWO-JSPS-funded collaborative project on “The Past and Present of Bantu Languages: Integrating Micro-Typology, Historical-Comparative Linguistics and Lexicography“. It also covers BantuFirst research. 9:30-9:40: Opening remarks 9:45-11:15: The first session 9:45-10:15 Sara Pacchiarotti: “Phylogenetics and the Comparative Method as tools for the internal classification of West-Coastal Bantu: results and challenges” 10:15-10:45 Lorenzo Maselli: “Phonetic and phonological research on hunter-gatherer substrate interference in the West-Coastal Bantu homeland region: some preliminary results and methodological remarks” 10:45-11:15 Kyoungwon Jeong: “Micro-parametric research on cross-Bantu phonological microvariation: a test case in Swati” 11:15-11:30 Coffee 11:30-13:00: The second session 11:30-12:00 Yuka Makino: “Contrastive analysis on the local variation of TAM expressions in M40 and M50″ 12:00-12:30 Makoto Furumoto: “A synchronic and diachronic analysis of the Kimakunduchi final vowel” 12:30-13:00 Hilde Gunnink: “Language contact between migrating Bantu speakers and resident Khoisan speakers in southern Africa”
Inter-Band Effects of Magnetic Field on Hall Conductivity in Multi Layered Massless Dirac Fermion System $α$-(BEDT-TTF)$_2$I$_3$
Creators: name: Tajima, N.
name: Kato, R.
name: Sugawara, S.
name: Nishio, Y.
name: Kajita, K.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: We have discovered two-dimensional zero-gap material with a layered structure in the organic conductor $α$-(BEDT-TTF)$_2$I$_3$ under high hydrostatic pressure. In contrast to graphene, the electron-hole symmetry is not good except at the vicinity of the Dirac points. Thus, temperature dependence of the chemical potential, $μ$, plays an important role in the transport in this system. The experimental formula of $μ$ is revealed. We succeeded in detecting the inter-band effects of a magnetic field on the Hall conductivity when $μ$ passes the Dirac point.
description: 5 page, 4 figures
„Windhauch, Windhauch, […] das ist alles Windhauch“
Creators: name: Leonhard, Karin
name: Hindriks, Sandra
Publisher: name: 21: Inquiries into Art, History, and the Visual
Year: 2020

description: 21: Inquiries into Art, History, and the Visual, Vol 1 No 1 (2020): 21: Inquiries into Art, History, and the Visual. Beiträge zur Kunstgeschichte und visuellen Kultur
Struktur und Chaos: Kleinskalige Austauschprozesse zwischen Atmosphäre und Meer
Creators: name: Jähne, Bernd
Publisher: name: Heidelberger Jahrbücher Online
Year: 2020

description: Austauschprozesse zwischen Atmosphäre und Meer bestimmen die Verteilung von Energie, Wärme und Stoffen auf unserem Planeten. In Bezug auf den Klimawandel ist dabei der Transport von Kohlendioxid von der Atmosphäre ins Meer von eminenter Bedeutung. Die Geschwindigkeit des Austauschs ergibt sich aus dem Zusammenspiel zwischen molekularer Diffusion und Turbulenz unmittelbar an der Meeresoberfläche. An dem bisher am wenigsten verstandenen Prozess des Austauschs von Spurengasen wird gezeigt wieso dies so ist und dass damit die Bildung von raumzeitlichen Strukturen verbunden ist, die wohl geordnet bis chaotisch sein können.
description: Heidelberger Jahrbücher Online, Bd. 5 (2020): Entwicklung – Wie aus Prozessen Strukturen werden
Modelling the catalytic oxidation of N-Butane to maleic anhydride in a circulating fluidized bed reactor
Creators: name: Pugsley, Todd
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: TP 156 F65 P84 1992
subject: Fluidized reactors
subject: Hydrodynamics
subject: Maleic anhydride
subject: Catalysis

description: Bibliography: p. 98-105.
Crux et Arma
Creators: name: Dollen, Busso Von Der
Publisher: name: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Year: 2020

description: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege, Bd. 31 Nr. 1 (1990): Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Ecology and management of bobcats (Lynx rufus) in the East Kootenay district of British Columbia
Creators: name: Kinley, Trevor Alston
Publisher: name: Environmental Design
Year: 1992
Subjects: subject: QL 737 C23 K56 1992
subject: Lynx
subject: Felidae

description: Bibliography: p. 66-72.
description: The East Kootenay bobcat population represents one of the most northerly extensions of bobcat distribution. No previous studies of bobcats have been conducted in British Columbia. The East Kootenay Bobcat Project was initiated by the Wildlife Branch to serve as a base for reviewing current management decisions and developing future management policies for the East Kootenay district. I monitored seven radiocollared bobcats for periods of 24 to 353 days. Average total 100% minimum convex polygon home ranges for adult males were 123 km2. The only adult female had a range of 54 km2. Winter movements were restricted to narrow bands at low elevations, aligned parallel to the Rocky Mountain Trench. I estimated the population of the East Kootenay district using three methods, two based on winter movements of collared bobcats, and the other based on track observations. Averaging the three yielded a conservative estimate of 216 bobcats in the East Kootenay district. Examination of the carcasses and teeth of bobcats harvested from 1986/87 through 1990/91 indicated a preponderance of females in all age classes for both trapping and hunting. The overall male to female ratio was 0.65:1. Although the proportion of kittens, yearlings, and adults in the harvest sample varied widely between years, I did not detect a trend. Red squirrels were the most common winter prey for kittens. Preliminary indications are that the existing harvest is not depleting the population.
Das analytische Raumbuch als Arbeitsmittel für Bestandserfassung und Projektsteuerung in der Denkmalpflege
Creators: name: Hädler, Emil
Publisher: name: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Year: 2020

description: -
description: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege, Bd. 32 Nr. 2 (1991): Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Mitteilungen des Oberhessischen Geschichtsvereins Gießen 97 (2012)
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2012
Subjects: subject: ddc:943

description: Dagmar Klein: Nachruf auf Hans-Joachim Weimann I. Beiträge Dieter Neubauer: Mit dem Bagger ins Mittelalter - Archäologische Erkenntnisse zur Siedlungsentwicklung der südlichen Innenstadt von Gießen Susanne Gerschlauer, Michael Gottwald, Volker Hess, Christoph Röder: "Der Totenberg - Fränkischer Rasthof mit schöner Aussicht" - Vorbericht über die Grabung 2012 Manfred Blechschmidt: Die Burg Grüningen Erwin Knauß: Gießener Straßennamen Elke Noppes: Auf Sen(c)kenbergs Spuren Volker Benad-Wagenhoff/Konrad Schneider: Die Falschmünzerfamilie Sichel aus Kröffelbach und ihr Formkasten Dagmar Klein/Hans-Joachim Weimann: Ferdinand J. Cohn in Gießen Dieter Steil: "... es wird mir Nichts übrig bleiben, als mich taufen zu lassen ..." - Der Gießener Dirigent Hermann Levi im Spannungsfeld von jüdischer Tradition und Richard Wagners germanisch-christlicher Kunstreligion Hans Ramge: Otto Behaghel - Philologe und Sprachautorität Jürgen Dauernheim: Dr. Fritz Pfeffer aus Gießen - Anne Franks "Dr. Dussel" Clemens Uhlig: Streiflichter von Entrechtung und Verfolgung - Kommunalverwaltung und Holocaust: Rekonstruktion eines "Einzelfalles" Heidrun Helwig: Verachtet - verfolgt - vergessen: Auf den Spuren der Gießener Sinti - Ein Werkstattbericht Jeannette van Laak: Die Geschichte des Notaufnahmelagers in Gießen zwischen 1946 und 1961 Florentin Mück: Gedenkveranstaltungen zum 17. Juni 1953 im Notaufnahmelager Gießen Dagmar Klein: Der Freundeskreis Alter Friedhof Gießen II. Miszellen Ludwig Brake: Augenblicke für die Ewigkeit - Gießen im Sommer 1890. Fotografien von Charles Francis Himes (1838-1918) Matthias Recke: Jahresbericht aus der Antikensammlung Lutz Trautmann: Nachlass von Prof. Dr. Hugo Hepding und seiner Familie neu im Universitätsarchiv Gießen Manfred Blechschmidt: Dendrochronologische Untersuchung am Dachstuhl der evangelischen Kirche in Gießen-Allendorf Jürgen Leib: Aus der Arbeit des Gleiberg-Vereins Hans-Joachim Weimann: Die Büste der Irena Marei Söhngen-Haffer: Archivverbund Langgöns/Grünberg erhielt den Hessischen Archivpreis 2012 Susanne Urban: Spurensuche im International Tracing Service (ITS) III. Rezensionen Neue Publikationen IV. Vereinsleben V. Presseberichterstattung VI. Autorinnen und Autoren
Transport properties of dense deuterium-tritium plasmas
Creators: name: Wang, Cong
name: Long, Yao
name: He, Xian-Tu
name: Zhang, Ping
Publisher: name: arXiv
Year: 2012
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Fluid Dynamics (physics.flu-dyn)
subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: Consistent descriptions of the equation of states, and information about transport coefficients of deuterium-tritium mixture are demonstrated through quantum molecular dynamic (QMD) simulations (up to a density of 600 g/cm$^{3}$ and a temperature of $10^{4}$ eV). Diffusion coefficients and viscosity are compared with one component plasma model in different regimes from the strong coupled to the kinetic one. Electronic and radiative transport coefficients, which are compared with models currently used in hydrodynamic simulations of inertial confinement fusion, are evaluated up to 800 eV. The Lorentz number is also discussed from the highly degenerate to the intermediate region.
description: 4 pages, 3 figures
Die Burgruine Merburg in Homburg
Creators: name: Bernard, Christel
name: Ulrich, Stefan
Publisher: name: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Year: 2020

description: -
description: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege, Bd. 44 Nr. 3 (2003): Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Gravitational-wave standard siren without redshift identification
Creators: name: Nishizawa, Atsushi
name: Yagi, Kent
name: Taruya, Atsushi
name: Tanaka, Takahiro
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Proposed space-based gravitational-wave (GW) detectors such as DECIGO and BBO will detect $\sim10^6$ neutron-star (NS) binaries and determine the luminosity distances to the binaries with high precision. Combining the luminosity distances with cosmologically-induced phase corrections on the GWs, cosmological expansion out to high redshift can be measured without the redshift determinations of host galaxies by electromagnetic observation and can be a unique probe for dark energy. This article is based on the results obtained in [1] where we investigated constraining power of the GW standard siren without redshift information on the equation of state of dark energy with future space-based GW detectors. We also compare the results with those obtained with other instruments and methods.
description: 10 pages, 3 figures, accepted to Journal of Physics: Conference Series as Proceedings of Amaldi 9
Mixing Computations and Proofs
Creators: name: Beeson, Michael
Publisher: name: Alma Mater Studiorum - University of Bologna
Year: 2016
Subjects: computation; formal proof; logic

description: We examine the relationship between proof and computation in mathematics, especially in formalized mathematics. We compare the various approaches to proofs with a significant computational component, including (i) verifying  the algorithms, (ii) verifying the results of the unverified algorithms, and (iii) trusting an external computation.
description: Journal of Formalized Reasoning, Vol 9, No 1 (2016): Special Issue: Twenty Years of the QED Manifesto.
Chemical Abundances of the Milky Way Thick Disk and Stellar Halo I.: Implications of [alpha/Fe] for Star Formation Histories in Their Progenitors
Creators: name: Ishigaki, M. N.
name: Chiba, M.
name: Aoki, W.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present the abundance analysis of 97 nearby metal-poor (-3.3-2$. These results favor the scenarios that the MW thick disk formed through rapid chemical enrichment primarily through Type II supernovae of massive stars, while the stellar halo has formed at least in part via accretion of progenitor stellar systems having been chemically enriched with different timescales.
description: Accepted for publication in ApJ
Neue archäologische Erkenntnisse zur Baugeschichte des Schlosses Sallgast, Landkreis Elbe-Elste
Creators: name: Kettlitz, Eberhardt
Publisher: name: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Year: 2020

description: -
description: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege, Bd. 47 Nr. 4 (2006): Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
‚Ritter‘ und ‚Rittertum‘ im Islam, insbesondere zur Zeit der Kreuzzüge
Creators: name: Schoeler, Gregor
Publisher: name: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Year: 2020

description: -
description: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege, Bd. 52 Nr. 4 (2011): Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Now f is continuous (exercise!)
Creators: name: Arthan, Robin Denis
Publisher: name: Alma Mater Studiorum - University of Bologna
Year: 2016
Subjects: interactive theorem proving; decision procedure; formalised mathematics

description: A recurring proof obligation in modern mathematics, ranging from textbook exercises to deep research problems, is to show that a given function is a morphism in some category: in analysis and topology, for example, we frequently need to prove that functions are continuous, while in group theory we are constantly concerned with homomorphisms. This paper describes a generic procedure that automatically discharges routine instances of this kind of proof obligation in an interactive theorem prover. The proof procedure has been implemented and found very useful in a mathematical case studies carried out using the ProofPower system
description: Journal of Formalized Reasoning, Vol 9, No 1 (2016): Special Issue: Twenty Years of the QED Manifesto.
Diffusion and wave behaviour in linear Voigt model
Creators: name: De Angelis, Monica
name: Renno, Pasquale
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences
subject: 82D55-35K25-76N20-

description: A boundary value problem related to a third- order parabolic equation with a small parameter is analized. This equation models the one-dimensional evolution of many dissipative media as viscoelastic fluids or solids, viscous gases, superconducting materials, incompressible and electrically conducting fluids. Moreover, the third-order parabolic operator regularizes various non linear second order wave equations. In this paper, the hyperbolic and parabolic behaviour of the solution is estimated by means of slow time and fast time. As consequence, a rigorous asymptotic approximation for the solution is established.
PFML: Self-Supervised Learning of Time-Series Data Without Representation Collapse
Creators: name: Vaaras, Einari
name: Airaksinen, Manu
name: Räsänen, Okko
Publisher: name: arXiv
Year: 2024
Subjects: subject: Machine Learning (cs.LG)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Self-supervised learning (SSL) is a data-driven learning approach that utilizes the innate structure of the data to guide the learning process. In contrast to supervised learning, which depends on external labels, SSL utilizes the inherent characteristics of the data to produce its own supervisory signal. However, one frequent issue with SSL methods is representation collapse, where the model outputs a constant input-invariant feature representation. This issue hinders the potential application of SSL methods to new data modalities, as trying to avoid representation collapse wastes researchers' time and effort. This paper introduces a novel SSL algorithm for time-series data called Prediction of Functionals from Masked Latents (PFML). Instead of predicting masked input signals or their latent representations directly, PFML operates by predicting statistical functionals of the input signal corresponding to masked embeddings, given a sequence of unmasked embeddings. The algorithm is designed to avoid representation collapse, rendering it straightforwardly applicable to different time-series data domains, such as novel sensor modalities in clinical data. We demonstrate the effectiveness of PFML through complex, real-life classification tasks across three different data modalities: infant posture and movement classification from multi-sensor inertial measurement unit data, emotion recognition from speech data, and sleep stage classification from EEG data. The results show that PFML is superior to a conceptually similar SSL method and a contrastive learning-based SSL method. Additionally, PFML is on par with the current state-of-the-art SSL method, while also being conceptually simpler and without suffering from representation collapse.
description: Accepted for publication in IEEE Access
Formalizing Scientifically Applicable Mathematics in a Definitional Framework
Creators: name: Avron, Arnon
name: Cohen, Liron
Publisher: name: Alma Mater Studiorum - University of Bologna
Year: 2016
Subjects: MKM; Scientifically Applicable Mathematics; safety relations

description: In [Arnon08, A framework for formalizing set theories based on the use of static set terms.] a new framework for formalizing mathematics was developed. The main new features of this framework are that it is based on the usual first-order set theoretical foundations of mathematics (in particular, it is type-free), but it reflects real mathematical practice in making an extensive use of statically defined abstract set terms of the form { x | p(i) }, in the same way they are used in ordinary mathematical discourse.

In this paper we show how large portions of fundamental, scientifically applicable mathematics can be developed in this framework in a straightforward way, using just a rather weak set theory which is predicatively acceptable and essentially first-order. The key property of that theory is that every object which is used in it is defined by some closed term of the theory. This allows for a very concrete, computationally-oriented interpretation of the theory. However, the development is not committed to such interpretation, and can easily be extended for handling stronger set theories (including ZF).
description: Journal of Formalized Reasoning, Vol 9, No 1 (2016): Special Issue: Twenty Years of the QED Manifesto.
Proof Auditing Formalised Mathematics
Creators: name: Adams, Mark Miles
Publisher: name: Alma Mater Studiorum - University of Bologna
Year: 2016
Subjects: formal proof; Flyspeck; HOL Light; HOL Zero; Common HOL; proof auditing

description: The first three formalisations of major mathematical proofs have heralded a new age in formalised mathematics, establishing that informal proofs at the limits of what can be understood by humans can be checked by machine. However, formalisation itself can be subject to error, and yet there is currently no accepted process in checking, or even much concern that such checks have not been performed. In this paper, we motivate why we should be concerned about correctness, and argue the need for proof auditing, to rigorously and independently check a formalisation. We discuss the issues involved in performing an audit, and propose an effective and efficient auditing process. Throughout we use the Flyspeck Project, that formalises the Kepler Conjecture proof, to illustrate our point.
description: Journal of Formalized Reasoning, Vol 9, No 1 (2016): Special Issue: Twenty Years of the QED Manifesto.
Preface: Twenty Years of the QED Manifesto
Creators: name: Harrison, John
name: Urban, Josef
name: Wiedijk, Freek
Publisher: name: Alma Mater Studiorum - University of Bologna
Year: 2016
Subjects: QED, formal verification, formalization of mathematics

description: This special issue is dedicated to the 20th anniversary of the QED
Manifesto and the related 1994 and 1995 QED Workshops.
description: Journal of Formalized Reasoning, Vol 9, No 1 (2016): Special Issue: Twenty Years of the QED Manifesto.
Differential Emission Measures from the Regularized Inversion of Hinode and SDO data
Creators: name: Hannah, I. G.
name: Kontar, E. P.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We develop and apply an enhanced regularization algorithm, used in RHESSI X-ray spectral analysis, to constrain the ill-posed inverse problem that is determining the DEM from solar observations. We demonstrate this computationally fast technique applied to a range of DEM models simulating broadband imaging data from SDO/AIA and high resolution line spectra from Hinode/EIS, as well as actual active region observations with Hinode/EIS and XRT. As this regularization method naturally provides both vertical and horizontal (temperature resolution) error bars we are able to test the role of uncertainties in the data and response functions. The regularization method is able to successfully recover the DEM from simulated data of a variety of model DEMs (single Gaussian, multiple Gaussians and CHIANTI DEM models). It is able to do this, at best, to over four orders of magnitude in DEM space but typically over two orders of magnitude from peak emission. The combination of horizontal and vertical error bars and the regularized solution matrix allows us to easily determine the accuracy and robustness of the regularized DEM. We find that the typical range for the horizontal errors is $Δ$log$T\approx 0.1 -0.5$ and this is dependent on the observed signal to noise, uncertainty in the response functions as well as the source model and temperature. With Hinode/EIS an uncertainty of 20% greatly broadens the regularized DEMs for both Gaussian and CHIANTI models although information about the underlying DEMs is still recoverable. When applied to real active region observations with Hinode/EIS and XRT the regularization method is able to recover a DEM similar to that found via a MCMC method but in considerably less computational time.
description: 15 pages, 17 figures, accepted for publication in A&A
Phylogenetics and the Comparative Method as tools for the internal classification of West-Coastal Bantu: results and challenges
Creators: name: Pacchiarotti, Sara
Publisher: name: Zenodo
Year: 2021
Subjects: subject: Bantu
subject: Africa
subject: Linguistics
subject: FOS: Languages and literature
subject: Historical Linguistics
subject: Comparative Method

description: On May 12, 2021, BantUGent and the Research Institute for Languages and Cultures of Asia and Africa (ILCAA) in Tokyo (Japan) have the first kick-off meeting of their FWO-JSPS-funded collaborative project on “The Past and Present of Bantu Languages: Integrating Micro-Typology, Historical-Comparative Linguistics and Lexicography“. It also covers BantuFirst research. 9:30-9:40: Opening remarks 9:45-11:15: The first session 9:45-10:15 Sara Pacchiarotti: “Phylogenetics and the Comparative Method as tools for the internal classification of West-Coastal Bantu: results and challenges” 10:15-10:45 Lorenzo Maselli: “Phonetic and phonological research on hunter-gatherer substrate interference in the West-Coastal Bantu homeland region: some preliminary results and methodological remarks” 10:45-11:15 Kyoungwon Jeong: “Micro-parametric research on cross-Bantu phonological microvariation: a test case in Swati” 11:15-11:30 Coffee 11:30-13:00: The second session 11:30-12:00 Yuka Makino: “Contrastive analysis on the local variation of TAM expressions in M40 and M50″ 12:00-12:30 Makoto Furumoto: “A synchronic and diachronic analysis of the Kimakunduchi final vowel” 12:30-13:00 Hilde Gunnink: “Language contact between migrating Bantu speakers and resident Khoisan speakers in southern Africa”
Effect of Recruitment and Selection Practices on Organizational Performance in the Case of United Bank S.C
Creators: name: Habtamnesh Gode
Publisher: name: Zenodo
Year: 2019

description: Recruitment and selection are essential tools in assisting the human resource managers and the entire company to hire the right people and retain them. The purpose of this study was to investigate the effect of recruitment and selection practices on organizational performance of United Bank S.C. Descriptive survey design was used for the study. Stratified and simple random sampling techniques were engaged to sample 292 participants (employees) and 86 customers of the organization were selected from a target population of 1,855 of and 474,482 respectively. The primary data was collected using standard questionnaires. Descriptive analysis involved the use of frequencies in their absolute and relative forms (percentage) whereas inferential statistics showed the nature and magnitude of relationships established between the recruitment and selection practice (independent variable) and organizational performance (dependent variables) using analysis to make inferences from the data collected to more generalized conditions. Mean and standard deviations were also be used as measures of central tendencies and dispersion respectively.
Magnetic order and transitions in the spin-web compound Cu3TeO6
Creators: name: Mansson, Martin
name: Prsa, Krunoslav
name: Sugiyama, Jun
name: Andreica, Daniel
name: Luetkens, Hubertus
name: Berger, Helmuth
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The spin-web compound Cu3TeO6, belongs to an intriguing group of materials where magnetism is governed by 3d9 copper Cu2+ ions. This compound has been sparsely experimentally studied and we here present the first investigation of its local magnetic properties using muon-spin relaxation/rotation (μ+SR). Our results show a clear long-range 3D magnetic order below TN as indicated by clear zero-field (ZF) muon-precessions. At TN = 61.7 K a very sharp transition is observed in the weak transverse-field (wTF) as well as ZF data. Contrary to suggestions by susceptibility measurements and inelastic neutron scattering, we find no evidence for either static or dynamic (on the time-scale of μ+SR) spin-correlations above TN.
Feminine consciousness in the novels of R.K. Narayan
Creators: name: Selvaraju, Uma Rani
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: PR 6027 A7 Z832 1992
subject: Narayan, R. K., 1906- - Criticism and interpretation
subject: Women in literature
subject: Consciousness

description: Bibliography: p. 153-161.
Theorema 2.0: Computer-Assisted Natural-Style Mathematics
Creators: name: Buchberger, Bruno
name: Jebelean, Tudor
name: Kutsia, Temur
name: Maletzky, Alexander
name: Windsteiger, Wolfgang
Publisher: name: Alma Mater Studiorum - University of Bologna
Year: 2016
Subjects: Mathematical assistant systems; Theorema; automated reasoning; theory exploration; unification

description: The Theorema project aims at the development of a computer assistant for the working mathematician. Support should be given throughout all phases of mathematical activity, from introducing new mathematical concepts by definitions or axioms, through first (computational) experiments, the formulation of theorems, their justification by an exact proof, the application of a theorem as an algorithm, until to the dissemination of the results in form of a mathematical publication, the build up of bigger libraries of certified mathematical content and the like. This ambitious project is exactly along the lines of the QED manifesto issued in 1994 (see e.g. http://www.cs.ru.nl/~freek/qed/qed.html) and it was initiated in the mid-1990s by Bruno Buchberger. The Theorema system is a computer implementation of the ideas behind the Theorema project. One focus lies on the natural style of system input (in form of definitions, theorems, algorithms, etc.), system output (mainly in form of mathematical proofs) and user interaction. Another focus is theory exploration, i.e. the development of large consistent mathematical theories in a formal frame, in contrast to just proving single isolated theorems. When using the Theorema system, a user should not have to follow a certain style of mathematics enforced by the system (e.g. basing all of mathematics on set theory or certain variants of type theory), rather should the system support the user in her preferred flavour of doing math. The new implementation of the system, which we refer to as Theorema 2.0, is open-source and available through GitHub.
description: Journal of Formalized Reasoning, Vol 9, No 1 (2016): Special Issue: Twenty Years of the QED Manifesto.
Structural, Electronic, and Vibrational Properties of Amino-adamantane and Rimantadine Isomers
Creators: name: Garcia, Joelson Cott
name: Justo, João F.
name: Machado, Wanda V. M.
name: Assali, Lucy V. C.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: We performed a first principles total energy investigation on the structural, electronic, and vibrational properties of adamantane molecules, functionalized with amine and ethanamine groups. We computed the vibrational signatures of amantadine and rimantadine isomers with the functional groups bonded to different carbon sites. By comparing our results with recent infrared and Raman spectroscopic data, we discuss the possible presence of different isomers in experimental samples.
Dataset for Article_Position of the Bridge of Melaka Sultanate.xlsx
Creators: name: Mustaffa, Fauzan
Publisher: name: figshare
Year: 2021
Subjects: subject: 120102 Architectural Heritage and Conservation
subject: FOS: Civil engineering
subject: 120307 Visual Communication Design (incl. Graphic Design)
subject: FOS: Arts (arts, history of arts, performing arts, music)
subject: 210202 Heritage and Cultural Conservation
subject: FOS: Media and communications
subject: 120502 History and Theory of the Built Environment (excl. Architecture)
subject: FOS: Social and economic geography

description: This data is prepared as reference information/ evidence (in full quotation) for article submission to F1000 Journal entitled: The Bridge of Melaka Sultanate: The Case of Position Orientation and Implication.
Indium tin oxide combined with anti-reflective coatings with high transmittance for wavelengths < 400 nm
Creators: name: Jansson, Erik
name: Scheuer, Volker
name: Jordan, Elena
name: Kostourou, Konstantina
name: Mehlstäubler, Tanja E.
Publisher: name: arXiv
Year: 2024
Subjects: subject: Optics (physics.optics)
subject: Applied Physics (physics.app-ph)
subject: FOS: Physical sciences

description: The transparent and conductive properties of indium tin oxide (ITO) thin films, make them an attractive coating for optically integrated ion traps. However, the relatively low transmittance for wavelengths $<$ 400 nm, high scattering and high production temperature limits the usability in trapped-ion-based quantum technologies. Here we present ITO coatings and a combined ITO + anti-reflective (AR) coating system optimized for an ion trap applied using ion beam sputtering (IBS). The coatings feature a high transmittance for wavelengths $<$ 400 nm and additional wavelengths up to 1000 nm, low scattering and low production temperature $<$ 150 $^{\circ}$C. The transmission, reflection and absorption spectra are simulated and the resistance, transmittance and scattering at 370 nm are measured for different ITO coating thicknesses and the ITO + AR coating system. For the ITO + AR coating system a resistance of 115 $\pm$ 5 $Ω/\Box$, transmittance of 80$\%$ and scattering of 0.012 $\pm$ 0.002$\%$ at 370 nm is achieved.
description: 13 pages, 9 figures
Museum: Multidimensional web page segment evaluation model
Creators: name: Kuppusamy, K. S.
name: Aghila, G.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Information Retrieval (cs.IR)
subject: FOS: Computer and information sciences
subject: H.3.3
subject: 68P20

description: The evaluation of a web page with respect to a query is a vital task in the web information retrieval domain. This paper proposes the evaluation of a web page as a bottom-up process from the segment level to the page level. A model for evaluating the relevancy is proposed incorporating six different dimensions. An algorithm for evaluating the segments of a web page, using the above mentioned six dimensions is proposed. The benefits of fine-granining the evaluation process to the segment level instead of the page level are explored. The proposed model can be incorporated for various tasks like web page personalization, result re-ranking, mobile device page rendering etc.
description: ISSN 2151-9617
Integration of polyunsaturated fatty acids in the human intestinal CaCo-2 cell line
Creators: name: Dias, Valerian C.
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: QP 752 P5 D53 1992
subject: Phospholipids
subject: Unsaturated fatty acids
subject: Intestines - Microbiology

description: Bibliography: p. 187-205.
Constraining BSM Physics at the LHC: Four top final states with NLO accuracy in perturbative QCD
Creators: name: Bevilacqua, G.
name: Worek, M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: Many theories, from Supersymmetry to models of Strong Electroweak Symmetry Breaking, look at the production of four top quarks as an interesting channel to evidentiate signals of new physics beyond the Standard Model. The production of four-top final states requires large partonic energies, above the 4mt threshold, that are available at the CERN Large Hadron Collider and will become more and more accessible with increasing energy and luminosity of the proton beams. A good theoretical control on the Standard Model background is a fundamental prerequisite for a correct interpretation of the possible signals of new physics that may arise in this channel. In this paper we report on the calculation of the next-to-leading order QCD corrections to the Standard Model process pp -> tttt + X. As it is customary for such studies, we present results for both integrated and differential cross sections. A judicious choice of a dynamical scale allows us to obtain nearly constant K-factors in most distributions.
description: 21 pages, 14 figures, 3 tables
Mathematical Text Processing in EA-style: a Sequent Aspect
Creators: name: Lyaletski, Alexander
Publisher: name: Alma Mater Studiorum - University of Bologna
Year: 2016
Subjects: Evidence Algorithm; sequent calculus; classical logic; intuitionistic logic; modal logic

description: The paper is devoted to the study of one of the aspects of the so-called Evidence Algorithm programme advanced by Academician V.M.~Glushkov and connected with the problem of automated theorem-proving search in the signature of first-order theories that can use different logics, such as classical, intuitionistic, and modal ones. An approach to the construction of such sequent logics (with or without equality) is described. It exploits the original notions of admissibility and compatibility, which permits to avoid preliminary skolemization being a forbidden operation for a number of non-classical logics in general. Following the approach, the cut-free sequent (modal) calculi avoiding the dependence of inference search on different orders of quantifier rules applications are described. Results on the coextensivity of sequent calculi are given. The research gives a way to the construction of computer-oriented quantifier-rule-free calculi for classical and intuitionistic logics and their modal extensions.
description: Journal of Formalized Reasoning, Vol 9, No 1 (2016): Special Issue: Twenty Years of the QED Manifesto.