cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
A MOND model applied to the rotation curve of galaxies
Creators: name: Ciqueira, Ana C. M.
name: Carvalho, Geanderson A.
name: Faccin, Paulo H.
name: Dalmolin, Fabrício T.
Publisher: name: arXiv
Year: 2025
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: In this work, we propose a modified Newton dynamics (MOND) model to study the rotation curves of galaxies. The model is described by an arctangent interpolating function and it fits the rotation curves of several galaxies without invoking the presence of dark matter. We took from the literature the rotation curve data of fifteen spiral galaxies, and used it to constrain the model parameter, $a_0$, as around $5\times 10^{-10}$ m/s$^2$. This parameter is also called the acceleration constant once it gives the acceleration scale where Newton's dynamics fails. The model can be further tested in different astrophysical scenarios, such as, the missing mass problem of galaxy clusters and the accelerated expansion of the Universe, thus leading to a more robust and well constrained model.
description: published in IJMPD
title: Verzierte Bauteile aus Castros im Nordwesten der Iberischen Halbinsel
title: Verzierte Bauteile aus Castros im Nordwesten der Iberischen Halbinsel
titleType: Subtitle
Creators: name: Höck, Martin
Publisher: name: Deutsches Archäologisches Institut
Year: 2021

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
title: Die griechischen Porträts der Sammlung Azara und ihre Rezeption in der Casa del Labrador von Aranjuez
title: Die griechischen Porträts der Sammlung Azara und ihre Rezeption in der Casa del Labrador von Aranjuez
titleType: Subtitle
Creators: name: Hertel, Dieter
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Aranjuez
subject: Azara
subject: Aranjuez
subject: Azara
subject: Aranjuez
subject: Azara

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
MOESM3 of Effect of exercise versus cognitive behavioural therapy or no intervention on anxiety, depression, fitness and quality of life in adults with previous methamphetamine dependency: a systematic review
Creators: name: Linzette Morris
name: Stander, Jessica
name: Wardah Ebrahim
name: Eksteen, Stephanie
name: Orissa Meaden
name: AnĂŠ Ras
name: Wessels, Annemarie
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Pharmacology
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: Computational Biology

description: Additional file 3. The PEDro scale. The PEDro scale, including notes on administration (used for methodological appraisal of included studies).
Multi-rendezvous Spacecraft Trajectory Optimization with Beam P-ACO
Creators: name: Simões, Luís F.
name: Izzo, Dario
name: Haasdijk, Evert
name: Eiben, A. E.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Neural and Evolutionary Computing (cs.NE)
subject: Space Physics (physics.space-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences
subject: I.2.8

description: The design of spacecraft trajectories for missions visiting multiple celestial bodies is here framed as a multi-objective bilevel optimization problem. A comparative study is performed to assess the performance of different Beam Search algorithms at tackling the combinatorial problem of finding the ideal sequence of bodies. Special focus is placed on the development of a new hybridization between Beam Search and the Population-based Ant Colony Optimization algorithm. An experimental evaluation shows all algorithms achieving exceptional performance on a hard benchmark problem. It is found that a properly tuned deterministic Beam Search always outperforms the remaining variants. Beam P-ACO, however, demonstrates lower parameter sensitivity, while offering superior worst-case performance. Being an anytime algorithm, it is then found to be the preferable choice for certain practical applications.
description: Code available at https://github.com/lfsimoes/beam_paco__gtoc5
title: Porträthermen mit Inschrift im römischen Hispanien
title: Porträthermen mit Inschrift im römischen Hispanien
titleType: Subtitle
Creators: name: Rodríguez Oliva, Pedro
name: Stylow, Armin
Publisher: name: Deutsches Archäologisches Institut
Year: 2021

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
title: Untersuchungen auf dem Cerro de Maquiz. Vorbericht der Kampagne Mai 1984
title: Untersuchungen auf dem Cerro de Maquiz. Vorbericht der Kampagne Mai 1984
titleType: Subtitle
Creators: name: Arteaga, Oswaldo
name: Blech, Michael
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Iliturgi
subject: Iliturgi

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
title: Castelo da Lousa. Ein Wehrgehöft caesarisch-augusteischer Zeit
title: Castelo da Lousa. Ein Wehrgehöft caesarisch-augusteischer Zeit
titleType: Subtitle
Creators: name: Wahl, Jürgen
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Castelo da Lousa
subject: Castelo da Lousa

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
title: Die "vetus urbs" von Italica. Probleme ihrer Gründung und ihrer Anlage
title: Die "vetus urbs" von Italica. Probleme ihrer Gründung und ihrer Anlage
titleType: Subtitle
Creators: name: Canto, Alicia
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Italica
subject: Italica

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts
Creators: name: Nogatz, Falco
name: Seipel, Dietmar
Publisher: name: arXiv
Year: 2017
Subjects: subject: Databases (cs.DB)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: H.2.3

description: The methods to access large relational databases in a distributed system are well established: the relational query language SQL often serves as a language for data access and manipulation, and in addition public interfaces are exposed using communication protocols like REST. Similarly to REST, GraphQL is the query protocol of an application layer developed by Facebook. It provides a unified interface between the client and the server for data fetching and manipulation. Using GraphQL's type system, it is possible to specify data handling of various sources and to combine, e.g., relational with NoSQL databases. In contrast to REST, GraphQL provides a single API endpoint and supports flexible queries over linked data. GraphQL can also be used as an interface for deductive databases. In this paper, we give an introduction of GraphQL and a comparison to REST. Using language features recently added to SWI-Prolog 7, we have developed the Prolog library GraphQL.pl, which implements the GraphQL type system and query syntax as a domain-specific language with the help of definite clause grammars (DCG), quasi quotations, and dicts. Using our library, the type system created for a deductive database can be validated, while the query system provides a unified interface for data access and introspection.
description: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.00148
title: Ausgrabungen in der Torre del Cabiscol, Stadtmauer von Tarragona. Handgemachte Keramik aus Schnitt B, 1983
title: Ausgrabungen in der Torre del Cabiscol, Stadtmauer von Tarragona. Handgemachte Keramik aus Schnitt B, 1983
titleType: Subtitle
Creators: name: Kurtz Schäfer, Guillermo
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Tarragona
subject: Tarragona

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
Additional file 8: Figure S6. of A live cell assay of GPCR coupling allows identification of optogenetic tools for controlling Go and Gi signaling
Creators: name: Ballister, Edward
name: Rodgers, Jessica
name: Martial, Franck
name: Lucas, Robert
Publisher: name: figshare
Year: 2018
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Pharmacology
subject: Sociology
subject: FOS: Sociology
subject: Developmental Biology

description: Opsin sensitivity. Selectivity comparison without normalization to rod opsin. a Log10(EC50) values from best-fitting sigmoid curves in Fig. 3d are plotted (see also Additional file 10). EC50 values were compared within each GsX by ANOVA. α = 0.0033 (reflecting Bonferroni correction, 15 comparisons). Asterisks (*) indicate significant differences. b Response amplitudes as shown in Fig. 3d were analyzed by ANOVA, comparing the responses of each Gsi, Gso, and Gst within each opsin, without prior normalization to rod opsin. For this comparison, α = 0.0027 (reflecting Bonferroni correction, 18 comparisons). Asterisks (*) indicate significant differences. (PDF 408 kb)
A majority gate with chiral magnetic solitons
Creators: name: Koumpouras, Konstantinos
name: Yudin, Dmitry
name: Adelmann, Christoph
name: Bergman, Anders
name: Eriksson, Olle
name: Pereiro, Manuel
Publisher: name: arXiv
Year: 2017
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: In magnetic materials nontrivial spin textures may emerge owing to the competition among different types of magnetic interactions. Among such spin textures, chiral magnetic solitons represent topologically protected spin configurations with particle-like properties. Based on atomistic spin dynamics simulations, we demonstrate that these chiral magnetic solitons are ideal to use for logical operations, and we demonstrate the functionality of a three-input majority gate, in which the input states can be controlled by applying an external electromagnetic field or spin-polarized currents. One of the main advantages of the proposed device is that the input and output signals are encoded in the chirality of solitons, that may be moved, allowing to perform logical operations using only minute electric currents. As an example we illustrate how the three input majority gate can be used to perform logical relations, such as Boolean AND and OR.
description: 5 pages, 2 figures. Supplementary information is also attached
Thermal conduction across a boron nitride and silicon oxide interface
Creators: name: Li, Xinxia
name: Yan, Yaping
name: Dong, Lan
name: Guo, Jie
name: Aiyiti, Adili
name: Xu, Xiangfan
name: Li, Baowen
Publisher: name: arXiv
Year: 2017
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: The needs for efficient heat removal and superior thermal conduction in nano/micro devices have triggered tremendous studies in low-dimensional materials with high thermal conductivity. Hexagonal boron nitride (h-BN) is believed to be one of the candidates for thermal management and heat dissipation due to its novel physical properties, i.e. thermal conductor and electrical insulator. Here we reported interfacial thermal resistance between few-layer h-BN and its silicon oxide substrate using differential 3 omega method. The measured interfacial thermal resistance is around ~1.6*10-8 m2K/W for monolayer h-BN and ~3.4*10-8 m2K/W for 12.8nm-thick h-BN in metal/h-BN/SiO2 interfaces. Our results suggest that the voids and gaps between substrate and thick h-BN flakes limit the interfacial thermal conduction. This work provides a deeper understanding of utilizing h-BN flake as lateral heat spreader in electronic and optoelectronic nano/micro devices with further miniaturization and integration.
description: 9 pages, 6 figures
Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation
Creators: name: Brass, Stefan
name: Stephan, Heike
Publisher: name: arXiv
Year: 2017
Subjects: subject: Databases (cs.DB)
subject: Logic in Computer Science (cs.LO)
subject: Performance (cs.PF)
subject: FOS: Computer and information sciences
subject: D.1.6;H.2.4

description: OpenRuleBench is a large benchmark suite for rule engines, which includes deductive databases. We previously proposed a translation of Datalog to C++ based on a method that "pushes" derived tuples immediately to places where they are used. In this paper, we report performance results of various implementation variants of this method compared to XSB, YAP and DLV. We study only a fraction of the OpenRuleBench problems, but we give a quite detailed analysis of each such task and the factors which influence performance. The results not only show the potential of our method and implementation approach, but could be valuable for anybody implementing systems which should be able to execute tasks of the discussed types.
description: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.00148
title: Auswahl aus den Keramikfunden der Stadtmauer von Tarragona
title: Auswahl aus den Keramikfunden der Stadtmauer von Tarragona
titleType: Subtitle
Creators: name: Vegas, Mercedes
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Tarragona
subject: Tarragona

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
title: Ausgrabungen in der Torre de Minerva, Tarragona. Die Münzfunde von 1979
title: Ausgrabungen in der Torre de Minerva, Tarragona. Die Münzfunde von 1979
titleType: Subtitle
Creators: name: Avellá Delgado, Lourdes
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Tarragona
subject: Tarragona

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
title: Attache de fermoir de livre en forme d écusson (Inv. 997.10.2512.4) – Oppidum de Bibracte
Creators: name: Bibracte
Publisher: name: Conservatoire National des Données 3D (CND3D)
Year: 2024
Subjects: subject: agrafe de livre

description: Alors que l ordre mendiant franciscain (ou cordelier)  fondé au XIIIe siècle par Saint François d Assise  s installe habituellement aux portes des villes où les moines prêchent et pratiquent l aumône  l implantation du couvent sur le mont Beuvray surprend. Plusieurs raisons l expliquent : l existence d anciennes possessions ecclésiastiques sur le mont ; un mouvement de réforme au sein de l ordre  qui préconise une vie à l écart du monde ; les foires du Beuvray qui attirent chaque année des foules... et de l argent. Une partie des objets découverts lors des fouilles de ce couvent témoigne en effet d une certaine aisance des moines qui y vivaient. Installés au tournant des XIVe et XVe siècles  les cordeliers du Beuvray participent activement à la vie de la région. Leur couvent périclite dès l’époque des guerres de religion. Le dernier moine quitte les lieux à la fin du XVIIe siècle.
title: La exploración de la muralla de Tarragona en 1951
title: La exploración de la muralla de Tarragona en 1951
title: La exploración de la muralla de Tarragona en 1951
titleType: Subtitle
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Tarragona
subject: Tarragona

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Folgt.
MOESM2 of Effect of exercise versus cognitive behavioural therapy or no intervention on anxiety, depression, fitness and quality of life in adults with previous methamphetamine dependency: a systematic review
Creators: name: Linzette Morris
name: Stander, Jessica
name: Wardah Ebrahim
name: Eksteen, Stephanie
name: Orissa Meaden
name: AnĂŠ Ras
name: Wessels, Annemarie
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 2. The National Health and Medical Research Council (NHMRC) Evidence Hierarchy. The NHMRC Evidence Hierarchy summarised in tabular form.
title: Ausgrabungen in der römischen Stadtmauer von Tarragona. Torre de Minerva (1979) und Torre del Cabiscol (1983)
title: Ausgrabungen in der römischen Stadtmauer von Tarragona. Torre de Minerva (1979) und Torre del Cabiscol (1983)
titleType: Subtitle
Creators: name: Hauschild, Theodor
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Tarragona
subject: Tarragona

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
Constraint Logic Programming over Infinite Domains with an Application to Proof
Creators: name: Krings, Sebastian
name: Leuschel, Michael
Publisher: name: arXiv
Year: 2017
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.1.6; F.4.1

description: We present a CLP(FD)-based constraint solver able to deal with unbounded domains. It is based on constraint propagation, resorting to enumeration if all other methods fail. An important aspect is detecting when enumeration was complete and if this has an impact on the soundness of the result. We present a technique which guarantees soundness in the following way: if the constraint solver finds a solution it is guaranteed to be correct; if the constraint solver fails to find a solution it can either return the result "definitely false" in case it knows enumeration was exhaustive, or "unknown" in case it was aborted. The technique can deal with nested universal and existential quantifiers. It can easily be extended to set comprehensions and other operators introducing new quantified variables. We show applications in data validation and proof.
description: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.00148
title: Die Griechen in Huelva. Zum Stand der Diskussion
title: Die Griechen in Huelva. Zum Stand der Diskussion
titleType: Subtitle
Creators: name: Cabrera, Paloma
name: Olmos, Ricardo
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Huelva
subject: Huelva

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
title: Die Phönizier in Huelva
title: Die Phönizier in Huelva
titleType: Subtitle
Creators: name: Fernández Jurado, Jesús
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Huelva
subject: Huelva

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
title: Osteologische Besonderheiten vom Morro de Mezquitilla, Málaga
title: Osteologische Besonderheiten vom Morro de Mezquitilla, Málaga
titleType: Subtitle
Creators: name: von den Driesch, Angela
name: Boessneck, Joachim
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Morro de Mezquitilla (Algarrobo, Málaga)
subject: Morro de Mezquitilla (Algarrobo, Málaga)

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
Additional file 2 of Development of a nomogram model to predict survival outcomes in patients with primary hepatic neuroendocrine tumors based on SEER database
Creators: name: Zhang, Ziteng
name: Zhao, Xin
name: Li, Zhiyan
name: Wu, Youchun
name: Liu, Yao
name: Li, Zhiwei
name: Li, Guobao
Publisher: name: figshare
Year: 2021
Subjects: Medicine
Pharmacology
Chemical Sciences not elsewhere classified
Biological Sciences not elsewhere classified
Cancer

description: Additional file 2: Supplementary Table 2. Characteristics of patient undergo liver transplantation.
title: Bemerkungen zu den Schatzfunden von Caldas de Reyes (Prov. Pontevedra)
title: Bemerkungen zu den Schatzfunden von Caldas de Reyes (Prov. Pontevedra)
titleType: Subtitle
Creators: name: Pingel, Volker
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Caldas de Reyes (Prov. Pontevedra)
subject: Caldas de Reyes (Prov. Pontevedra)

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
title: Neue bronzezeitliche Funde im Museo provincial von Pontevedra
title: Neue bronzezeitliche Funde im Museo provincial von Pontevedra
titleType: Subtitle
Creators: name: de la Peña Santos, Antonio
Publisher: name: Deutsches Archäologisches Institut
Year: 2021

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
Additional file 1 of The causal effect of reproductive factors on pelvic floor dysfunction: a Mendelian randomization study
Creators: name: Zhang, Shufei
name: Li, BingShu
name: Liu, Jianfeng
name: Yang, Lian
name: Li, Hanyue
name: Hong, Li
Publisher: name: figshare
Year: 2024
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified
subject: Science Policy

description: Supplementary Material 1
title: Monte da Tumba (Torrão). Eine befestigte Siedlung der Kupferzeit im Baixo Alentejo (Portugal)
title: Monte da Tumba (Torrão). Eine befestigte Siedlung der Kupferzeit im Baixo Alentejo (Portugal)
titleType: Subtitle
Creators: name: Tavares da Silva, Carlos
name:  Soares, Joaquina
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Monte da Tumba, Torrão (Alcácer do Sal, Setúbal, Port.)
subject: Monte da Tumba, Torrão (Alcácer do Sal, Setúbal, Port.)

description: Madrider Mitteilungen, Vol. 26 (1985)
description: Deutsche Zusammenfassung folgt.
First Production of New Thin 3D Sensors for HL-LHC at FBK
Creators: name: Sultan, DMS
name: Betta, Gian-Franco Dalla
name: Mendicino, Roberto
name: Boscardin, Maurizio
name: Ronchin, Sabina
name: Zorzi, Nicola
Publisher: name: arXiv
Year: 2016
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: Owing to their intrinsic (geometry dependent) radiation hardness, 3D pixel sensors are promising candidates for the innermost tracking layers of the forthcoming experiment upgrades at the Phase 2 High-Luminosity LHC (HL-LHC). To this purpose, extreme radiation hardness up to the expected maximum fluence of 2e16 neq.cm-2 must come along with several technological improvements in a new generation of 3D pixels, i.e., increased pixel granularity (50x50 or 25x100 um2 cell size), thinner active region (~100 um), narrower columnar electrodes (~5 um diameter) with reduced inter-electrode spacing (~30 um), and very slim edges (~100 um). The fabrication of the first batch of these new 3D sensors was recently completed at FBK on Si-Si direct wafer bonded 6-inch substrates. Initial electrical test results, performed at wafer level on sensors and test structures, highlighted very promising performance, in good agreement with TCAD simulations: low leakage current (<1 pA/column), intrinsic breakdown voltage of more than 150 V, capacitance of about 50 fF/column, thus assessing the validity of the design approach. A large variety of pixel sensors compatible with both existing (e.g., ATLAS FEI4 and CMS PSI46) and future (e.g., RD53) read-out chips were fabricated, that were also electrically tested on wafer using a temporary metal layer patterned as strips shorting rows of pixels together. This allowed a statistically significant distribution of the relevant electrical quantities to be obtained, thus gaining insight into the impact of process-induced defects. A few 3D strip test structures were irradiated with X-rays, showing inter-strip resistance of at least several GOhm even after 50 Mrad(Si) dose, thus proving the p-spray robustness. We present the most important design and technological aspects, and results obtained from the initial investigations.
description: 8 pages, 7 figures, 2016 IWORID
title: Attache de fermoir de livre en forme d écusson (Inv. 997.10.2512.4)
Creators: name: Beck, Patrice
Publisher: name: Conservatoire National des Données 3D (CND3D)
Year: 2024
Subjects: subject: agrafe de livre
subject: Artefact
subject: ACQUISITION

description: Modèle 3D
Additional file 1 of Development of a nomogram model to predict survival outcomes in patients with primary hepatic neuroendocrine tumors based on SEER database
Creators: name: Zhang, Ziteng
name: Zhao, Xin
name: Li, Zhiyan
name: Wu, Youchun
name: Liu, Yao
name: Li, Zhiwei
name: Li, Guobao
Publisher: name: figshare
Year: 2021
Subjects: Medicine
Pharmacology
Chemical Sciences not elsewhere classified
Biological Sciences not elsewhere classified
Cancer

description: Additional file 1: Supplementary Table 1. Patient characteristics for PH-NETs and HCC after PSM analysis.
Source Code Verification for Embedded Systems using Prolog
Creators: name: Flederer, Frank
name: Ostermayer, Ludwig
name: Seipel, Dietmar
name: Montenegro, Sergio
Publisher: name: arXiv
Year: 2017
Subjects: subject: Software Engineering (cs.SE)
subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: Verification

description: System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST). Tree structures can be elegantly analyzed with the logic programming language Prolog. Moreover, Prolog offers further advantages for a thorough analysis: On the one hand, it natively provides versatile options to efficiently process tree or graph data structures. On the other hand, Prolog's non-determinism and backtracking eases tests of different variations of the program flow without big effort. A rule-based approach with Prolog allows to characterize the verification goals in a concise and declarative way. In this paper, we describe our approach to verify the source code of a flash file system with the help of Prolog. The flash file system is written in C++ and has been developed particularly for the use in satellites. We transform a given abstract syntax tree of C++ source code into Prolog facts and derive the call graph and the execution sequence (tree), which then are further tested against verification goals. The different program flow branching due to control structures is derived by backtracking as subtrees of the full execution sequence. Finally, these subtrees are verified in Prolog. We illustrate our approach with a case study, where we search for incorrect applications of semaphores in embedded software using the real-time operating system RODOS. We rely on computation tree logic (CTL) and have designed an embedded domain specific language (DSL) in Prolog to express the verification goals.
description: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.00148
Solitary waves in a two-dimensional nonlinear Dirac equation: from discrete to continuum
Creators: name: Cuevas-Maraver, J.
name: Kevrekidis, P. G.
name: Aceves, A. B.
name: Saxena, A.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Pattern Formation and Solitons (nlin.PS)
subject: FOS: Physical sciences

description: In the present work, we explore a nonlinear Dirac equation motivated as the continuum limit of a binary waveguide array model. We approach the problem both from a near-continuum perspective as well as from a highly discrete one. Starting from the former, we see that the continuum Dirac solitons can be continued for all values of the discretization (coupling) parameter, down to the uncoupled (so-called anti-continuum) limit where they result in a 9-site configuration. We also consider configurations with 1- or 2-sites at the anti-continuum limit and continue them to large couplings, finding that they also persist. For all the obtained solutions, we examine not only the existence, but also the spectral stability through a linearization analysis and finally consider prototypical examples of the dynamics for a selected number of cases for which the solutions are found to be unstable.
MOESM1 of Effect of exercise versus cognitive behavioural therapy or no intervention on anxiety, depression, fitness and quality of life in adults with previous methamphetamine dependency: a systematic review
Creators: name: Linzette Morris
name: Stander, Jessica
name: Wardah Ebrahim
name: Eksteen, Stephanie
name: Orissa Meaden
name: AnĂŠ Ras
name: Wessels, Annemarie
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Developmental Biology
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1. Search strategy. Detailed search strategies, specifically developed for each database according its functions.
title: Westgotenzeitliche Kapitelle im Duero-Gebiet und in Asturien
title: Westgotenzeitliche Kapitelle im Duero-Gebiet und in Asturien
titleType: Subtitle
Creators: name: Noack, Sabine
Publisher: name: Deutsches Archäologisches Institut
Year: 2021

description: Madrider Mitteilungen, Vol. 27 (1986)
description: Deutsche Zusammenfassung folgt.
Unusual mixed valence of Eu in two new materials EuSr2Bi2S4F4 and Eu2SrBi2S4F4: Mössbauer and X-ray photoemission Spectroscopy investigations
Creators: name: Haque, Zeba
name: Thakur, Gohil Singh
name: Parthasarathy, Rangasamy
name: Gerke, Birgit
name: Block, Theresa
name: Heletta, Lukas
name: Pöttgen, Rainer
name: Joshi, Amish G.
name: Selvan, Ganesan Kalai
name: Arumugam, Sonachalam
name: Gupta, Laxmi Chand
name: Ganguli, Ashok Kumar
Publisher: name: arXiv
Year: 2016
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We have synthesized two new Eu-based compounds, EuSr2Bi2S4F4 and Eu2SrBi2S4F4 which are derivatives of Eu3Bi2S4F4, an intrinsic superconductor with Tc = 1.5 K. They belong to a tetragonal structure (SG: I4/mmm, Z = 2), similar to the parent compound Eu3Bi2S4F4. Our structural and 151Eu Mössbauer spectroscopy studies show that in EuSr2Bi2S4F4, Eu-atoms exclusively occupy the crystallographic 2a-sites. In Eu2SrBi2S4F4, 2a-sites are fully occupied by Eu-atoms and the other half of Eu-atoms and Sr-atoms together fully occupy 4e-sites in a statistical distribution. In both compounds Eu atoms occupying the crystallographic 2a-sites are in a homogeneous mixed valent state ~ 2.6 - 2.7. From our magnetization studies in an applied H = 9 Tesla, we infer that the valence of Eu-atoms in Eu2SrBi2S4F4 at the 2a-sites exhibits a shift towards 2+. Our XPS studies corroborate the occurrence of valence fluctuations of Eu and after Ar-ion sputtering show evidence of enhanced population of Eu2+-states. Resistivity measurements, down to 2 K suggest a semi-metallic nature for both compounds.
A Typeful Integration of SQL into Curry
Creators: name: Hanus, Michael
name: Krone, Julia
Publisher: name: arXiv
Year: 2017
Subjects: subject: Programming Languages (cs.PL)
subject: Databases (cs.DB)
subject: FOS: Computer and information sciences

description: We present an extension of the declarative programming language Curry to support the access to data stored in relational databases via SQL. Since Curry is statically typed, our emphasis on this SQL integration is on type safety. Our extension respects the type system of Curry so that run-time errors due to ill-typed data are avoided. This is obtained by preprocessing SQL statements at compile time and translating them into type-safe database access operations. As a consequence, the type checker of the Curry system can spot type errors in SQL statements at compile time. To generate appropriately typed access operations, the preprocessor uses an entity-relationship (ER) model describing the structure of the relational data. In addition to standard SQL, SQL statements embedded in Curry can include program expressions and also relationships specified in the ER model. The latter feature is useful to avoid the error-prone use of foreign keys. As a result, our SQL integration supports a high-level and type-safe access to databases in Curry programs.
description: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.00148
title: Der Goldfund aus dem 5. Jahrhundert n.Chr. aus Granada-Albaicín und seine Beziehungen zu Mittel- und Osteuropa
title: Der Goldfund aus dem 5. Jahrhundert n.Chr. aus Granada-Albaicín und seine Beziehungen zu Mittel- und Osteuropa
titleType: Subtitle
Creators: name: Tempelmann-Maczynska, Magdalena
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Granada
subject: Granada

description: Madrider Mitteilungen, Vol. 27 (1986)
description: Deutsche Zusammenfassung folgt.
Gamma-gamma absorption in the $γ$-ray binary system PSR B1259-63/LS 2883
Creators: name: Sushch, Iurii
name: van Soelen, Brian
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: The observed TeV light curve from the $γ$-ray binary PSR B1259-63/LS 2883 shows a decrease in the flux at periastron which has not been fully explained by emission mechanisms alone. This observed decrease can, however, be explained by gamma-gamma absorption due to the stellar and disk photons. We calculate the gamma-gamma absorption in PSR B1259-63/LS 2883 taking into account photons from both the circumstellar disk and star, assuming the $γ$ rays originate at the position of the pulsar. The gamma-gamma absorption due to the circumstellar disk photons produces a $\approx14\%$ decrease in the flux, and there is a total decrease of $\approx52\%$ ($>1$ TeV) within a few days before periastron, accompanied by a hardening of the $γ$-ray photon index. While the gamma-gamma absorption alone is not sufficient to explain the full complexity of the H.E.S.S. $γ$-ray light curve it results in a significant decrease in the predicted flux, which is co-incident with the observed decrease. In addition, we have calculated an upper-limit on the gamma-gamma absorption, assuming that the emission is produced at the apex of the bow shock. Future observations with CTA during the 2021 periastron passage may be able to confine the location of the emission based on the degree of gamma-gamma absorption as well as measure the hardening of the spectrum around periastron.
description: 9 pages, 7 figures, 1 table. Accepted for publication in ApJ
Additional file 6: Figure S5. of A live cell assay of GPCR coupling allows identification of optogenetic tools for controlling Go and Gi signaling
Creators: name: Ballister, Edward
name: Rodgers, Jessica
name: Martial, Franck
name: Lucas, Robert
Publisher: name: figshare
Year: 2018
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: Pharmacology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: Plant Biology

description: Testing opsin coupling to endogenous Gi. To test opsin coupling to endogenous Gi, HEK293T cells were transfected with Glo22F and opsins treated with forskolin (2 μM), and exposed to 470 nm light for n = 3 replicates. The signal for each trial was normalized to pre-flash. The minimum cAMP post-flash was recorded for each trial. Graphs show mean cAMP response +/- SEM at varying irradiance for each opsin. Fits show sigmoidal dose–response curves. AmphiOp1 did not exhibit a statistically significant light response. Gi assay results for mML23Cm6, hML23Cm6, and RL23Cm6 are shown in Fig. 4 and results for ScallOp2 are shown in Fig. 5. Error bars smaller than symbols are not shown. (PDF 506 kb)
title: El Mosaico de las metamorfosis de Carranque (Toledo)
title: El Mosaico de las metamorfosis de Carranque (Toledo)
titleType: Subtitle
Creators: name: Arce, Javier
Publisher: name: Deutsches Archäologisches Institut
Year: 2021

description: Madrider Mitteilungen, Vol. 27 (1986)
description: Folgt.
Linking particle dynamics to local connectivity in colloidal gels
Creators: name: van Doorn, Jan Maarten
name: Bronkhorst, Jochem
name: Higler, Ruben
name: van de Laar, Ties
name: Sprakel, Joris
Publisher: name: arXiv
Year: 2016
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: Colloidal gels are a prototypical example of a heterogeneous network solid whose complex properties are governed by thermally-activated dynamics. In this Letter we experimentally establish the connection between the intermittent dynamics of individual particles and their local connectivity. We interpret our experiments with a model that describes single-particle dynamics based on highly cooperative thermal debonding. The model, in quantitative agreement with experiments, provides a microscopic picture for the structural origin of dynamical heterogeneity in colloidal gels and sheds new light on the link between structure and the complex mechanics of these heterogeneous solids.
description: 5 pages, 5 figures
Additional file 1 of Measurement of cumulative high-sensitivity C-reactive protein and monocyte to high-density lipoprotein ratio in the risk prediction of type 2 diabetes: a prospective cohort study
Creators: name: Wu, Dan
name: Chen, Genyuan
name: Lan, Yulong
name: Chen, Shuohua
name: Ding, Xiong
name: Wei, Chiju
name: Balmer, Lois
name: Wang, Wei
name: Wu, Shouling
name: Xu, Wencan
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Medicine
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology

description: Additional file 1: Table S1. Number of participants and participations in the follow-up visits. Table S2. Comparison of cumulative MHR, hsCRP to their mean value in the health visits in the exposure period.Table S3. Incidence of diabetes according to CumMHR quartiles in the entire cohort and stratifying by CumCRP strata (1, 3 mg/L).Table S4. Incidence of diabetes Cumcording to CumCRP strata5.Table S5. Long-term and Short-term diabetic risks of joint exposure to CumMHR and CumCRP.Table S6. Associations between joint exposure to CumMHR and CumCRP with type 2 diabetes stratified by sex. Table S7. Associations between joint exposure to CumMHR and CumCRP with type 2 diabetes stratified by age.Table S8. Associations between joint exposure to CumMHR and CumCRP with diabetes stratified by baseline dyslipidemia status.Table S9. Associations between joint exposure to CumMHR and CumCRP with diabetes stratified by hypertensive status in the exposure period.Table S10. Associations between joint exposure to CumMHR and CumCRP withdiabetes stratified by impaired fasting glucose status in the exposure period.Table S11. Sensitivity analysis of associations between joint exposure to CumMHR and CumCRP with type 2 diabetes.Table S12. Incidence of diabetes according to joint exposure to BasCRP and BasMHR.Table S13. C-statistics for incident diabetes predicted by the relevant risk factors and addition of CumMHR in each CumCRP stratum.Fig. S1. Flowchart of the study participants.Fig. S2. Design and strategy of the current study.Fig. S3. Cumulative incidence of type 2 diabetes across CumCRP-by-CumMHR strata
A Simulation Tool for tccp Programs
Creators: name: Gallardo, María-del-Mar
name: Lavado, Leticia
name: Panizo, Laura
Publisher: name: arXiv
Year: 2017
Subjects: subject: Programming Languages (cs.PL)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate and synchronise through a global constraint store. It supports a notion of discrete time that allows all non-blocked agents to proceed with their execution simultaneously. In this paper, we present a modular architecture for the simulation of tccp programs. The tool comprises three main components. First, a set of basic abstract instructions able to model the tccp agent behaviour, the memory model needed to manage the active agents and the state of the store during the execution. Second, the agent interpreter that executes the instructions of the current agent iteratively and calculates the new agents to be executed at the next time instant. Finally, the constraint solver components which are the modules that deal with constraints. In this paper, we describe the implementation of these components and present an example of a real system modelled in tccp.
description: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.00148
title: Munigua. Ausgrabungen an der Stützmauer des Forums, 1985
title: Munigua. Ausgrabungen an der Stützmauer des Forums, 1985
titleType: Subtitle
Creators: name: Hauschild, Theodor
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Munigua
subject: Munigua

description: Madrider Mitteilungen, Vol. 27 (1986)
description: Deutsche Zusammenfassung folgt.
title: Crampon de chaussure (Inv. 2006.39.112.6) – Oppidum de Bibracte
Creators: name: Bibracte
Publisher: name: Conservatoire National des Données 3D (CND3D)
Year: 2024
Subjects: subject: chaussure

description: Fixé transversalement sous une chaussure grâce à ses extrémités recourbées vers le haut  les quatre pointes de ce crampon permettaient probablement de mieux adhérer à un sol gelé. Si cette fonction de crampons à glace est pertinente sous nos latitudes  les crampons pouvaient aussi être utilisés pour grimper aux arbres afin de cueillir des fruits.
title: Ein Porträt des Domitian aus Munigua
title: Ein Porträt des Domitian aus Munigua
titleType: Subtitle
Creators: name: Grünhagen, Wilhelm
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Munigua
subject: Munigua

description: Madrider Mitteilungen, Vol. 27 (1986)
description: Deutsche Zusammenfassung folgt.
title: Anzeige: Weiblicher Porträtkopf in Madrider Kunsthandel (1984)
title: Anzeige: Weiblicher Porträtkopf in Madrider Kunsthandel (1984)
titleType: Subtitle
Creators: name: Trillmich, Walter
Publisher: name: Deutsches Archäologisches Institut
Year: 2021

description: Madrider Mitteilungen, Vol. 27 (1986)
description: Deutsche Zusammenfassung folgt.
title: 01_2310
Creators: name: Wesley Baldwin, John
name: Baldwin, John W.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: L'ensemble de ces notes ont été crée par John Baldwin lors d'une de ses premières périodes de résidence à Paris. Ces documents comprennent tous les magistri qu’il avait pu rencontrer dans ses sources. Aux XIIème et XIIIème siècles, les universités n'existant pas encore, le titre de magister s'il évoque certainement une compétence n'est pas rattaché de façon systématique au passage par les écoles. De surcroît, les magistris sont le plus souvent désignés par leur seul prénom. La lecture de ces données est donc difficile et suppose un long travail pour tenter d'identifier un individu auquel on pourrait rattacher plusieurs mentions. John Baldwin avait donc renoncé à utiliser ces données pour donner un prolongement à sa magnifique étude sur les gradués d'université et leur emploi par les Capétiens et les Plantagenêts. Néanmoins, il a conservé ces données et elles sont potentiellement très utile dans le cadre de Studium, comme le sont toutes les mentions dans les volumes des Fasti Ecclesiae Gallicanae de chanoines portant ce titre de magister sans autres précisions. L'ampleur des dépouillements rend ces données très utiles et nous devons une grande reconnaissance à John Baldwin pour avoir pris la peine de faire photocopier ses fiches et de nous les avoir transmises amicalement.
Les données ainsi que les images des fiches sont accessibles sur le site Internet à l'adresse suivante : http://studium-baldwin.lamop.fr/.
Les transcriptions des fiches ont été effectuées par des étudiants de Paris 1 Panthéon - Sorbonne mais elles n'ont pas été corrigées par la suite.
description: Relation: https://lamop.hypotheses.org/
The tautological ring of $\mathcal{M}_{g,n}$ via Pandharipande-Pixton-Zvonkine $r$-spin relations
Creators: name: Kramer, Reinier
name: Labib, Farrokh
name: Lewanski, Danilo
name: Shadrin, Sergey
Publisher: name: arXiv
Year: 2017
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14H10, 14C17

description: We use relations in the tautological ring of the moduli spaces $\overline{\mathcal{M}}_{g,n}$ derived by Pandharipande, Pixton, and Zvonkine from the Givental formula for the $r$-spin Witten class in order to obtain some restrictions on the dimensions of the tautological rings of the open moduli spaces $\mathcal{M}_{g,n}$. In particular, we give a new proof for the result of Looijenga (for $n=1$) and Buryak et al. (for $n\geq 2$) that $\dim R^{g-1}(\mathcal{M}_{g,n}) \leq n$. We also give a new proof of the result of Looijenga (for $n=1$) and Ionel (for arbitrary $n\geq 1$) that $R^{i}(\mathcal{M}_{g,n}) =0$ for $i\geq g$ and give some estimates for the dimension of $R^{i}(\mathcal{M}_{g,n})$ for $i\leq g-2$.
description: 24 pages
Elastic collision and breather formation of spatiotemporal vortex light bullets in a cubic-quintic nonlinear medium
Creators: name: Adhikari, S K
Publisher: name: arXiv
Year: 2017
Subjects: subject: Pattern Formation and Solitons (nlin.PS)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: The statics and dynamics of a stable, mobile three-dimensional (3D) spatiotemporal vortex light bullet in a cubic-quintic nonlinear medium with a focusing cubic nonlinearity above a critical value and any defocusing quintic nonlinearity is considered. The present study is based on an analytic variational approximation and a full numerical solution of the 3D nonlinear Schrödinger equation. The 3D vortex bullet can propagate with a constant velocity. Stability of the vortex bullet is established numerically and variationally. The collision between two vortex bullets moving along the angular momentum axis is considered. At large velocities the collision is quasi elastic with the bullets emerging after collision with practically no distortion. At small velocities two bullets coalesce to form a single entity called a breather.
description: arXiv admin note: text overlap with arXiv:1701.03763
title: Ein historisches Relief in Mérida mit Darstellung des M. Agrippa beim Opfer : Ein Rekonstruktionsversuch
title: Ein historisches Relief in Mérida mit Darstellung des M. Agrippa beim Opfer : Ein Rekonstruktionsversuch
titleType: Subtitle
Creators: name: Trillmich, Walter
Publisher: name: Deutsches Archäologisches Institut
Year: 2021
Subjects: subject: Mérida
subject: Mérida

description: Madrider Mitteilungen, Vol. 27 (1986)
description: Deutsche Zusammenfassung folgt.
Additional file 5: Figure S4. of A live cell assay of GPCR coupling allows identification of optogenetic tools for controlling Go and Gi signaling
Creators: name: Ballister, Edward
name: Rodgers, Jessica
name: Martial, Franck
name: Lucas, Robert
Publisher: name: figshare
Year: 2018
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: Pharmacology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Testing opsin coupling to endogenous Gs. To test potential opsin coupling to endogenous Gs, HEK293T cells were transfected with Glo22F and opsins treated with pertussis toxin, and exposed to 470 nm light for n = 3 replicates. The signal for each trial was normalized to pre-flash. The maximum cAMP post-flash was recorded for each trial. Graphs show mean cAMP response +/- SEM at varying irradiance for each opsin. RL3Am and RL3m6L2 exhibited responses that satisfied our statistical criteria (fitted response curves are shown). Error bars smaller than symbols are not shown. (PDF 454 kb)