cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Model Checking with Program Slicing Based on Variable Dependence Graphs
Creators: name: Matsubara, Masahiro
name: Sakurai, Kohei
name: Narisawa, Fumio
name: Enshoiwa, Masushi
name: Yamane, Yoshio
name: Yamanaka, Hisamitsu
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: In embedded control systems, the potential risks of software defects have been increasing because of software complexity which leads to, for example, timing related problems. These defects are rarely found by tests or simulations. To detect such defects, we propose a modeling method which can generate software models for model checking with a program slicing technique based on a variable dependence graph. We have applied the proposed method to one case in automotive control software and demonstrated the effectiveness of the method. Furthermore, we developed a software tool to automate model generation and achieved a 35% decrease in total verification time on model checking.
description: In Proceedings FTSCS 2012, arXiv:1212.6574
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 11, Nr. 3 (1968): Nachrichtenblatt der Denkmalpflege in Baden-Württemberg – Organ der Staatlichen Ämter für Denkmalpflege
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: Inhalt...57
 Der dritte Stuttgarter Restauratorenkurs. 1967...57
 [Der dritte Stuttgarter Restauratorenkurs] Voraussetzungen und Probleme der Gesteinskonservierung...57-58
 [Der dritte Stuttgarter Restauratorenkurs] Erfahrungen mit der Gesteinskonservierung in der Denkmalpflege...59-61
 [Der dritte Stuttgarter Restauratorenkurs] Putz und Anstrich in der Denkmalpflege...61-62
 [Der dritte Stuttgarter Restauratorenkurs] Die Silikatfarben und ihre Bedeutung für die Denkmalpflege...62-66
 [Der dritte Stuttgarter Restauratorenkurs] Zusammenfassung der Diskussionsbeiträge auf der Stuttgarter Restauratorentagung am 4/5. Januar 1967...66-67
 Der vierte Stuttgarter Restauratorenkurs. 1968...68
 [Der vierte Stuttgarter Restauratorenkurs] Strukturen und Eigenschaften des Holzes...68-71
 [Der vierte Stuttgarter Restauratorenkurs] Das Problem des verwölbten Holztafelbildes...71-77
 [Der vierte Stuttgarter Restauratorenkurs] Lokaler Klimaschutz am Tafelbild...77-82
 [Der vierte Stuttgarter Restauratorenkurs ]Holzschutzbehandlungen von sakralen und profanen Kunstwerken unter Berücksichtigung denkmalpflegerischer Aufgaben...82-84
 [Der vierte Stuttgarter Restauratorenkurs] Holzfestigung mit Kunstharzen...85-88
Giant $g$-factors and fully spin-polarized states in metamorphic short-period InAsSb/InSb superlattices
Creators: name: Jiang, Yuxuan
name: Ermolaev, Maksim
name: Kipshidze, Gela
name: Moon, Seongphill
name: Ozerov, Mykhaylo
name: Smirnov, Dmitry
name: Jiang, Zhigang
name: Suchalkin, Sergey
Publisher: name: arXiv
Year: 2022
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Realizing a large Landé $g$-factor of electrons in solid-state materials has long been thought of as a rewarding task as it can trigger abundant immediate applications in spintronics and quantum computing. Here, by using metamorphic InAsSb/InSb superlattices (SLs), we demonstrate an unprecedented high value of $g\approx 104$, twice larger than that in bulk InSb, and fully spin-polarized states at low magnetic fields. In addition, we show that the $g$-factor can be tuned on demand from 20 to 110 via varying the SL period. The key ingredients of such a wide tunability are the wavefunction mixing and overlap between the electron and hole states, which have drawn little attention in prior studies. Our work not only establishes metamorphic InAsSb/InSb as a promising and competitive material platform for future quantum devices but also provides a new route toward $g$-factor engineering in semiconductor structures.
MUSE-ALMA Haloes VII: Survey Science Goals & Design, Data Processing and Final Catalogues
Creators: name: Péroux, Céline
name: Weng, Simon
name: Karki, Arjun
name: Augustin, Ramona
name: Kulkarni, Varsha P.
name: Szakacs, Roland
name: Klitsch, Anne
name: Hamanowicz, Aleksandra
name: Fresco, Alejandra Y.
name: Zwaan, Martin A.
name: Biggs, Andrew
name: Fox, Andrew J.
name: Hayes, Mattjew
name: Howk, J. Christopher
name: Kacprzak, Glenn G.
name: Kassin, Susan
name: Kuntschner, Harald
name: Nelson, Dylan
name: Pettini, Max
Publisher: name: arXiv
Year: 2022
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: The gas cycling in the circumgalactic regions of galaxies is known to be multi-phase. The MUSE-ALMA Haloes survey gathers a large multi-wavelength observational sample of absorption and emission data with the goal to significantly advance our understanding of the physical properties of such CGM gas. A key component of the MUSE-ALMA Haloes survey is the multi-facility observational campaign conducted with VLT/MUSE, ALMA and HST. MUSE-ALMA Haloes targets comprise 19 VLT/MUSE IFS quasar fields, including 32 $z_{\rm abs}<$0.85 strong absorbers with measured N$_{HI}$ $\geq 10^{18}$ cm$^{\rm -2}$ from UV-spectroscopy. We additionally use a new complementary HST medium program to characterise the stellar content of the galaxies through a 40-orbit three-band UVIS and IR WFC3 imaging. Beyond the absorber-selected targets, we detect 3658 sources all fields combined, including 703 objects with spectroscopic redshifts. This galaxy-selected sample constitutes the main focus of the current paper. We have secured millimeter ALMA observations of some of the fields to probe the molecular gas properties of these objects. Here, we present the overall survey science goals, target selection, observational strategy, data processing and source identification of the full sample. Furthermore, we provide catalogues of magnitude measurements for all objects detected in VLT/MUSE, ALMA and HST broad-band images and associated spectroscopic redshifts derived from VLT/MUSE observations. Together, this data set provides robust characterisation of the neutral atomic gas, molecular gas and stars in the same objects resulting in the baryon census of condensed matter in complex galaxy structures.
description: 19 pages, 4 figures. This is the final (proof-corrected) version, published in MNRAS. Galaxy catalogues are available online
Tense-aspect-modality continued
Creators: name: Shiroma, Toyo
name: Lau-Preechathammarach, Raksit Tyler
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2024
Subjects: Ssabu-muni language

description: 1 WAV file, 1 EAF file, 1 TXT file. Focusing on clarification of words that seem to be either homophones or similar.
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 12, Nr. 3 (1969): Nachrichtenblatt der Denkmalpflege in Baden-Württemberg – Organ der Staatlichen Ämter für Denkmalpflege
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: Inhalt
 Das Alter des Mittelschiffdachstuhls der ehemaligen Benediktiner-Klosterkirche Mittelzell auf der Insel Reichenau/Bodensee...54-57
 Ein baugeschichtliches Problem im Marienmünster der Reichenau. Eine Stellungnahme aus dem Staatlichen Amt für Denkmalpflege Freiburg i. Br....58-61
 Der Burgturm von Oberstaad bei Öhningen im Hegau. Seine Betrachtung im Zusammenhang mit der Kultur- und Baugeschichte des Mittelalters am Hochrhein...62-74
 Wolfgang Müller, „Die Ortenau als Chorturmlandschaft". Ein Beitrag zur Geschichte der älteren Dorfkirchen. Verlag Konkordia AG Bühl (Baden) 1965. Großoktav, 112 Seiten, broschiert...76
 Abbruch des ehemals Waldburg-Wolfeggschen Vogtshauses (später Gasthaus „Zum Kreuz") in Osterhofen (Kr. Ravensburg)...75
 [Nachruf] Dr. Max Zengerle, Biberach...76
 Der Polenstein bei Rütte über Herrischried...77-78
 Sicherungen an der Stadtmauer von Gernsbach...79-80
Coexistence of high-bit-rate quantum key distribution and data on optical fiber
Creators: name: Patel, K. A.
name: Dynes, J. F.
name: Choi, I.
name: Sharpe, A. W.
name: Dixon, A. R.
name: Yuan, Z. L.
name: Penty, R. V.
name: Shields, A. J.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Quantum key distribution (QKD) uniquely allows distribution of cryptographic keys with security verified by quantum mechanical limits. Both protocol execution and subsequent applications require the assistance of classical data communication channels. While using separate fibers is one option, it is economically more viable if data and quantum signals are simultaneously transmitted through a single fiber. However, noise-photon contamination arising from the intense data signal has severely restricted both the QKD distances and secure key rates. Here, we exploit a novel temporal-filtering effect for noise-photon rejection. This allows high-bit-rate QKD over fibers up to 90 km in length and populated with error-free bidirectional Gb/s data communications. With high-bit rate and range sufficient for important information infrastructures, such as smart cities and 10 Gbit Ethernet, QKD is a significant step closer towards wide-scale deployment in fiber networks.
description: 7 pages, 5 figures
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 13, Nr. 2 (1970): Nachrichtenblatt der Denkmalpflege in Baden-Württemberg – Organ der Staatlichen Ämter für Denkmalpflege
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: Inhalt...39
 Vorbemerkung des Staatlichen Amtes für Denkmalpflege Freiburg...38
 20 Jahre Denkmalpflege in den Landkreisen Konstanz und Überlingen...38-56
 Der Landturm bei Lichtel...57-63
 Joseph Schlippe, Die drei großen Bettelsordenskirchen in Freiburg, Bühl/Baden, 1970...64
 Albert Knoepfli, Kunstgeschichte des Bodenseeraumes, Sigmaringen — Stuttgart — München, 1969...64
 W. Einsingbach, Die Kunstdenkmäler des Landes Hessen, Kreis Bergstraße, München 1969...64
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 1, Nr. 3 (1972)
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: Inhalt
 In Sachen Nachrichtenblatt...1
 Die baden-württembergischen Denkmalpfleger (3)...2-7
 Die Ausgrabungen in St. Peter und Paul zu Reichenau-Niederzell. Ein erster Überblick...8-18
 Die Württembergische Landesstelle für Volkskunde in Stuttgart...19-20
 Die Badische Landesstelle für Volkskunde in Freiburg i. Br....21-22
 Schiltach im Schwarzwald - Schutz einer alten Fachwerkstadt...23-30
 800 Jahre Stadt Isny...31-36
 [Kleine Arbeitsberichte] Ergebnisse einer Sondierungsgrabung in der Klosterkirche Schuttern bei Lahr...37-38
 [Kleine Arbeitsberichte] Die Restaurierung des Herrenhauses Eulenhof, Gemeinde Ehrstädt, Kreis Sinsheim ; Quellennachweis für die Abbildungen...39-40
 Dienststellen des Landesdenkmalamtes
 BUCHVERÖFFENTLICHUNGEN des LANDESDENKMALAMTES BADEN-WÜRTTEMBERG
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 1, Nr. 4 (1972)
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: Inhalt
 Die baden-württembergischen Denkmalpfleger (4)...2-6
 In Sachen Nachrichtenblatt...1
 Ausgrabungen im spätrömischen Kastell Breisach...7-11
 Ein alamannischer Friedhof bei Fridingen a.D., Kreis Tuttlingen...12-17
 Der Helfensteiner Pferdestall in Wiesensteig, Kreis Göppingen. Die Rettung eines wertvollen Fachwerkgebäudes...18-27
 Die Flur-Steinkreuze in Baden-Württemberg. Bericht zu ihrer Bestandsaufnahme...28-38
 [Kleine Arbeitsberichte] Eine Lehrgrabung des Deutschen Archäologischen Instituts und des Landesdenkmalamtes Baden-Württemberg in Rottweil ; Quellennachweis für die Abbildungen...39-40
 Dienststellen des Landesdenkmalamtes ; Buchveröffentlichungen des Landesdenkmalamtes Baden-Württemberg
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 2, Nr. 1 (1973)
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: Inhalt
 In Sachen Nachrichtenblatt...1
 »Schri kunst, sehn und klag dich ser . ..« Ein Jahr Landesdenkmalamt Baden-Württemberg Rückblick und Ausblick ; Die neuen Zuständigkeitsbereiche der Denkmalpflege...2-7
 Die Kapelle St. Markus zu Mistelbrunn, Schwarzwald-Baar-Kreis. Bericht über neue Funde und Befunde...8-18
 Die Alpirsbacher Kinzigbrücke. Ein Werk von Johann Adam Groß d. J....19-23
 Das Freilichtmuseum »Diedelsheimer Mühle« in Grötzingen, Kreis Karlsruhe. Die Rettung eines technischen Kulturdenkmals...24-27
 Die Rettung des Schlößchens in Esslingen-Weil...28-37
 [Kleine Arbeitsberichte] Vom (Un-) Wesen mit der Kunst...38-39
 [Kleine Arbeitsberichte] Auch eine Art von Denkmalpflege ; Quellennachweis für die Abbildungen...40
 Die Dienststellen des Landesdenkmalamtes
 Buchveröffentlichungen des Landesdenkmalamtes
Close homophones, tense-aspect-modality, a-stem verbs
Creators: name: Tau, Kiyoshi
name: Tau, Yone
name: Lau-Preechathammarach, Raksit Tyler
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2024
Subjects: Ssabu-muni language

description: 1 WAV file, 1 EAF file, 1 TXT file.
On generalization bounds for deep networks based on loss surface implicit regularization
Creators: name: Imaizumi, Masaaki
name: Schmidt-Hieber, Johannes
Publisher: name: arXiv
Year: 2022
Subjects: subject: Machine Learning (stat.ML)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: The classical statistical learning theory implies that fitting too many parameters leads to overfitting and poor performance. That modern deep neural networks generalize well despite a large number of parameters contradicts this finding and constitutes a major unsolved problem towards explaining the success of deep learning. While previous work focuses on the implicit regularization induced by stochastic gradient descent (SGD), we study here how the local geometry of the energy landscape around local minima affects the statistical properties of SGD with Gaussian gradient noise. We argue that under reasonable assumptions, the local geometry forces SGD to stay close to a low dimensional subspace and that this induces another form of implicit regularization and results in tighter bounds on the generalization error for deep neural networks. To derive generalization error bounds for neural networks, we first introduce a notion of stagnation sets around the local minima and impose a local essential convexity property of the population risk. Under these conditions, lower bounds for SGD to remain in these stagnation sets are derived. If stagnation occurs, we derive a bound on the generalization error of deep neural networks involving the spectral norms of the weight matrices but not the number of network parameters. Technically, our proofs are based on controlling the change of parameter values in the SGD iterates and local uniform convergence of the empirical loss functions based on the entropy of suitable neighborhoods around local minima.
description: To appear in IEEE Transaction on Information Theory
Towards LP Modeling for Maximizing Throughput and Minimizing Routing Delay in Proactive Protocols in Wireless Multi-hop Networks
Creators: name: Javaid, N.
name: Khan, Z. A.
name: Qasim, U.
name: Khan, M. A.
name: Latif, K.
name: Javaid, A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: Wireless Multi-hop Networks (WMhNs) provide users with the facility to communicate while moving with whatever the node speed, the node density and the number of traffic flows they want, without any unwanted delay and/or disruption. This paper contributes Linear Programming models (LP_models) for WMhNs. In WMhNs, different routing protocols are used to facilitate users demand(s). To practically examine constraints of respective LP_models over different routing techniques, we select three proactive routing protocols; Destination Sequence Distance Vector (DSDV), Fish-eye State Routing (FSR) and Optimized Link State Routing (OLSR). These protocols are simulated in two important scenarios regarding to user demands; mobilities and different network flows. To evaluate the performance, we further relate the protocols strategy effects on respective constraints in selected network scenarios.
Hamiltonian engineering of spin-orbit coupled fermions in a Wannier-Stark optical lattice clock
Creators: name: Aeppli, Alexander
name: Chu, Anjun
name: Bothwell, Tobias
name: Kennedy, Colin J.
name: Kedar, Dhruv
name: He, Peiru
name: Rey, Ana Maria
name: Ye, Jun
Publisher: name: arXiv
Year: 2022
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: Engineering a Hamiltonian system with tunable interactions provides opportunities to optimize performance for quantum sensing and explore emerging phenomena of many-body systems. An optical lattice clock based on partially delocalized Wannier-Stark states in a gravity-tilted shallow lattice supports superior quantum coherence and adjustable interactions via spin-orbit coupling, thus presenting a powerful spin model realization. The relative strength of the on-site and off-site interactions can be tuned to achieve a zero density shift at a `magic' lattice depth. This mechanism, together with a large number of atoms, enables the demonstration of the most stable atomic clock while minimizing a key systematic uncertainty related to atomic density. Interactions can also be maximized by driving off-site Wannier-Stark transitions, realizing a ferromagnetic to paramagnetic dynamical phase transition.
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 4, Nr. 3 (1975)
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: Inhalt
 PRO ARCHAEOLOGIA. Wanderausstellung der Bodendenkmalpflege...89-93
 St. Achatius in Grünsfeldshausen. Bericht über die Instandsetzung...94-100
 Ausgrabungen des frühmittelalterlichen Ortsgräberfeldes von Pleidelsheim, Kreis Ludwigsburg...101-106
 Die Reichsabtei Schuttern. Ergebnisse der Grabungen in den Jahren 1972 bis 1975...107-116
 Alte Glocken im Nordteil der Erzdiözese Freiburg...117-121
 Orgeln — ein wichtiger Zweig der Denkmalpflege...122-124
 Mitteilungen...125-126
 Ausstellungen...127
 Mitteilungen...128
 Personalia...130-131
 Quellennachweis für die Abbildungen ; Die Dienststellen des Landesdenkmalamtes
 Veröffentlichungen des Landesdenkmalamtes
 Zur Erinnerung an Oscar Heck...129
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 4, Nr. 4 (1975)
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: 4. Jahrgang 1975 - Register
 Inhalt
 Umweltschutz und Denkmalpflege...133-140
 Haus ohne Denkmalschutz - Freiwild der Gestaltung?...141-142
 Der Wiederaufbau des Schlosses in Bruchsal...143-148
 Die Restaurierung der Abteikirche in Neresheim...149-154
 Zu einem Lehrpfad im Schönbuch...155-158
 Instandsetzung und Ausbau der ehemaligen Zehntscheuer in Gemmingen, Kreis Heilbronn...159-162
 Zur farbigen Erneuerung der ehemaligen Augustinerkirche in Oberndorf am Neckar...163-166
 Ein Hausgrundriß der Urnenfelderzeit von Mannheim-Vogelstang...167-168
 Das Verwaltungsgericht entscheidet... Abweisung der Löschung des „Schlößle" in Ehingen im Denkmalbuch...169-170
 Ein alter Dachstuhl sucht ein neues Haus...171-174
 [Kleine Arbeitsberichte] Der Osanna-Turm des Überlinger Münsters wird instandgesetzt...175-176
 Mitteilungen...177-178
 Personalia ; Quellennachweis für die Abbildungen...179-180
 Die Dienststellen des Landesdenkmalamtes
 Veröffentlichungen des Landesdenkmalamtes
 [Kleine Arbeitsberichte] Rückblick auf die Ausstellung „Inventur • Stuttgarter Wohnhäuser 1865-1915"...176
Pattern selection in radial displacements of a confined aging viscoelastic fluid
Creators: name: Palak, Palak
name: Parmar, Vaibhav Raj Singh
name: Saha, Debasish
name: Bandyopadhyay, Ranjini
Publisher: name: arXiv
Year: 2022
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: Intricate fluid displacement patterns, arising from the unstable growth of interfacial perturbations, can be driven by fluid viscoelasticity and surface tension. A soft glassy suspension ages, $i.e.$ its mechanical moduli evolve with time, due to the spontaneous formation of suspension microstructures. The shear and time-dependent rheology of an aging suspension can be exploited to generate a wide variety of interfacial patterns during its displacement by a Newtonian fluid. Using video imaging, we report a rich array of interfacial pattern morphologies: dense viscous, dendritic, viscoelastic fracture, flower-shaped, jagged and stable, during the miscible and immiscible displacements of an aging colloidal clay suspension by Newtonian fluids injected into a radial quasi-two-dimensional geometry at different flow rates. We propose a new parameter, the areal ratio, which we define as the fully-developed pattern area normalized by the area of the smallest circle enclosing it. We show that the natural logarithms of the areal ratios uniquely identify the distinct pattern morphologies, such that each pattern can be segregated in a three-dimensional phase diagram spanned by the suspension aging time, the displacing fluid flow rate, and interfacial tension. Besides being of fundamental interest, our results are useful in predicting and controlling the growth of interfaces during fluid displacements.
description: 25 pages, includes supplementary material
K-Theoretic Descendent Series for Hilbert Schemes of Points on Surfaces
Creators: name: Arbesfeld, Noah
Publisher: name: arXiv
Year: 2022
Subjects: subject: Algebraic Geometry (math.AG)
subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: We study the holomorphic Euler characteristics of tautological sheaves on Hilbert schemes of points on surfaces. In particular, we establish the rationality of K-theoretic descendent series. Our approach is to control equivariant holomorphic Euler characteristics over the Hilbert scheme of points on the affine plane. To do so, we slightly modify a Macdonald polynomial identity of Mellit.
Polka-dotted treasures: Revising a clade of ascidian- and bivalve-associated shrimps (Caridea: Palaemonidae)
Creators: name: Gier, Werner de
name: Fransen, Charles H.J.M.
Publisher: name: Brill Online
Year: 2023
Subjects: Zoology not elsewhere classified

description: Most marine shrimp species of the family Palaemonidae are characterized by symbiotic associations with hosts that belong to a wide range of invertebrate phyla. One clade of related endosymbiotic species has evolved to live inside the branchial chambers of ascidians and the mantle cavities of bivalve molluscs. The phylogeny of this clade (comprising 15 bivalve-associated species in the genera Anchistus, Neoanchistus, and Paranchistus, and three species of ascidian-associated species in the genus Dasella) is the topic of the present study, which is based on both morphological and molecular data. A concatenated phylogeny reconstruction was built by using the markers COI and 16S. With the help of a total evidence approach (with a scored morphological datamatrix), species could be added for which no molecular data were available. An ancestral character state analysis was performed to detect host switches. In contrast to another endosymbiotic clade, the ancestral host state was found to be slightly in favour of bivalves. The phylogenetic relevance of morphological features is discussed with a focus on a tympanal organ located in the major chelipeds of some bivalve-associated shrimp species. This little-known anatomical structure is illustrated by SEM and µCT scans. Its possible function is discussed. In the phylogeny reconstructions, both Anchistus and Paranchistus were found to be polyphyletic. They were reclassified to obtain a more natural classification: Anchistus custoides and Anchistus custos were transferred to the resurrected genus Ensiger. Paranchistus liui, P. nobilii, P. pycnodontae, and P. spondylis were transferred to Polkamenes gen. nov. Anchistus pectinis and P. ornatus were transferred to Tympanicheles gen. nov. Per genus, a key to the species is provided.
Controlling magnetic frustration in 1T-TaS$_2$ via Coulomb engineered long-range interactions
Creators: name: Chen, Guangze
name: Rösner, Malte
name: Lado, Jose L.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Magnetic frustrations in two-dimensional materials provide a rich playground to engineer unconventional phenomena such as non-collinear magnetic order and quantum spin-liquid behavior. However, despite intense efforts, a realization of tunable frustrated magnetic order in two-dimensional materials remains an open challenge. Here we propose Coulomb engineering as a versatile strategy to tailor magnetic ground states in layered materials. Using the proximal quantum spin-liquid candidate 1T-TaS$_2$ as an example, we show how long-range Coulomb interactions renormalize the low energy nearly flat band structure, leading to a Heisenberg model which decisively depends on the Coulomb interactions. Based on this, we show that superexchange couplings in the material can be precisely tailored by means of environmental dielectric screening, ultimately allowing to externally drive the material towards the quantum spin-liquid regime. Our results put forward Coulomb engineering as a powerful tool to manipulate magnetic properties of van der Waals materials.
description: 6 pages, 3 figures
A Trust-based Recruitment Framework for Multi-hop Social Participatory Sensing
Creators: name: Amintoosi, Haleh
name: Kanhere, Salil S.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Social and Information Networks (cs.SI)
subject: Physics and Society (physics.soc-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: The idea of social participatory sensing provides a substrate to benefit from friendship relations in recruiting a critical mass of participants willing to attend in a sensing campaign. However, the selection of suitable participants who are trustable and provide high quality contributions is challenging. In this paper, we propose a recruitment framework for social participatory sensing. Our framework leverages multi-hop friendship relations to identify and select suitable and trustworthy participants among friends or friends of friends, and finds the most trustable paths to them. The framework also includes a suggestion component which provides a cluster of suggested friends along with the path to them, which can be further used for recruitment or friendship establishment. Simulation results demonstrate the efficacy of our proposed recruitment framework in terms of selecting a large number of well-suited participants and providing contributions with high overall trust, in comparison with one-hop recruitment architecture.
description: accepted in DCOSS 2013
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 7, Nr. 2 (1978)
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: Inhalt
 Altstadtsatzungen als flankierende Maßnahme zum Schutze von Gesamtanlagen gemäß § 19 Denkmalschutzgesetz. Dargestellt am Beispiel von Ladenburg im Rhein-Neckar-Kreis...53-60
 Der Marktplatz von Weikersheim...61-67
 Die Erneuerung der Pfarrkirche St.Leonhard in Stödtlen...68-70
 Schachtöfen...71-74
 Zur Restaurierung eines Bauern-Kalkofens auf der Gemarkung Elztal-Dallau im Neckar-Odenwald-Kreis...75-78
 Archäologische Untersuchungen in Stettfeld (Gemeinde Ubstadt-Weiher, Lkr. Karlsruhe)...79-81
 Eine mittelalterliche Altarplatte mit Beschriftungen aus der ehemaligen Stiftskirche St.Peter und Paul in Reichenau-Niederzell...82-85
 Maulbronn 1178 - 1978. Eine Ausstellung zu 800-Jahr-Feier der Weihe der Klosterkirche...86
 Appell von Granada. Fünftes Symposion des Europarates zum Thema „Das bauliche Erbe Europas", Granada 1977...87-89
 Personalia...89
 A. Tschira, P. Marzolff, J. Holz et al., Die ehemalige Benediktinerabtei Schwarzach, Karlsruhe 1977...90
 Renate Neumüllers-Klauser u. Anneliese Seeliger-Zeiss (Hrsg.), Die Inschriften des Rhein-Neckar-Kreises (II). Ehemaliger Landkreis Mannheim. Ehemaliger Landkreis Sinsheim (nördlicher Teil), München 1977...91
 Torsten Gebhard: Alte Bauernhäuser. Von den Halligen bis zu den Alpen, München 1977...91-92
 Mitteillungen ; Quellennachweis für die Abbildungen...92
 Veröffentlichungen des Landesdenkmalamtes
 Die Dienststellen des Landesdenkmalamtes
The classical limit of quantum optics: not what it seems at first sight
Creators: name: Aharonov, Yakir
name: Botero, Alonso
name: Nussinov, Shmuel
name: Popescu, Sandu
name: Tollaksen, Jeff
name: Vaidman, Lev
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: What is light and how to describe it has always been a central subject in physics. As our understanding has increased, so have our theories changed: Geometrical optics, wave optics and quantum optics are increasingly sophisticated descriptions, each referring to a larger class of phenomena than its predecessor. But how exactly are these theories related? How and when wave optics reduces to geometric optics is a rather simple problem. Similarly, how quantum optics reduces to wave optics has been considered to be a very simple business as well. It's not so. As we show here the classical limit of quantum optics is a far more complicated issue; it is in fact dramatically more involved and it requires a complete revision of all our intuitions. The revised intuitions can then serve as a guide to finding novel quantum effects.
description: 4 pages, 2 figures
Symbiotic bacterial network structure involved in carbon and nitrogen metabolism of wood-utilizing insect larvae
Creators: name: Miyamoto, Hirokuni
name: Asano, Futo
name: Ishizawa, Koutarou
name: Suda, Wataru
name: Miyamoto, Hisashi
name: Tsuji, Naoko
name: Matsuura, Makiko
name: Tsuboi, Arisa
name: Ishii, Chitose
name: Nakaguma, Teruno
name: Shindo, Chie
name: Kato, Tamotsu
name: Kurotani, Atsushi
name: Shima, Hideaki
name: Moriya, Shigeharu
name: Hattori, Masahira
name: Kodama, Hiroaki
name: Ohno, Hiroshi
name: Kikuchi, Jun
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantitative Methods (q-bio.QM)
subject: FOS: Biological sciences

description: Effective biological utilization of wood biomass is necessary worldwide. Since several insect larvae can use wood biomass as a nutrient source, studies on their digestive mechanism are expected to speculate a novel rule in wood biomass processing. Here, the relationships of inhabitant bacteria involved in carbon and nitrogen metabolism in the intestine of beetle larvae, an insect model, are investigated. Bacterial analysis of larval feces showed enrichment of members of which could include candidates for plant growth promotion, nitrogen cycle modulation, and/or environmental protection. The abundances of these bacteria were not necessarily positively correlated with the abundance in the habitat, suggesting that they might be selectively enriched in the intestines of larvae. Further association analysis predicted that carbon and nitrogen metabolism in the intestine was affected by the presence of the other common bacteria, the populations of which were not remarkably altered in the habitat and feces. Based on hypotheses targeting these selected bacterial groups, structural estimation modeling analyses statistically suggested that their metabolism of carbon and nitrogen and their stable isotopes, δ13C and δ15N, may be associated with fecal enriched bacteria and other common bacteria. In addition, other causal inference analyses, such as causal mediation analysis, linear non-Gaussian acyclic model (LiNGAM), and BayesLiNGAM, did not necessarily affirm the existence of prominent bacteria involved in metabolism, implying its importance as the bacterial groups for metabolism rather than a remarkable bacterium. Thus, these observations highlight a multifaceted view of symbiotic bacterial groups utilizing carbon and nitrogen from wood biomass in insect larvae as a cultivator of potentially environmentally beneficial bacteria.
O`ZBEKISTON RESPUBLIKASIDA YOSHLARGA OID DAVLAT SIYOSATI
Creators: name: To`xtasinova, Ruxshona
Publisher: name: Zenodo
Year: 2023

description: Ushbu maqola yoshlarga yaratilgan shart sharoitlar va ularni qonun oldidagi tengliklari va erkinlikari, qonun bilan mustahkamlanib qo`yilgan huquqlari to`g`risida ma`lumot berildi.
Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems
Creators: name: Park, Mingyu
name: Byun, Taejoon
name: Choi, Yunja
Publisher: name: arXiv
Year: 2013
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Testing is a de-facto verification technique in industry, but insufficient for identifying subtle issues due to its optimistic incompleteness. On the other hand, model checking is a powerful technique that supports comprehensiveness, and is thus suitable for the verification of safety-critical systems. However, it generally requires more knowledge and cost more than testing. This work attempts to take advantage of both techniques to achieve integrated and efficient verification of OSEK/VDX-based automotive operating systems. We propose property-based environment generation and model extraction techniques using static code analysis, which can be applied to both model checking and testing. The technique is automated and applied to an OSEK/VDX-based automotive operating system, Trampoline. Comparative experiments using random testing and model checking for the verification of assertions in the Trampoline kernel code show how our environment generation and abstraction approach can be utilized for efficient fault-detection.
description: In Proceedings FTSCS 2012, arXiv:1212.6574
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 7, Nr. 4 (1978)
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: Inhalt
 Denkmalschutz und Städtebau...144-149
 Die katholische Pfarrkirche St. Martin in Kirchdorf, Gemeinde Brigachtal...150-155
 Zwei Ludwigsburger Bürgerhäuser des 19. Jahrhunderts...156-163
 Kommentar im Grunde überflüssig!...164
 Die Grabhügel der ,,Haid". Zum Untergang einer archäologischen Landschaft...165-167
 Das frühkeltische Fürstengrab von Eberdingen-Hochdorf, Landkreis Ludwigsburg...168-175
 Die Bedeutung des Vermessungswesens in der archäologischen Denkmalpflege...176-183
 ICOMOS-Kongreß in Moskau...183-184
 Abbruchkandidaten mit Zukunft (2). Regierungsbezirk Karlsruhe...185-190
 Personalia ; Quellennachweis für die Abbildungen...191-192
 Veröffentlichungen des Landesdenkmalamtes
 Die Dienststellen des Landesdenkmalamtes
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 8, Nr. 1 (1979)
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: Inhalt
 Die Klinik für Nerven- und Gemütskranke in Tübingen...1-7
 Zur geplanten Sicherung der Ruine des Englischen Baues auf dem Heidelberger Schloß...8-11
 Methoden zur Untersuchung verputzter Fachwerkhäuser...12-18
 Der Landgraben bei Heimsheim im Enzkreis oder: Ein ganz „normaler" Fall...19-23
 Eine Untersuchung im Kastell Waldmössingen, Kreis Rottweil...24-26
 Das römische Landgut bei Lauffen...27-35
 Abbruchkandidaten mit Zukunft (3). Regierungsbezirk Stuttgart...36-40
 Die Südkirche in Esslingen. Rekonstruktion der ursprünglichen Farbigkeit im Kircheninneren...41
 Adelheid Beck...42
 Mitteilungen ; Quellennachweis für Abbildungen...43-44
 Veröffentlichungen des Landesdenkmalamtes
 Die Dienststellen des Landesdenkmalamtes
XMM-Newton/RGS Detection of the Missing Interstellar OVII Kalpha Absorption Line in the Spectrum of Cyg X-2
Creators: name: Cabot, Samuel H. C.
name: Wang, Q. Daniel
name: Yao, Yangsen
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: The hot interstellar medium is an important part of the Galactic ecosystem and can be effectively characterized through X-ray absorption line spectroscopy. However, in a study of the hot medium using the accreting neutron star X-ray binary, Cyg X-2, as a background light source, a mystery came about when the putatively strong OVII Kalpha line was not detected in Chandra grating observations, while other normally weaker lines such as OVII Kbeta as well as OVI and OVIII Kalpha are clearly present (Yao et al. 2009). We have investigated the grating spectra of Cyg X-2 from 10 XMM-Newton observations, in search of the missing line. We detect it consistently in nine of these observations, but the line is absent in the remaining one observation or is inconsistent with the detection in others at a 4sigma confidence level. This absence of the line resembles that seen in the Chandra observations. Similarly, the OVI Kalpha line is found to disappear occasionally, but not in concert with the variation of the OVII Kalpha line. All these variations are most likely due to the presence of changing OVII and OVI Kalpha emission lines of Cyg X-2, which are blurred together with the absorption ones in the X-ray spectra. A re-examination of the Chandra grating data indeed shows evidence for a narrow emission line slightly off the OVI Kalpha absorption line. We further show that narrow NV emission lines with varying centroids and fluxes are present in far-UV spectra from the Cosmic Origins Spectrograph aboard the Hubble Space Telescope. These results provide new constraints on the accretion around the neutron star and on the X-ray-heating of the stellar companion. The understanding of these physical processes is also important to the fidelity of using such local X-ray binaries for interstellar absorption line spectroscopy.
description: 9 pages, accepted for publication in MNRAS
E/B mode decomposition of HSC-Y1 cosmic shear using COSEBIs: cosmological constraints and comparison with other two-point statistics
Creators: name: Hamana, Takashi
name: Hikage, Chiaki
name: Oguri, Masamune
name: Shirasaki, Masato
name: More, Surhud
Publisher: name: arXiv
Year: 2022
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We perform a cosmic shear analysis of HSC survey first-year data (HSC-Y1) using Complete Orthogonal Sets of E/B-Integrals (COSEBIs) to derive cosmological constraints. We compute E/B-mode COSEBIs from cosmic shear two-point correlation functions measured on an angular range of $4\arcmin<θ<180\arcmin$. We perform the standard Bayesian likelihood analysis for cosmological inference from the measured E-mode COSEBIs, including contributions from intrinsic alignments of galaxies as well as systematic effects from point spread function model errors, shear calibration uncertainties, and source redshift distribution errors. We adopt a covariance matrix derived from realistic mock catalogs constructed from full-sky gravitational lensing simulations that fully take account of the survey geometry and measurement noise. For a flat $Λ$ cold dark matter model, we find $S_8 \equiv σ_8\sqrt{Ω_m/0.3}=0.809_{-0.026}^{+0.036}$. We carefully check the robustness of the cosmological results against astrophysical modeling uncertainties and systematic uncertainties in measurements, and find that none of them has a significant impact on the cosmological constraints. We also find that the measured B-mode COSEBIs are consistent with zero. We examine, using mock HSC-Y1 data, the consistency of our $S_8$ constraints with those derived from the other cosmic shear two-point statistics, the power spectrum analysis by Hikage et al (2019) and the two-point correlation function analysis by Hamana et al (2020), which adopt the same HSC-Y1 shape catalog, and find that all the $S_8$ constraints are consistent with each other, although expected correlations between derived $S_8$ constraints are weak.
description: 23 pages, 19 figures, accepted for PASJ. arXiv admin note: substantial text overlap with arXiv:1906.06041
POTATO: exPlainable infOrmation exTrAcTion framewOrk
Creators: name: Kovács, Ádám
name: Gémes, Kinga
name: Iklódi, Eszter
name: Recski, Gábor
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computation and Language (cs.CL)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: We present POTATO, a task- and languageindependent framework for human-in-the-loop (HITL) learning of rule-based text classifiers using graph-based features. POTATO handles any type of directed graph and supports parsing text into Abstract Meaning Representations (AMR), Universal Dependencies (UD), and 4lang semantic graphs. A streamlit-based user interface allows users to build rule systems from graph patterns, provides real-time evaluation based on ground truth data, and suggests rules by ranking graph features using interpretable machine learning models. Users can also provide patterns over graphs using regular expressions, and POTATO can recommend refinements of such rules. POTATO is applied in projects across domains and languages, including classification tasks on German legal text and English social media data. All components of our system are written in Python, can be installed via pip, and are released under an MIT License on GitHub.
description: 4 pages
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 8, Nr. 3 (1979)
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: Inhalt
 Das Haus der Studentenverbindung Normannia in Tübingen, Stauffenbergstraße 21...97-101
 [Denkmalpflege und Restaurierung] Kirchenmalertagung zum Thema: Probleme der Befunde und der Raumfassung...102-104
 Tagung ,,Historische Putze am Außenbau"...105
 [Tagung ,,Historische Putze am Außenbau"] Instandsetzungsmaßnahmen am Außenbau — Probleme, Möglichkeiten, Methoden...105-108
 [Tagung ,,Historische Putze am Außenbau"] Aspekte der Farbigkeit in der Architektur des 19. Jahrhunderts ; Liste der Tagungsthemen...108-114
 Brunnenfunde aus dem römischen Kastelldorf bei Buch, Gemeinde Rainau, Ostalbkreis...115-120
 Das späthallstattzeitliche Fürstengrab von Hochdorf. Wissenschaftliches Kolloquium vom 15. bis zum 18. Mai 1979 in Stuttgart...121-122
 Von alten Häusern und neuem Bauen. Unsere gebaute Umwelt im Kinderbuch - eine kleine Übersicht...123-125
 Veränderungen. Soll unser Dorf noch schöner werden?...126-127
 Veröffentlichungen des Landesdenkmalamtes
 Die Dienststellen des Landesdenkmalamtes
 Hans Frei und Günther Krähe, Führer zu archäologischen Denkmälern in Bayern, Schwaben, Band 2: Archäologische Wanderungen im Ries, Stuttgart und Aalen 1979...127
 Neuerscheinung...127-128
 Mitteilung ; Quellennachweis für die Abbildungen...128
Development of a Device for Remote Monitoring of Heart Rate and Body Temperature
Creators: name: Rahman, Mohammad Ashekur
name: Barai, Atanu
name: Islam, Md. Asadul
name: Hashem, M. M. A
Publisher: name: arXiv
Year: 2013
Subjects: subject: Other Computer Science (cs.OH)
subject: FOS: Computer and information sciences

description: We present a new integrated, portable device to provide a convenient solution for remote monitoring heart rate at the fingertip and body temperature using Ethernet technology and widely spreading internet. Now a days, heart related disease is rising. Most of the times in these cases, patients may not realize their actual conditions and even it is a common fact that there are no doctors by their side, especially in rural areas, but now a days most of the diseases are curable if detected in time. We have tried to make a system which may give information about one's physical condition and help him or her to detect these deadly but curable diseases. The system gives information of heart rate and body temperature simultaneously acquired on the portable side in real time and transmits results to web. In this system, the condition of heart and body temperature can be monitored from remote places. Eventually, this device provides a low cost, easily accessible human health monitor solution bridging the gaps between patients and doctors.
title: Denkmalpflege in Baden-Württemberg – Nachrichtenblatt der Landesdenkmalpflege, Bd. 8, Nr. 4 (1979)
Creators: name: Denkmalpflege In Baden-Württemberg – Nachrichtenblatt Der Landesdenkmalpflege
Publisher: name: University Library Heidelberg
Year: 2014

description: Inhalt
 Die Stadt Trochtelfingen als Gesamtanlage...129-135
 Historische Grenzsteine...136-138
 Zur Geschichte der neugotischen Spitalfassade in Bad Waldsee...139-147
 Reichenau-Forschung der Universität Tokio...148
 Grabungen in einer römischen Gutsanlage bei Stein, Gemeinde Hechingen, Zollernalbkreis...149-154
 Das Grabungsschutzgebiet „Versteinerungen Holzmaden"...155-158
 8. Jahrgang 1979 - Register
 Kulturdenkmäler der Schiene...159-164
 Die römische Thermenruine von Badenweiler und die Probleme ihrer Konservierung...165-169
 Malerei an Scheunentoren...170-176
 [Veränderungen] Ortsgeschichte nur noch im Foto?...177-179
 [Veränderungen] Unmerklich wandelt sich das Stadtgesicht. Vom schwierigen Umgang mit historischen Fassaden in der alten Stadt....180-181
 Personalia...182
 Veröffentlichungen des Landesdenkmalamtes
 Die Dienststellen des Landesdenkmalamtes
Recordings for vowel length study
Creators: name: Shiroma, Toyo
name: Lau-Preechathammarach, Raksit Tyler
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2024
Subjects: Ssabu-muni language

description: 1 WAV file, 1 EAF file. Recorded words for study on vowel length in Ssabu-muni.
Genetic algorithms and solid state NMR pulse sequences
Creators: name: Bechmann, Matthias
name: Clark, John
name: Sebald, Angelika
Publisher: name: arXiv
Year: 2013
Subjects: subject: Computational Engineering, Finance, and Science (cs.CE)
subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: The use of genetic algorithms for the optimisation of magic angle spinning NMR pulse sequences is discussed. The discussion uses as an example the optimisation of the C7 dipolar recoupling pulse sequence, aiming to achieve improved efficiency for spin systems characterised by large chemical shielding anisotropies and/or small dipolar coupling interactions. The optimised pulse sequence is found to be robust over a wide range of parameters, requires only minimal a priori knowledge of the spin system for experimental implementations with buildup rates being solely determined by the magnitude of the dipolar coupling interaction, but is found to be less broadbanded than the original C7 pulse sequence. The optimised pulse sequence breaks the synchronicity between r.f. pulses and sample spinning.