cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Checking consistency of C and Verilog using predicate abstraction and induction
Creators: name: Clarke, Edmund
name: Kroening, Daniel
Publisher: name: Carnegie Mellon University
Year: 1967
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "It is common practice to write C models of circuits due to the greater simulation efficiency. Once the C program satisfies the requirements, the circuit is designed in a hardware description language (HDL) such as Verilog. It is therefore highly desirable to automatically perform a correspondence check between the C model and a circuit given in HDL. We present an algorithm that checks consistency between an ANSI-C program and a circuit given in Verilog using Predicate Abstraction. The algorithm exploits the fact that the C program and the circuit share many basic predicates. In contrast to existing tools that perform predicate abstraction, our approach is SAT-based and allows all ANSI-C and Verilog operators in the predicates. We report experimental results on an out-of-order RISC processor. We compare the performance of the new technique to Bounded Model Checking (BMC)."
[Proceedings of the Supreme Court of British Columbia 1990-06-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.
Checking Concurrent Typestate with Access Permissions in Plural: A Retrospective
Creators: name: Bierhoff, Kevin
name: Beckman, Nels E.
name: Aldrich, Jonathan
Publisher: name: Carnegie Mellon University
Year: 2014
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Objects often define usage protocols that clients must follow in order for these objects to work properly. In the presence of aliasing, however, it is difficult to check whether all the aliases of an object properly coordinate to enforce the protocol. Plural is a type-based system that can soundly enforce challenging protocols even in concurrent programs. In this paper, we discuss how Plural supports natural idioms for reasoning about programs, leveraging access permissions that express the programmer’s design intent within the code. We trace the predecessors of the design intent idioms used in Plural, discuss how we have found different forms of design intent to be complimentary, and outline remaining challenges and directions for future work in the area.
Sometimes You Want to Go Where Everybody Knows your Name
Creators: name: Brasher, Reuben
name: Roth, Nat
name: Wagle, Justin
Publisher: name: arXiv
Year: 2018
Subjects: subject: Machine Learning (cs.LG)
subject: Information Retrieval (cs.IR)
subject: FOS: Computer and information sciences

description: We introduce a new metric for measuring how well a model personalizes to a user's specific preferences. We define personalization as a weighting between performance on user specific data and performance on a more general global dataset that represents many different users. This global term serves as a form of regularization that forces us to not overfit to individual users who have small amounts of data. In order to protect user privacy, we add the constraint that we may not centralize or share user data. We also contribute a simple experiment in which we simulate classifying sentiment for users with very distinct vocabularies. This experiment functions as an example of the tension between doing well globally on all users, and doing well on any specific individual user. It also provides a concrete example of how to employ our new metric to help reason about and resolve this tension. We hope this work can help frame and ground future work into personalization.
[Proceedings of the Supreme Court of British Columbia 1990-06-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.
Évolution du déficit socio-sanitaire dans la malnutrition infantile en territoires palestiniens
Creators: name: El Kalay, Hiba
Publisher: name: My University
Year: 2023

description: Ce papier étudie l’évolution du déficit socio-sanitaire dans la malnutrition infantile en territoires palestiniens entre 2014 et 2019-2020. On utilise l’approche de Abu-Ismail et al (2020) pour explorer plus précisément les raisons du retard de croissance et de l’émaciation chez les enfants de moins de 5 ans. Cette approche utilise l’indice de déficit de santé de Wagstaff (2002), et on examine les facteurs qui contribuent au retard de croissance et à l’émaciation par la reformulation d’une fonction d’influence recentrée ou RIF. Le résultat de cette régression permet d’effectuer une analyse de type Oaxaca-Blinder pour analyser l’évolution de nos deux indices de déficit de santé d’intérêt. On se base sur les données collectées dans les Enquêtes par Grappes à Indicateurs Multiples (MICS) qui présente de nombreux indicateurs liés à la santé, l’éducation, la situation financière et la nutrition. Le plus important résultat trouvé est que l'amélioration de l'éducation supérieure des mères a un effet positif sur le phénomène du retard de croissance chez les enfants. En outre, selon les résultats de l'analyse de décomposition d'Oaxaca-Blinder, il est de plus en plus évident que l'éducation post-secondaire de la mère joue un rôle essentiel dans la réduction du retard de croissance chez l'enfant.
High-temperature terahertz optical diode effect without magnetic order in polar FeZnMo$_3$O$_8$
Creators: name: Yu, Shukai
name: Gao, Bin
name: Kim, Jae Wook
name: Cheong, Sang-Wook
name: Man, Michael K. L.
name: Madéo, Julien
name: Dani, Keshav M.
name: Talbayev, Diyar
Publisher: name: arXiv
Year: 2017
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We present a terahertz spectroscopic study of polar ferrimagnet FeZnMo$_3$O$_8$. Our main finding is a giant high-temperature optical diode effect, or nonreciprocal directional dichroism, where the transmitted light intensity in one direction is over 100 times lower than intensity transmitted in the opposite direction. The effect takes place in the paramagnetic phase with no long-range magnetic order in the crystal, which contrasts sharply with all existing reports of the terahertz optical diode effect in other magnetoelectric materials, where the long-range magnetic ordering is a necessary prerequisite. In \fzmo, the effect occurs resonantly with a strong magnetic dipole active transition centered at 1.27 THz and assigned as electron spin resonance between the eigenstates of the single-ion anisotropy Hamiltonian. We propose that the optical diode effect in paramagnetic FeZnMo$_3$O$_8$ is driven by signle-ion terms in magnetoelectric free energy.
Characterizing and Automatically Finding Primary Effects in Planning
Creators: name: Fink, Eugene
name: Yang, Qiang
Publisher: name: Carnegie Mellon University
Year: 2000
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The use of primary effects of operators in planning is an effective approach to reduce search costs. However, the characterization of 'good" primary effects has remained at an informal level. In this paper we present a formal criterion for selecting useful primary effects, which guarantees planning efficiency, completeness, and optimality. We also describe an inductive learning algorithm based on this criterion that automatically selects primary effects of opera- tors. Both the sample complexity and the time complexity of our learning algorithm are polynomial in the size of the domain.
Financial Management Research in Farming in the United States: An Annotated Bibliography of Recent Publications and Current Work
Creators: name: Harrison, Virden L.
name: Harrison, Virden L.
Publisher: name: Unknown
Year: 1971
Subjects: subject: Agricultural Finance
subject: Farm Management
subject: Research Methods/ Statistical Methods
subject: Financial management
subject: farm management
subject: management
subject: bibliography
subject: research methods
subject: current research
subject: agricultural finance

description: This annotated bibliography describes the contents of 300 recent publications and 50 current research projects relating to financial management of agricultural firms. A topic index groups the publications and current projects into subject matter areas within financial management. Also included are lists of teachers of graduate level courses in farm management and agricultural finance in State universities.
title: ADCO, Cart. 186 (11 H 71), f. 0115r
Creators: name: de la Côte d'Or, Archives départementales
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CBMA/CG21/F.PETOT/2012
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 général de Cîteaux, dit de Jean de Cirey, t. II (XVe siècle), tome II, Archives départementales de la Côte-d'Or, C
art. 186 (11 H 71). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, t. II (XVe siècle), tome II, Archives départementales de la
 Côte-d'Or, Cart. 186 (11 H 71), f. 0115r, 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: http://www.wikidata.org/entity/Q843261
description: Provenance: abbaye de Cîteaux
Multiview Point Cloud Registration via Optimization in an Autoencoder Latent Space
Creators: name: Vedrenne, Luc
name: Faisan, Sylvain
name: Fortun, Denis
Publisher: name: arXiv
Year: 2025
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Point cloud rigid registration is a fundamental problem in 3D computer vision. In the multiview case, we aim to find a set of 6D poses to align a set of objects. Methods based on pairwise registration rely on a subsequent synchronization algorithm, which makes them poorly scalable with the number of views. Generative approaches overcome this limitation, but are based on Gaussian Mixture Models and use an Expectation-Maximization algorithm. Hence, they are not well suited to handle large transformations. Moreover, most existing methods cannot handle high levels of degradations. In this paper, we introduce POLAR (POint cloud LAtent Registration), a multiview registration method able to efficiently deal with a large number of views, while being robust to a high level of degradations and large initial angles. To achieve this, we transpose the registration problem into the latent space of a pretrained autoencoder, design a loss taking degradations into account, and develop an efficient multistart optimization strategy. Our proposed method significantly outperforms state-of-the-art approaches on synthetic and real data. POLAR is available at github.com/pypolar/polar or as a standalone package which can be installed with pip install polaregistration.
description: 14 pages, 19 figures, IEEE Transactions on Image Processing
[Proceedings of the Supreme Court of British Columbia 1990-06-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.
Additional file 2: of Cathelicidin-related antimicrobial peptide protects against myocardial ischemia/reperfusion injury
Creators: name: Bei, Yihua
name: Pan, Li-Long
name: Zhou, Qiulian
name: Zhao, Cuimei
name: Xie, Yuan
name: Wu, Chengfei
name: Meng, Xiangmin
name: Gu, Huanyu
name: Xu, Jiahong
name: Zhou, Lei
name: Sluijter, Joost
name: Das, Saumya
name: Agerberth, Birgitta
name: Sun, Jia
name: Xiao, Junjie
Publisher: name: figshare
Year: 2019
Subjects: subject: Biochemistry
subject: Medicine
subject: Molecular Biology
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Developmental Biology

description: Figure S2. Intraperitoneal injection of the mCRAMP peptide increases the level of mCRAMP in both serum and heart samples of mice with ischemia-reperfusion (I/R) injury. (a) The level of the mCRAMP peptide was measured by ELISA in the serum from I/R mice (n = 7). (b-c) The level of the mCRAMP peptide was measured by ELISA in the infarct (b) and border (c) zones from I/R hearts (n = 5). Data were expressed as mean ± SD. *, P < 0.05; **, P < 0.01; ***, P < 0.001. (PDF 62 kb)
Hyperdimensional Representation Learning for Node Classification and Link Prediction
Creators: name: Dalvi, Abhishek
name: Honavar, Vasant
Publisher: name: arXiv
Year: 2024
Subjects: subject: Machine Learning (cs.LG)
subject: Artificial Intelligence (cs.AI)
subject: Social and Information Networks (cs.SI)
subject: FOS: Computer and information sciences

description: We introduce Hyperdimensional Graph Learner (HDGL), a novel method for node classification and link prediction in graphs. HDGL maps node features into a very high-dimensional space (\textit{hyperdimensional} or HD space for short) using the \emph{injectivity} property of node representations in a family of Graph Neural Networks (GNNs) and then uses HD operators such as \textit{bundling} and \textit{binding} to aggregate information from the local neighborhood of each node yielding latent node representations that can support both node classification and link prediction tasks. HDGL, unlike GNNs that rely on computationally expensive iterative optimization and hyperparameter tuning, requires only a single pass through the data set. We report results of experiments using widely used benchmark datasets which demonstrate that, on the node classification task, HDGL achieves accuracy that is competitive with that of the state-of-the-art GNN methods at substantially reduced computational cost; and on the link prediction task, HDGL matches the performance of DeepWalk and related methods, although it falls short of computationally demanding state-of-the-art GNNs.
description: Accepted by WSDM 2025
Torsion in Gauge Theory
Creators: name: Nieh, H. T.
Publisher: name: arXiv
Year: 2017
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The potential conflict between torsion and gauge symmetry in the Riemann-Cartan curved space-time was noted by Kibble in his 1961 pioneering paper, and has since been discussed by many authors. Kibble suggested that, to preserve gauge symmetry, one should forgo the covariant derivative in favor of the ordinary derivative in the definition of the field strength F_μν for massless gauge theories, while for massive vector fields covariant derivatives should be adopted. This view was further emphasized by Hehl and collaborators in their influential 1976 review paper. We address the question of whether this deviation from normal procedure of forgoing covariant derivatives in curved spacetime with torsion could give rise to inconsistencies in the theory, such as the quantum renormalizability of a realistic interacting theory. We demonstrate in this note the one-loop renormalizability of a realistic gauge theory of gauge bosons interacting with Dirac spinors, such as the SU(3) chromodynamics, for the case of a curved Riemann-Cartan spacetime with totally anti-symmetric torsion. This affirmative confirmation is one step towards providing justification for the assertion that the flat-space definition of the gauge field strength should be adopted as the proper definition.
Intellectual Property Rights and Foreign Direct Investment in Low Income Countries
Creators: name: Borovitsky, Daria
Publisher: name: My University
Year: 2020

description: This paper explores the connection between intellectual property (IP) rights protection and inward foreign direct investment in low and lower-middle income countries. The study uses the Ginarte and Park (2008) Index to measure the level of IP protection a country offers, as well as several control variables from the World Bank’s World Development Indicators and the Fraser Institute’s Economic Freedom of the World Index. Conducting an OLS and fixed panel econometric analysis, no clear conclusion can be drawn. The OLS regressions generated a negative but insignificant Intellectual Property Rights (IPR) coefficient, meaning its estimates are not different from zero. The panel data analysis produced significant and negative IPR coefficients, meaning that intellectual property protection can actually decrease the amount of FDI coming into a country. While the model produced unexpected results, they do not entirely conflict with previous literature. Instead, the analysis is undermined by a small sample size and the lack of detailed data.
[Proceedings of the Supreme Court of British Columbia 1990-06-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.
Van der Waals interaction and spontaneous decay of an excited atom in a superlens-type geometry
Creators: name: Sambale, Agnes
name: Buhmann, Stefan Yoshi
name: Welsch, Dirk-Gunnar
name: Dung, Ho Trung
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Within the framework of macroscopic quantum electrodynamics, the resonant van der Waals potential experienced by an excited two-level atom near a planar magneto-electric two-layer system consisting of a slab of left-handed material and a perfect mirror is studied. It is shown that disregarding of material absorption leads to unphysical results, with divergent values for the potential away from the surface. Under appropriate conditions, the setup is found to feature a barrier near the surface which can be employed to levitate particles or used as a trapping or cooling mechanism. Finally, the problem of spontaneous decay [J. Kästel and M. Fleischhauer, Phys. Rev. A \textbf{68}, 011804(R) (2005)] is revisited. Disregarding of absorption is shown to drastically falsify the dependence on the atomic position of the decay rate.
description: 10 Pages, 6 figures
title: Endangered Species Act Section 7(a)(2) Biological Opinion and Magnuson-Stevens Fishery Conservation and Management Act Essential Fish Habitat Response for the North Delta Water Recovery Project
Creators: name: United States. National Marine Fisheries Service. West Coast Region
Publisher: name: United States. National Marine Fisheries Service. West Coast Region
Year: 2021

description: ESA Section 7 Consultation ; WCRO-2020-03670
Coupling Story to Visualization: Using Textual Analysis as a Bridge Between Data and Interpretation
Creators: name: Metoyer, Ronald
name: Zhi, Qiyu
name: Janczuk, Bart
name: Scheirer, Walter
Publisher: name: arXiv
Year: 2017
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences

description: Online writers and journalism media are increasingly combining visualization (and other multimedia content) with narrative text to create narrative visualizations. Often, however, the two elements are presented independently of one another. We propose an approach to automatically integrate text and visualization elements. We begin with a writer's narrative that presumably can be supported with visual data evidence. We leverage natural language processing, quantitative narrative analysis, and information visualization to (1) automatically extract narrative components (who, what, when, where) from data-rich stories, and (2) integrate the supporting data evidence with the text to develop a narrative visualization. We also employ bidirectional interaction from text to visualization and visualization to text to support reader exploration in both directions. We demonstrate the approach with a case study in the data-rich field of sports journalism.
description: ACM IUI'18, 3 figures, 5 pages
A Model-Based Approach for Improving Reinforcement Learning Efficiency Leveraging Expert Observations
Creators: name: Ozcan, Erhan Can
name: Giammarino, Vittorio
name: Queeney, James
name: Paschalidis, Ioannis Ch.
Publisher: name: arXiv
Year: 2024
Subjects: subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: This paper investigates how to incorporate expert observations (without explicit information on expert actions) into a deep reinforcement learning setting to improve sample efficiency. First, we formulate an augmented policy loss combining a maximum entropy reinforcement learning objective with a behavioral cloning loss that leverages a forward dynamics model. Then, we propose an algorithm that automatically adjusts the weights of each component in the augmented loss function. Experiments on a variety of continuous control tasks demonstrate that the proposed algorithm outperforms various benchmarks by effectively utilizing available expert observations.
Resolving the circumstellar environment of the Galactic B[e] supergiant star MWC 137 from large to small scales
Creators: name: Kraus, Michaela
name: Liimets, Tiina
name: Cappa, Cristina E.
name: Cidale, Lydia S.
name: Nickeler, Dieter H.
name: Duronea, Nicolas U.
name: Arias, Maria L.
name: Gunawan, Diah S.
name: Oksala, Mary E.
name: Fernandes, Marcelo Borges
name: Maravelias, Grigoris
name: Cure, Michel
name: Santander-Garcia, Miguel
Publisher: name: arXiv
Year: 2017
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: The Galactic object MWC 137 was suggested to belong to the group of B[e] supergiants. However, with its large-scale optical bipolar ring nebula and the high velocity jet and knots, it is a rather atypical representative of this class. We performed multi-wavelength observations spreading from the optical to the radio regime. Based on optical imaging and long-slit spectroscopic data we found that the northern parts of the large-scale nebula are predominantly blue-shifted, while the southern regions appear mostly red-shifted. We developed a geometrical model consisting of two double-cones. While various observational features can be approximated with such a scenario, the observed velocity pattern is more complex. Using near-infrared integral-field unit spectroscopy we studied the hot molecular gas in the close vicinity of the star. The emission from the hot CO gas arises in a small-scale disk revolving around the star on Keplerian orbits. While the disk itself cannot be spatially resolved, its emission is reflected by dust arranged in arc-like structures and clumps surrounding MWC 137 on small scales. In the radio regime we mapped the cold molecular gas in the outskirts of the optical nebula. We found that large amounts of cool molecular gas and warm dust embrace the optical nebula in the east, south and west. No cold gas or dust were detected in the north and north-western regions. Despite the new insights on the nebula kinematics gained from our studies, the real formation scenario of the large-scale nebula remains an open issue.
description: 19 pages, 14 figures, Table 1 will be available in CDS only. Accepted for publication in AJ
Characterization and Parameterization of a Pipeline Reconfigurable FPGA
Creators: name: Moe, Matthew
name: Schmit, Herman
name: Goldstein, Seth C.
Publisher: name: Carnegie Mellon University
Year: 1988
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The article defines a class of architectures for pipeline reconfigurable FPGAs by parameterizing a generic model. This class of architecture is sufficiently general to allow exploration of the most important design trade-offs. The parameters include the word size and LUT size, the number of global busses and registers associated with each logic block, and the horizontal interconnect within each stripe. We have developed an area model for the architecture that allows us to quickly estimate the area of an instance of the architectural class as a function of the parameter values. We compare the estimates generated by this model to one instance of the architecture that we have designed and fabricated
Metal-rich, Metal-poor: Updated Stellar Population Models for Old Stellar Systems
Creators: name: Conroy, Charlie
name: Villaume, Alexa
name: van Dokkum, Pieter
name: Lind, Karin
Publisher: name: arXiv
Year: 2018
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present updated stellar population models appropriate for old ages (>1 Gyr) and covering a wide range in metallicities (-1.5
description: accepted for publication in ApJ
Globally hyperbolic evaporating black hole and the information loss issue
Creators: name: Pêgas, Juan V. O.
name: Landulfo, André G. S.
name: Matsas, George E. A.
name: Vanzella, Daniel A. T.
Publisher: name: arXiv
Year: 2024
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We discuss the information loss issue for completely evaporating black holes in the context of a globally hyperbolic spacetime that maintains unchanged the entire semiclassical picture except for the "last evaporation breath," which pertains to full quantum gravity. Even though observers outside the black hole cannot access information that enters the horizon, there is no actual loss of information imposed by the spacetime causal structure since it is carried over from one Cauchy surface to the next (provided the local evolution is unitary).
description: 22 pages, 8 figures
[Proceedings of the Supreme Court of British Columbia 1990-06-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.
Changing Bases: Multistage Optimization for Matroids and Matchings
Creators: name: Gupta, Anupam
name: Kunal  Talwar
name: Wieder, Udi
Publisher: name: Carnegie Mellon University
Year: 1987
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: This paper is motivated by the fact that many systems need to be maintained continually while the underlying costs change over time. The challenge is to continually maintain near-optimal solutions to an underlying optimization problem, without creating too much churn in the solution itself. We model this as a multistage combinatorial optimization problem where the input is a sequence of cost functions (one for each time step); while we can change the solution from step to step, we incur an additional cost for every such change. We first study the multistage matroid maintenance problem, where we need to maintain a base of a matroid in each time step under changing cost functions and acquisition costs for adding new elements. The online version generalizes online paging. E.g., given a graph, we need to maintain a spanning tree T t at each step: we pay c t (T t ) for the cost of the tree at time t, and also | T t ∖ T t − 1 | for the number of edges changed at this step. Our main result is a polynomial time O(logm logr)-approximation to the online problem, where m is the number of elements/edges and r is the rank of the matroid. This improves on results of Buchbinder et al. [7] who addressed the fractional version of this problem under uniform acquisition costs, and Buchbinder, Chen and Naor [8] who studied the fractional version of a more general problem. We also give an O(logm) approximation for the offline version of the problem. These bounds hold when the acquisition costs are non-uniform, in which case both these results are the best possible unless P=NP. We also study the perfect matching version of the problem, where we maintain a perfect matching at each step under changing cost functions and costs for adding new elements. Surprisingly, the hardness drastically increases: for any constant ε > 0, there is no O(n 1 − ε )-approximation to the multistage matching maintenance problem, even in the offline case.
La qualification juridique des swaps comme site d’une lutte globale pour le droit
Creators: name: Cornut St-Pierre, Pascale
Publisher: name: My University
Year: 2016

description: À partir d’une recherche d’archives dans la littérature produite par les praticiens du droit au sujet des swaps depuis les années 1980, l’article décrit la controverse au sujet de la nature des swaps et met en évidence le travail juridique qui a été déployé en soutien à l’innovation financière. La façon dont les swaps devaient être conceptualisés en droit était en effet une question ouverte, à laquelle de nombreux juristes ont tenté des réponses en puisant dans divers répertoires de l’argumentation juridique. Une telle controverse laisse voir une coproduction du droit, où le savoir des juristes de l’industrie financière est porteur d’un pouvoir d’infléchir la portée des normes existantes, un pouvoir d’autant plus significatif qu’il se déploie dans un milieu globalisé où l’autorité de l’État se fait plus fragmentée. L’article décrit comment les avocats de la finance ont globalement résisté au droit, en produisant systématiquement des arguments à propos de ce que les swaps n’étaient pas (ni valeurs mobilières, ni assurances, ni paris, etc.) et en les qualifiant plutôt d’instruments financiers sui generis. Ainsi détachés des principales catégories juridiques en vigueur, les swaps furent capables de croître relativement à l’abri des régimes destinés à encadrer la finance depuis les années 1930. Based on archival research in literature by and for legal practitioners on swaps since the 1980s, this article presents the early controversy about the nature of swaps and elucidates the legal work deployed in support of financial innovation. How swaps would fit into the available legal categories of diverse jurisdictions was an open question to which many practitioners crafted tentative answers based on various repertoires of legal argumentation. This controversy reveals a co-production of law, where legal knowledge carries a power to inflect the scope of existing legal categories, a power all the more significant in the global environment that is finance where State authority is more fragmented. This article shows how financial lawyers globally resisted law by arguing consistently about what swaps were not (neither securities, nor insurance, nor gambling, etc.) and by characterizing them as sui generis financial instruments. As such, swaps were able to grow relatively immune from most legal regimes that were in place to regulate finance since the 1930s.
Local Density of States in Mesoscopic Samples from Scanning Gate Microscopy
Creators: name: Pala, M. G.
name: Hackens, B.
name: Martins, F.
name: Sellier, H.
name: Bayot, V.
name: Huant, S.
name: Ouisse, T.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We study the relationship between the local density of states (LDOS) and the conductance variation $ΔG$ in scanning-gate-microscopy experiments on mesoscopic structures as a charged tip scans above the sample surface. We present an analytical model showing that in the linear-response regime the conductance shift $ΔG$ is proportional to the Hilbert transform of the LDOS and hence a generalized Kramers-Kronig relation holds between LDOS and $ΔG$. We analyze the physical conditions for the validity of this relationship both for one-dimensional and two-dimensional systems when several channels contribute to the transport. We focus on realistic Aharonov-Bohm rings including a random distribution of impurities and analyze the LDOS-$ΔG$ correspondence by means of exact numerical simulations, when localized states or semi-classical orbits characterize the wavefunction of the system.
description: 8 pages, 8 figures
Flat affine subvarieties in Oeljeklaus-Toma manifolds
Creators: name: Ornea, Liviu
name: Verbitsky, Misha
name: Vuletescu, Victor
Publisher: name: arXiv
Year: 2017
Subjects: subject: Differential Geometry (math.DG)
subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: The Oeljeklaus-Toma (OT-) manifolds are compact, complex, non-Kahler manifolds constructed by Oeljeklaus and Toma, and generalizing the Inoue surfaces. Their construction uses the number-theoretic data: a number field $K$ and a torsion-free subgroup $U$ in the group of units of the ring of integers of $K$, with rank of $U$ equal to the number of real embeddings of $K$. We prove that any complex subvariety of smallest possible positive dimension in an OT-manifold is also flat affine. This is used to show that if all non-trivial elements in $U$ are primitive in $K$, then $X$ contains no proper complex subvarieties.
description: 12 pages, v. 2.0, changed the title to avoid confusion with an earlier paper
The Poor: A Selected Bibliography
Creators: name: Maida, Peter R.
name: McCoy, John L.
name: Maida, Peter R.
name: McCoy, John L.
Publisher: name: Unknown
Year: 1969
Subjects: Community/Rural/Urban Development
Food Security and Poverty

description: Excerpts from the Preface: This bibliography is a selected compilation of literature dealing with aspects of poverty in the United States. The overall approach has been to present an interdisciplinary view of the literature so the reader can better appreciate the complex nature of the poverty problem. The collection, spanning approximately 15 years, includes citations from the fields of anthropology, demography, economics, physical and mental health, psychology, sociology, and social psychology. Most references are reports of field investigations. Not all of the citations, however, are reports of empirical research. Some include position papers designed to clarify either research variables or major themes pertinent for researchers studying socioeconomic deprivation. Although the major emphasis of this bibliography is on the dynamics of poverty and characteristics of the poor, sources dealing with proposals for alleviating poverty, such as income maintenance, negative income tax, and family allowances, can be found under Resource Development Problems and Programs. In particular, see Alternative Solutions: Program Proposals and Evaluations.
Challenges in Using an Example-Based MT System for a Transnational Digital Government Project
Creators: name: Cavalli-Sforza, Violetta
name: Brown, Ralf D
name: Carbonell, Jaime G.
name: Jansen, Peter J
name: Kim, Jae Dong
Publisher: name: Carnegie Mellon University
Year: 2006
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We describe ongoing efforts towards and challenges in using an Example-Based Machine Translation (EBMT) system in the context of a multinational, multi-university and multi-agency transnational digital government project. The project is aimed at applying information technology to the problem of collecting and sharing information securely in a multilingual context. We report on a number of issues encountered in obtaining and using language data for the EBMT system, discuss our current solutions, and briefly describe ongoing enhancements to the system to meet some of the technical and practical challenges posed by using this machine translation approach in the project domain
Uma Abordagem da Avaliação Online no Ensino Superior: e-portfolios em Rede Social
Creators: name: Cruz, Cláudia
name: Araújo, Isabel
name: Pereira, Luís
name: Martins, Maria De Lurdes
Publisher: name: Instituto Politécnico de Bragança
Year: 2016

description: O Ensino Superior, dadas as exigências inerentes a uma sociedade do conhecimento e da informação, em constante transformação, e em que os avanços tecnológicos têm contribuído, de modo significativo, para todo o sistema educacional, tem vindo a proceder a alterações no sentido de cumprir um papel sociopedagógico que possibilite a inserção activa de indivíduos no mundo actual de trabalho. A avaliação é, indubitavelmente, parte integrante do processo de ensino e de aprendizagem. Neste artigo, faz-se uma reflexão sobre a avaliação, com particular relevância para a avaliação online, ancorada em conceitos de “avaliação autêntica” e de “avaliação sustentável”. A educação à distância tem um papel relevante no ensino superior. Assim, e no sentido de garantir a sua credibilidade, a avaliação online tem sido alvo de muita reflexão e preocupação. Destaca-se, igualmente, a relevância dos e-portfolio em rede social como uma ferramenta proeminente na avaliação online. Palavras-chave: avaliação, avaliação online, e-portfolio.
description: Eduser - Revista de Educação, v. 2 n. 2 (2010): Eduser - Revista de Educação
[Proceedings of the Supreme Court of British Columbia 1990-06-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.
On the range of validity of the fluctuation theorem for stochastic Markovian dynamics
Creators: name: Rákos, A.
name: Harris, R. J.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We consider the fluctuations of generalized currents in stochastic Markovian dynamics. The large deviations of current fluctuations are shown to obey a Gallavotti-Cohen (GC) type symmetry in systems with a finite state space. However, this symmetry is not guaranteed to hold in systems with an infinite state space. A simple example of such a case is the Zero-Range Process (ZRP). Here we discuss in more detail the already reported breakdown of the GC symmetry in the context of the ZRP with open boundaries and we give a physical interpretation of the phases that appear. Furthermore, the earlier analytical results for the single-site case are extended to cover multiple-site systems. We also use our exact results to test an efficient numerical algorithm of Giardina, Kurchan and Peliti, which was developed to measure the current large deviation function directly. We find that this method breaks down in some phases which we associate with the gapless spectrum of an effective Hamiltonian.
description: 37 pages, 10 figures. Minor alterations, fixed typos (as appeared in JSTAT)
ModZoo: A Large-Scale Study of Modded Android Apps and their Markets
Creators: name: Saavedra, Luis A.
name: Dutta, Hridoy S.
name: Beresford, Alastair R.
name: Hutchings, Alice
Publisher: name: arXiv
Year: 2024
Subjects: subject: Other Computer Science (cs.OH)
subject: Cryptography and Security (cs.CR)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: We present the results of the first large-scale study into Android markets that offer modified or modded apps: apps whose features and functionality have been altered by a third-party. We analyse over 146k (thousand) apps obtained from 13 of the most popular modded app markets. Around 90% of apps we collect are altered in some way when compared to the official counterparts on Google Play. Modifications include games cheats, such as infinite coins or lives; mainstream apps with premium features provided for free; and apps with modified advertising identifiers or excluded ads. We find the original app developers lose significant potential revenue due to: the provision of paid for apps for free (around 5% of the apps across all markets); the free availability of premium features that require payment in the official app; and modified advertising identifiers. While some modded apps have all trackers and ads removed (3%), in general, the installation of these apps is significantly more risky for the user than the official version: modded apps are ten times more likely to be marked as malicious and often request additional permissions.
description: To be published in the 2024 Symposium on Electronic Crime Research (eCrime 2024)
Challenges in Statistical Machine Learning
Creators: name: Lafferty, John D.
name: Wasserman, Larry
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Machine learning and statistics are one and the same discipline, with different communities of researchers attacking essentially the same fundamental problems from different perspectives. In this note we brieﬂy describe some current challenges in the ﬁ eld of statistical machine learning that cut across the communities. We focus on areas where active development of learning techniques demonstrates promising performance, but where signiﬁcant gaps in the theoretical foundations remain; ﬁ lling the gaps will help to explain and improve upon this performance. The themes are high dimensional data, sparsity, semi-supervised learning, the relation between computation and risk, and structured prediction. Our selection of these themes is highly biased (and therefore has high risk), but we believe that these challenging areas can beneﬁt from a combination of the statistics and computer science perspectives on learning from data.
[Proceedings of the Supreme Court of British Columbia 1990-06-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.
Deliverable No. 2.4 Report on the application of the fully coupled SCM to test cases based on Arctic YOPP IOPs
Creators: name: Svensson, Gunilla
name: Hartung, Kerstin
name: Holt, Jareth
name: Tjernström, Michael
Publisher: name: Zenodo
Year: 2019

description: The new tool, the Atmosphere-Ocean Single-Column Model (AOSCM), developed within APPLICATE and demonstrated in D2.1, is further developed to become an even more versatile tool for understanding model behaviour and aid model development. The enhancements of the model are mostly on the technical side with the goal to be able to run well-defined cases that can be compared with process observations. Procedures on how to set up cases have been defined and are described in a document appended to this deliverable. Observational process level data from the Arctic Ocean obtained in expeditions with the ice- breaker Oden is described and merged into files designed with the purpose of being easily accessible for model development. These observations are from three summer expeditions and provide data in the vertical column that is represented by the AOSCM. The methodology is developed in an international setting and will be utilized for data from the ongoing expedition MOSAiC that will provide data for a whole year October 2019 – October 2020. An experimental protocol is developed for the AOSCM and tested for a warm air advection case observed during the Oden expedition ACAS in 2014. The protocol covers perturbations of model setup and forcing and consists of 480 simulations of the three-day period. The perturbation analysis reveals that the net energy available at the surface during this period vary between 30 and 130 Wm-2. The results are most sensitive to the advection of moisture but substantial changes are seen when using all forcing and modifying other parameters such as the sea-ice properties, time step, model version etc. The methodology of using the AOSCM and combining it with observations are now mature enough to be expanded to cover the whole set of observational periods. This work contributes to Objective #2 of WP2 “Develop innovative methods, using observations and a variety of model configurations, to facilitate parameter optimization for physical processes in coupled model systems for NWP and climate”.
Additional file 3: of Cathelicidin-related antimicrobial peptide protects against myocardial ischemia/reperfusion injury
Creators: name: Bei, Yihua
name: Pan, Li-Long
name: Zhou, Qiulian
name: Zhao, Cuimei
name: Xie, Yuan
name: Wu, Chengfei
name: Meng, Xiangmin
name: Gu, Huanyu
name: Xu, Jiahong
name: Zhou, Lei
name: Sluijter, Joost
name: Das, Saumya
name: Agerberth, Birgitta
name: Sun, Jia
name: Xiao, Junjie
Publisher: name: figshare
Year: 2019
Subjects: Biochemistry
Medicine
Cell Biology
Molecular Biology
Pharmacology
Chemical Sciences not elsewhere classified

description: Figure S3. Western blot analysis for the Bax/Bcl ratio, Caspase-3 cleavage, and phosphorylation levels of Akt, ERK1/2, and FoxO3a in mouse ischemia/reperfusion (I/R) hearts. The Bax/Bcl ratio and Caspase-3 cleavage, as well as the Akt, ERK1/2, and FoxO3a phosphorylation levels, were analyzed by Western blot in the infarct, border, and remote zones of mouse I/R hearts (n = 3). All membranes were probed, stripped, and then reprobed for determining the phosphorylation levels of Akt, ERK1/2, and FoxO3a. Data were expressed as mean ± SD. *, P < 0.05; **, P < 0.01; ***, P < 0.001. (PDF 166 kb)