cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Additional file 4 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 4. SPIRIT Checklist.
Non-Relativistic Limits of Colored Gravity in Three Dimensions
Creators: name: Joung, Euihun
name: Li, Wenliang
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The three-dimensional non-relativistic isometry algebras, namely Galilei and Newton-Hooke algebras, are known to admit double central extensions, which allows for non-degenerate bilinear forms hence for action principles through Chern-Simons formulation. In three-dimensional colored gravity, the same central extension helps the theory evade the multi-graviton no-go theorems by enlarging the color-decorated isometry algebra. We investigate the non-relativistic limits of three-dimensional colored gravity in terms of generalized İnönü-Wigner contractions.
description: 23 pages
[Proceedings of the Supreme Court of British Columbia 1990-04-10]
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.
Barriers and facilitators for interventions to improve ART adherence in Sub-Saharan African countries: A systematic review and meta-analysis
Creators: name: Buh, Amos
name: Deonandan, Raywat
name: Gomes, James
name: Krentel, Alison
name: Oladimeji, Olanrewaju
name: Yaya, Sanni
Publisher: name: My University
Year: 2023
Subjects: Adult
Adolescent
Child
Humans
Female
Pregnancy
Prospective Studies
Cross-Sectional Studies
Retrospective Studies
Medication Adherence
Acquired Immunodeficiency Syndrome
HIV Infections

description: The HIV/AIDS pandemic remains a significant public health issue, with sub-Saharan Africa (SSA) at its epicentre. Although antiretroviral therapy (ART) has been introduced to decrease new infections and deaths, SSA reports the highest incidence of HIV/AIDS, constituting two-thirds of the global new infections. This review aimed to elucidate the predominant barriers and facilitators influencing ART adherence and to identify effective strategies to enhance ART adherence across SSA.
Bibliography of Tree Nut Production and Marketing Research, 1960-65
Creators: name: Lundquist, Dorothy M.
name: Powell, Jules V.
name: Lundquist, Dorothy M.
name: Powell, Jules V.
Publisher: name: Unknown
Year: 1967
Subjects: subject: Crop Production/Industries
subject: Marketing
subject: FOS: Economics and business

description: Excerpts from the Preface: This bibliography lists production and marketing research reports on tree nuts published between 1960 and 1965. Reports published between 1945 and I960 appear in the U.S. Department of Agriculture's Miscellaneous Publication 862, which is out of print but may be consulted in libraries. The principal source was the "Bibliography of Agriculture." In addition, State agricultural experiment stations furnished listings of their publications. This bibliography has a section for each tree nut [almonds, cashews, chestnuts, filberts, macadamias, pecans, pistachio, walnuts (black), walnuts (English or Persian)] that is important in domestic trade channels.
[Proceedings of the Supreme Court of British Columbia 1990-04-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.
Combinatorial Preconditioners and Multilevel Solvers for Problems in Computer Vision and Image Processing
Creators: name: Koutis, Ioannis
name: Miller, Gary L.
name: Sinop, Ali
name: Tolliver, David
Publisher: name: Carnegie Mellon University
Year: 1999
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Linear systems and eigen-calculations on symmetric diagonally dominant matrices (SDDs) occur ubiquitously in computer vision, computer graphics, and machine learning. In the past decade a multitude of specialized solvers have been developed to tackle restricted instances of SDD systems for a diverse collection of problems including segmentation, gradient inpainting and total variation. In this paper we explain and apply the support theory of graphs, a set of of techniques developed by the computer science theory community, to construct SDD solvers with provable properties. To demonstrate the power of these techniques, we describe an efficient multigrid-like solver which is based on support theory principles. The solver tackles problems in fairly general and arbitrarily weighted topologies not supported by prior solvers. It achieves state of the art empirical results while providing robust guarantees on the speed of convergence. The method is evaluated on a variety of vision applications.
Additional file 4: of High-throughput sequencing of small RNAs and analysis of differentially expressed microRNAs associated with high-fat diet-induced hepatic insulin resistance in mice
Creators: name: Zhao, Xue
name: Chen, Zhao
name: Zhou, Zengyuan
name: Li, Yuzheng
name: Wang, Yuanyuan
name: Zhou, Zihao
name: Lu, Huimin
name: Sun, Changhao
name: Chu, Xia
Publisher: name: figshare
Year: 2019
Subjects: subject: Biophysics
subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Computational Biology

description: Venn diagram of known and novel miRNAs in ND and HFD groups. a and b stand for known miRNAs and novel miRNAs, respectively. The blue part represented miRNAs only expressed in ND group, the orange part represented miRNAs only expressed in HFD group, and the gray part represented miRNAs expressed in both ND and HFD groups. ND, normal diet mice; HFD, high-fat diet mice. (DOCX 52 kb)
title: ADCO, Grènetier de Cîteaux : comptes (1497-1504) (11 H 1172), f. 00050
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: 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: LaMOP
subject: Corpus Burgundiae Medii Aevi
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Chartes de la Bourgogne du Moyen Âge

description: Grènetier de Cîteaux : comptes (1497-1504), Archives départementales de la Côte-d'Or, (11 H 1172). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Grènetier de Cîteaux : comptes (1497-1504), Archives départementales de la Côte-d'Or, (11 H 1172), f. 00050, 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
Combinatorial Limitations of Average-radius List Decoding
Creators: name: Venkatesan  Guruswami
name: Srivatsan  Narayanan
Publisher: name: Carnegie Mellon University
Year: 1967
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We study certain combinatorial aspects of list-decoding, motivated by the exponential gap between the known upper bound (of O(1/γ)) and lower bound (of Ω p (log(1/γ))) for the list-size needed to list decode up to error fraction p with rate γ away from capacity, i.e., 1 − h(p) − γ(here p∈(0,12) and γ > 0). Our main result is the following: We prove that in any binary code C ⊆ {0, 1} n of rate 1 − h(p) − γ, there must exist a set L⊂C of Ωp(1/γ√) codewords such that the average distance of the points in L from their centroid is at most pn. In other words, there must exist Ωp(1/γ√) codewords with low “average radius.” The standard notion of list-decoding corresponds to working with themaximum distance of a collection of codewords from a center instead of average distance. The average-radius form is in itself quite natural; for instance, the classical Johnson bound in fact implies average-radius list-decodability. The remaining results concern the standard notion of list-decoding, and help clarify the current state of affairs regarding combinatorial bounds for list-decoding: We give a short simple proof, over all fixed alphabets, of the above-mentioned Ω p(log(1/γ)) lower bound. Earlier, this bound followed from a complicated, more general result of Blinovsky. We show that one cannot improve the Ω p (log(1/γ)) lower bound via techniques based on identifying the zero-rate regime for list-decoding of constant-weight codes. On a positive note, our Ωp(1/γ√) lower bound for average-radius list-decoding circumvents this barrier. We exhibit a “reverse connection” between the existence of constant-weight and general codes for list-decoding, showing that the best possible list-size, as a function of the gap γ of the rate to the capacity limit, is the same up to constant factors for both constant-weight codes (whose weight is bounded away from p) and general codes. We give simple second moment based proofs that w.h.p. a list-size of Ω p (1/γ) is needed for list-decoding random codes from errors as well as erasures. For random linear codes, the corresponding list-size bounds are Ω p (1/γ) for errors and exp(Ω p (1/γ)) for erasures.
[Proceedings of the Supreme Court of British Columbia 1990-04-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.
Factors associated with body mass index among slum dwelling women in India: an analysis of the 2005–2006 Indian National Family Health Survey
Creators: name: Patel, Maya Laxmi
name: Deonandan, Raywat
Publisher: name: My University
Year: 2017
Subjects: slums
india
bmi
women
caste
obesity
poverty

description: Background: Urbanization is increasing around the world, and in India, this trend has translated into an increase in the size of slum dwellings whose environments are suspected of being associated with poor health outcomes, particularly those relating to women’s nutritional status. With this study, we sought to determine the factors associated with Indian women’s body mass index (BMI) in slum environments, with special attention paid to women with tribal status. Methods: A multiple linear regression analysis was performed on data from the Indian National Family Health Survey (2005–2006), modeling demographic and behavioral factors suspected of being associated with BMI, with additional focus on the measures of social class, specifically caste and tribal status. Results: Increasing BMI is significantly and positively associated with frequency of watching television, having diabetes, age, wealth index, and residency status in the areas of New Delhi, Andhra Pradesh, or Tamil Nadu. Conclusion: Although belonging to a scheduled tribe was not associated with changes in BMI, unadjusted rates suggest that tribal status may be worthy of deeper investigation. Among slum dwellers, there is a double burden of undernutrition and overnutrition. Therefore, a diverse set of interventions may be required to improve the health outcomes of these women.
Com2: Fast Automatic Discovery of Temporal (’Comet’) Communities
Creators: name: Araujo, Miguel
name: Papadimitriou, Spiros
name: Gunnemann, Stephan
name: Faloutsos, Christos
name: Prithwish  Basu
name: Ananthram  Swami
name: Papalexakis, Evangelos E.
name: Koutra, Danai
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Given a large network, changing over time, how can we find patterns and anomalies? We propose Com2, a novel and fast, incremental tensor analysis approach, which can discover both transient and periodic/ repeating communities. The method is (a) scalable, being linear on the input size (b) general, (c) needs no user-defined parameters and (d) effective, returning results that agree with intuition. We apply our method on real datasets, including a phone-call network and a computer-traffic network. The phone call network consists of 4 million mobile users, with 51 million edges (phonecalls), over 14 days. Com2 spots intuitive patterns, that is, temporal communities (comet communities). We report our findings, which include large ‘star’-like patterns, nearbipartite- cores, as well as tiny groups (5 users), calling each other hundreds of times within a few days.
Additional file 5 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 5. Participant Information and Consent Forms.
title: Design-Based Learning for the Elementary School Classroom
Creators: name: Raber, Caylee
Publisher: name: Emily Carr University of Art and Design
Year: 2015
Subjects: subject: Education, Elementary
valueUri: https://id.loc.gov/authorities/subjects/sh85041059
subject: Education
valueUri: https://id.loc.gov/authorities/subjects/sh85040989
subject: Design
valueUri: https://id.loc.gov/authorities/subjects/sh85037197

description: As part of a two-year collaboration with over 100 students in grade 4-7 classrooms at Kenneth Gordon Maplewood School (KGMS), this thesis project introduced design-based learning as a new pedagogic approach for supporting children with learning differences. Design-based learning is the integration of design into classrooms as a means to support the learning of other subjects, skills and knowledge. It considers design as an approach to teaching and learning, not as its own subject of study. There is growing recognition that our current educational methods and approaches need to equip children with important skills including critical thinking, creativity, collaboration and communication. The BC Ministry of Education is currently in the process of transforming the curriculum to emphasize the development of these skills as core competencies (BC Ministry of Education, 2015, p.8). The use of design as an approach to fostering these skills is gaining momentum in education discussions across North America. However, despite the growth of knowledge and research in the area of education reform, design continues to evade integration in mainstream K12 education due to a lack of available resources and training for teachers. This document outlines the process of developing such materials. Through observations, conversations and the results of a pre- and post-design assessment the classroom teachers at KGMS saw profound benefits to the use of design as an approach to learning. To facilitate this approach, resource materials were developed to support teachers and a design coaching model was introduced as a way to provide ongoing, sustained professional development for teachers in the area of design-based learning.
title: Endangered Species Act Section 7(a)(2) Biological Opinion, and Magnuson-Stevens Fishery Conservation and Management Act Essential Fish Habitat Response, and Fish and Wildlife Coordination Act Recommendations for the South Lathrop Regional OutfallProject (SPK-2017-00017)
Creators: name: United States. National Marine Fisheries Service. West Coast Region
Publisher: name: United States. National Marine Fisheries Service. West Coast Region
Year: 2018

description: ESA Section 7 Consultation ; WCRO-2017-01176
[Proceedings of the Supreme Court of British Columbia 1990-04-17]
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.
Collection-oriented languages
Creators: name: Sipelstein, Jay M.
name: Blelloch, Guy E.
Publisher: name: Carnegie Mellon University
Year: 2002
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "Several programming languages arising from widely varying practical and theoretical considerations share a common high-level feature: their basic data type is an aggregate of other data types and their functional primitives operate on these aggregates. Examples of such languages and the collections they support are FORTRAN 90 and arrays, APL and arrays, Connection Machine LISP and xectors, PARALATION LISP and paralations, and SETL and sets. Acting on large collections of data with a single operation is the hallmark of data-parallel programming and massively parallel computers.These languages -- which we call collection-oriented -- are thus ideal for use with massively parallel machines, even though many of them were developed before parallelism and associated considerations became important. This paper examines collections and the operations that can be performed on them in a language-independent manner. It also critically reviews and compares a variety of collection-oriented languages with respect to their treatment of collections, gives many examples and code fragments from these languages, and elucidates certain problems that may arise when defining and implementing collection operations."
Double Duty: Leveraging Procurement to Deliver Socioeconomic Benefits
Creators: name: Feroz, Zainab
Publisher: name: My University
Year: 2017

description: Increasingly, governments around the world are turning to public procurement to achieve secondary objectives. Leveraging procurement refers to the inclusion of socioeconomic benefits in the procurement process. When governments implement initiatives to leverage procurement, socioeconomic benefits such as supplier diversity, increased labour participation, and social well-being are integrated into the purchasing decision at large. Currently, programs that leverage procurement in Canada are administered in a piecemeal manner, lacking central oversight and coordination. However, discussions on developing a government-wide procurement framework for delivering socioeconomic benefits are underway. This paper presents challenges, best practices, and recommendations for Canada based on experiences in Australia, the United Kingdom, and the United States. The analysis identifies three broad areas that require particular consideration during the planning and implementation phase: (a) organizational change; (b) informational issues, and; (c) measurement, monitoring and evaluation. In the context of funding instruments at large, the analysis also examines opportunities for procurement and grants to collaboratively achieve socioeconomic objectives.
Carnet nº 25, commencé à Saïgon (p. 8)
Creators: name: Péraire, Lucien
name: CNRS
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2023

description: created: 19-12-1931
title: Endangered Species Act Section 7(a)(2) Biological Opinion and Magnuson-Stevens Fishery Conservation and Management Act Essential Fish Habitat Response for the Coho Salmon and Steelhead Drought Contingency Plan at Pescadero Creek Lagoon
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-01261
[Proceedings of the Supreme Court of British Columbia 1990-04-18]
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 l'abbaye de Cîteaux dit Cartulare Antiquum t.3 (2e moitié XIIIe siècle), Cart. 168 (11 H 66), f. 0202r
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/2010
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: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Cartulaire de l'abbaye de Cîteaux dit Cartulare Antiquum t.3 (2e moitié XIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 168 (11 H 66), f. 0202r, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de l'abbaye de Cîteaux dit Cartulare Antiquum t.3 (2e moitié XIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 168 (11 H 66), f. 0202r, 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
Hawkmoths of Kibale, version 3 (2021). Pictorial guide to Sphingidae of Kibale Forest, Uganda.
Creators: name: Helden, Alvin
Publisher: name: figshare
Year: 2021
Subjects: subject: 60808 Invertebrate Biology
subject: FOS: Biological sciences
subject: 60202 Community Ecology (excl. Invasive Species Ecology)
subject: Zoology

description: This is an updated version of a previous (2020) document, and is presented in both landscape and portrait formats. It is an identification guide to hawkmoths (Sphingidae) of Kibale National Park in Uganda. It is is the form of an interactive pdf, allowing it to be used on a computer, phone or tablet. It has been produced to help students and staff on the annual Anglia Ruskin field trip to KIbale identify the hawkmoths we see.
Eight dimensional QCD at one loop
Creators: name: Gracey, J. A.
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The Lagrangian for a non-abelian gauge theory with an $SU(N_{\! c})$ symmetry and a linear covariant gauge fixing is constructed in eight dimensions. The renormalization group functions are computed at one loop with the special cases of $N_{\! c}$ $=$ $2$ and $3$ treated separately. By computing the critical exponents derived from these in the large $N_{\! f}$ expansion at the Wilson-Fisher fixed point it is shown that the Lagrangian is in the same universality class as the two dimensional non-abelian Thirring model and Quantum Chromodynamics (QCD). As the eight dimensional Lagrangian contains new quartic gluon operators not present in four dimensional QCD, we compute in parallel the mixing matrix of four dimensional dimension $8$ operators in pure Yang-Mills theory.
description: 31 latex pages, anc directory now added which contains txt file of all renormalization group functions
Collaborative Verification-Driven Engineering of Hybrid Systems
Creators: name: Mitsch, Stefan
name: Passmore, Grant Olney
name: Platzer, Andre
Publisher: name: Carnegie Mellon University
Year: 1983
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure safety seem to be model-driven engineering to develop hybrid systems in a well-defined and traceable manner, and formal verification to prove their correctness. Their combination forms the vision of verification-driven engineering. Often, hybrid systems are rather complex in that they require expertise from many domains (e. g., robotics, control systems, computer science, software engineering, and mechanical engineering). Moreover, despite the remarkable progress in automating formal verification of hybrid systems, the construction of proofs of complex systems often requires nontrivial human guidance, since hybrid systems verification tools solve undecidable problems. It is, thus, not uncommon for development and verification teams to consist of many players with diverse expertise. This paper introduces a verification-driven engineering toolset that extends our previous work on hybrid and arithmetic verification with tools for (1) graphical (UML) and textual modeling of hybrid systems, (2) exchanging and comparing models and proofs, and (3) managing verification tasks. This toolset makes it easier to tackle large-scale verification tasks.
La dispersion numérique dans la gestion d’événements
Creators: name: Caron, Leeza
Publisher: name: My University
Year: 2017

description: Ce travail de recherche portera sur la notion de dispersion numérique dans un contexte d’organisation d’événements. Des concepts tels que la surcharge informationnelle, communicationnelle et cognitive, ainsi que la théorie de l’organizing et du sensemaking de Weick, puis la théorie du processus organisant de Nicole Giroux permettront d’analyser les témoignages de quatre entrevues semi-dirigées menées auprès de gestionnaires et de professionnels oeuvrant dans le domaine de la gestion événementielle. Par conséquent, l’objectif de cette recherche est de répondre à la question suivante: quelles sont les conséquences de la dispersion numérique sur le travail d’organisation des équipes en gestion d’événements? Le texte ci-dessous définira en première partie quelques notions clés, telles que la communication événementielle, la gestion événementielle, ainsi que la gestion d’événements à l’heure des technologies de l’information et de la communication, en s’appuyant sur des recherches antérieures. Ensuite, en deuxième partie, cette recherche présentera ses principaux concepts clés, soit la dispersion numérique et le travail d’organisation des équipes, en prenant appui sur la littérature scientifique. Par la suite, en troisième partie, le travail expliquera la démarche méthodologique qui a été privilégiée par le chercheur pour mener cette recherche, ainsi que ses forces, ses faiblesses et ses limites. Enfin, en quatrième partie, une analyse des entrevues illustrera au lecteur les situations de dispersion numérique vécues par les quatre participants interrogés dans le contexte de leur travail d’organisation d’événements.
[Proceedings of the Supreme Court of British Columbia 1990-04-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.
An Elementary Analysis of the Probability That a Binomial Random Variable Exceeds Its Expectation
Creators: name: Doerr, Benjamin
Publisher: name: arXiv
Year: 2017
Subjects: subject: Probability (math.PR)
subject: Data Structures and Algorithms (cs.DS)
subject: Machine Learning (cs.LG)
subject: Neural and Evolutionary Computing (cs.NE)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: We give an elementary proof of the fact that a binomial random variable $X$ with parameters $n$ and $0.29/n \le p < 1$ with probability at least $1/4$ strictly exceeds its expectation. We also show that for $1/n \le p < 1 - 1/n$, $X$ exceeds its expectation by more than one with probability at least $0.0370$. Both probabilities approach $1/2$ when $np$ and $n(1-p)$ tend to infinity.
description: v2: Minor change in the presentation of previous works (took into account the new version of Pel[16]). v3: Minor change in the presentation of previous works (the proof of Lemma 6.4 in [RT11] gives a significantly stronger result than what is stated in the Lemma itself). v4: Minor changes (typos, mentioned the work of Slud)
La sécurisation culturelle, un concept à préconiser pour la profession du travail social auprès des personnes autochtones : De la théorie à la pratique
Creators: name: Morin-Holland, Alexie Dominique
Publisher: name: My University
Year: 2019

description: Ce mémoire vise à explorer le sens et la représentation que les travailleurs sociaux allochtones allouent au concept de la sécurisation culturelle dans leur pratique d’intervention quotidienne. En deuxième lieu, ce mémoire a pour but d’appréhender les différents savoirs (savoir, savoir-faire, savoir-être) et les réflexions critiques que les travailleurs sociaux allochtones croient nécessaires pour favoriser la sécurisation culturelle dans leurs interventions auprès de la clientèle autochtone. Enfin, ce projet de recherche vise à analyser les retombées de la formation académique de la profession du travail social sur la capacité des travailleurs sociaux à assurer la sécurisation culturelle dans leur pratique. Dans le cadre de cette étude, l’approche à double perspective a été utilisée comme cadre théorique. Cette approche favorise l’utilisation de différentes perspectives, soit allochtones et autochtones afin de répondre à nos diverses questions. Pour réaliser cette étude, nous avons effectué quatre entrevues semi-dirigées auprès de travailleuses sociales allochtones œuvrant dans les services sociaux. Notre recherche a permis de constater que le concept de sécurisation culturelle nécessite des clarifications chez les travailleurs sociaux. Son application dans la pratique demeure présentement ambigüe. Les participantes de cette étude ont soulevé plusieurs réflexions critiques et divers savoirs chez les travailleurs sociaux afin de favoriser la sécurisation culturelle dans l’intervention sociale. Ces participantes ont également discuté des barrières qui nuisent à la sécurisation culturelle dans le domaine des services sociaux. Ce mémoire démontre ainsi que la formation du travail social nécessite des changements afin de permettre aux futurs étudiants d’intégrer le concept de sécurisation culturelle dans leur pratique quotidienne auprès des personnes, familles et collectivités autochtones.
Thermo-Mechanical Modelling of Brittle Continuum by Discrete Element Method (DEM) Simulation
Creators: name: ASADI Farid
name: NGUYEN Truong Thi
name: ANDRE Damien
name: DOUMALIN Pascal
name: HUGER Marc
name: TESSIER-DOYEN Nicolas
Publisher: name: Zenodo
Year: 2018
Subjects: Discrete Element Method
Thermo-Mechanical coupling
Microstructures
Refractories

description: Thermo-Mechanical Modelling of Brittle Continuum by Discrete Element Method (DEM) Simulation
[Proceedings of the Supreme Court of British Columbia 1990-04-20]
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: NEFZA
title: NEFZA
title: Atlas archéologique de la Tunisie
Creators: name: Babelon, Ernest Charles François
name: Babelon, Ernest Charles François > Auteur
name: Cagnat, René Louis Victor > Auteur
name: Reinach, Salomon > Auteur
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2022
Subjects: subject: Archéologie
subject: Antiquité
subject: Recherche archéologique
subject: Savoirs (Les)
subject: Cartographie
subject: Atlas
subject: Atlas archéologique

description: [Atlas archéologique de la Tunisie ; Edition spéciale des cartes topographiques publiées par la ministère de la Guerre, accompagnée d’un texte explicatif rédigé par E. Babelon, R. Cagnat et S. Reinach, membres de la Commission de l’Afrique du Nord (1ère série, 60 feuilles au 1/50 000 et notices)]
description: Atlas
description: Atlas-Archeo-Tunisie_012
description: 1/50 000
description: La Méditerranée à la carte
description: Paris
description: Source: Institut de recherche sur le Maghreb contemporain (IRMC); Cité numérique de la Méditerranée (MMSH)
description: Source: La Méditerranée à la carte
description: Source: La Méditerranée à la carte > Atlas archéologique de la Tunisie
description: Relation: https://cinumed.mmsh.univ-aix.fr/idurl/1/96199
description: Coverage: Tunisie
description: Coverage: Nefza
description: Coverage: Antiquité
description: Temporal: Antiquité
description: Provenance: Institut de recherche sur le Maghreb contemporain (IRMC); Cité numérique de la Méditerranée (MMSH)
Controlled spatial separation of spins and coherent dynamics in spin-orbit-coupled nanostructures
Creators: name: Lo, Shun-Tsung
name: Chen, Chin-Hung
name: Fan, Ju-Chun
name: Smith, L. W.
name: Creeth, G. L.
name: Chang, Che-Wei
name: Pepper, M.
name: Griffiths, J. P.
name: Farrer, I.
name: Beere, H. E.
name: Jones, G. A. C.
name: Ritchie, D. A.
name: Chen, Tse-Ming
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: The spatial separation of electron spins followed by the control of their individual spin dynamics has recently emerged as an essential ingredient in many proposals for spin-based technologies because it would enable both of the two spin species to be simultaneously utilized, distinct from most of the current spintronic studies and technologies wherein only one spin species could be handled at a time. Here we demonstrate that the spatial spin splitting of a coherent beam of electrons can be achieved and controlled using the interplay between an external magnetic field and Rashba spin-orbit interaction in semiconductor nanostructures. The technique of transverse magnetic focusing is used to detect this spin separation. More notably, our ability to engineer the spin-orbit interactions enables us to simultaneously manipulate and probe the coherent spin dynamics of both spin species and hence their correlation, which could open a route towards spintronics and spin-based quantum information processing.
description: 15 pages, 4 figures
Additional file 1 of Comprehensive analysis of LDHAP5 pseudogene expression and potential pathogenesis in ovarian serous cystadenocarcinoma
Creators: name: Lin, Shitong
name: Meng, Yifan
name: Cao, Canhui
name: Wu, Ping
name: Gao, Peipei
name: Zhi, Wenhua
name: Peng, Ting
name: Wu, Peng
Publisher: name: figshare
Year: 2020
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: Evolutionary Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: Hematology
subject: Computational Biology

description: Additional file 1: Table S1. miRNAs targeting LDHAP5 were predicted by starBase v2.0.
Coin flipping from a cosmic source: On error correction of truly random bits
Creators: name: Mossel, Elchanan
name: O'Donnell, Ryan
Publisher: name: Carnegie Mellon University
Year: 2015
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We study a problem related to coin flipping, coding theory, and noise sensitivity. Consider a source of truly random bits x ∈ {0, 1}n, and k parties, who have noisy version of the source bits yi ∈ {0, 1}n, when for all i and j, it holds that P[ymath image = xj] = 1 − ϵ, independently for all i and j. That is, each party sees each bit correctly with probability 1 − ϵ, and incorrectly (flipped) with probability ϵ, independently for all bits and all parties. The parties, who cannot communicate, wish to agree beforehand on balanced functions fi: {0, 1}n → {0, 1} such that P[f1(y1) = … = fk(yk)] is maximized. In other words, each party wants to toss a fair coin so that the probability that all parties have the same coin is maximized. The function fi may be thought of as an error correcting procedure for the source x. When k = 2,3, no error correction is possible, as the optimal protocol is given by fi(yi) = ymath image. On the other hand, for large values of k, better protocols exist. We study general properties of the optimal protocols and the asymptotic behavior of the problem with respect to k, n, and ϵ. Our analysis uses tools from probability, discrete Fourier analysis, convexity, and discrete symmetrization.
[Proceedings of the Supreme Court of British Columbia 1990-04-23]
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.
Hybrid chiral domain walls and skyrmions in magnetic multilayers
Creators: name: Legrand, William
name: Chauleau, Jean-Yves
name: Maccariello, Davide
name: Reyren, Nicolas
name: Collin, Sophie
name: Bouzehouane, Karim
name: Jaouen, Nicolas
name: Cros, Vincent
name: Fert, Albert
Publisher: name: arXiv
Year: 2017
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Noncollinear spin textures in ferromagnetic ultrathin films are currently the subject of renewed interest since the discovery of the interfacial Dzyaloshinskii-Moriya interaction (DMI). This antisymmetric exchange interaction selects a given chirality for the spin textures and allows stabilising configurations with nontrivial topology. Moreover, it has many crucial consequences on the dynamical properties of these topological structures, including chiral domain walls (DWs) and magnetic skyrmions. In the recent years the study of noncollinear spin textures has been extended from single ultrathin layers to magnetic multilayers with broken inversion symmetry. This extension of the structures in the vertical dimension allows very efficient current-induced motion and room-temperature stability for both Néel DWs and skyrmions. Here we show how in such multilayered systems the interlayer interactions can actually lead to more complex, hybrid chiral magnetisation arrangements. The described thickness-dependent reorientation of DWs is experimentally confirmed by studying demagnetised multilayers through circular dichroism in x-ray resonant magnetic scattering. We also demonstrate a simple yet reliable method for determining the magnitude of the DMI from static domains measurements even in the presence of these hybrid chiral structures, by taking into account the actual profile of the DWs. The advent of these novel hybrid chiral textures has far-reaching implications on how to stabilise and manipulate DWs as well as skymionic structures in magnetic multilayers.
description: 22 pages, 5 figures
Deliverable No. D2.2 Recommendations on the coupling methodology in prediction and climate models
Creators: name: Msadek, Rym
name: Maisonnave, Eric
name: Valcke, Sophie
name: Blockley, Ed
name: Svensson, Gunilla
name: Holt, Jareth
name: Voldoire, Aurore
name: Keeley, Sarah
name: Arduini, Gabriele
name: Sandu, Irina
Publisher: name: Zenodo
Year: 2019

description: Different practices are currently being used to couple the different components of global models for weather forecasts (several days to weeks ahead) and climate applications (several decades to centuries). This report provides a summary of the coupling methods currently used for Numerical Weather Prediction (NWP) and climate applications. We have reviewed the different approaches employed in the community and used them as a motivation to design novel experiments aimed at improving the coupling between the atmosphere, ocean and sea ice. The results of these experiments, together with prior results from the literature, have guided the recommendations provided in this report. To improve coupling methodology in NWP and climate models, we recommend using fluxes that are consistent at the interface between the atmosphere, the ocean and the sea ice. More specifically, we show that accounting for the differences in horizontal resolution between the different components of the Earth System when computing the surface fluxes, or accounting for the different sea ice thickness categories can lead to small but detectable differences in the representation of key variables like Arctic sea ice extent and volume. Even if the differences are small, computing the fluxes in a consistent way is more physical and could lead to a better representation of the atmospheric boundary layer and consequently of near-surface weather. We further show that the representation of key physical processes such as snow over sea ice is essential for a realistic representation of near surface temperature in coupled models and it is particularly important for NWP. Representing processes such as snow over sea ice is key to reduce model biases in the polar regions and hence to improve short term predictions and the representation of the model climate. We expect that the results presented in this report will help weather and climate model developments in the future.
Coherent shared memory on a message passing machine
Creators: name: Bisiani, Roberto
name: Nowatzyk, Andreas
name: Mosur  Ravishankar
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Computer Science Department
[Proceedings of the Supreme Court of British Columbia 1990-04-24]
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, Deuxième cartulaire ou Grand cartulaire de l'abbaye de Molesme, Cart. 143 (7 H 7), 153 fol, f. 0105r
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/2009
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: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire

description: Deuxième cartulaire ou Grand cartulaire de l'abbaye de Molesme, Archives départementales de la Côte-d'Or, Cart. 143 (7 H 7), 153 fol, f. 0105r, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Deuxième cartulaire ou Grand cartulaire de l'abbaye de Molesme, Archives départementales de la Côte-d'Or, Cart. 143 (7 H 7), 153 fol, f. 0105r, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye de Molesme
description: Provenance: http://www.wikidata.org/entity/Q334044
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb137389344
Open Access to Knowledge Part 2: Sharing Your Research Data
Creators: name: Brunet, Mélanie
name: Hatherill, Jeanette
name: Ripp, Chantal
Publisher: name: My University
Year: 2021
Subjects: Open access
Copyright
Open licences
Research data management
Open data
Data repositories

description: Slides of the second webinar of a two-part series on sharing research results openly. This presentation aims to demystify the copyright status of research data and the application of open licences, best practices in data sharing and deposit, and what supports are available at the University of Ottawa to further these objectives.