cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Efficient Coding of Visual Scenes by Grouping and Segmentation
Creators: name: Lee, Tai Sing
name: Yuille, Alan L.
Publisher: name: Carnegie Mellon University
Year: 2008
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The goal of this chapter is to present computational theories of scene coding by image segmentation and to suggest their relevance for understanding visual cortical function and mechanisms. We will first introduce computational theories of image and scene segmentation and show their relationship to efficient encoding. Then we discuss and evaluate the relevant physiological data in the context of these computational frameworks. It is hoped that this will stimulate quantitative neurophysiological investigations of scene segmentation guided by computational theories.
title: O-2 in interstellar molecular clouds
Creators: name: Goldsmith, PF
name: Melnick, GJ
name: Bergin, EA
name: Howe, JE
name: Snell, Ronald L.
name: Neufeld, DA
name: Harwit, M
name: Ashby, MLN
name: Patten, BM
name: Kleiner, SC
name: Plume, R
name: Stauffer,
name: Tolls, V
name: Wang, Z
name: Zhang, YF
name: Erickson, NR
name: Koch, DG
name: Schieder, R
name: Winnewisser, G
name: Chin, G
Publisher: name: University of Massachusetts Amherst
Year: 2000
Subjects: subject: ISM : clouds
subject: ISM : molecules
subject: Astrophysics and Astronomy

description: The published version is located at http://iopscience.iop.org/1538-4357/539/2/L123
description: We have used the Submillimeter Wave Astronomy Satellite (SWAS) to carry out deep integrations on the NJ = 33 → 12 transition of O2 in a variety of Galactic molecular clouds. We here report no convincing detection in an initial set of observations of 20 sources. We compare O2 integrated intensities with those of C18O in a similarly sized beam and obtain 3 σ upper limits for the O2/C18O abundance ratio ≤ 2.3 in four clouds and ≤ 3.6 in five additional clouds. Our lowest individual limit corresponds to N(O2)/N(H2) < 2.6 × 10-7 (3 σ). A combination of data from nine sources yields N(O2)/N(H2) = [0.33 ± 1.6 (3 σ)] × 10-7. These low limits, characterizing a variety of clouds in different environments at different Galactocentric radii, indicate that O2 is not a major constituent of molecular clouds and is not an important coolant. The abundance of O2 is significantly lower than predicted by steady state single-component chemical models. The present results are best understood in the context of cloud chemical and dynamical models that include the interaction of gas-phase molecules and grain surfaces and/or circulation of material between well-shielded and essentially unshielded regions. This circulation may be powered by turbulence or other driving forces that effectively keep molecular clouds chemically unevolved.
Three-Dimensional Ising-Like System in an External Field: Microscopic Calculation of the Free Energy in the Higher Non-Gaussian Approximation
Creators: name: Pylyuk, I. V.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: An analytic method for deriving the free energy of a three-dimensional Ising-like system near the critical point in a homogeneous external field is developed in the $ρ^6$ model approximation. The mathematical description proposed for temperatures $T>T_c$ ($T_c$ is the phase-transition temperature in the absence of an external field) is valid for fields near $\tilde h_c$, where the scaling variable is of the order of unity and power series in this variable are not effective. At the limiting field $\tilde h_c$, the temperature and field effects on the system in the vicinity of the critical point are equivalent. The total free energy is obtained as a function of temperature, field and microscopic parameters of the system without using series expansions in the scaling variable. In addition to leading terms, the expression for the free energy includes the terms determining the temperature and field confluent corrections.
description: LaTeX, 9 pages, 1 eps figure
Efficient BVH Construction via Approximate Agglomerative Clustering
Creators: name: Gu, Yan
name: He, Yong
name: Kayvon  Fatahalian
name: Blelloch, Guy E.
Publisher: name: Carnegie Mellon University
Year: 1978
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We introduce Approximate Agglomerative Clustering (AAC), an efficient, easily parallelizable algorithm for generating high-quality bounding volume hierarchies using agglomerative clustering. The main idea of AAC is to compute an approximation to the true greedy agglomerative clustering solution by restricting the set of candidates inspected when identifying neighboring geometry in the scene. The result is a simple algorithm that often produces higher quality hierarchies (in terms of subsequent ray tracing cost) than a full sweep SAH build yet executes in less time than the widely used top-down, approximate SAH build algorithm based on binning.
Enhancement of local community resilience to natural and man-made disasters through the application of co-created novel technological tools
Creators: name: Papathanasiou, Chrysoula
name: Michalis, Panagiotis
name: Stavrou, Konstantinos
name: Tsougiannis, Evangelos
name: Annies, Jeannette
name: Papageorgiou, Sofia
name: Ouzounoglou, Eleftherios
name: Amditis, Angelos
name: :Unav
Publisher: name: Fraunhofer-Gesellschaft
Year: 2022

description: Natural and man-made disasters are associated with significant impacts on society, economy and the environment and are considered an issue of national priority at a global level. Further to that, such disasters are exacerbated by climate change (EC DG-ECHO, 2021) and their frequency of occurrence and impact intensity is expected to increase significantly, further affecting the countries’ interlinked economies. The standard practice adopted to mitigate risks includes the undertaking of measures, customized to the needs, particularities and socioeconomic features of the area under threat (Papathanasiou et al., 2015). Informed policy- and decision-making processes need to be outlined from relevant stakeholders. However, this top-down approach, which currently involves policies and measures decided by relevant authorities is not only outdated, but has also been proven to be insufficient. Currently, there is a justified tendency to actively include citizens in disaster management, fostering thus a more citizen-oriented, bottom-up approach. State-of-the art technological tools with advanced functionalities offer extended capabilities towards this direction. RiskPACC project brings together researchers, practitioners and first responders from nine European countries in at least 21 co-creation workshops at 7 case studies, enhancing the communication between local Civil Protection Authorities (CPAs) and citizens and bridging the risk perception-action gap (RPAG) (Michalis et al., 2022). This work outlines the co-creation approach adopted for the Municipality of Rafina-Pikermi (MRP) use case workshops that focus on wildfires and floods. The functionalities of the AR Aeolian mobile application were defined based on feedback by CPAs and citizens, as provided during workshops, successive iterations and response to appropriate questionnaires posed by the tool providers. User-friendliness was a core design element of the tool to ensure its easy applicability by citizens and control by CPAs, meeting at the same time the need to train the local community how to effectively manage disasters. The process of familiarizing CPAs and citizens with such solutions and encouraging their active participation in relevant training sessions supported them to better understand their particular role in disaster risk reduction, fostering improved situation awareness and risk perception, which is strongly encouraged by immersive technologies. Lessons learnt from citizen empowerment to adopt technical solutions for disaster risk management can be replicated to other use cases with similar population features.
On Quarks and Flavour Symmetry
Creators: name: Hogaasen, H.
name: Sorba, Paul
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Physics Education (physics.ed-ph)
subject: FOS: Physical sciences

description: Hadronic spectroscopy can be introduced to students and developed rather far without requiring SU(N) flavour symmetry. In such a "minimalist" presentation, we are naturally led to comment and clarify the concept of the "generalized" Pauli principle.
Additional file 7: of Associations between quantitative [18F]flortaucipir tau PET and atrophy across the Alzheimerâ s disease spectrum
Creators: name: Timmers, Tessa
name: Ossenkoppele, Rik
name: Wolters, Emma
name: Verfaillie, Sander
name: Visser, Denise
name: Golla, Sandeep
name: Barkhof, Frederik
name: Scheltens, Philip
name: Boellaard, Ronald
name: Flier, Wiesje
name: Berckel, Bart
Publisher: name: figshare
Year: 2019
Subjects: Biochemistry
Medicine
Cell Biology
Chemical Sciences not elsewhere classified
Developmental Biology

description: Table S3. Correlations between [18F]flortaucipir in lobar ROIs and GM density for non-PVE-corrected [18F]flortaucipir images Displayed are standardized betas. Analyses are adjusted for age, sex, TIV, and PET scanner type. (DOCX 15 kb)
Efficient Belief Propagation for Higher Order Cliques Using Linear Constraint Nodes
Creators: name: Potetz, Brian
name: Lee, Tai Sing
Publisher: name: Carnegie Mellon University
Year: 1966
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Belief propagation over pairwise-connected Markov random fields has become a widely used approach, and has been successfully applied to several important computer vision problems. However, pairwise interactions are often insufficient to capture the full statistics of the problem. Higher-order interactions are sometimes required. Unfortunately, the complexity of belief propagation is exponential in the size of the largest clique. In this paper, we introduce a new technique to compute belief propagation messages in time linear with respect to clique size for a large class of potential functions over real-valued variables. We discuss how this technique can be generalized to still wider classes of potential functions at varying levels of efficiency. Also, we develop a form of nonparametric belief representation specifically designed to address issues common to networks with higher-order cliques and also to the use of guaranteed-convergent forms of belief propagation. To illustrate these techniques, we perform efficient inference in graphical models where the spatial prior of natural images is captured by 2 × 2 cliques. This approach shows significant improvement over the commonly used pairwise-connected models, and may benefit a variety of applications using belief propagation to infer images or range images, including stereo, shape-from-shading, image-based rendering, segmentation, and matting.
Generation of Bose-Einstein Condensates' Ground State Through Machine Learning
Creators: name: Liang, Xiao
name: Liu, Sheng
name: Li, Yan
name: Zhang, Yong-Sheng
Publisher: name: arXiv
Year: 2017
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We show that both single-component and two-component Bose-Einstein condensates' (BECs) ground states can be simulated by deep convolutional neural networks of the same structure. We trained the neural network via inputting the coupling strength in the dimensionless Gross-Pitaevskii equation (GPE) and outputting the ground state wave-function. After training, the neural network generates ground states faster than the method of imaginary time evolution, while the relative mean-square-error between predicted states and original states is in the magnitude between $10^{-5}$ and $10^{-4}$. We compared the eigen-energies based on predicted states and original states, it is shown that the neural network can predict eigen-energies in high precisions. Therefore, the BEC ground states, which are continuous wave-functions, can be represented by deep convolution neural networks.
title: ADCO, Grènetier de Cîteaux : comptes (1499-1503) (11 H 1173), f. 00282
Creators: name: de la Côte-d'Or, Archives départementales
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CBMA/CG21/F.PETOT/2019
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: comptes
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Grènetier de Cîteaux : comptes (1499-1503), Archives départementales de la Côte-d'Or, (11 H 1173). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Grènetier de Cîteaux : comptes (1499-1503), Archives départementales de la Côte-d'Or, (11 H 1173), f. 00282, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
Helium Abundance Periods Observed by the Solar Probe Cup on Parker Solar Probe: Encounters 1-14
Creators: name: Johnson, Madisen
name: Rivera, Yeimy J.
name: Niembro, Tatiana
name: Paulson, Kristoff
name: Badman, Samuel T.
name: Stevens, Michael L.
name: Dieguez, Isabella
name: Case, Anthony
name: Bale, Stuart D.
name: Kasper, Justin
Publisher: name: arXiv
Year: 2025
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Space Physics (physics.space-ph)
subject: FOS: Physical sciences

description: Parker Solar Probe is a mission designed to explore properties of the solar wind closer than ever before. Detailed particle observations from the Solar Probe Cup (SPC) have primarily focused on examining the proton population in the solar wind. However, several periods throughout the Parker mission have indicated that SPC has observed a pronounced and distinctive population of fully ionized helium, He$^{2+}$. Minor ions are imprinted with properties of the solar wind's source region, as well as mechanisms active during outflow, making them sensitive markers of its origin and formation at the Sun. Through a detailed analysis of the He$^{2+}$ velocity distributions functions, this work examines periods where significant and persistent He$^{2+}$ peaks are observed with SPC. We compute the helium abundance and examine the stream's bulk speed, density, temperature, magnetic field topology, and electron strahl properties to identify distinctive solar wind features that can provide insight to their solar source. We find that nearly all periods exhibit an elevated mean helium composition ($8.34\%$) compared to typical solar wind and a majority ($\sim87\%$) of these periods are connected to coronal mass ejections, with the highest abundance reaching $23.1\%$. The helium abundance and number of events increases as the solar cycle approaches maximum with a weak dependence on speed. Additionally, the events not associated with a CME are clustered near the heliospheric current sheet suggesting they are connected to streamer belt outflows. However, there are currently no theoretical explanations that fully describe the range of depleted and elevated helium abundances observed.
description: 12 pages, 6 figures, 1 table, ApJ Accepted 2024
Tsunami Bores in Kitakami River
Creators: name: Tolkova, Elena
name: Tanaka, Hitoshi
Publisher: name: arXiv
Year: 2017
Subjects: subject: Atmospheric and Oceanic Physics (physics.ao-ph)
subject: FOS: Physical sciences

description: The 2011 Tohoku tsunami entered the Kitakami river and propagated there as a train of shock waves, recorded with a 1-min interval at water level stations at Fukuchi, Iino, and the weir 17.2 km from the mouth, where the bulk of the wave was reflected back. The records showed that each bore kept its shape and identity as it traveled a 10.9-km-path Fukuchi-Iino-weir-Iino. Shock handling based on the cross-river integrated classical shock conditions was applied to reconstruct the flow velocity time histories at the measurement sites, to estimate inflow into the river at each site, to evaluate the wave heights of incident and reflected tsunami bores near the weir, and to estimate propagation speed of the individual bores. Theoretical predictions are verified against the measurements. We discuss experiences of exercising the shock conditions with actual tsunami measurements in the Kitakami river, and test applicability of the shallow-water approximation for describing tsunami bores with heights ranging from 0.3 m to 4 m in a river segment with a depth of 3-4 m.
description: 26 pages, 13 figures
[Proceedings of the Supreme Court of British Columbia 1987-05-11]
Creators: name: British Columbia. Supreme Court
Publisher: name: Vancouver : United Reporting Service Ltd.
Year: 2013

description: In the Supreme Court of British Columbia, between: Delgamuukw, also known as Albert Tait, suing on his own behalf and on behalf of all the members of the House of Delgamuukw, and others, plaintiffs, and Her Majesty the Queen in right of the Province of British Columbia and the Attorney General of Canada, defendants: proceedings at trial.
Additional file 9: of Transcriptional reprogramming caused by the geminivirus Tomato yellow leaf curl virus in local or systemic infections in Nicotiana benthamiana
Creators: name: Wu, Mengshi
name: Ding, Xue
name: Fu, Xing
name: Lozano-Duran, Rosa
Publisher: name: figshare
Year: 2019
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified
subject: Developmental Biology
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology
subject: Virology

description: Table S4. Primers used in this work (DOCX 14 kb)
Efficiency through Eavesdropping: Link-layer Packet Caching
Creators: name: Afanasyev, Mikhail
name: Andersen, David G.
name: Snoeren, Alex C.
Publisher: name: Carnegie Mellon University
Year: 2008
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The broadcast nature of wireless networks is the source of both their utility and much of their complexity. To turn what would otherwise be unwanted interference into an advantage, this paper examines an entirely backwardscompatible extension to the 802.11 link-layer protocol for making use of overheard packets, called RTS-id. RTS-id operates by augmenting the standard 802.11 RTS/CTS process with a packet ID check, so that if the receiver of an RTS message has already received the packet in question, it can inform the sender and bypass the data transmission entirely. We present the design, implementation, and evaluation of RTS-id on a real hardware platform that provides a DSP-programmable 802.11 radio. While limited in scale due to restricted availability of the CalRadio platform, our testbed experiments demonstrate that RTS-id can reduce air time usage by 25.2% in simple 802.11b infrastructure deployments on real hardware, even when taking into account all of the protocol overhead. Additionally, we present trace-based simulations demonstrating the potential savings on the MIT Roofnet mesh network. In particular, RTS-id provides a 12% decrease in the number of expected data transmissions for a median path, and over 25% reduction for more than 10% of Roofnet paths.
[Proceedings of the Supreme Court of British Columbia 1987-05-12]
Creators: name: British Columbia. Supreme Court
Publisher: name: Vancouver : United Reporting Service Ltd.
Year: 2013

description: In the Supreme Court of British Columbia, between: Delgamuukw, also known as Albert Tait, suing on his own behalf and on behalf of all the members of the House of Delgamuukw, and others, plaintiffs, and Her Majesty the Queen in right of the Province of British Columbia and the Attorney General of Canada, defendants: proceedings at trial.
title: ADCO, Cartulaire de Cîteaux pour la grange et seigneurie d'Ouges (XVe siècle), Cart. 173 (11 H 939), 226 folios, f. 0473
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2015
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire

description: Cartulaire de Cîteaux pour la grange et seigneurie d'Ouges (XVe siècle), Archives départementales de la Côte-d'Or, Cart. 173 (11 H 939), 226 folios, f. 0473, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de Cîteaux pour la grange et seigneurie d'Ouges (XVe siècle), Archives départementales de la Côte-d'Or, Cart. 173 (11 H 939), 226 folios, f. 0473, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
Operational Markov condition for quantum processes
Creators: name: Pollock, Felix A.
name: Rodríguez-Rosario, César
name: Frauenheim, Thomas
name: Paternostro, Mauro
name: Modi, Kavan
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We derive a necessary and sufficient condition for a quantum process to be Markovian which coincides with the classical one in the relevant limit. Our condition unifies all previously known definitions for quantum Markov processes by accounting for all potentially detectable memory effects. We then derive a family of measures of non-Markovianity with clear operational interpretations, such as the size of the memory required to simulate a process, or the experimental falsifiability of a Markovian hypothesis.
description: 5+3 pages, 4 figures; split off from earlier version of arXiv:1512.00589
Additional file 2: of Development and validation of three machine-learning models for predicting multiple organ failure in moderately severe and severe acute pancreatitis
Creators: name: Qiu, Qiu
name: Nian, Yong-jian
name: Guo, Yan
name: Tang, Liang
name: Lu, Nan
name: Wen, Liang-zhi
name: Wang, Bin
name: Chen, Dong-feng
name: Liu, Kai-jun
Publisher: name: figshare
Year: 2019
Subjects: subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Biotechnology
subject: Developmental Biology
subject: Science Policy
subject: Computational Biology

description: Table S2. Baseline characteristics in the whole cohort of patients. APACHE II score, Acute Physiology and Chronic Health Evaluation II score; BMI, body mass index; MOF, multiple organ failure. (DOC 32 kb)
An Optimal EDG Method for Distributed Control of Convection Diffusion PDEs
Creators: name: Zhang, Xiao
name: Zhang, Yangwen
name: Singler, John R.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics

description: We propose an embedded discontinuous Galerkin (EDG) method to approximate the solution of a distributed control problem governed by convection diffusion PDEs, and obtain optimal a priori error estimates for the state, dual state, their fluxes, and the control. Moreover, we prove the optimize-then-discretize (OD) and discrtize-then-optimize (DO) approaches coincide. Numerical results confirm our theoretical results.
[Proceedings of the Supreme Court of British Columbia 1987-05-13, 1]
Creators: name: British Columbia. Supreme Court
Publisher: name: Vancouver : United Reporting Service Ltd.
Year: 2013

description: In the Supreme Court of British Columbia, between: Delgamuukw, also known as Albert Tait, suing on his own behalf and on behalf of all the members of the House of Delgamuukw, and others, plaintiffs, and Her Majesty the Queen in right of the Province of British Columbia and the Attorney General of Canada, defendants: proceedings at trial.
Probing the Light Sterile Neutrino Through the Heavy Charged Higgs Decay on the LHC
Creators: name: Tang, Yi-Lei
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We show the 13 TeV proton-proton collider simulation in a $ν$-two-Higgs-doublet-model ($ν$-THDM). The heavy charged Higgs bosons are produced in pairs through the electroweak processes and decay to the light sterile neutrinos. The light sterile neutrino further decays into a jet-like object with a muon in it. This helps us discriminate the signal from the backgrounds with the standard model jets.
Efficiency Analysis of Formally Verified Adaptive Cruise Controllers
Creators: name: Loos, Sarah M.
name: Witmer, David
name: Steenkiste, Peter
name: Platzer, Andre
Publisher: name: Carnegie Mellon University
Year: 1973
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We consider an adaptive cruise control system in which control decisions are made based on position and velocity information received from other vehicles via V2V wireless communication. If the vehicles follow each other at a close distance, they have better wireless reception but collisions may occur when a follower car does not receive notice about the decelerations of the leader car fast enough to react before it is too late. If the vehicles are farther apart, they would have a bigger safety margin, but the wireless communication drops out more often, so that the follower car no longer receives what the leader car is doing. In order to guarantee safety, such a system must return control to the driver if it does not receive an update from a nearby vehicle within some timeout period. The value of this timeout parameter encodes a tradeoff between the likelihood that an update is received and the maximum safe acceleration. Combining formal verification techniques for hybrid systems with a wireless communication model, we analyze how the expected efficiency of a provably-safe adaptive cruise control system is affected by the value of this timeout.
[Proceedings of the Supreme Court of British Columbia 1987-05-13, 2]
Creators: name: British Columbia. Supreme Court
Publisher: name: Vancouver : United Reporting Service Ltd.
Year: 2013

description: In the Supreme Court of British Columbia, between: Delgamuukw, also known as Albert Tait, suing on his own behalf and on behalf of all the members of the House of Delgamuukw, and others, plaintiffs, and Her Majesty the Queen in right of the Province of British Columbia and the Attorney General of Canada, defendants: proceedings at trial.
Effective Use of Boolean Satisfiability Procedures in the Formal Verification of Superscalar and VLIW Microprocessors
Creators: name: Velev, Miroslav M.
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 1980
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We compare SAT-checkers and decision diagrams on the evaluation of Boolean formulae produced in the formal verification of both correct and buggy versions of superscalar and VLIW microprocessors. The microprocessors are described in a high-level hardware description language, based on the logic of equality with uninterpreted functions and memories (EUFM). The formal verification is done with Burch and Dill’s correctness criterion, using flushing to map the state of the implementation processor to the state of the specification. The EUFM correctness formula is translated to an equivalent Boolean formula by exploiting the property of positive equality, and using the automatic tool EVC. We identify the SAT-checkers Chaff and BerkMin as significantly outperforming the rest of the SAT tools when evaluating the Boolean correctness formulae. We examine ways to enhance the performance of Chaff and BerkMin by variations when generating the Boolean formulae. We reassess optimizations we developed earlier to speed up the formal verification.
Generative KI im Innovationsmanagement
Creators: name: Keicher, Lukas
name: Ardilio, Antonino
name: Korell, Markus
name: :Unav
Publisher: name: Fraunhofer-Gesellschaft
Year: 2024
Subjects: Generative KI
Innovationsarbeit
Innovationsmanagement
Smart Innovation
Künstliche Intelligenz
Wissensarbeit
Befragung

description: Künstliche Intelligenz (KI) und vor allem generative KI haben großes Veränderungspotenzial, insbesondere für Wissensarbeit wie das Innovationsmanagement. Aus diesem Grund haben wir knapp 50 Expertinnen und Experten aus den Bereichen Innovation und KI zu ihrer Einschätzung bezüglich der Auswirkungen von generativer KI auf das Innovationsmanagement befragt. Die Befragungsergebnisse zeigen, dass die Rolle von generativer KI heute noch als sehr beschränkt bewertet wird. In Zukunft wird jedoch erwartet, dass sich die Rolle von generativer KI verstärkt in Richtung eines gleichwertigeren Partners in Innovationsteams entwickeln wird. Dabei wird Unterstützungspotenzial in allen Phasen des Innovationsprozesses - sowohl in analytisch als auch in kreativ geprägten - gesehen. Diese antizipierten Veränderungen sollten auch zukünftig von Expertinnen und Experten aus Wissenschaft und Praxis im Dialog weiterverfolgt werden.
Spatiotemporal intermittency and localized dynamic fluctuations upon approaching the glass transition
Creators: name: Fris, J. Ariel Rodriguez
name: Weeks, Eric R.
name: Sciortino, Francesco
name: Appignanesi, Gustavo A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: We introduce a new and robust approach for characterizing spatially and temporally heterogeneous behavior within a system based on the evolution of dynamic fuctuations once averaged over different space lengths and time scales. We apply it to investigate the dynamics in two canonical systems as the glass transition is approached: simulated Lennard-Jones liquids and experimental dense colloidal suspensions. We find that in both cases the onset of glassines is marked by spatially localized dynamic fluctuations originating in regions of correlated mobile particles. By removing the trivial system size dependence of the fluctuations we show that such regions contain tens to hundreds of particles for time scales corresponding to maximally non-Gaussian dynamics.
description: New analysis technique introduced, and applied to previously published data
Effective Semi-autonomous Telepresence
Creators: name: Coltin, Brian
name: Joydeep  Biswas
name: Pomerleau, Dean A.
name: Veloso, Manuela M.
Publisher: name: Carnegie Mellon University
Year: 1984
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We investigate mobile telepresence robots to address the lack of mobility in traditional videoconferencing. To operate these robots, intuitive and powerful interfaces are needed. We present CoBot-2, an indoor mobile telepresence robot with autonomous capabilities, and a browser-based interface to control it. CoBot-2 and its web interface have been used extensively to remotely attend meetings and to guide local visitors to destinations in the building. From the web interface, users can control CoBot-2’s camera, and drive with either directional commands, by clicking on a point on the floor of the camera image, or by clicking on a point in a map. We conduct a user study in which we examine preferences among the three control interfaces for novice users. The results suggest that the three control interfaces together cover well the control preferences of different users, and that users often prefer to use a combination of control interfaces. CoBot-2 also serves as a tour guide robot, and has been demonstrated to safely navigate through dense crowds in a long-term trial.
title: Implications of Submillimeter Wave Astronomy Satellite observations for interstellar chemistry and star formation
Creators: name: Bergin, EA
name: Melnick, GJ
name: Stauffer,
name: Ashby, MLN
name: Chin, G
name: Erickson, NR
name: Goldsmith, PF
name: Harwit, M
name: Howe, JE
name: Kleiner, SC
name: Koch, DG
name: Neufeld, DA
name: Patten, BM
name: Plume, R
name: Schieder, R
name: Snell, RL
name: Tolls, V
name: Wang, Z
name: Winnewisser, G
name: Zhang, YF
Publisher: name: University of Massachusetts Amherst
Year: 2000
Subjects: subject: ISM : abundances
subject: ISM : evolution
subject: ISM : molecules
subject: molecular processes
subject: stars : formation
subject: Astrophysics and Astronomy

description: The published version is located at http://iopscience.iop.org/1538-4357/539/2/L129
description: A long-standing prediction of steady state gas-phase chemical theory is that H2O and O2 are important reservoirs of elemental oxygen and major coolants of the interstellar medium. Analysis of Submillimeter Wave Astronomy Satellite (SWAS) observations has set sensitive upper limits on the abundance of O2 and has provided H2O abundances toward a variety of star-forming regions. Based on these results, we show that gaseous H2O and O2 are not dominant carriers of elemental oxygen in molecular clouds. Instead, the available oxygen is presumably frozen on dust grains in the form of molecular ices, with a significant portion potentially remaining in atomic form, along with CO, in the gas phase. H2O and O2 are also not significant coolants for quiescent molecular gas. In the case of H2O, a number of known chemical processes can locally elevate its abundance in regions with enhanced temperatures, such as warm regions surrounding young stars or in hot shocked gas. Thus, water can be a locally important coolant. The new information provided by SWAS, when combined with recent results from the Infrared Space Observatory, also provides several hard observational constraints for theoretical models of the chemistry in molecular clouds, and we discuss various models that satisfy these conditions.
Toward precise neutrino measurements: An efficient energy response model for liquid scintillator detectors
Creators: name: Lebanowski, Logan
name: Wan, Linyan
name: Ji, Xiangpan
name: Wang, Zhe
name: Chen, Shaomin
Publisher: name: arXiv
Year: 2017
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: Liquid scintillator detectors are playing an increasingly important role in low-energy neutrino experiments. In this article, we describe a generic energy response model of liquid scintillator detectors that provides energy estimations of sub-percent accuracy. This model fits a minimal set of physically-motivated parameters that capture the essential characteristics of scintillator response and that can naturally account for changes in scintillator over time, helping to avoid associated biases or systematic uncertainties. The model employs a one-step calculation and look-up tables, yielding an immediate estimation of energy and an efficient framework for quantifying systematic uncertainties and correlations.
PREVALENCE OF PRE-DIABETES OR DIABETES AMONG TUBERCULOSIS PATIENTS IN NORTHEAST OF CHINA
Creators: name: Mardieva, Ziyoda
name: Yusufova, Aziza
name: Asadov, Asatillo
name: Shukurova, Laziza
Publisher: name: Zenodo
Year: 2024

description: tuberculosis (TB) and diabetes are both severe chronic diseases. They could begin simultaneously and also aggravate each other. That is why it is very significant to explore the interaction between two diseases. The goal of this study is to investigate the prevalence rate of TB patients combined with pre-diabetes (impaired fasting blood glucose) or diabetes. The data show that the prevalence rate of TB patients suffering from pre-diabetes or diabetes is 12,4 % and 13,3 %, respectively, which are higher than in general population. These results indicate that TB may play an important role in inducing or promoting the development of diabetes. Therefore, further evidence of the connection between TB and diabetes may provide a new strategy of prevention and treatment of both diseases.
Effective real-time visual object detection
Creators: name: Martin, Francisco
name: Veloso, Manuela M.
Publisher: name: Carnegie Mellon University
Year: 1975
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Autonomous mobile robots equipped with visual perception aim at detecting objects towards intelligently acting in their environments. Such real-time vision processing continues to offer challenges in terms of getting the object detection algorithm to process images at the frame rate of live video. Our work contributes a novel algorithm that is capable of making use of all the frames, where each frame is efficiently processed as a “continuation” of the processing of the previous frames. From the 2D camera images as captured by the robot, our algorithm, Wave3D, maintains 3D hypotheses of the presence of the objects in the real 3D world relative to the robot. The algorithm does not ignore any new frame and continues its object detection on each frame by projecting the 3D hypotheses back into the 2D images to focus the object detection. We can view Wave3D as validating the 3D hypotheses in each of the images in the live video. Wave3D outperforms the static single-image classical approach in processing effort and detection accuracy, in particular for moving objects. In addition, the resulting reduced vision processing time translates into more computation available for task-related behaviors, as greatly needed in situated autonomous intelligent robot agents. We conduct targeted experiments using the humanoid NAO robot that illustrate the effectiveness of Wave3D.
title: ADCO, Cartulaire de Cîteaux pour les domaines de Saint-Jean de Losne et Losne (XVIIIe siècle), Cart. 198-01 (11 H 1055), 185 folios, f. 0258
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2019
name: Petot, Frédéric
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Cartulaire de Cîteaux pour les domaines de Saint-Jean de Losne et Losne (XVIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 198-01 (11 H 1055), 185 folios, f. 0258, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de Cîteaux pour les domaines de Saint-Jean de Losne et Losne (XVIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 198-01 (11 H 1055), 185 folios, f. 0258, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
Negative flare in the He I 10830 Å line in facula
Creators: name: Kobanov, Nikolai
name: Chelpanov, Andrei
name: Pulyaev, Vasiliy
Publisher: name: arXiv
Year: 2017
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: A small-scale flare SOL2012-09-21T02:19 (B2) occurred in a spotless active region that we observed at a ground-based telescope equipped with a spectrograph. During the flare, we registered an increase in absorption in the He I 10830 Å line by 25%, while other chromospheric and coronal spectral lines demonstrated increase in brightness at the same location. This phenomenon called negative flare had rarely been observed at the Sun before. In this paper, we describe the morphology of this flare and investigate its dynamics based on our spectral observations and space imaging data. The H$α$ and He I 10830 Å lines reach their extreme intensities 5 and 6 minutes after the 171 Å line. The brightening first occurred in the 171 Å and 193 Å Solar Dynamics Observatory (SDO) channels followed by the 94 Å, 304 Å, and 1600 Å signals $\sim$2 minutes after (for the maximum phases). However, the abrupt changes in line-of-sight (LOS) velocities in the chromospheric lines occur simultaneously with the intensity changes in the 304 Å and 1600 Å lines: we observed a downward motion that was followed by two upward motions. The measured horizontal speed of the perturbation propagation was close to 70 km s$^{-1}$ both in the chromospheric and coronal lines. We assume that we observed the photoionization-recombination process caused by UV radiation from the transition region during the coronal flare. With this, we point out the difficulties in interpreting the time lag between the emission maximum in the SDO UV channels and the second absorption maximum in the He I 10830 Å line.
Effect of Character Animacy and Preparatory Motion on Perceptual Magnitude of Errors in Ballistic Motion
Creators: name: P.S.A.  Reitsma
name: J.  Andrews
name: Pollard, Nancy S.
Publisher: name: Carnegie Mellon University
Year: 1972
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: An increasing number of projects have examined the perceptual magnitude of visible artifacts in animated motion. These studies have been performed using a mix of character types, from detailed human models to abstract geometric objects such as spheres. We explore the extent to which character morphology influences user sensitivity to errors in a fixed set of ballistic motions replicated on three different character types. We find user sensitivity responds to changes in error type or magnitude in a similar manner regardless of character type, but that users display a higher sensitivity to some types of errors when these errors are displayed on more human-like characters. Further investigation of those error types suggests that being able to observe a period of preparatory motion before the onset of ballistic motion may be important. However, we found no evidence to suggest that a mismatch between the preparatory phase and the resulting ballistic motion was responsible for the higher sensitivity to errors that was observed for the most humanlike character.
[Proceedings of the Supreme Court of British Columbia 1987-05-15]
Creators: name: British Columbia. Supreme Court
Publisher: name: Vancouver : United Reporting Service Ltd.
Year: 2013

description: In the Supreme Court of British Columbia, between: Delgamuukw, also known as Albert Tait, suing on his own behalf and on behalf of all the members of the House of Delgamuukw, and others, plaintiffs, and Her Majesty the Queen in right of the Province of British Columbia and the Attorney General of Canada, defendants: proceedings at trial.
Algorithm for muon electromagnetic shower reconstruction
Creators: name: Mangano, S.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The ANTARES neutrino telescope is presently being built in the Mediterranean Sea at a depth of 2500 m. The primary aim of the experiment is the detection of high energy cosmic muon neutrinos, which are identified by the muons that are produced in charged current interactions. These muons are detected by measuring the Cerenkov light which they emit traversing the detector. Sometimes a high momentum muon produces electromagnetic showers. The subject of this paper is a method to reconstruct these showers which includes several steps: an algorithm for the fit of the muon track parameters, preselection of detected photons belonging to a shower, and a final fit with the preselected detected photons to calculate the electromagnetic shower position. Finally a comparison between data obtained with that part of the detector that is currently in operation and simulations is presented.
description: 4 pages, 4 figures, Contribution to the Roma International Conference on Astro-Particle physics, June 2007
MOESM3 of Comprehensive bioinformatics analysis reveals potential lncRNA biomarkers for overall survival in patients with hepatocellular carcinoma: an on-line individual risk calculator based on TCGA cohort
Creators: name: Zhang, Zhiqiao
name: Ouyang, Yanling
name: Huang, Yiyan
name: Wang, Peng
name: Li, Jing
name: He, Tingshan
name: Liu, Qingbo
Publisher: name: figshare
Year: 2019
Subjects: subject: Cell Biology
subject: Pharmacology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: FOS: Biological sciences
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer

description: Additional file 3: Figure S1. Heat map.
Powers of sequences and recurrence
Creators: name: Frantzikinakis, Nikos
name: Lesigne, Emmanuel
name: Wierdl, Mate
Publisher: name: arXiv
Year: 2007
Subjects: subject: Dynamical Systems (math.DS)
subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 37A45, 28D05, 05D10

description: We study recurrence, and multiple recurrence, properties along the $k$-th powers of a given set of integers. We show that the property of recurrence for some given values of $k$ does not give any constraint on the recurrence for the other powers. This is motivated by similar results in number theory concerning additive basis of natural numbers. Moreover, motivated by a result of Kamae and Mendès-France, that links single recurrence with uniform distribution properties of sequences, we look for an analogous result dealing with higher order recurrence and make a related conjecture.
description: 30 pages. Numerous small changes made. To appear in the Proceedings of the London Mathematical Society
[Proceedings of the Supreme Court of British Columbia 1987-05-19]
Creators: name: British Columbia. Supreme Court
Publisher: name: Vancouver : United Reporting Service Ltd.
Year: 2013

description: In the Supreme Court of British Columbia, between: Delgamuukw, also known as Albert Tait, suing on his own behalf and on behalf of all the members of the House of Delgamuukw, and others, plaintiffs, and Her Majesty the Queen in right of the Province of British Columbia and the Attorney General of Canada, defendants: proceedings at trial.