cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Correctness of Compiling Polymorphism to Dynamic Typing
Creators: name: Kuen-Bang (Favonia)  Hou
name: Benton, Nick
name: Harper, Robert
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The connection between polymorphic and dynamic typing was originally considered by Curry, et al. in the form of “polymorphic type assignment” for untyped λ-terms. Types are assigned after the fact to what is, in modern terminology, a dynamic language. Interest in type assignment was revitalized by the proposals of Bracha, et al. and Bank, et al. to enrich Java with polymorphism (generics), which in turn sparked the development of other languages, such as Scala, with similar combinations of features. In that setting it is desirable to compile polymorphism to dynamic typing in such a way that as much static typing as possible is preserved, relying on dynamics only insofar as genericity is actually required. The basic approach is to compile polymorphism using embeddings from each type into a universal ‘top’ type, dyn, and partial projections that go in the other direction. This scheme is intuitively reasonable, and, indeed, has been used in practice many times. Proving its correctness, however, is non-trivial. This paper studies the compilation of System F to an extension of Moggi’s computational metalanguage with a dynamic type and shows how the compilation may be proved correct using a logical relation.
Characteristics of municipal fresh solid wastes from the selected large urban centres in Uganda: implication for re-use and soil amendment strategies.
Creators: name: Tibihika, Papius Dias
name: Okurut, Tom
name: Lugumira, Jerome Sebadduka
name: Akello, Christine
name: Muganga, George
name: Tumuhairwe, John Baptist
name: Nsereko, Mike
name: Kiguli, Dan
name: Mugambwa, Richard
Publisher: name: Taylor & Francis
Year: 2020
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Molecular Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Inorganic Chemistry
subject: FOS: Chemical sciences
subject: Science Policy
subject: Plant Biology

description: In Uganda, the municipal solid wastes are generally a menace to the environment, ranging from indiscriminate dumping, open burning, and landfills, which would be utilized to augment agricultural fields through organic manure. The National Environment Management Authority (NEMA) of Uganda, however from 2009 to 2012 initiated and implemented a Clean Development Mechanism project. This project was established and conducted in nine urban centres with the key objective of reducing methane and other environmental nuisances while generating compost manure. The in-coming fresh municipal wastes at composting facilities were sorted into six categories; i) wood and wood products, ii) food and food wastes, iii) textiles, iv) garden, yard and park wastes, v) paper and pulp, and vi) glass, plastics, and metals. These were laboratory analysed based on standard procedures, characterized and investigated for the pH, total organic carbon (TOC), total nitrogen (TN), phosphorus (P), potassium (K), calcium (Ca), and magnesium (Mg) (g kg−1). Statistical analyses were performed based on One-Way ANOVA, implemented in the SPSS program. The results indicate that the municipal fresh solid wastes were mainly dominated by biodegradable organic matter; garden, yard, and park wastes (49%), food and food wastes (43.2%), and the other wastes falling below 5.4%. Overall, the pH was 7.7±0.02, TOC 318.2±2.90, TN 12.1±0.10, C/N 26.7±0.20, P 4.4±0.04, K 35.0±0.49, Ca 38.9±0.51, and Mg 5.8±0.09. The concentration of the fresh wastes and macro-nutrients varied per municipality and were congruent with the economic activities and population lifestyles. We detected the effect of season/month on the concentration of wastes which corresponded with the various agronomical activities. The results from this study suggest that the notion of composting is potentially a viable organic waste management strategy in the country which can ultimately generate sufficient organic manure for agricultural input and thus enhanced carbon sequestration.
[Proceedings of the Supreme Court of British Columbia 1989-01-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.
Surface Conditioning Effect on Vacuum Microelectronics Components Fabricated by Deep Reactive Ion Etching
Creators: name: Phommahaxay, A.
name: Lissorgues, G.
name: Rousseau, L.
name: Bourouina, T.
name: Nicole, P.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Other Computer Science (cs.OH)
subject: FOS: Computer and information sciences

description: Advances in material processing such as silicon micromachining are opening the way to vacuum microelectronics. Two-dimensional vacuum components can be fabricated using the microsystems processes. We developed such devices using a single metal layer and silicon micromachining by DRIE. The latter technological step has significant impact on the characteristics of the vacuum components. This paper presents a brief summary of electron emission possibilities and the design leading to the fabrication of a lateral field emission diode. First measurement results and the aging of the devices are also discussed.
description: Submitted on behalf of TIMA Editions (http://irevues.inist.fr/tima-editions)
[Proceedings of the Supreme Court of British Columbia 1989-01-13]
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 2 of A longitudinal study on quality of life along the spectrum of Alzheimer’s disease
Creators: name: Mank, Arenda
name: Rijnhart, Judith J. M.
name: van Maurik, Ingrid S.
name: Jönsson, Linus
name: Handels, Ron
name: Bakker, Els D.
name: Teunissen, Charlotte E.
name: van Berckel, Bart N. M.
name: van Harten, Argonde C.
name: Berkhof, Johannes
name: van der Flier, Wiesje M.
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: Mental Health

description: Additional file 2. Post hoc analysis of differences in MMSE and RAVLT between amyloid-positive and amyloid-negative SCD and MCI patients.
[Proceedings of the Supreme Court of British Columbia 1989-01-14]
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 1989-01-16]
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 Skeletal myotubes expressing ALS mutant SOD1 induce pathogenic changes, impair mitochondrial axonal transport, and trigger motoneuron death
Creators: name: Martínez, Pablo
name: Silva, Mónica
name: Abarzúa, Sebastián
name: Tevy, María Florencia
name: Jaimovich, Enrique
name: Constantine-Paton, Martha
name: Bustos, Fernando J.
name: van Zundert, Brigitte
Publisher: name: figshare
Year: 2024
Subjects: subject: Space Science
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Neuroscience
subject: Physiology
subject: Developmental Biology
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Supplementary material 1: Figure S1. Small molecules <10 kDa from mutSOD1-MCM are responsible for MN death. A, MN survival graph (SMI32+/MAP2+ cells as a percentage of total MAP2+ neurons) after treatment for 3 days with MN medium, NTg-MCM, MCM-mutSOD1, and both NTg-MCM and MCM-mutSOD1 when passed through >10 kDa and <10 kDa filters. Values represent the mean ± s.e.m of at least three independent experiments and analyzed by one-way ANOVA (*** P <0.001). B, MN survival graph (SMI32+/MAP2+) after treatment for 3 days with MN medium, NTg-MCM, MCM-mutSOD1, and both <10 kDa filtered NTg-MCM and MCM-mutSOD1 when further passed through a Size Exclusion Chromatography (SEC). Results from 2 independent three independent experiments.
Additional file 3 of An open-label phase 2 trial to assess the efficacy, safety and pharmacokinetics of lanthanum carbonate in hyperphosphatemic children and adolescents with chronic kidney disease undergoing dialysis
Creators: name: Wasilewska, Anna
name: Murray, Rose Ann
name: Sundberg, Aimee
name: Uddin, Sharif
name: Achenbach, Heinrich
name: Shavkin, Aleksey
name: Szabó, Tamás
name: Vergani, Andrea
name: Umeh, Obi
Publisher: name: figshare
Year: 2022
Subjects: subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Marine Biology
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology

description: Additional file 3: Table 1. Baseline demographics and characteristics of CC- and LC-treated patients, stratified by dialysis mode.
Corrected Laplacians: Closer Cuts and Segmentation with Shape Priors
Creators: name: Tolliver, David
name: Miller, Gary L.
name: Collins, Robert T.
Publisher: name: Carnegie Mellon University
Year: 1978
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We optimize over the set of corrected Laplacians (CL) associated with a weighted graph to improve the average case normalized cut (NCut) of a graph. Unlike edge-relaxation SDPs, optimizing over the set CL naturally exploits the matrix sparsity by operating solely on the diagonal. This structure is critical to image segmentation applications because the number of vertices is generally proportional to the number of pixels in the image. CL optimization provides a guiding principle for improving the combinatorial solution over the spectral relaxation, which is important because small improvements in the cut cost often result in significant improvements in the perceptual relevance of the segmentation. We develop an optimization procedure to accommodate prior information in the form of statistical shape models, resulting in a segmentation method that produces foreground regions which are consistent with a parameterized family of shapes. We validate our technique with ground truth on MRI medical images, providing a quantitative comparison against results produced by current spectral relaxation approaches to graph partitioning.
QPM: Discrete Optimization for Globally Interpretable Image Classification
Creators: name: Norrenbrock, Thomas
name: Kaiser, Timo
name: Biswas, Sovan
name: Manuvinakurike, Ramesh
name: Rosenhahn, Bodo
Publisher: name: arXiv
Year: 2025
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Artificial Intelligence (cs.AI)
subject: Human-Computer Interaction (cs.HC)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: Understanding the classifications of deep neural networks, e.g. used in safety-critical situations, is becoming increasingly important. While recent models can locally explain a single decision, to provide a faithful global explanation about an accurate model's general behavior is a more challenging open task. Towards that goal, we introduce the Quadratic Programming Enhanced Model (QPM), which learns globally interpretable class representations. QPM represents every class with a binary assignment of very few, typically 5, features, that are also assigned to other classes, ensuring easily comparable contrastive class representations. This compact binary assignment is found using discrete optimization based on predefined similarity measures and interpretability constraints. The resulting optimal assignment is used to fine-tune the diverse features, so that each of them becomes the shared general concept between the assigned classes. Extensive evaluations show that QPM delivers unprecedented global interpretability across small and large-scale datasets while setting the state of the art for the accuracy of interpretable models.
[Proceedings of the Supreme Court of British Columbia 1989-01-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.
Co-Retrieval: A Boosted Reranking Approach for Video Retrieval
Creators: name: Yan, Rong
name: Hauptmann, Alexander
Publisher: name: Carnegie Mellon University
Year: 1979
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Video retrieval compares multimedia queries to items in a video collection in multiple dimensions and combines all the similarity scores into a final retrieval ranking. Although text is the most reliable feature for video retrieval, features from other modalities can provide complementary information. A reranking framework for video retrieval to augment text feature based retrieval with other evidence is presented. A boosted reranking algorithm called co-retrieval is then introduced, which combines a boosting type learning algorithm and a noisy label prediction scheme to select automatically the most useful (weak) features from multiple modalities. The proposed approach is evaluated with queries and video from the 65 h test collection of the 2003 NIST TRECVID evaluation and it achieves considerable improvement over several baseline retrieval algorithms.
Additional file 2 of Self-stigma in alcohol dependence scale: development and validity of the short form
Creators: name: Rieckhof, Sophia
name: Leonhard, Anya
name: Schindler, Stephanie
name: Lüders, Juliane
name: Tschentscher, Nicole
name: Speerforck, Sven
name: Corrigan, Patrick W.
name: Schomerus, Georg
Publisher: name: figshare
Year: 2024
Subjects: subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy

description: Supplementary Material 2
Lettre de Antoine Court de Gébelin à Jean-François Séguier, 1769-09-18
Creators: name: Gébelin, Antoine Court de
name: De Gébelin, Antoine Court
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2021

description: [transcription] Lettre probablement volée à Nîmes par Guglielmo Libri, mentionnée dans le Catalogue d'autographes provenant du cabinet de feu M. S*** [Simon], Paris, rue des Bons-Enfants, 30, 18 novembre 1841 (n° 118), avec la description suivante : "3 pages, il y rend compte de ses travaux philologiques".
description: Source: [lieu de Conservation] Passage en vente publique [cote]non précisée
Additional file 1 of A longitudinal study on quality of life along the spectrum of Alzheimer’s disease
Creators: name: Mank, Arenda
name: Rijnhart, Judith J. M.
name: van Maurik, Ingrid S.
name: Jönsson, Linus
name: Handels, Ron
name: Bakker, Els D.
name: Teunissen, Charlotte E.
name: van Berckel, Bart N. M.
name: van Harten, Argonde C.
name: Berkhof, Johannes
name: van der Flier, Wiesje M.
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: Mental Health

description: Additional file 1. Post hoc analysis of patient characteristics in amyloid-positive patients.
An Iterative Spanning Forest Framework for Superpixel Segmentation
Creators: name: Vargas-Muñoz, John E.
name: Chowdhury, Ananda S.
name: Alexandre, Eduardo B.
name: Galvão, Felipe L.
name: Miranda, Paulo A. Vechiatto
name: Falcão, Alexandre X.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Superpixel segmentation has become an important research problem in image processing. In this paper, we propose an Iterative Spanning Forest (ISF) framework, based on sequences of Image Foresting Transforms, where one can choose i) a seed sampling strategy, ii) a connectivity function, iii) an adjacency relation, and iv) a seed pixel recomputation procedure to generate improved sets of connected superpixels (supervoxels in 3D) per iteration. The superpixels in ISF structurally correspond to spanning trees rooted at those seeds. We present five ISF methods to illustrate different choices of its components. These methods are compared with approaches from the state-of-the-art in effectiveness and efficiency. The experiments involve 2D and 3D datasets with distinct characteristics, and a high level application, named sky image segmentation. The theoretical properties of ISF are demonstrated in the supplementary material and the results show that some of its methods are competitive with or superior to the best baselines in effectiveness and efficiency.
3-D Self-Assembled Soi Mems: An Example of Multiphysics Simulation
Creators: name: Mendez, C.
name: Louis, C.
name: Paquay, S.
name: De Vincenzo, P.
name: Klapka, I.
name: Rochus, V.
name: Iker, F.
name: André, Nicolas
name: Raskin, J. -P.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Other Computer Science (cs.OH)
subject: FOS: Computer and information sciences

description: MEMS devices are typical systems where multiphysics simulations are unavoidable. In this work, we present possible applications of 3-D self-assembled SOI (Silicon-on-Insulator) MEMS such as, for instance, thermal actuators and flow sensors. The numerical simulations of these microsystems are presented. Structural and thermal parts have to be strongly coupled for correctly describing the fabrication process and for simulating the behavior of these 3-D SOI MEMS.
description: Submitted on behalf of TIMA Editions (http://irevues.inist.fr/tima-editions)
Corecursion and Non-Divergence in Session Types
Creators: name: Toninho, Bernardo
name: Caires, Luis
name: Pfenning, Frank
Publisher: name: Carnegie Mellon University
Year: 1985
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Session types are widely accepted as an expressive discipline for structuring communications in concurrent and distributed systems. In order to express infinitely unbounded sessions, session typed languages often include general recursion which may introduce undesirable divergence, e.g., infinite unobservable reduction sequences. In this paper we address, by means of typing, the challenge of ensuring non-divergence in a session-typed π-calculus with general (co)recursion, while still allowing interesting infinite behaviors to be definable. Our approach builds on a Curry-Howard correspondence between our type system and linear logic extended with co-inductive types, for which our non-divergence property implies consistency. We prove type safety for our framework, implying protocol compliance and global progress of well-typed processes. We also establish, using a logical relation argument, that well-typed processes are compositionally non-divergent, that is, that no well-typed composition of processes, including those dynamically assembled via name passing, can result in divergent behavior.
[Proceedings of the Supreme Court of British Columbia 1989-01-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.
GCP
Creators: name: Mohammadi, Ariana
Publisher: name: figshare
Year: 2021
Subjects: subject: Linguistics
subject: FOS: Languages and literature
subject: 200402 Computational Linguistics

description: GCP is a two-million-word corpus of Persian containing a large body of naturally-occurring utterances and written texts. GCP represents a wide variety of Persian speakers and documents diverse language situations and uses. The corpus is composed of a balanced representation of spoken and written language. The spoken sub-corpus includes a balanced representation of non-scripted spoken utterances and scripted spoken data. The written sub-corpus, on the other hand, represents both printed and electronic written materials. The corpus further contain a diverse representation of different genres and text types.
The conversational sub-corpus is distributed through Linguistic Data Consortium available at https://catalog.ldc.upenn.edu/LDC2019T11.The combination of three different genres also create the written Corpus of Law, Academic, and News (CLAN), which is available at https://catalog.ldc.upenn.edu/LDC2020T23.
Electron-electron interaction in 2D and 1D ferromagnetic (Ga,Mn)As
Creators: name: Neumaier, Daniel
name: Schlapps, Markus
name: Wurstbauer, Ursula
name: Sadowski, Janusz
name: Reinwald, Matthias
name: Wegscheider, Werner
name: Weiss, Dieter
Publisher: name: arXiv
Year: 2007
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We investigated the magnetotransport in high quality ferromagnetic (Ga,Mn)As films and wires. At low temperature the conductivity decreases with decreasing temperature without saturation down to 20 mK. Here we show, that the conductivity decrease follows a ln($T/T_0$) dependency in 2D films and a $-1/\sqrt{T}$ dependency in 1D wires and is independent of an applied magnetic field. This behavior can be explained by the theory of electron-electron interaction.
description: 4 pages, 2 figures, v2: spelling of author name corrected
Additional file 4 of An open-label phase 2 trial to assess the efficacy, safety and pharmacokinetics of lanthanum carbonate in hyperphosphatemic children and adolescents with chronic kidney disease undergoing dialysis
Creators: name: Wasilewska, Anna
name: Murray, Rose Ann
name: Sundberg, Aimee
name: Uddin, Sharif
name: Achenbach, Heinrich
name: Shavkin, Aleksey
name: Szabó, Tamás
name: Vergani, Andrea
name: Umeh, Obi
Publisher: name: figshare
Year: 2022
Subjects: subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Marine Biology
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology

description: Additional file 4: Table 1. TEAEs considered related to study drug, experienced by ≥1 patient in ≥1 treatment arm.
Cops, Robbers, and Threatening Skeletons: Padded Decomposition for Minor-Free Graphs
Creators: name: Abraham, Ittai
name: Gavoille, Cyril
name: Gupta, Anupam
name: Neiman, Ofer
name: Kunal  Talwar
Publisher: name: Carnegie Mellon University
Year: 1983
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We prove that any graph excluding Kr as a minor has can be partitioned into clusters of diameter at most Δ while removing at most O(r/Δ) fraction of the edges. This improves over the results of Fakcharoenphol and Talwar, who building on the work of Klein, Plotkin and Rao gave a partitioning that required to remove O(r2/Δ) fraction of the edges. Our result is obtained by a new approach that relates the topological properties (excluding a minor) of a graph to its geometric properties (the induced shortest path metric). Specifically, we show that techniques used by Andreae in his investigation of the cops and robbers game on graphs excluding a fixed minor, can be used to construct padded decompositions of the metrics induced by such graphs. In particular, we get probabilistic partitions with padding parameter O(r) and strong-diameter partitions with padding parameter O(r2) for Kr-free graphs, O(k) for treewidth-k graphs, and O(log g) for graphs with genus g.
[Proceedings of the Supreme Court of British Columbia 1989-01-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.
Additional file 6 of An open-label phase 2 trial to assess the efficacy, safety and pharmacokinetics of lanthanum carbonate in hyperphosphatemic children and adolescents with chronic kidney disease undergoing dialysis
Creators: name: Wasilewska, Anna
name: Murray, Rose Ann
name: Sundberg, Aimee
name: Uddin, Sharif
name: Achenbach, Heinrich
name: Shavkin, Aleksey
name: Szabó, Tamás
name: Vergani, Andrea
name: Umeh, Obi
Publisher: name: figshare
Year: 2022
Subjects: subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Marine Biology
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology

description: Additional file 6: Table 1. Frequently reported TEAEs (≥10% of patients in ≥1 treatment arm) in parts 2 and 3 of the study, stratified by dialysis modality.
Additional file 1 of Inflammatory Neuropathy Consortium base (INCbase): a protocol of a global prospective observational cohort study for the development of a prediction model for treatment response in chronic inflammatory demyelinating polyneuropathy
Creators: name: Michael, Milou R.
name: Wieske, Luuk
name: Allen, Jeffrey A.
name: Lunn, Michael P.
name: Doppler, Kathrin
name: Tan, Cheng-Yin
name: Koike, Haruki
name: Markvardsen, Lars K.
name: Kapoor, Mahima
name: Hsieh, Sung-Tsang
name: Nobile-Orazio, Eduardo
name: Jacobs, Bart C.
name: Rajabally, Yusuf A.
name: Basta, Ivana
name: Ripellino, Paolo
name: Querol, Luis
name: Eftimov, Filip
Publisher: name: figshare
Year: 2024
Subjects: subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified
subject: Cancer
subject: Science Policy
subject: Hematology
subject: Infectious Diseases
subject: FOS: Health sciences

description: Supplementary Material 1.
Your contrastive learning problem is secretly a distribution alignment problem
Creators: name: Chen, Zihao
name: Lin, Chi-Heng
name: Liu, Ran
name: Xiao, Jingyun
name: Dyer, Eva L
Publisher: name: arXiv
Year: 2025
Subjects: subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences
subject: I.2.6
subject: 68T07

description: Despite the success of contrastive learning (CL) in vision and language, its theoretical foundations and mechanisms for building representations remain poorly understood. In this work, we build connections between noise contrastive estimation losses widely used in CL and distribution alignment with entropic optimal transport (OT). This connection allows us to develop a family of different losses and multistep iterative variants for existing CL methods. Intuitively, by using more information from the distribution of latents, our approach allows a more distribution-aware manipulation of the relationships within augmented sample sets. We provide theoretical insights and experimental evidence demonstrating the benefits of our approach for {\em generalized contrastive alignment}. Through this framework, it is possible to leverage tools in OT to build unbalanced losses to handle noisy views and customize the representation space by changing the constraints on alignment. By reframing contrastive learning as an alignment problem and leveraging existing optimization tools for OT, our work provides new insights and connections between different self-supervised learning models in addition to new tools that can be more easily adapted to incorporate domain knowledge into learning.
description: 10 pages, 5 figures, NeurIPS 2024 submission, includes supplementary material
title: ADCO, Comptes du Petit-Cîteaux (1477-1491) (11 H 1179), f. 00602
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: 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: cartulaire
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: Comptes du Petit-Cîteaux (1477-1491), Archives départementales de la Côte-d'Or, (11 H 1179). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Comptes du Petit-Cîteaux (1477-1491), Archives départementales de la Côte-d'Or, (11 H 1179), f. 00602, 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
Coping with Extragrammaticality
Creators: name: Carbonell, Jaime G.
name: Hayes, Philip J.
Publisher: name: Carnegie Mellon University
Year: 2006
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Practical natural language interfaces must exhibit robust behaviour in the presence of extragrammatical user input. This paper classifies different types of grammatical deviations and related phenomena at the lexical and sentential levels, discussing recovery strategies tailored to specific phenomena in the classification. Such strategies constitute a tool chest of computationally tractable methods for coping with extragrammaticality in restricted domain natural language. Some of the strategies have been tested and proven viable in existing parsers.
Additional file 1 of Association between weekend catch-up outdoor duration and prevalence of myopia: evidence from a cross-sectional, multi-center study in China
Creators: name: Ye, Lu
name: Wang, Ying
name: Sun, Ying
name: Li, Wu-jun
name: Zhang, Guo-yun
name: Wang, Wen-jun
name: Ren, Mei-xia
name: Gao, Jun-cheng
name: Liu, Guan-chen
name: Guo, Yi-ming
name: Huang, Juan
name: Lu, Xin-xin
name: Min, Jie
name: Ran, Tuan-zheng
name: Li, Si-xuan
name: He, Zi-tong
name: Jing, Qi-ya
name: Wang, Pei-quan
name: Qu, Liu-qing
name: Yang, Yan-qi
name: Ge, Pan
name: Zhang, Jian
name: Lv, Mo-qi
name: Zhou, Dang-xia
Publisher: name: figshare
Year: 2024
Subjects: subject: Medicine
subject: Environmental Sciences not elsewhere classified
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy

description: Supplementary Material 1
[Proceedings of the Supreme Court of British Columbia 1989-01-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.
Additional file 1 of Analysis of the reduction in injury mortality disparity between urban and rural areas in developing China from 2010 to 2016
Creators: name: Li, Yao
name: Pu, Miao
name: Wang, Yaping
name: Feng, Tienan
name: Jiang, Chenghua
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Environmental Sciences not elsewhere classified
subject: Chemical Sciences not elsewhere classified
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Cancer

description: Additional file 1. The ICD-10 codes for types of injury.
Influence of the Feedback Filter on the Response of the Pulsed Digital Oscillator
Creators: name: Dominguez, M.
name: Pons, Joan
name: Ricart, J.
name: Juillard, J.
name: Colinet, E.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Other Computer Science (cs.OH)
subject: FOS: Computer and information sciences

description: This paper introduces a new feedback topology for the Pulsed Digital Oscillator (PDO) and compares it to the classical topology. The `classic' or single feedback topology, introduced in previous works, shows a strong behavior dependence on the damping losses in the MEMS resonator. A new double feedback topology is introduced here in order to help solving this problem. Comparative discrete-time simulations and preliminary experimental measurements have been carried out for both topologies, showing how the new double feedback topology may increase PDO performance for some frequency ranges.
description: Submitted on behalf of TIMA Editions (http://irevues.inist.fr/tima-editions)
Coordination in Security Games via ADMM
Creators: name: Procaccia, Ariel D.
name: Sashank J. Reddi
name: Nisarg  Shah
Publisher: name: Carnegie Mellon University
Year: 2002
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Game-theoretic algorithms for the protection of critical infrastructure sites have been widely deployed in recent years. Important sites are protected by multiple agencies that assign their resources almost independently; but limited coordination has been shown to result in significant inefficiencies. Encouraging the agencies to coordinate requires developing mechanisms that can assign their resources simultaneously while sharing a minimal amount of sensitive information across agencies. We draw on the Alternating Direction Method of Multipliers (ADMM) — a distributed convex optimization method that plays a key role in machine learning research — to develop such coordination mechanisms for two agencies with provably optimal efficiency
Periodic points of algebraic functions and Deuring's class number formula
Creators: name: Morton, Patrick
Publisher: name: arXiv
Year: 2017
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 11D41, 11G07, 11G15, 14H05

description: The exact set of periodic points in $\overline{\mathbb{Q}}$ of the algebraic function $\widehat{F}(z)=(-1\pm \sqrt{1-z^4})/z^2$ is shown to consist of the coordinates of certain solutions $(x,y)=(π, ξ)$ of the Fermat equation $x^4+y^4=1$ in ring class fields $Ω_f$ over imaginary quadratic fields $K=\mathbb{Q}(\sqrt{-d})$ of odd conductor $f$, where $-d \equiv 1$ (mod $8$). This is shown to result from the fact that the $2$-adic function $F(z)=(-1+ \sqrt{1-z^4})/z^2$ is a lift of the Frobenius automorphism on the coordinates $π$ for which $|π|_2<1$, for any $d \equiv 7$ (mod $8$), when considered as elements of the maximal unramified extension $\textsf{K}_2$ of the $2$-adic field $\mathbb{Q}_2$. This gives an interpretation of the case $p=2$ of a class number formula of Deuring. An algebraic method of computing these periodic points and the corresponding class equations $H_{-d}(x)$ is given that is applicable for small periods. The pre-periodic points of $\widehat{F}(z)$ in $\overline{\mathbb{Q}}$ are also determined.
description: 27 pages, 3 tables; A discussion of pre-periodic points has been added to version 1
[Proceedings of the Supreme Court of British Columbia 1989-01-21]
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 5 of An open-label phase 2 trial to assess the efficacy, safety and pharmacokinetics of lanthanum carbonate in hyperphosphatemic children and adolescents with chronic kidney disease undergoing dialysis
Creators: name: Wasilewska, Anna
name: Murray, Rose Ann
name: Sundberg, Aimee
name: Uddin, Sharif
name: Achenbach, Heinrich
name: Shavkin, Aleksey
name: Szabó, Tamás
name: Vergani, Andrea
name: Umeh, Obi
Publisher: name: figshare
Year: 2022
Subjects: subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Marine Biology
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology

description: Additional file 5: Table 1. Change from baseline in biochemical bone markers for patients in part 2 of the studya.
Additional file 2 of Analysis of the reduction in injury mortality disparity between urban and rural areas in developing China from 2010 to 2016
Creators: name: Li, Yao
name: Pu, Miao
name: Wang, Yaping
name: Feng, Tienan
name: Jiang, Chenghua
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Environmental Sciences not elsewhere classified
subject: Chemical Sciences not elsewhere classified
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Cancer

description: Additional file 2. Map of China with geographical divisions. Red: eastern region; blue: central region; white: western region. Source: Zhang L, Li Z, Li X, et al. Study on the trend and disease burden of injury deaths in Chinese population, 2004–2010. PLoS One. 2014;9(1):e85319. doi:https://doi.org/10.1371/journal.pone.0085319. This original figure is under a Creative Commons Attribution License.
Cooperative and Competitive Interactions Facilitate Stereo Computations in Macaque Primary Visual Cortex
Creators: name: Samonds, Jason M.
name: Potetz, Brian R.
name: Lee, Tai Sing
Publisher: name: Carnegie Mellon University
Year: 1989
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: nferring depth from binocular disparities is a difficult problem for the visual system because local features in the left- and right-eye images must be matched correctly to solve this "stereo correspondence problem." Cortical architecture and computational studies suggest that lateral interactions among neurons could help resolve local uncertainty about disparity encoded in individual neurons by incorporating contextual constraints. We found that correlated activity among pairs of neurons in primary visual cortex depended both on disparity-tuning relationships and the stimuli displayed within the receptive fields of the neurons. Nearby pairs of neurons with distinct disparity tuning exhibited a decrease in spike correlation at competing disparities soon after response onset. Distant neuronal pairs of similar disparity tuning exhibited an increase in spike correlation at mutually preferred disparities. The observed correlated activity and response dynamics suggests that local competitive and distant cooperative interactions improve disparity tuning of individual neurons over time. Such interactions could represent a neural substrate for the principal constraints underlying cooperative stereo algorithms.
[Proceedings of the Supreme Court of British Columbia 1989-01-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.
Sangesari Dictionary
Creators: name: Mohammadi, Ariana
Publisher: name: figshare
Year: 2021
Subjects: subject: Linguistics
subject: FOS: Languages and literature
subject: 200405 Language in Culture and Society (Sociolinguistics)
subject: 160103 Linguistic Anthropology
subject: FOS: Sociology

description: The Trilingual Dictionary of Sangesari focuses on documenting the lexicon of Sangesari. The dictionary is an interactive representation of more than 7,500 Sangesari, Persian, and English lexical entries. The dictionary interface allows users to hear high-quality audio recordings of Sangesari words and phrases, find glosses in Persian and English, and access information about parts of speech, dialectal variations, synonyms, antonyms, and semantic domains. The dictionary emerged from multiple phases of data collection in collaboration with the speakers of Sangesari through fieldwork and community-based online platforms. The Dictionary has been published by SIL International and is freely available at https://www.webonary.org/sangesari/
Additional file 1 of Associations between genotype, phenotype and behaviours measured by the Rett syndrome behaviour questionnaire in Rett syndrome
Creators: name: Downs, Jenny
name: Wong, Kingsley
name: Leonard, Helen
Publisher: name: figshare
Year: 2024
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Neuroscience
subject: Sociology
subject: FOS: Sociology
subject: Science Policy
subject: Mental Health

description: Supplementary Material 1
Spin generalization of the Calogero-Moser hierarchy and the matrix KP hierarchy
Creators: name: Pashkov, V.
name: Zabrodin, A.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We establish a correspondence between rational solutions to the matrix KP hierarchy and the spin generalization of the Calogero-Moser system on the level of hierarchies. Namely, it is shown that the rational solutions to the matrix KP hierarchy appear to be isomorphic to the spin Calogero-Moser system in a sense that the dynamics of poles of solutions to the matrix KP hierarchy in the higher times is governed by the higher Hamiltonians of the spin Calogero-Moser integrable hierarchy with rational potential.
description: 17 pages, a reference added
Computing the Performance of a New Adaptive Sampling Algorithm Based on The Gittins Index in Experiments with Exponential Rewards
Creators: name: He, JK
name: Villar, SS
name: Mavrogonatou, L
Publisher: name: Springer Nature Switzerland
Year: 2023
Subjects: 46 Information and Computing Sciences
4611 Machine Learning
16 Peace, Justice and Strong Institutions

description: Designing experiments often requires balancing between learning about the true treatment effects and earning from allocating more samples to the superior treatment. While optimal algorithms for the Multi-Armed Bandit Problem (MABP) provide allocation policies that optimally balance learning and earning, they tend to be computationally expensive. The Gittins Index (GI) is a solution to the MABP that can simultaneously attain optimality and computationally efficiency goals, and it has been recently used in experiments with Bernoulli and Gaussian rewards. For the first time, we present a modification of the GI rule that can be used in experiments with exponentially-distributed rewards. We report its performance in simulated 2-armed and 3-armed experiments. Compared to traditional non-adaptive designs, our novel GI modified design shows operating characteristics comparable in learning (e.g. statistical power) but substantially better in earning (e.g. direct benefits). This illustrates the potential that designs using a GI approach to allocate participants have to improve participant benefits, increase efficiencies, and reduce experimental costs in adaptive multi-armed experiments with exponential rewards.
Additional file 1 of Rate of abnormalities in quantitative MR neuroimaging of persons with chronic traumatic brain injury
Creators: name: Rahmani, Farzaneh
name: Batson, Richard D.
name: Zimmerman, Alexandra
name: Reddigari, Samir
name: Bigler, Erin D.
name: Lanning, Shawn C.
name: Ilasa, Eveline
name: Grafman, Jordan H.
name: Lu, Hanzhang
name: Lin, Alexander P.
name: Raji, Cyrus A.
Publisher: name: figshare
Year: 2024
Subjects: subject: Space Science
subject: Medicine
subject: Cell Biology
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Pharmacology

description: Supplementary Material 1