cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: ADCO, Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IX, Cart. 193 (11 H 78), f. 0252v
Creators: name: de la Côte d'Or, Archives départementales
name: CG21/F.PETOT/2012
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
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 général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IX, Archives départementales de la Côte-d'Or, Cart. 193 (11 H 78), f. 0252v, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IX, Archives départementales de la Côte-d'Or, Cart. 193 (11 H 78), f. 0252v, 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
Phase-synchronous undersampling in nonlinear spectroscopy
Creators: name: Bruder, Lukas
name: Binz, Marcel
name: Stienkemeier, Frank
Publisher: name: arXiv
Year: 2017
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: Instrumentation and Detectors (physics.ins-det)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We introduce the concept of phase-synchronous undersampling in nonlinear spectroscopy. The respective theory is presented and validated experimentally in a phase-modulated quantum beat experiment by sampling high phase modulation frequencies with low laser repetition rates. The advantage of undersampling in terms of signal quality and reduced acquisition time is demonstrated and breakdown conditions are identified. The presented method is particularly beneficial for experimental setups with limited signal/detection rates.
description: 4 pages, 5 figures
[Proceedings of the Supreme Court of British Columbia 1989-12-29]
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.
Ferromagnetism in QCD phase diagram
Creators: name: Tatsumi, T.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: A possibility and properties of spontaneous magnetization in quark matter are investigated. Magnetic susceptibility is evaluated within Fermi liquid theory, taking into account of the screening effect of gluons. Spin wave in the polarized quark matter, as the Nambu-Goldstone mode, is formulated by way of the coherent-state path integral.
description: 9pages,1 figure, Proc. of EXOCT 2007
Combining Local and Global Model Checking
Creators: name: Biere, Armin
name: Clarke, Edmund M
name: Yunshan  Zhu
Publisher: name: Carnegie Mellon University
Year: 1973
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The verification process of reactive systems in local model checking [1,7] and in explicit state model checking is[13,15] on-the-fly. Therefore only those states of a system have to be traversed that are necessary to prove a property. In addition, if the property does not hold, than often only a small subset of the state space has to be traversed to produce a counterexample. Global model checking [6,23] and, in particular, symbolic model checking [4,22] can utilize compact representations of the state space, e.g. BDDs [3], to handle much larger designs than what is possible with local and explicit model checking. We present a new model checking algorithm for LTL that combines both approaches. In essence, it is a generalization of the tableau construction of [1] that enables the use of BDDs but still is on-the-fly.
title: Endangered Species Act Section 7 Formal Consultation and Magnuson-Stevens Fishery Conservation and Management Act Essential Fish Habitat Consultation for the Latitude Development LLC Baywood Stormwater Outfall, Port of Everett, Washington, COE Number: NWS-2020-788, Sixth Field HUC: 171100191100 – Port Gardner.
Creators: name: United States. National Marine Fisheries Service. West Coast Region
Publisher: name: United States. National Marine Fisheries Service. West Coast Region
Year: 2021

description: ESA Section 7 Consultation ; WCRO-2020-02919
title: Transcription du manuscrit de Semur-en-Auxois, Bibliothèque Municipale, ms. 1, p. 42
Creators: name: Aubert, Eduardo Henrik
name: Brochard, Pierre
name: Aubert, Eduardo Henrik
name: Brochard, Pierre
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2022
Subjects: subject: Laboratoire de médiévistique occidentale de Paris
subject: Semur-en-Auxois
subject: LaMOP

description: Transcription du manuscrit de Semur-en-Auxois, Bibliothèque Municipale, ms. 1, p. 42

production-software: eScriptorium + Kraken version 3.0.13 (PageXml)
description: Source: https://www.nakala.fr/10.34847/nkl.2bd92z4v
description: Source: https://www.nakala.fr/10.34847/nkl.e905tdea
description: Relation: https://lamop.hypotheses.org/
description: Transcription du manuscrit Semur-en-Auxois, Bibliothèque Municipale, ms. 1
description: Transcription du manuscrit Semur-en-Auxois, Bibliothèque Municipale, ms. 1
Novel circuit design for high-impedance and non-local electrical measurements of two-dimensional materials
Creators: name: De Sanctis, Adolfo
name: Mehew, Jake D.
name: Alkhalifa, Saad
name: Tate, Callum P.
name: White, Ashley
name: Woodgate, Adam R.
name: Craciun, Monica F.
name: Russo, Saverio
Publisher: name: arXiv
Year: 2018
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Applied Physics (physics.app-ph)
subject: FOS: Physical sciences

description: Two-dimensional materials offer a novel platform for the development of future quantum technologies. However, the electrical characterisation of topological insulating states, non-local resistance and bandgap tuning in atomically-thin materials, can be strongly affected by spurious signals arising from the measuring electronics. Common-mode voltages, dielectric leakage in the coaxial cables and the limited input impedance of alternate-current amplifiers can mask the true nature of such high-impedance states. Here, we present an optical isolator circuit which grants access to such states by electrically decoupling the current-injection from the voltage-sensing circuitry. We benchmark our apparatus against two state-of-the-art measurements: the non-local resistance of a graphene Hall bar and the transfer characteristic of a WS2 field-effect transistor. Our system allows the quick characterisation of novel insulating states in two-dimensional materials with potential applications in future quantum technologies.
description: 16 Pages, 5 figures + Supplementary Material
title: Endangered Species Act (ESA) Section 7(a)(2)Biological Opinion and Magnuson–Stevens Fishery Conservation and Management Act Essential Fish Habitat Consultationfor the Schlagel Park Boat LaunchProject, Franklin County, Washington
Creators: name: United States. National Marine Fisheries Service. West Coast Region
Publisher: name: United States. National Marine Fisheries Service. West Coast Region
Year: 2021

description: ESA Section 7 Consultation ; WCRO-2021-00328
Bumblebees at work in an emotion-like state
Creators: name: Plowright, C. M. S.
Publisher: name: My University
Year: 2017
Subjects: Bumblebees
Emotion
Evolution
Motivation

description: Pretest sucrose affects a dopamine-modulated response of bumblebees to an ambiguous cue to reward as well as a response to a simulated attack (Perry, Baciadonna, & Chittka, Science, 353(6307), 1529-1531, 2016). The contribution of the study lies in opening the door to research on the inner experience of insects, the learning and motivational mechanisms of their behavior, and the evolutionary analysis of emotions.
Combining Labeled and Unlabeled Data with Co-Training
Creators: name: Avrim  Blum
name: Mitchell, Tom
Publisher: name: Carnegie Mellon University
Year: 1977
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We consider the problem of using a large unlabeled sample to boost performance of a learning algorithm when only a small set of labeled examples is available.
New Protocols for Conference Key and Multipartite Entanglement Distillation
Creators: name: Salek, Farzin
name: Winter, Andreas
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Information Theory (cs.IT)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: We approach two interconnected problems of quantum information processing in networks: Conference key agreement and entanglement distillation, both in the so-called source model where the given resource is a multipartite quantum state and the players interact over public classical channels to generate the desired correlation. The first problem is the distillation of a conference key when the source state is shared between a number of legal players and an eavesdropper; the eavesdropper, apart from starting off with this quantum side information, also observes the public communication between the players. The second is the distillation of Greenberger-Horne-Zeilinger (GHZ) states by means of local operations and classical communication (LOCC) from the given mixed state. These problem settings extend our previous paper [IEEE Trans. Inf. Theory 68(2):976-988, 2022], and we generalise its results: using a quantum version of the task of communication for omniscience, we derive novel lower bounds on the distillable conference key from any multipartite quantum state by means of non-interacting communication protocols. Secondly, we establish novel lower bounds on the yield of GHZ states from multipartite mixed states. Namely, we present two methods to produce bipartite entanglement between sufficiently many nodes so as to produce GHZ states. Next, we show that the conference key agreement protocol can be made coherent under certain conditions, enabling the direct generation of multipartite GHZ states.
description: Final version accepted with journal
Field theory with the Maxima computer algebra system
Creators: name: Toth, Viktor T.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Symbolic Computation (cs.SC)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: The Maxima computer algebra system, the open-source successor to MACSYMA, the first general-purpose computer algebra system that was initially developed at the Massachusetts Institute of Technology in the late 1960s and later distributed by the United States Department of Energy, has some remarkable capabilities, some of which are implemented in the form of add-on, "share" packages that are distributed along with the core Maxima system. One such share package is itensor, for indicial tensor manipulation. One of the more remarkable features of itensor is functional differentiation. Through this, it is possible to use itensor to develop a Lagrangian field theory and derive the corresponding field equations. In the present note, we demonstrate this capability by deriving Maxwell's equations from the Maxwell Lagrangian, and exploring the properties of the system, including current conservation.
description: 6 pages
Additional file 3 of Building organizational readiness: initial field testing of an expert-informed typology of implementation strategies
Creators: name: Vax, Sigal
name: Farkas, Marianne
name: Mueser, Kim T.
name: Drainoni, Mari-Lynn
name: Russinova, Zlatka
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy

description: Additional file 3: Reporting Checklist.PDF – A reporting checklist intended for qualitative manuscripts.
Additional file 1 of In young women, a link between childhood abuse and subliminal processing of aversive cues is moderated by impulsivity
Creators: name: Regier, P. S.
name: Sinko, L.
name: Jagannathan, K.
name: Aryal, S.
name: Teitelman, A. M.
name: Childress, A. R.
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Neuroscience
subject: Pharmacology
subject: Sociology
subject: FOS: Sociology
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1: Supplementary Table 1. Grey matter volume (GMV) associated with childhood maltreatment. Supplementary Table 2. Relationship of TCAs with mOFC response, controlling for mental health and behavioral variables. Supplemental Fig. 1. Overlays of brain response to aversive (−neutral) cues while either controlling or not controlling for impulsivity. Yellow overlay shows the brain response correlated with TCAs, while controlling for impulsivity. Red overlay represents overlap of brain response to aversive (−neutral) cues while either not controlling for impulsivity. Evidence suggests that when controlling for impulsivity, brain activity extends beyond those regions (e.g., to ventral striatum) that are associated with TCAs alone, while also providing better coverage (i.e., fills in the “gaps” in mOFC).
title: ADCO, Septième cartulaire de Saint-Étienne de Dijon (1661-1665), Cart. 29 (G 134), 996 folios, f. 0167
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/2012
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: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Septième cartulaire de Saint-Étienne de Dijon (1661-1665), Archives départementales de la Côte-d'Or, Cart. 29 (G 134), 996 folios, f. 0167, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Septième cartulaire de Saint-Étienne de Dijon (1661-1665), Archives départementales de la Côte-d'Or, Cart. 29 (G 134), 996 folios, f. 0167, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: abbaye Saint-Étienne de Dijon
description: Provenance: http://www.wikidata.org/entity/Q15945019
Les relations sino-africaines ; la nouvelle stratégie Chinoise en Afrique.
Creators: name: Amon, Jean Yves
Publisher: name: My University
Year: 2021

description: Ce travail analyse l’évolution des relations sino-africaines depuis la proclamation de la République populaire de Chine, en 1949, jusqu’à la période d’après 2014, avec l’arrivé au pouvoir en 2013 du nouvel homme fort du parti communiste Chinois, Xi Jinping. Ces relations étaient essentiellement de natures politique et idéologique entre 1949 et 1971, en raison de l’histoire anticoloniale de Pékin et des différents mouvements de libération nationale en Afrique. Entre 1972 et 1993, la République populaire de Chine va affirmer de plus en plus sa volonté d’avoir un plus grand impact sur la scène internationale. De ce fait, une série de réformes de ses politiques internes et externes sera menée et cela va la conduire à la période des « vingt glorieuses » entre 1994 et 2014. Cette période se caractérise par l’augmentation des échanges économiques ainsi que par une plus grande présence sur le continent Africain. Après 2014, les relations sino-africaines vont passer un autre cap avec l’application d’une stratégie Chinoise beaucoup plus dynamique. Au niveau économique, il y aura la naissance du projet pharaonique de la « Belt and Road Initiative » à l’automne 2013 ; au niveau sécuritaire, Pékin va accroitre sa participation dans les opérations de maintien de paix et établir sa toute première base militaire au Djibouti en 2017 ; au niveau idéologico-culturelle également, le « soft power chinois » et l’utilisation du « Sharp power » lui permettent de partager ses valeurs sur le continent Africain. La stratégie de Pékin est également globale car la Chine vise à établir un nouvel ordre international et l’Afrique en fait partie. Tout cela, sous les principes de non-ingérence, de bénéfices mutuels et de coopération sud-sud.
[Proceedings of the Supreme Court of British Columbia 1990-02-01]
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.
Combining Instrument and Performance Models for High-Quality Music Synthesis
Creators: name: Dannenberg, Roger B
name: Istvan  Derenyi
Publisher: name: Carnegie Mellon University
Year: 1982
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Convincing synthesis of wind instruments requires more than the reproduction of individual tones. Since the player exerts continuous control over amplitude, frequency, and other parameters, it is not adequate to store simple templates for individual tones and string them together to make phrases. Transitions are important, and the details of a tone are affected by context. To address these problems, we present an approach to music synthesis that relies on a performance model to generate musical control signals and an instrument model to generate appropriate time-varying spectra. This approach is carefully designed to facilitate model construction from recorded examples of acoustic performances. We report on our experience developing a system to synthesize trumpet performances from a symbolic score input.
Labouring and Learning in Nineteenth-Century Canada: Children in the Changing Process of Family Reproduction
Creators: name: Gaffield, Chad
Publisher: name: My University
Year: 1991

description: in Russell Smandych, Gordon Dodds, and Alvin Esau, eds., Dimensions of Childhood: Essays on the History of Children and Youth in Canada (Winnipeg, Manitoba: Legal Research Institute, 1991): 13-27
title: Eyewitness: Platform Design for Visualizing and Synthesizing Media Video Content of Political Significance
Creators: name: Hamouda, Hoda
Publisher: name: Emily Carr University of Art and Design
Year: 2014
Subjects: subject: Photography
valueUri: https://id.loc.gov/authorities/subjects/sh85101206
subject: Photojournalism
valueUri: https://id.loc.gov/authorities/subjects/sh85101288
subject: Mass media
valueUri: https://id.loc.gov/authorities/subjects/sh85081863
subject: Social media
valueUri: https://id.loc.gov/authorities/subjects/sh2006007023
subject: Citizen journalism
valueUri: https://id.loc.gov/authorities/subjects/sh2009003468
subject: Online journalism
valueUri: https://id.loc.gov/authorities/subjects/sh2004000803

description: New strategies of societal control are emerging as a result of citizens’ growing access to information facilitated by the Internet. These strategies are used to subvert the positive effects of information democratization and Citizen Media disseminated by Social Media platforms. The increasing quantities and idiosyncratic qualities of citizen media are challenging characteristics that stand in the way of its exploration, perception, and interpretation. I propose the Eyewitness Visualization and Platform design that adapts meta-design frameworks to contextualize, synthesize, and leverage citizen media video content (CMVC). Eyewitness participants will be able to construct a synthetic, comprehensive representation of a politically significant event from the view point of multiple witnesses (including themselves). The designed platform empowers citizens by mobilizing their efforts to achieve a common goal: reconstructing a historical record of a politically charged event as documented by average citizens’ media video content rather than state and corporatized media. The platform focuses on CMVC that does not carry any meta-data due to technological and/or governmental restrictions. The design prototypes focus on CMVC capturing the recent events of the Arab Awakening in Egypt. Factors that support cultures of participation and meta-design methodologies will be studied in light of Eyewitness. Based on these insights, I argue that a meta-design framework can play a role in neutralizing the negative effects of information overload on citizen media video content.
Two-dimensional Planck spectroscopy for microwave photon calibration
Creators: name: Gandorfer, S.
name: Renger, M.
name: Yam, W. K.
name: Fesquet, F.
name: Marx, A.
name: Gross, R.
name: Fedorov, K. G.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Quantum state tomography of weak microwave signals is an important part of many protocols in the field of quantum information processing with superconducting circuits. This step typically relies on an accurate $\textit{in-situ}$ estimation of signal losses in the experimental set-up and requires a careful photon number calibration. Here, we present an improved method for the microwave loss estimation inside of a closed cryogenic system. Our approach is based on Planck's law and makes use of independent temperature sweeps of individual parts of the cryogenic set-up. Using this technique, we can experimentally resolve changes in microwave losses of less than 0.1 dB in the cryogenic environment. We discuss potential applications of this approach for precise characterization of quantum-limited superconducting amplifiers and in other prominent experimental settings.
description: 10 pages, 4 figures
[Proceedings of the Supreme Court of British Columbia 1990-02-06]
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.
[Proceedings of the Supreme Court of British Columbia 1990-02-07]
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 1 of Study protocol for the Multimodal Approach to Preventing Suicide in Schools (MAPSS) project: a regionally based randomised trial of an integrated response to suicide risk among secondary school students
Creators: name: Byrne, Sadhbh J.
name: Bailey, Eleanor
name: Lamblin, Michelle
name: McKay, Samuel
name: Pirkis, Jane
name: Mihalopoulos, Cathrine
name: Spittal, Matthew J.
name: Rice, Simon
name: Hetrick, Sarah
name: Hamilton, Matthew
name: Yuen, Hok Pan
name: Lee, Yong Yi
name: Boland, Alexandra
name: Robinson, Jo
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 60506 Virology

description: Additional file 1. Copy of original funding documentation.
Academic Integrity for Graduate Students: Listening to International and Indigenous Voices
Creators: name: Rodgers, Wendy
name: Alcock, Erin
Publisher: name: My University
Year: 2018

description: INTG 100A/B, an online course developed and taught by librarians, is mandatory for all first-year undergraduates at Memorial University, and has led to the initiation of a similar graduate course. Find out how the developers plan to incorporate the voices of international and indigenous students into both courses.
[Proceedings of the Supreme Court of British Columbia 1990-04-02]
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.
[Proceedings of the Supreme Court of British Columbia 1990-04-03]
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.
Combining Deduction and Algebraic Constraints for Hybrid System Analysis
Creators: name: Platzer, Andre
Publisher: name: Carnegie Mellon University
Year: 2006
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deductive and algebraic reasoning that is used for handling the joint discrete and continuous behaviour of hybrid systems. We illustrate proof tasks that occur when verifying scenarios with cooperative traffic agents. From the experience with these examples, we analyse proof strategies for dealing with the practical challenges for integrated algebraic and deductive verification of hybrid systems, and we propose an iterative background closure strategy.
A Bibliography of Tree Nut Production and Marketing Research, 1965-71
Creators: name: Lundquist, Dorothy M.
name: Lundquist, Dorothy M.
Publisher: name: Unknown
Year: 1972
Subjects: subject: Crop Production/Industries
subject: Marketing
subject: FOS: Economics and business
subject: Nuts
subject: wholesale marketing
subject: retail
subject: production

description: This bibliography lists tree nut production and marketing research reports published during 1965-71. There is a section for each tree nut that is important in domestic trade channels. Listings are arranged alphabetically under subject matter headings. An alphabetical listing of authors, with numbered references, is included.
La participation sociale des jeunes d’origine haïtienne dans la communauté d’Ottawa-Gatineau
Creators: name: Labossière, Thamara
Publisher: name: My University
Year: 2018

description: Ce mémoire porte un regard sur la participation sociale des jeunes d’origine haïtienne à Ottawa-Gatineau, particulièrement sur la manière dont ces jeunes vivent ces expériences. Nous nous sommes référées au paradigme interactionniste pour analyser notre objet d’étude, les pratiques de participation sociale. Ensuite, nous avons réalisé une collecte de données de type qualitative par le biais de l’approche ethnographique. Trois entrevues semi-directives ont été effectuées dans le cadre de cette recherche. Celle-ci met en exergue la perception de la participation sociale des jeunes d’origine haïtienne dans un premier temps. Pour eux, la participation sociale est un moyen de s’impliquer dans leur communauté locale, d’origine et de s’affirmer dans la société canadienne en apportant leur touche personnelle. Dans un second temps, cette recherche nous a permis de conclure que les liens sociaux s’expriment par le biais de différents instruments et prennent multiples formes dans les pratiques de participation sociale de ces jeunes. Enfin, à partir de cette recherche, nous avons dégagés multiples rapports de pouvoir des expériences de participation sociale de ces jeunes. Ces rapports de pouvoir concernent plusieurs aspects de leur vie et dans la plupart des cas, ils se révèlent préjudiciables. Mots-clés : Participation sociale, jeunes, immigration, communauté, interactionnisme, liens sociaux, rapports de pouvoir.
[Proceedings of the Supreme Court of British Columbia 1990-04-04]
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.
Combining decision diagrams and SAT procedures for efficient symbolic model checking
Creators: name: P. F. Williams
Publisher: name: Carnegie Mellon University
Year: 1997
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Diagrams (BDDs), the traditionally used canonical representation. The method is based on standard fixed point algorithms, combined with BDDs and SAT-solvers to perform satisfiability checking. As a result we are able to model check systems for which standard BDD-based methods fail. For example, we model check a 256 bit shift-and-add multiplier and we are able to find a previously undetected bug in the specification of a 16 bit multiplier. As opposed to Bounded Model Checking (BMC) our method is complete in practice. Our technique is based on a quantification procedure that allows us to eliminate quantifiers in Quantified Boolean Formulas (QBF). The basic step of this procedure is the up-one operation for BEDs. In addition we list a number of important optimizations to reduce the number of basic steps. In particular the optimization rule of quantification-by-substitution turned out to be very useful: [exists]x : g ^ (x f) [approximately =] g[f/x]. The rule is used (1) during fixed point iterations, (2) for deciding whether an initial set of states is a subset of another set of states, and finally (3) for iterative squaring."
Controlling symmetry and localization with an artificial gauge field in a disordered quantum system
Creators: name: Hainaut, Clément
name: Manai, Isam
name: Clément, Jean-François
name: Garreau, Jean Claude
name: Szriftgiser, Pascal
name: Lemarié, Gabriel
name: Cherroret, Nicolas
name: Delande, Dominique
name: Chicireanu, Radu
Publisher: name: arXiv
Year: 2017
Subjects: subject: Quantum Physics (quant-ph)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: Anderson localization, the absence of diffusion in disordered media, draws its origins from the destructive interference between multiple scattering paths. The localization properties of disordered systems are expected to be dramatically sensitive to their symmetry characteristics. So far however, this question has been little explored experimentally. Here, we investigate the realization of an artificial gauge field in a synthetic (temporal) dimension of a disordered, periodically-driven (Floquet) quantum system. Tuning the strength of this gauge field allows us to control the time-reversal symmetry properties of the system, which we probe through the experimental observation of three symmetry-sensitive `smoking-gun' signatures of localization. The first two are the coherent backscattering, marker of weak localization, and the coherent forward scattering, genuine interferential signature of Anderson localization, observed here for the first time. The third is the direct measurement of the $β(g)$ scaling function in two different symmetry classes, allowing to demonstrate its universality and the one-parameter scaling hypothesis.
[Proceedings of the Supreme Court of British Columbia 1990-04-05]
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.
Combined Analysis Reveals a Core Set of Cycling Genes
Creators: name: Youg  Lu
name: Rosenfeld, Roni
name: Bar-Joseph, Ziv
name: Mahony, Shaun
name: Benos, Panayiotis V
name: Simon, Itamar
name: Breeden, Linda L
Publisher: name: Carnegie Mellon University
Year: 1977
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Global transcript levels throughout the cell cycle have been characterized using microarrays in several species. Early analysis of these experiments focused on individual species. More recently, a number of studies have concluded that a surprisingly small number of genes conserved in two or more species are periodically transcribed in these species. Combining and comparing data from multiple species is challenging because of noise in expression data, the different synchronization and scoring methods used, and the need to determine an accurate set of homologs.
Additional file 2 of Study protocol for the Multimodal Approach to Preventing Suicide in Schools (MAPSS) project: a regionally based randomised trial of an integrated response to suicide risk among secondary school students
Creators: name: Byrne, Sadhbh J.
name: Bailey, Eleanor
name: Lamblin, Michelle
name: McKay, Samuel
name: Pirkis, Jane
name: Mihalopoulos, Cathrine
name: Spittal, Matthew J.
name: Rice, Simon
name: Hetrick, Sarah
name: Hamilton, Matthew
name: Yuen, Hok Pan
name: Lee, Yong Yi
name: Boland, Alexandra
name: Robinson, Jo
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 60506 Virology

description: Additional file 2. Approval from University of Melbourne Research Ethics Committee.
title: CHEMICAL GRADIENTS IN THE ORION MOLECULAR CLOUD
Creators: name: UNGERECHTS, H
name: BERGIN, EA
name: CARPENTER, J
name: GOLDSMITH, PF
name: Irvine, William M.
name: LOVELL, A
name: MCGONAGLE, D
name: SCHLOERB, FP
name: Snell, RL
Publisher: name: University of Massachusetts Amherst
Year: 1992
Subjects: subject: Astrophysics and Astronomy

description: The published version is located at http://adsabs.harvard.edu/full/1990A%26A...234..535C
Factors Affecting the Retention of Students Admitted from CEGEP
Creators: name: Cao, Xinrui
Publisher: name: My University
Year: 2018

description: Using administrative data, I investigate the factors that affect retention of CEGEP students in undergraduate studies at the University of Ottawa. I estimate a linear probability model for first and second year retention rates. I find that age, sex, diifference in financial costs, and enrollment in the Faculty of Arts and the Faculty of Social Sciences crucially affect both first year and second year retention. A surprising finding is that the admission average has a positive effect on the second year retention rate but does not affect first year retention. The citizenship status of the student affects first year retention, but does not affect second year retention.
[Proceedings of the Supreme Court of British Columbia 1990-04-06]
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.
[Proceedings of the Supreme Court of British Columbia 1990-04-09]
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, Ordre cistercien : comptes (1499-1515) (11 H 1162), f. 00187
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: comptes
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Ordre cistercien : comptes (1499-1515), Archives départementales de la Côte-d'Or, (11 H 1162). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Ordre cistercien : comptes (1499-1515), Archives départementales de la Côte-d'Or, (11 H 1162), f. 00187, 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
title: Exploring the Hoard: Constructing New Maps of Understanding
Creators: name: Motut-Firth, Monique
Publisher: name: Emily Carr University of Art and Design
Year: 2015
Subjects: subject: Consumption (Economics) in art
valueUri: https://id.loc.gov/authorities/subjects/sh96011104

description: How do images and diagrams inform cultural identity and the navigation of social space? This is a core question motivating my art practice. To produce my artwork, I glean images and texts from magazine collections, which I deconstruct and reconfigure into new iconographies. My goal in this process is to simultaneously destabilize knowledge systems that pretend to obscure uncertainty, even while hinting at possible new understandings. Building on the history of collage as a critical strategy, I explore the role of technical images in identity formation, knowledge production, and expressions of power and authority. In this way, my work maps contextual frameworks that span disparate image cultures and identity systems. The ‘hoard’, as a type of collection, is an important space for my practice; I see the hoard as an archive and active site of social and political possibilities — a physical manifestation of the excess of capitalist culture (1). I mine these archives for veins of source materials, looking for patterns that emerge through formal aesthetic similarities. Colour and line speak from within images to reveal possible hybrid visualizations and derive new trajectories of meaning. In this work, I am exorcising my suspicion of a tendency to slip into a passive viewing position; in this way, my work is calling to (and being beckoned by) Vilém Flusser’s cautionary writings on the inherent perils of technical images in mass media. My works traverse image and objecthood. I transform print materials into photographs, then into pixels, and finally to printed-paper structures. In this way I usher meanings from objecthood to image and back again, questioning visual language along the way. With each work, I engage in a struggle to decipher and map historical traces of print images. At the same time, I am actively trying to confuse, question, and re-code visual tropes, questioning the impact of images on identity construction and broader ontologies. I bury my tracks knee-deep in scrap. --- 1) In this text, I will refer to the hoard as a metaphor for the overwhelming volume of cultural imagery at large as well as, a specific collection of print imagery that I see as physical symptom of the pressure of image culture.
Additional file 3 of Study protocol for the Multimodal Approach to Preventing Suicide in Schools (MAPSS) project: a regionally based randomised trial of an integrated response to suicide risk among secondary school students
Creators: name: Byrne, Sadhbh J.
name: Bailey, Eleanor
name: Lamblin, Michelle
name: McKay, Samuel
name: Pirkis, Jane
name: Mihalopoulos, Cathrine
name: Spittal, Matthew J.
name: Rice, Simon
name: Hetrick, Sarah
name: Hamilton, Matthew
name: Yuen, Hok Pan
name: Lee, Yong Yi
name: Boland, Alexandra
name: Robinson, Jo
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 60506 Virology

description: Additional file 3. Approval from Department of Education and Training Research Ethics Committee.
Une analyse sociologique de la croissance de l’itinérance à Ottawa de 2014 à 2018 au regard des politiques publiques de la Ville d’Ottawa
Creators: name: Gressine, Ronald Ricardo
Publisher: name: My University
Year: 2021
Subjects: Itinérance, désaffiliation sociale, capitalisme néolibéral, politiques publiques.

description: Ce mémoire analyse la politique publique de la Ville d’Ottawa en matière d’itinérance au regard de la croissance de ce phénomène. Cette recherche va au-delà des approches dominantes dites structurelles et individuelles qui sont généralement mobilisées pour expliquer l’itinérance et qui laissent entendre respectivement que ce phénomène est la conséquence du retrait croissant de l’État-providence ou de problèmes personnels découlant d’une mauvaise gestion de la vie des individus. En s’appuyant sur la théorie de l’intégration de Robert Castel, dans une démarche historique, cette recherche met en exergue la précarité relevant des formes de travail responsables de la vulnérabilité de certains groupes d’individus pouvant les faire basculer dans la marginalisation ou dans la désaffiliation dans le contexte du capitalisme néolibéral. L’analyse du plan décennal 2014-2024 de logement et de lutte contre l’itinérance de la municipalité d’Ottawa montre que les deux modèles explicatifs de l’itinérance sont repris dans ce document de politique publique de cette Ville. Conformément à la vision du paradigme néolibéral, cette action publique de la Ville d’Ottawa s’inscrit dans une logique de rentabilité et de privatisation des services publics. Ainsi, les désaffiliés sociaux ont toujours de la difficulté à se loger par rapport à la concurrence du marché locatif dominé par le secteur privé.
COVID-19 : L’arrêt des groupes d’exercices en présentiel pour les personnes âgées en milieu rural
Creators: name: Lanteigne, Dominique
Publisher: name: My University
Year: 2021

description: La COVID-19 est une maladie virale causée par le coronavirus (SARS-CoV-2). Ce virus a provoqué une pandémie mondiale laquelle a été déclarée par l’Organisation mondiale de la Santé (OMS) en mars 2020 (OMS, 2021). La plupart des articles recensés relatent les répercussions néfastes que provoque cette infection, comme les risques accrus sur la santé et le bien-être des individus, et ce, particulièrement chez la population aînée. En effet, les personnes âgées sont considérées comme étant une catégorie de la population très à risque de mourir ou de développer des formes graves de cette maladie non équitable (Meisner et col., 2020) en raison de leur vulnérabilité (Gouvernement du Canada, 2020). Dans le but de diminuer le nombre de cas d’infection à la COVID-19, des mesures préventives et des restrictions gouvernementales ont été imposées par les gouvernements provinciaux et fédéraux comme la suspension temporaire des programmes communautaires destinés aux aînés offerts en présentiel. Mais quels sont les impacts de cette suspension sur la santé et le bien-être des personnes âgées vivant en milieu rural? Cette recherche mixte vise à quantifier les impacts de la suspension des groupes d’exercices sur la santé et le bien-être des participants âgés de 65 ans et plus inscrits dans ces groupes d'exercices en milieu rural. Nous avons cherché à mesurer la variation de l’état de santé et de bien-être des participants en fonction de certaines dimensions (isolement social, motivation, etc.) pouvant être liées à l’arrêt de leur participation à des activités communautaires provoqué par la pandémie. Il est ensuite question de comparer les données communes ressorties de cette recherche avec celles présentées par les auteurs pour valider la présence des enjeux mentionnés dans la recension des écrits. Finalement, nous effectuons une analyse croisée en fonction des données sociodémographiques des participants. Mots clés : Population aînée, COVID-19, milieu rural, vulnérabilité, isolement social, groupes d’exercices, santé et bien-être.
Additional file 4: of Sequence and cultivation study of Muribaculaceae reveals novel species, host preference, and functional potential of this yet undescribed family
Creators: name: Lagkouvardos, Ilias
name: Lesker, Till
name: Hitch, Thomas
name: GĂĄlvez, Eric
name: Smit, Nathiana
name: Neuhaus, Klaus
name: Wang, Jun
name: Baines, John
name: Abt, Birte
name: Stecher, BĂ¤rbel
name: Overmann, JĂśrg
name: Strowig, Till
name: Clavel, Thomas
Publisher: name: figshare
Year: 2019
Subjects: subject: Biochemistry
subject: Microbiology
subject: FOS: Biological sciences
subject: Cell Biology
subject: Genetics
subject: Molecular Biology
subject: Evolutionary Biology
subject: Ecology
subject: Virology

description: Figure S2. Extended phylogenomic tree as described in Fig.Â 4 and the corresponding methods. Accessions of the genomes from short-term isolates (gray) are given in brackets next to their mouse facility of origin. (PDF 215 kb)