cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Graph-Based Generative Representation Learning of Semantically and Behaviorally Augmented Floorplans
Creators: name: Azizi, Vahid
name: Usman, Muhammad
name: Zhou, Honglu
name: Faloutsos, Petros
name: Kapadia, Mubbasir
Publisher: name: arXiv
Year: 2020
Subjects: subject: Machine Learning (cs.LG)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Floorplans are commonly used to represent the layout of buildings. In computer aided-design (CAD) floorplans are usually represented in the form of hierarchical graph structures. Research works towards computational techniques that facilitate the design process, such as automated analysis and optimization, often use simple floorplan representations that ignore the semantics of the space and do not take into account usage related analytics. We present a floorplan embedding technique that uses an attributed graph to represent the geometric information as well as design semantics and behavioral features of the inhabitants as node and edge attributes. A Long Short-Term Memory (LSTM) Variational Autoencoder (VAE) architecture is proposed and trained to embed attributed graphs as vectors in a continuous space. A user study is conducted to evaluate the coupling of similar floorplans retrieved from the embedding space with respect to a given input (e.g., design layout). The qualitative, quantitative and user-study evaluations show that our embedding framework produces meaningful and accurate vector representations for floorplans. In addition, our proposed model is a generative model. We studied and showcased its effectiveness for generating new floorplans. We also release the dataset that we have constructed and which, for each floorplan, includes the design semantics attributes as well as simulation generated human behavioral features for further study in the community.
Detecting MeV Gauge Bosons With High-Energy Neutrino Telescopes
Creators: name: Hooper, Dan
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: If annihilating MeV-scale dark matter particles are responsible for the observed 511 keV emission from the Galactic bulge, then new light gauge bosons which mediate the dark matter annihilations may have other observable consequences. In particular, if such a gauge boson exists and has even very small couplings to Standard Model neutrinos, cosmic neutrinos with ~TeV energies will scatter with the cosmic neutrino background through resonant exchange, resulting in a distinctive spectral absorption line in the high-energy neutrino spectrum. Such a feature could potentially be detected by future high-energy neutrino telescopes.
description: 4 pages, 3 figures
Atmospheric neutrino oscillations with Super-Kamiokande and prospects for SuperK-Gd
Creators: name: Fernandez, Pablo
Publisher: name: Zenodo
Year: 2021
Subjects: Neutrino Masses and Mixing – Oscillations

description: Parallel Contributed Talk at the
 "XIX International Workshop on Neutrino Telescopes"
 on line - 18-26 February, 2021
description: for the Super-Kamiokande Collaboration
Kleber, Fred
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1826

description: Ort: Basel
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Towards One-Dollar Robots: An Integrated Design and Fabrication Strategy for Electromechanical Systems
Creators: name: Yan, Wenzhong
name: Mehta, Ankur
Publisher: name: arXiv
Year: 2020
Subjects: subject: Robotics (cs.RO)
subject: Applied Physics (physics.app-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: To improve the accessibility of robotics, we propose a design and fabrication strategy to build low-cost electromechanical systems for robotic devices. Our method, based on origami-inspired cut-and-fold and E-textiles techniques, aims at minimizing the resources for robot creation. Specifically, we explore techniques to create robots with the resources restricted to single-layer sheets (e.g. polyester film) and conductive sewing threads. To demonstrate our strategy's feasibility, these techniques are successfully integrated into an electromechanical oscillator (about 0.40 USD), which can generate electrical oscillation under constant-current power and potentially be used as a simple robot controller in lieu of additional external electronics.
description: This paper has been accepted for publication in Robotica. 18 pages, 9 figures
Evidence for Decay of Turbulence by MHD Shocks in Molecular Clouds via CO Emission
Creators: name: Larson, Rebecca L.
name: Evans, Neal J.
name: Green, Joel D.
name: Yang, Yao-Lun
Publisher: name: arXiv
Year: 2015
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We utilize observations of sub-millimeter rotational transitions of CO from a Herschel Cycle 2 open time program ("COPS", PI: J. Green) to identify previously predicted turbulent dissipation by magnetohydrodynamic (MHD) shocks in molecular clouds. We find evidence of the shocks expected for dissipation of MHD turbulence in material not associated with any protostar. Two models fit about equally well: model 1 has a density of 10$^{3}$ cm$^{-3}$, a shock velocity of 3 km s$^{-1}$, and a magnetic field strength of 4 $μ$G; model 2 has a density of 10$^{3.5}$ cm$^{-3}$, a shock velocity of $2$ km s$^{-1}$, and a magnetic field strength of 8 $μ$G. Timescales for decay of turbulence in this region are comparable to crossing times. Transitions of CO up to $J$ of 8, observed close to active sites of star formation, but not within outflows, can trace turbulent dissipation of shocks stirred by formation processes. Although the transitions are difficult to detect at individual positions, our Herschel-SPIRE survey of protostars provides a grid of spatially-distributed spectra within molecular clouds. We averaged all spatial positions away from known outflows near seven protostars. We find significant agreement with predictions of models of turbulent dissipation in slightly denser (10$^{3.5}$ cm$^{-3}$) material with a stronger magnetic field (24 $μ$G) than in the general molecular cloud.
description: 6 pages, 8 figures. Accepted to The Astrophysical Journal
Built-in jitter test schemes for mixed-signal integrated circuits
Creators: name: Dalmia, Kamal
Publisher: name: University of British Columbia
Year: 2009

description: Recent years have seen an unparalleled growth in the speed and complexity of VLSI circuits. Analog and mixed-signal circuits are going through a resurgence and continue to pose new challenges to VLSI test engineers. The state-of-the-art in the mixed-signal and analog test domain is to use application-specific test methodologies to tackle individual problems. The same is true for testing the high-speed clock signals used in present day integrated circuits (ICs) for their analog attributes. Jitter is one of the ways of quantifying the accuracy of a clock signal. Present day digital automatic test equipment (ATE) does not possess enough resolution to be suitable for jitter tests of high-speed clock signals such as SONET's (Synchronous Optical Network) 155.52 MHz and 622.08 MHz. In this thesis, the jitter test problem of high-speed clocks is approached with a built-in self-test (BIST) perspective. A BIST scheme is presented for the jitter tolerance test of clock and data recovery units typically found in data transceiver ICs. A cost-effective scheme based on the utilization of existing components for test purposes is presented. Some possible variations of the presented scheme are discussed. A second BIST scheme, focused on jitter testing of clock signals in a sampling-based digital signal processing (DSP) environment, is presented. Again, the focus is on the re-use of typically existing blocks on such ICs.
Summa theologiae, prima pars secundae partis
Creators: name: Thomas
Publisher: name: [s.n.]
Year: 1450

description: Thomas de Aquino
description: Bl. 58a ist ein kleineres Blättchen mit beschnittenem Text auf der Vorderseite - möglicherweise ein mit eingebundenes Lesezeichen.
description: Öffentliche Bibliothek der Universität Basel
description: Lateinisch
description: Die Herkunft des Bandes ist nicht geklärt, die Prägung der Deckel lässt allerdings die Kartause Basel vermuten.
description: Verzeichnung=Description=Inventaire Dez. 2009 Titel, Jahr und Signatur nach: unpublizierte Beschreibung
description: Verzeichnung=Description=Inventaire Sept. 2014 HAN-Katalogisierungsregeln Minimalaufnahme nach: unpublizierte Beschreibung
description: Verzeichnung=Description=Inventaire Oktober 2023 HAN-Katalogisierungsregeln Nach Autopsie und ungedruckter Beschreibung ergänzte Minimalaufnahme
description: Digitalisierung=Digitization=Numérisation November 2023 TIFF
description: Erschliessungsniveau Minimalniveau
Muralt, Hans Conrad, & Sohn
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1826

description: Ort: Zürich
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Small eta-N scattering lengths favour eta-d and eta-alpha states
Creators: name: Kelkar, N. G.
name: Khemchandani, K. P.
name: Jain, B. K.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: Unstable states of the eta meson and the 3He nucleus predicted using the time delay method were found to be in agreement with a recent claim of eta-mesic 3He states made by the TAPS collaboration. Here, we extend this method to a speculative study of the unstable states occurring in the eta-d and eta-4He elastic scattering. The T-matrix for eta-4He scattering is evaluated within the Finite Rank Approximation (FRA) of few body equations. For the evaluation of time delay in the eta-d case, we use a parameterization of an existing Faddeev calculation and compare the results with those obtained from FRA. With an eta-N scattering length, $a_{ηN} = (0.42, 0.34)$ fm, we find an eta-d unstable bound state around -16 MeV, within the Faddeev calculation. A similar state within the FRA is found for a low value of $a_{ηN}$, namely, $a_{ηN} = (0.28, 0.19)$ fm. The existence of an eta-4He unstable bound state close to threshold is hinted by $a_{ηN} = (0.28, 0.19)$ fm, but is ruled out by large scattering lengths.
description: 21 pages, LaTex, 7 Figures
Discovery of the acetyl cation, CH3CO+, in space and in the laboratory
Creators: name: Cernicharo, J.
name: Cabezas, C.
name: Bailleux, S.
name: Margules, L.
name: Motiyenko, R.
name: Zou, L.
name: Endo, Y.
name: Bermudez, C.
name: Agundez, M.
name: Marcelino, N.
name: Lefloch, B.
name: Tercero, B.
name: de Vicente, P.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Using the Yebes 40m and IRAM 30m radiotelescopes, we detected two series of harmonically related lines in space that can be fitted to a symmetric rotor. The lines have been seen towards the cold dense cores TMC-1, L483, L1527, and L1544. High level of theory ab initio calculations indicate that the best possible candidate is the acetyl cation, CH3CO+, which is the most stable product resulting from the protonation of ketene. We have produced this species in the laboratory and observed its rotational transitions Ju = 10 up to Ju = 27. Hence, we report the discovery of CH3CO+ in space based on our observations, theoretical calculations, and laboratory experiments. The derived rotational and distortion constants allow us to predict the spectrum of CH3CO+ with high accuracy up to 500 GHz. We derive an abundance ratio N(H2CCO)/N(CH3CO+) = 44. The high abundance of the protonated form of H2CCO is due to the high proton affinity of the neutral species. The other isomer, H2CCOH+, is found to be 178.9 kJ/mol above CH3CO+. The observed intensity ratio between the K=0 and K=1 lines, 2.2, strongly suggests that the A and E symmetry states have suffered interconversion processes due to collisions with H and/or H2, or during their formation through the reaction of H3+ with H2CCO.
description: Accepted for publication in A&A Letters
Hyper-Kamiokande Neutrino Beam Oscillation Sensitivities
Creators: name: Dealtry, Tom
Publisher: name: Zenodo
Year: 2021
Subjects: Neutrino Masses and Mixing – Oscillations

description: Parallel Contributed Talk at the
 "XIX International Workshop on Neutrino Telescopes"
 on line - 18-26 February, 2021
description: for the Hyper-Kamiokande collaboration
Neutrino Oscillation Results from the NOvA Experiment
Creators: name: Vallari, Zoya
Publisher: name: Zenodo
Year: 2021
Subjects: Neutrino Masses and Mixing – Oscillations

description: Parallel Contributed Talk at the
 "XIX International Workshop on Neutrino Telescopes"
 on line - 18-26 February, 2021
description: for the NOvA collaboration
Comment: Bayesian Checking of the Second Levels of Hierarchical Models
Creators: name: Evans, M.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Methodology (stat.ME)
subject: FOS: Computer and information sciences

description: We discuss the methods of Evans and Moshonov [Bayesian Analysis 1 (2006) 893--914, Bayesian Statistics and Its Applications (2007) 145--159] concerning checking for prior-data conflict and their relevance to the method proposed in this paper. [arXiv:0802.0743]
description: Published in at http://dx.doi.org/10.1214/07-STS235C the Statistical Science (http://www.imstat.org/sts/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Dynamic Keller-Segel Model of Population Density and Economic Factors: A Simulation Study over a Century
Creators: name: Montgomery, Richard Murdoch
Publisher: name: arXiv
Year: 2024
Subjects: subject: Physics and Society (physics.soc-ph)
subject: FOS: Physical sciences

description: This study presents a computational simulation exploring the complex interactions between population density and economic factors over a 100-year period. Inspired by the Keller-Segel model, traditionally applied in biological contexts, my model adapts this framework to analyze urban and economic dynamics. The simulation employs two coupled partial differential equations to represent the evolution of population density and money concentration in a hypothetical region. Population density is initially uniform, while money concentration begins with a random distribution. The model integrates diffusion processes for both population and money, coupled with a chemotactic response of the population towards areas of higher economic activity. Over the course of the simulation, we observe the emergence of distinct spatial patterns: population clusters forming around economic hubs and the development of wealth concentration in certain areas. These patterns highlight the mutual reinforcement between population density and economic factors. The study provides insights into the dynamics of urban growth, economic disparities, and resource distribution, offering a simplified yet powerful lens through which to view complex socio-economic systems. My findings have implications for urban planning and policy-making, especially in understanding the long-term evolution of cities and economic centers.
description: Keller-Segel Model in Economics Evolution
Merian-Forcart, Jean, Oberst
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1826

description: Ort: Basel
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Larger wavelengths suit the hydrodynamics of carangiform swimmers
Creators: name: Khalid, Muhammad Saif Ullah
name: Wang, Junshi
name: Akhtar, Imran
name: Hemmati, Arman
name: Dong, Haibo
name: Liu, Moubin
Publisher: name: arXiv
Year: 2020
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: The wavelength of undulatory kinematics of fish is an important parameter to determine their hydrodynamic performance. This study focuses on numerical examination of this feature by reconstructing the real physiological model and kinematics of steadily swimmning Jack Fish. We perform three-dimensional numerical simulations for flows over these models composed of the trunk, and dorsal, anal, and caudal fins. Moreover, we prescribe the carangiform-like motion for its undulation for a range of wavelengths. Undulation with larger wavelengths improves the hydrodynamic performance of the carangiform swimmer in terms of better thrust production by the caudal fin, lower drag production on the trunk, and reduced power consumption by the trunk. This coincides with the formation of stronger posterior body vortices and leading-edge vortices with more circulation on the caudal fin. The real kinematics of Jack Fish surpasses the performance of those with prescribed motion owing to the flexibility of the caudal fin.
description: 11 pages, 9 figures
Jordan, Johannes
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1826

description: Ort: Basel
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
A Survey of OH Masers Towards High Mass Protostellar Objects
Creators: name: Edris, K. A.
name: Fuller, G. A.
name: Cohen, R. J .
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present a survey of OH maser emission towards a sample of high mass protostellar objects made using the Nancay and GBT telescopes.OH maser emission was detected towards 63 objects with 36 new detections. There are 56 star-forming regions and 7 OH/IR candidates. There is no evidence that sources with OH masers have a different range of luminosities from the non-maser sources. The results of this survey are compared with previous water and class II methanol maser observations of the same objects. Some of the detected sources are only associated with OH masers and some sources are only associated with the 1720 MHz OH maser line. The velocity range of the maser emission suggests that the water maser sources may be divided into two groups. The detection rates and velocity range of the OH and Class II methanol masers support the idea that there is a spatial association of the OH and Class II methanol masers. The sources span a wide range in R, the ratio of the methanol maser peak flux to OH 1665 MHz maser peak flux, however there are only a few sources with intermediate values of R, 8
description: Accepted for publication in A&A
Junot, Dame
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1826

description: Ort: Vesoul
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Kern-de Croucaz
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1826

description: Ort: Inzlingen
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Computational complexity of distance edge labeling
Creators: name: Knop, Dušan
name: Masařík, Tomáš
Publisher: name: arXiv
Year: 2015
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences
subject: G.2.2; F.2.2

description: The problem of Distance Edge Labeling is a variant of Distance Vertex Labeling (also known as $L_{2,1}$ labeling) that has been studied for more than twenty years and has many applications, such as frequency assignment. The Distance Edge Labeling problem asks whether the edges of a given graph can be labeled such that the labels of adjacent edges differ by at least two and the labels of edges of distance two differ by at least one. Labels are chosen from the set $\{0,1,\dots,λ\}$ for $λ$ fixed. We present a full classification of its computational complexity - a dichotomy between the polynomially solvable cases and the remaining cases which are NP-complete. We characterise graphs with $λ\le 4$ which leads to a polynomial-time algorithm recognizing the class and we show NP-completeness for $λ\ge 5$ by several reductions from Monotone Not All Equal 3-SAT.
description: 21 pages, IWOCA 2015
Moser, Johannes & Co
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1826

description: Ort: Herzogenbuchsee
description: Verzeichnung=Description=Inventaire 05.07.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
The Stefan-Boltzmann law in a small box and the pressure deficit in hot SU(N) lattice gauge theory
Creators: name: Gliozzi, F.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: Astrophysics (astro-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The blackbody radiation in a box L^3 with periodic boundary conditions in thermal equilibrium at a temperature T is affected by finite-size effects. These bring about modifications of the thermodynamic functions which can be expressed in a closed form in terms of the dimensionless parameter LT. For instance, when LT~4 - corresponding to the value where the most reliable SU(N) gauge lattice simulations have been performed above the deconfining temperature T_c - the deviation of the free energy density from its thermodynamic limit is about 5%. This may account for almost half of the pressure deficit observed in lattice simulations at T~ 4 T_c.
description: 9 pages, 2 figures v2:a side remark on the final result and references added
title: Применение метода антиробастного оценивания параметров для кластеризации выборки данных
title: Application of Method of Antirobust Estimation of Parameters for Data Sampling Clustering
Creators: name: Носков, Сергей Иванович
Publisher: name: Издательский центр СурГУ
Year: 2021

description: В работе представлен алгоритм кластеризации данных, основанный на построении линейной регрессионной модели с применением метода антиробастного оценивания параметров. Он обладает свойством равенства числа максимальных по модулю ошибок аппроксимации числу параметров плюс единица. Сформированы три кластера выборки данных при моделировании объема погрузки на железнодорожном транспорте в Российской Федерации на основе статистической информации за 2005–2018 гг.
description: The article presents an algorithm of data clustering based on the construction of linear regression model with application of method of antirobust estimation of parameters. The algorithm has a property of equity of the number of maximum module approximation errors to the number of parameters plus one. Three clusters of data selecting, with modeling of loading volumes at the Russian Federation railways, are formulated based on the statistical data for the period of 2005–2018.
The Mystery of the Asymptotic Quasinormal Modes of Gauss-Bonnet Black Holes
Creators: name: Daghigh, R. G.
name: Kunstatter, G.
name: Ziprick, J.
Publisher: name: arXiv
Year: 2006
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We analyze the quasinormal modes of $D$-dimensional Schwarzschild black holes with the Gauss-Bonnet correction in the large damping limit and show that standard analytic techniques cannot be applied in a straightforward manner to the case of infinite damping. However, by using a combination of analytic and numeric techniques we are able to calculate the quasinormal mode frequencies in a range where the damping is large but finite. We show that for this damping region the famous $\ln(3)$ appears in the real part of the quasinormal mode frequency. In our calculations, the Gauss-Bonnet coupling, $α$, is taken to be much smaller than the parameter $μ$, which is related to the black hole mass.
description: 12 pages and 5 figures
Cross-section measurements in the NOMAD experiment
Creators: name: Petti, R.
Publisher: name: arXiv
Year: 2006
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The NOMAD experiment collected valuable neutrino data samples, matching both the large statistics of massive calorimeters and the reconstruction quality of bubble chambers. This paper describes the recent measurements of neutrino cross-sections on carbon target. The approach followed for cross-section modeling is also explained.
description: Proceedings of the NuInt05 conference, Okayama September 2005
Production of Thermal Axions across the ElectroWeak Phase Transition
Creators: name: Arias-Aragon, Fernando
name: D'Eramo, Francesco
name: Ferreira, Ricardo Z.
name: Merlo, Luca
name: Notari, Alessio
Publisher: name: arXiv
Year: 2020
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Light axions can potentially leave a cosmic background, just like neutrinos. We complete the study of thermal axion production across the electroweak scale by providing a smooth and continuous treatment through the two phases. Focusing on both flavor conserving and violating couplings to third generation quarks, we compute the amount of axions produced via scatterings and decays of thermal bath particles. We perform a model independent analysis in terms of axion effective couplings, and we also make predictions for specific microscopic QCD axion scenarios. This observable effect, parameterized as it is conventional by an effective number of additional neutrinos, is above the $1σ$ sensitivity of future CMB-S4 surveys. Moreover, if one assumes no large hierarchies among dimensionless axion couplings to standard model particles, future axion helioscopes will provide a complementary probe for the parameter region we study.
description: 30 pages, 8 figures
[Ansicht auf die Alte Universitätsbibliothek und das Bernoullianum]
Creators: name: Roschet, Carl
Publisher: name: [s.n.]
Year: 1896
Subjects: Universitätsbibliothek Basel

description: Blick von der Mittleren Strasse auf das Bernoullianum und auf die Alte Universitätsbiblithek, gebaut von Emanuel LaRoche 1986. Signatur von Carl Roschet unten rechts.
description: C. Roschet
description: Öl auf Holz
description: Digitalisierung=Digitization=Numérisation Oktober 2024 TIFF
Is adaptation to human motion necessary to change the apparent speed of locomotion?
Creators: name: Sharman, Rebecca
name: Mather, George
Publisher: name: F1000Research
Year: 2015

description: Adaptation to videos of human locomotion (recorded at the London Marathon) affects observers’ subsequent perception of human locomotion speed; normal speed test stimuli are perceived as being played in slow-motion after adaptation to fast-forward stimuli and conversely are perceived as being played in fast-forward after adaptation to slow-motion stimuli. In this study we investigated whether the presence of recognisable human motion in the adapting stimulus is necessary for this effect to occur. The adapting stimuli were spatially scrambled; horizontal pixel rows were randomly shuffled. The same shuffled order was used for all frames preserving horizontal motion information, but ensuring no human form could be recognised. Results showed that the after-effect persisted despite spatially scrambling the adapting stimuli; human motion is not a necessary requirement. The after-effect seems to be driven by adaptation in relatively low-level visual channels rather than the high-level processes that encode human motion.
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
Creators: name: Sprenger, Christoph
name: Klenze, Tobias
name: Eilers, Marco
name: Wolf, Felix A.
name: Müller, Peter
name: Clochard, Martin
name: Basin, David
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Lighthouse projects such as CompCert, seL4, IronFleet, and DeepSpec have demonstrated that full verification of entire systems is feasible by establishing a refinement relation between an abstract system specification and an executable implementation. Existing approaches however impose severe restrictions on either the abstract system specifications due to their limited expressiveness or versatility, or on the executable code due to their reliance on suboptimal code extraction or inexpressive program logics. We propose a novel methodology that combines the compositional refinement of abstract, event-based models of distributed systems with the verification of full-fledged program code using expressive separation logics, which support features of realistic programming languages like mutable heap data structures and concurrency. The main technical contribution of our work is a formal framework that soundly relates event-based system models to program specifications in separation logics, such that successful verification establishes a refinement relation between the model and the code. We formalized our framework, Igloo, in Isabelle/HOL. Our framework enables the sound combination of tools for protocol development with existing program verifiers. We report on three case studies, a leader election protocol, a replication protocol, and a security protocol, for which we refine formal requirements into program specifications (in Isabelle/HOL) that we implement in Java and Python and prove correct using the VeriFast and Nagini tools.
Is this the end of RNA-Seq alignment
Creators: name: Robert, Christelle
name: Watson, Mick
Publisher: name: F1000Research
Year: 2015

description: Accurate quantification of gene expression from RNA-Seq data is a complex problem confounded by mult-mapped reads, gene families and overlapping annotations.  Using simulated data, we discuss results from alignment-based methods HTSeq and Cufflinks, and alignment free methods Sailfish and Kallisto.  We show that in the presence of good annotation, alignment-free methods are faster and more accurate.
Parameterized complexity of fair deletion problems
Creators: name: Masařík, Tomáš
name: Toufar, Tomáš
Publisher: name: arXiv
Year: 2016
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences

description: Deletion problems are those where given a graph $G$ and a graph property $π$, the goal is to find a subset of edges such that after its removal the graph $G$ will satisfy the property $π$. Typically, we want to minimize the number of elements removed. In fair deletion problems we change the objective: we minimize the maximum number of deletions in a neighborhood of a single vertex. We study the parameterized complexity of fair deletion problems with respect to the structural parameters of the tree-width, the path-width, the size of a minimum feedback vertex set, the neighborhood diversity, and the size of minimum vertex cover of graph $G$. We prove the W[1]-hardness of the fair FO vertex-deletion problem with respect to the first three parameters combined. Moreover, we show that there is no algorithm for fair FO vertex-deletion problem running in time $n^{o(k^{1/3})}$, where $n$ is the size of the graph and $k$ is the sum of the first three mentioned parameters, provided that the Exponential Time Hypothesis holds. On the other hand, we provide an FPT algorithm for the fair MSO edge-deletion problem parameterized by the size of minimum vertex cover and an FPT algorithm for the fair MSO vertex-deletion problem parameterized by the neighborhood diversity
description: 17 pages. The hardness results from v1 were extended to FO logic
Absence of local moments in the kagome metal KV3Sb5 as determined by muon spin spectroscopy
Creators: name: Kenney, Eric M.
name: Ortiz, Brenden R.
name: Wang, Chennan
name: Wilson, Stephen D.
name: Graf, Michael J.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We have carried out muon spin relaxation and rotation measurements on the newly discovered kagome metal KV3Sb5, and find a local field dominated by weak magnetic disorder which we associate with the nuclear moments present, and a modest temperature dependence which tracks the bulk magnetic susceptibility. We find no evidence for the existence of V4+ local moments, suggesting that the physics underlying the recently reported giant unconventional anomalous Hall effect in this material warrants further studies.
description: 9 pages, 2 figures
The role of direct sound spherical harmonics representation in externalization using binaural reproduction
Creators: name: Miller, Eran
name: Rafaely, Boaz
Publisher: name: arXiv
Year: 2024
Subjects: subject: Audio and Speech Processing (eess.AS)
subject: Sound (cs.SD)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: The importance of the information in the direct sound to human perception of spatial sound sources is an ongoing research topic. The classification between direct sound and diffuse or reverberant sound forms the basis of numerous studies in the field of spatial audio. In particular, parametric spatial audio representation methods use this classification and employ signal processing in order to enhance the audio quality at reproduction. However, current literature does not provide information concerning the impact of ideal direct sound representation on externalization, in the context of Ambisonics. This paper aims to assess the importance of the spatial information in the direct sound in the externalization of a sound field when using binaural reproduction. This is done in the spherical harmonics (SH) domain, where an ideal direct sound representation within an otherwise Ambisonics signal is simulated, and its perceived externalization is evaluated in a formal listening test. This investigation leads to the conclusion that externalization of a first order Ambisonics signal may be significantly improved by enhancing the direct sound component, up to a level similar to a third order Ambisonics signal.
Tractatus de psalmo 93 (Fragment)
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 2024

description: Hieronymus
description: Öffentliche Bibliothek der Universität Basel
description: Lateinisch
description: Einbandmakulatur, 1989 abgelöst von UB Basel, Ec VI 6. Vorbesitzer: Johann Jakob Leucht, 1617, vgl. Die Matrikel der Universität Basel, Bd. 3, S. 183 (1616-1617 Nr. 34). Die beiden Stücke sind zwei beschädigte Hälften eines Blatts einer zweispaltig beschriebenen Hs., der Schnitt verläuft im Intercolumnium, vier trapezförmige Ausschnitte ausgehend von den Bünden des ehemaligen Trägerbandes waren Ursache von Textverlust, weitere Stellen im Bund sind schwer lesbar, der grössere, nicht angeklebte Teil der Fragmente jedoch sehr gut erhalten.
description: Steinmann, Martin. - Neue Fragmente von Hieronymus in psalmos und das Scriptorium Bischof Eginos von Verona. In: Deutsches Archiv für Erforschung des Mittelalters 48 (1992), S. 621-623, mit einer Abb. auf 624.
description: Verzeichnung=Description=Inventaire Mai 2017 HAN-Katalogisierungsregeln Minimalaufnahme nach: Bischoff, 1998
description: Verzeichnung=Description=Inventaire Mai 2024 ergänzt nach Autopsie Mangold
description: Digitalisierung=Digitization=Numérisation Mai 2024 TIFF
description: Erschliessungsniveau Minimalniveau
Comment: Bayesian Checking of the Second Levels of Hierarchical Models
Creators: name: Gelman, Andrew
Publisher: name: arXiv
Year: 2008
Subjects: subject: Methodology (stat.ME)
subject: FOS: Computer and information sciences

description: Comment: Bayesian Checking of the Second Levels of Hierarchical Models [arXiv:0802.0743]
description: Published in at http://dx.doi.org/10.1214/07-STS235A the Statistical Science (http://www.imstat.org/sts/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Density functional approach to study structural properties and Electric Field Gradients in rare earth materials
Creators: name: Asadabadi, S. Jalali
name: Akbarzadeh, H.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We investigated the effect of spin polarization on the structural properties and gradient of electric field (EFG) on Sn, In, and Cd impurity in RSn$_3$ (R=Sm, Eu, Gd) and RIn$_3$ (R=Tm, Yb, Lu) compounds. The calculations were performed self-consistently using the scalar-relativistic full potential linearized augmented plane wave method. The local density approximations (LDA) and generalized gradient approximation without spin polarization (GGA) and with spin polarization (GGA+SP) to density functional theory were applied. In addition to that we performed some calculations within open core treatment (GGA+open core). It is clearly seen that GGA+SP is successful in predicting the larger lattice parameter and the dramatic drop of EFG for R=(Eu, Yb) relative to other rare earth compounds. This is an indication that spin splitting generated by spin polarization without any modification, is capable of treating properly the highly correlated f electrons in these systems.
description: 14 Pages, 3 Figures, 5 Tables
Von der Dreifaltigkeit und von der allerhöchsten Gottheit Christi
Creators: name: Felbinger, Jeremias
Publisher: name: [s.n.]
Year: 1650

description: Jeremias Felbinger
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Alter Besitzvermerk auf 2v: "Bibliothecae publicae Theologiae".
description: Verzeichnung=Description=Inventaire Jan. 2010 Titel, Jahr und Signatur nach: Binz, unpublizierte Beschreibung
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln Minimalaufnahme nach: Binz, unpublizierte Beschreibung
description: Verzeichnung=Description=Inventaire März 2024 HAN-Katalogisierungsregeln Ergänzung der Minimalaufnahme nach Autopsie und Binz
description: Digitalisierung=Digitization=Numérisation März 2024 TIFF
description: Erschliessungsniveau Minimalniveau
Linear evolution equations in scales of Banach spaces
Creators: name: Friesen, Martin
Publisher: name: arXiv
Year: 2016
Subjects: subject: Functional Analysis (math.FA)
subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Mathematics
subject: 34A12, 34G10, 46A13, 47B37

description: This work is devoted to the study of a class of linear time-inhomogeneous evolution equations in a scale of Banach spaces. Existence, uniquenss and stability for classical solutions is provided. We study also the associated dual Cauchy problem for which we prove uniqueness in the dual scale of Banach spaces. The results are applied to an infinite system of ordinary differential equations but also to the Fokker-Planck equation associated with the spatial logistic model in the continuum.
De consolatione philosophiae
Creators: name: Boethius, Anicius Manlius Severinus
name: Sánchez de Arévalo, Rodrigo
Publisher: name: [s.n.]
Year: 1473

description: Boethius
description: Öffentliche Bibliothek der Universität Basel
description: Lateinisch
description: Aus der Kartaus Basel, vorher im Besitz von Jakob Louber: Eintrag Ar von Heinrich Arnoldi, weitere Besitzeinträge von ihm 130r unten, 241r unten, 262v; Ar von Louber Titel mit alter Signatur "A cj" und Conspectus.
description: Burckhardt, Max. - Aus dem Umkreis der ersten Basler Universitätsbibliothek. In: Basler Zeitschrift für Geschichte und Altertumskunde ; 58/9 (1959), S. 155-191, hier S. 177
description: Verzeichnung=Description=Inventaire Jan. 2010 Titel, Jahr und Signatur nach: Steinmann, unpublizierte Beschreibung
description: Digitalisierung=Digitization=Numérisation Juni 2022 TIFF
description: Erschliessungsniveau Minimalniveau
Cosmic Wheels: From integrability to the Galois coaction
Creators: name: Gürdoğan, Ömer
Publisher: name: arXiv
Year: 2020
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We argue that the description of Feynman loop integrals as integrable systems is intimately connected with their motivic properties and the action of the Cosmic Galois Group. We show how in the case of a family of fishnet graphs, coaction relations between graphs follow directly from iterative constructions of Q-functions in the Quantum Spectral Curve formalism. Using this observation we conjecture a "differential equation for numbers" that enter these periods.
description: 6 pages
Mischband mit Nicolaus Perottus
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1475

description: Enthält als Nr. 4 die Handschrift: Nicolaus Perottus, De metris, cum dedicatione ad Iacobum Schioppum. Daneben sind dem Band vier Drucke beigebunden: Nr. 1: Remigius Treverensis, Regula dominus quae pars (um 1485); Nr. 2: Aelius Donatus, Ars minor (um 1480); Nr. 3: Nicolaus Perottus, Rudimenta grammatica (1482-1483) und Nr. 5: Regula grammaticales antiquorum (um 1490-1493).
description: Öffentliche Bibliothek der Universität Basel
description: Lateinisch
description: Verzeichnung=Description=Inventaire Mai 2015 HAN-Katalogisierungsregeln Minimalaufnahme nach: Steinmann, unpublizierte Beschreibung
description: Erschliessungsniveau Minimalniveau
description: Digitalisierung=Digitization=Numérisation Jan. 2023 TIFF
Prevention of mild cognitive impairment
Creators: name: Sawami, Kazue
name: Katahata, Yukari
name: Suishu, Chizuko
name: Kamiyoshikawa, Tomiko
name: Fujita, Emi
name: Uraoka, Mika
Publisher: name: F1000Research
Year: 2015

description: With the increase year by year in the prevalence of both dementia and mild cognitive impairment (MCI) which is seen as a pre-dementia condition, we need to learn more about preventive methods. In light of this, a project to aid in preventing dementia was begun that targeted all citizens of Kashihara city in Nara Prefecture. In the intervention, we particularly incorporated dual-task as the movement exercise preparatory to study therapy. Dual-task adds the element of thought as opposed to single-task which is movement alone, and dual-task has been reported to enhance memory performance.

We used the MoCA test to evaluate cognitive function. MoCA test results allowed us to separate which functions might be expected to decline greatly with aging and which might decline only slightly. Among functions that declined greatly were Alternating Trail Making, Verbal Fluency, Sentence Repetition, Visuoconstructional Skills (Clock), Delayed Recall and Attention, but most of these showed significant improvement in function after intervention. We can expect to extend the duration of full cognitive function by continuing to employ this method.
Evangelium secundum Marcum : cum Glossa ordinaria
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1200

description: Öffentliche Bibliothek der Universität Basel
description: Latein
description: Verzeichnung=Description=Inventaire 2008 Titel, Jahr, Sprache, Signatur, Vorbesitzer nach: Meyer/Burckhardt
description: Verzeichnung=Description=Inventaire August 2022 HAN-Katalogisierungsregeln Minimalaufnahme nach: Meyer/Burckhardt
description: Digitalisierung=Digitization=Numérisation August 2022 TIFF
description: Erschliessungsniveau Minimalaufnahme
"Pain engrams": Behavioural and neural correlates of nociceptive working memory
Creators: name: Valentini, Elia
name: Nicolardi, Valentini
name: Aglioti, Salvatore Maria
Publisher: name: F1000Research
Year: 2015

description: Aim of Investigation: Neuropsychological and clinical research suggests working memory (WM) function is impaired in chronic pain patients. Yet, information on mnestic cortical representation of potentially noxious painful stimuli is currently lacking.

Methods: we recorded electroencephalography (EEG) in human volunteers during a modified delayed-match-to-sample task, which involved sustained maintenance of the task-relevant attributes of selective nociceptive laser stimuli (intensity and location) for subsequent cued-discrimination of either stimulus dimension, in two different memory-load conditions (i.e., two stimuli vs. three stimuli). In addition, we measured performance in a series of neuropsychological tests to be correlated with nociceptive WM.

Results: As expected, participants performed better in the lower load condition. Furthermore, time-frequency analysis of EEG responses revealed that this different performance was reflected in systematic modulations of oscillatory activity. Moreover, we found a covariation between oscillatory modulations and performance in neuropsychological memory tests, thus suggesting a potential clinical relevance of the electrophysiological responses.

Conclusions: In keeping with tactile WM research, our findings highlight the link between event related nociceptive oscillations and “pain engrams”, a result that can pave the way to investigation of memory of potentially noxious stimuli in conditions of clinical pain.
Commentarius in Matthaeum, pars 1a
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1500

description: Öffentliche Bibliothek der Universität Basel
description: Latein
description: Erschliessungsniveau Minimalniveau
description: Verzeichnung=Description=Inventaire November 2023 Minimalaufnahme nach Autopsie und ungedruckter Beschreibung
description: Digitalisierung=Digitization=Numérisation Dezember 2023 TIFF
Link design and capacity comparison for burst transmissions of ATM cells and AAL PDU’s over broadband satellites
Creators: name: Lo, Chi Ming
Publisher: name: University of British Columbia
Year: 2009

description: Broadband satellite will be an important element in the future Broadband Integrated Service Digital Networks (B-ISDNs) employing Asynchronous Transfer Mode (ATM) for connecting different B-ISDN islands. The main challenge is to maximize traffic capacity while meeting the diverse Quality of Service (QoS) requirements of different types of B-ISDN service. Furthermore, inefficient utilization of transponder power and/or bandwidth and reduced traffic capacity may be caused by link designs that satisfy the most stringent QoS requirements of the traffic mix. Different Forward Error Correction (FEC) coding techniques are thus investigated to optimize the satellite link designs for any given B-ISDN service. Four concatenated codes (CCs) have been chosen, employing an inner convolutional code, in concatenation with one of the four alternate short Reed-Solomon (RS) outer codes for evaluations. Furthermore, a novel partially-concatenated code (PCC) method is proposed to improve bandwidth efficiency without significantly reducing power efficiency. A PCC with RS(15,10) outer code is determined to be the best combination by balancing the trade-offs between error performance and ability to encode a single ATM cell. In addition, ATM Adaptation Layer Protocol Data Units (AAL PDUs) are considered to be transmitted directly into a physical medium without segmenting into ATM cells. In this way, traffic capacity may be increased. Finally, given all the relevant parameters, link budgets can be used to obtain the traffic capacities for different services. From the traffic capacity analysis, AAL PDU transport provides a capacity increase of at least 10% over that of. the ATM cell transport. This result indicates that AAL PDU transport may be considered as an alternate means for transmitting data over Broadband Satellite Networks (BSNs).