cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Privacy Notice and Choice in Practice
Creators: name: Leon-Najera, Pedro Giovanni
Publisher: name: Carnegie Mellon University
Year: 2014
Subjects: subject: 160510 Public Policy
subject: FOS: Political science
subject: 99999 Engineering not elsewhere classified
subject: FOS: Other engineering and technologies

description: In the United States, notice and choice remain the most commonly used mechanisms to protect people’s privacy online. This approach relies on the assumption that users provided with notice will make informed choices that align with their privacy expectations. The goal of this research is to empirically inform industry and regulatory efforts that rely on notice and choice to protect people’s online privacy. To do so, we present a set of case studies covering different aspects of privacy notice and choice in four domains: online behavioral advertising (OBA), online social networks (OSN), financial privacy notices, and websites’ machine-readable privacy notices. We investigate users’ privacy preferences, information needs, and ability to exercise choices in the OBAdomain. Based on our results, we provide recommendations to improve the design of notice and choice methods currently in use in this domain. In the context of OSNs, we explore the effect of nudging notices designed to encourage more thoughtful disclosures among Facebook users and recommend changes to the Facebook user interface aimed to mitigate problematic disclosures. We demonstrate how standardized notices enable large-scale evaluations and comparisons of companies’ privacy practices and argue that standardized privacy notices have an enormous potential to improve transparency and benefit users, privacy-respectful companies, and oversight entities. We argue that, in today’s complex Internet ecosystem, an approach that relies on users to make privacy decisions should also empower them with user-friendly interfaces, relevant information, and the tools they need to make privacy decisions. Finally, we further argue that notice and choice are necessary, but not sufficient to protect online privacy, and that government regulation is necessary to establish necessary additional protections including access, redress, accountability, and enforcement.
Principal Network Analysis
Creators: name: Mei, Jonathan
Publisher: name: Carnegie Mellon University
Year: 2018
Subjects: subject: Computer Engineering
subject: 90699 Electrical and Electronic Engineering not elsewhere classified
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Many applications collect a large number of time series, for example, temperature continuously monitored by weather stations across the US or neural activity recorded by an array of electrical probes. These data are often referred to as unstructured. A first task in their analytics is often to derive a low dimensional representation { a graph or discrete manifold { that describes the inter relations among the time series and their intrarelations across time. In general, the underlying graphs can be directed and weighted, possibly capturing the strengths of causal relations, not just the binary existence of reciprocal correlations. Furthermore, the processes generating the data may be non-linear and observed in the presence of unmodeled phenomena or unmeasured agents in a complex networked system. Finally, the networks describing the processes may themselves vary through time. In many scenarios, there may be good reasons to believe that the graphs are only able to vary as linear combinations of a set of \principal graphs" that are fundamental to the system. We would then be able to characterize each principal network individually to make sense of the ensemble and analyze the behaviors of the interacting entities. This thesis acts as a roadmap of computationally tractable approaches for learning graphs that provide structure to data. It culminates in a framework that addresses these challenges when estimating time-varying graphs from collections of time series. Analyses are carried out to justify the various models proposed along the way and to characterize their performance. Experiments are performed on synthetic and real datasets to highlight their effectiveness and to illustrate their limitations.
Variational principle for quantum impurity systems in and out of equilibrium: application to Kondo problems
Creators: name: Ashida, Yuto
name: Shi, Tao
name: Bañuls, Mari Carmen
name: Cirac, J. Ignacio
name: Demler, Eugene
Publisher: name: arXiv
Year: 2018
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Quantum Gases (cond-mat.quant-gas)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We provide a detailed formulation of the recently proposed variational approach [Y. Ashida et al., Phys. Rev. Lett. 121, 026805 (2018)] to study ground-state properties and out-of-equilibrium dynamics for generic quantum spin-impurity systems. Motivated by the original ideas by Tomonaga, Lee, Low, and Pines, we construct a canonical transformation that completely decouples the impurity from the bath degrees of freedom. By combining this transformation with a Gaussian ansatz for the fermionic bath, we obtain a family of variational many-body states that can efficiently encode the strong entanglement between the impurity and fermions of the bath. We give a detailed derivation of equations of motions in the imaginary- and real-time evolutions on the variational manifold. We benchmark our approach by applying it to investigate ground-state and dynamical properties of the anisotropic Kondo model and compare results with those obtained using matrix-product state (MPS) ansatz. We show that our approach can achieve an accuracy comparable to MPS-based methods with several orders of magnitude fewer variational parameters than the corresponding MPS ansatz. Comparisons to the Yosida ansatz and the exact solution from the Bethe ansatz are also discussed. We use our approach to investigate the two-lead Kondo model and analyze its long-time spatiotemporal behavior and the conductance behavior at finite bias and magnetic fields. The obtained results are consistent with the previous findings in the Anderson model and the exact solutions at the Toulouse point.
description: 17 pages, 10 figures
Médicos de Família Simulam!
Creators: name: Norte, Gustavo
Publisher: name: Revista da Sociedade Portuguesa de Anestesiologia
Year: 2024

description: Médicos de Família Simulam!
description: Revista da Sociedade Portuguesa de Anestesiologia, Vol. 31 N.º 4 (2022): Suplemento 2 da Revista da Sociedade Portuguesa de Anestesiologia
Universal bound states of one-dimensional bosons with two- and three-body attractions
Creators: name: Nishida, Yusuke
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: When quantum particles are confined into lower dimensions, an effective three-body interaction inevitably arises and may cause significant consequences. Here we study bosons in one dimension with weak two-body and three-body interactions, predict the existence of two three-body bound states when both interactions are attractive, and determine their binding energies as universal functions of the two-body and three-body scattering lengths. We also show that an infinitesimal three-body attraction induces an excited bound state only for 3, 39, or more bosons. Our findings herein have direct relevance to a broad range of quasi-one-dimensional systems realized with ultracold atoms.
description: 6 pages, 3 figures; published version with more results for N>3 bosons
Microscopic Theory of Josephson Mesoscopic Constrictions
Creators: name: Martin-Rodero, A.
name: Garcia-Vidal, F. J.
name: Levy-Yeyati, A.
Publisher: name: arXiv
Year: 1993
Subjects: subject: Condensed Matter (cond-mat)
subject: FOS: Physical sciences

description: We present a microscopic theory for the d.c. Josephson effect in model mesoscopic constrictions. Our method is based on a non-equilibrium Green function formalism which allows for a self-consistent determination of the order parameter profile along the constriction. The various regimes defined by the different length scales (Fermi wavelength $λ_F$, coherence length $ξ_0$ and constriction length $L_C$) can be analyzed, including the case where all these lengths are comparable. For the case $λ_F \tilde{ξ_0$ solutions with a phase-slip center inside the constriction can be found, in agreement with previous phenomenological theories.
description: 4 pages (RevTex 3.0), 3 postscript figures available upon request, 312456-CG
Vacuum structure of Yang-Mills theory as a function of $θ$
Creators: name: Aitken, Kyle
name: Cherman, Aleksey
name: Ünsal, Mithat
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: It is believed that in $SU(N)$ Yang-Mills theory observables are $N$-branched functions of the topological $θ$ angle. This is supposed to be due to the existence of a set of locally-stable candidate vacua, which compete for global stability as a function of $θ$. We study the number of $θ$ vacua, their interpretation, and their stability properties using systematic semiclassical analysis in the context of adiabatic circle compactification on $\mathbb{R}^3 \times S^1$. We find that while observables are indeed N-branched functions of $θ$, there are only $\approx N/2$ locally-stable candidate vacua for any given $θ$. We point out that the different $θ$ vacua are distinguished by the expectation values of certain magnetic line operators that carry non-zero GNO charge but zero 't Hooft charge. Finally, we show that in the regime of validity of our analysis YM theory has spinodal points as a function of $θ$, and gather evidence for the conjecture that these spinodal points are present even in the $\mathbb{R}^4$ limit.
description: 33 pages, 6 figures. v3: added references
Prescriptive Safety-Checks through Automated Proofs for Control-Flow Integrity
Creators: name: Jiaqi  Tan
Publisher: name: Carnegie Mellon University
Year: 2016
Subjects: subject: Computer Engineering
subject: 90699 Electrical and Electronic Engineering not elsewhere classified
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Embedded software today is pervasive: they can be found everywhere, from coffee makers and medical devices, to cars and aircraft. Embedded software today is also open and connected to the Internet, exposing them to external attacks that can cause its Control-Flow Integrity (CFI) to be violated. Control-Flow Integrity is an important safety property of software, which ensures that the behavior of the software is not inadvertently changed. The violation of CFI in software can cause unintended behaviors, and can even lead to catastrophic incidents in safety-critical systems. This dissertation develops a two-part approach for CFI: (i) prescribing source-code safetychecks, that prevent the root-causes of CFI, that programmers can insert themselves, and (ii) formally proving CFI for the machine-code of programs with source-code safety-checks. First, our prescribed safety-checks, when applied, prevent the root-causes of CFI, thereby enabling software to recover from CFI violations in a customizable way. In addition, our prescribed safety-checks are visible to programmers, empowering them to ensure that the behavior of their software is not inadvertently changed by the prescribed safety-checks. However, programmer-inserted safety-checks may be incomplete. Thus, current techniques for proving CFI, which assume that safety-checks are complete, may not work. Second, this dissertation develops a logic approach that automates formal proofs of CFI for the machine-code of software containing both source-code CFI safety-checks and system calls. We extend an existing trustworthy Hoare logic with new proof rules, proof tactics, and a novel proof-search algorithm, which exploit the principle of local reasoning for safety properties to automatically generate CFI proofs for the machine-code of programs compiled with our prescribed source-code safety-checks. To the best of our knowledge, our approach to CFI is the first to combine programmer-visible source-code enforcement mechanisms for CFI–enabling programmers to customize them and observe that their software is not inadvertently changed–with machine-code proofs of CFI that can be automated, and that does not require a trusted or verified compiler to ensure its proven properties hold in machine-code. We evaluate our CFI approach on realistic embedded software. We evaluate our approach on the MiBench and WCET benchmarks, implementations of common file utilities, and programs interfacing with hardware inputs and outputs on the Raspberry Pi single-board-computer. The variety of our target programs, and our ability to support useful features such as file and hardware inputs and outputs, demonstrate the wide applicability of our approach.
The impact of new information and communication technologies (ICT) on the financial performance of construction companies: A case study of the Marrakech-Safi region
Creators: name: TOUICHER Ouardia
Publisher: name: Zenodo
Year: 2024

description: The article explores the impact of Information and Communication Technology (ICT) on the financial performance of SMEs in the construction sector in Morocco. It highlights the increasing importance of digitization in an economic context characterized by globalization. Through a quantitative approach based on a questionnaire survey of 200 SMEs, the study identifies the use of ICT tools in these companies and their financial performances. The results show a significant correlation between digitization, measured by the frequency of ICT tool usage, and financial performance, evaluated through indicators like equity, total assets, and net income. Factor analysis reveals two main factors: the traditional factor including office automation, budget planning, and Business Intelligence, and the modern factor comprising consolidation and ERP systems. This research contributes to a better understanding of the impact of ICT on SMEs in the construction sector, emphasizing the strategic importance of digitization for enhancing management and financial performance in this key sector of the Moroccan economy.
The affine property of quasi-free states on self-dual CAR algebras
Creators: name: Sawada, Yusuke
Publisher: name: arXiv
Year: 2018
Subjects: subject: Operator Algebras (math.OA)
subject: FOS: Mathematics

description: We study conditions for which the correspondence between quasi-free states on self-dual CAR algebras and covariant operators is affine.
description: 10 pages
Thermal plasmon resonantly enhances electron scattering in Dirac/Weyl semimetals
Creators: name: Kozii, Vladyslav
name: Fu, Liang
Publisher: name: arXiv
Year: 2018
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We study the inelastic scattering rate due to the Coulomb interaction in three-dimensional Dirac/Weyl semimetals at finite temperature. We show that the perturbation theory diverges because of the long-range nature of the interaction, hence, thermally induced screening must be taken into account. We demonstrate that the scattering rate has a non-monotonic energy dependence with a sharp peak owing to the resonant decay into thermal plasmons. We also consider the Hubbard interaction for comparison. We show that, in contrast to the Coulomb case, it can be well described by the second-order perturbation theory in a wide energy range.
description: 5 pages, 1 figure, 1 table, supplemental material
Pre-Grasp Interaction as a Manipulation Strategy for Movable Objects
Creators: name: Chang, Lillian Y
Publisher: name: Carnegie Mellon University
Year: 2010
Subjects: subject: 80101 Adaptive Agents and Intelligent Robotics
subject: FOS: Computer and information sciences

description: Robotic systems have yet to match humans in skill for movement planning
and tool manipulation. For example, humans can robustly grasp
and manipulate objects even under task variation. However, successful
grasping methods for robotic manipulators are often limited to structured
environmental conditions. Our dual goals are to understand manipulation
actions in humans and to add such skills to a robot manipulator’s
repertoire. In particular, we examine strategies for object acquisition,
which is a common first component in manipulation actions.
Many approaches to automating robot motion for object acquisition
have focused on reach-to-grasp tasks, where the arm motion and hand
configuration are planned for grasping an object. With these solutions,
the object placement often remains fixed in the environment until the
object is carefully grasped from its presented configuration. In contrast,
humans often take advantage of an object’s movability to reorient and
regrasp an object during the acquisition process.
This thesis investigates how such pre-grasp interaction can improve
grasping through preparatory manipulation of the object’s configuration.
Specifically we studied the strategy of pre-grasp object rotation for grasp
acquisition prior to a transport task. First, we examined human performance
of the pre-grasp rotation strategy. A larger amount of pre-grasp
object rotation correlated to a greater lifting capability, or maximum
payload, of the grasping posture used at the time of object acquisition.
In addition, when the task was more difficult due to increased object
mass or increased upright orientation constraints, there was decreased
variability in the object orientation selected for grasping. Second, we
developed and evaluated a method for planning pre-grasp rotation for a
robot manipulator. Our results show that the pre-grasp rotation strategy
can improve a robot’s manipulation capabilities by both extending the
effective workspace for a transport task and improving the quality of the
transport action.
REPLY Of the Federal Government to the Resolution of the 2nd of February, 1910, of the Legislative Assembly : That a respectful Address be presented to His Honour the Lieutenant-Governor, asking him to call the attention of the Dominion Government to the urgent necessity of some action being taken looking to the better settlement of the lands in the Dominion Railway Belt throughout the Province.
Creators: name: British Columbia. Legislative Assembly
Publisher: name: Victoria, BC : Government Printer
Year: 2014

Abstract
title: Mais :
title: Directrices para la ejecución del examen de la distinción, la homogeneidad y la estabilidad.
titleType: Subtitle
Creators: name: (:Unas)
Publisher: name: Unknown
Year: 2009

description: La finalidad de estas directrices (“directrices de examen”) es elaborar los principios que figuran en la Introducción General (documento TG/1/3) y sus documentos TGP conexos, con objeto de que sirvan de orientación práctica y detallada para el examen armonizado de la distinción, homogeneidad y estabilidad (DHE) y en particular, para identificar los caracteres apropiados para el examen DHE y producir descripciones armonizadas de variedades.
Mobius disjointness conjecture for local dendrite maps
Creators: name: Abdalaoui, EL Houcein EL
name: Askri, Ghassen
name: Marzougui, Habib
Publisher: name: arXiv
Year: 2018
Subjects: subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: 37B05, 37B45, 37E99

description: We prove that the Möbius disjointness conjecture holds for graph maps and for all monotone local dendrite maps. We further show that this also hold for continuous map on certain class of dendrites. Moreover, we see that there is a transitive dendrite map with zero entropy for which Möbius disjointness holds.
description: 18 pages
Additional file 1 of Baicalin enhances proliferation and reduces inflammatory-oxidative stress effect in H2O2-induced granulosa cells apoptosis via USP48 protein regulation
Creators: name: Chen, Jun
name: Lin, Chuhua
name: Huang, Xiurong
name: Bian, Wei
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Molecular Biology
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Developmental Biology
subject: Cancer
subject: Mental Health

description: Additional file 1.
Formação Continua em Compressão Cardíaca Externa com Recurso a Simulação
Creators: name: Norte, Gustavo
Publisher: name: Revista da Sociedade Portuguesa de Anestesiologia
Year: 2024

description: Formação Continua em Compressão Cardíaca Externa com Recurso a Simulação
description: Revista da Sociedade Portuguesa de Anestesiologia, Vol. 31 N.º 4 (2022): Suplemento 2 da Revista da Sociedade Portuguesa de Anestesiologia
64-Qubit Quantum Circuit Simulation
Creators: name: Chen, Zhao-Yun
name: Zhou, Qi
name: Xue, Cheng
name: Yang, Xia
name: Guo, Guang-Can
name: Guo, Guo-Ping
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Classical simulations of quantum circuits are limited in both space and time when the qubit count is above 50, the realm where quantum supremacy reigns. However, recently, for the low depth circuit with more than 50 qubits, there are several methods of simulation proposed by teams at Google and IBM. Here, we present a scheme of simulation which can extract a large amount of measurement outcomes within a short time, achieving a 64-qubit simulation of a universal random circuit of depth 22 using a 128-node cluster, and 56- and 42-qubit circuits on a single PC. We also estimate that a 72-qubit circuit of depth 23 can be simulated in about 16 h on a supercomputer identical to that used by the IBM team. Moreover, the simulation processes are exceedingly separable, hence parallelizable, involving just a few inter-process communications. Our work enables simulating more qubits with less hardware burden and provides a new perspective for classical simulations.
description: 21 pages, 5 figures, 3 tables
Predicting Sets and Lists: Theory and Practice
Creators: name: Debadeepta  Dey
Publisher: name: Carnegie Mellon University
Year: 2015
Subjects: subject: 80101 Adaptive Agents and Intelligent Robotics
subject: FOS: Computer and information sciences

description: Increasingly, real world problems require multiple predictions while traditional supervised learning techniques focus on making a single best prediction. For instance in advertisement placement on the web, a list of advertisements is placed on a page with the objective of maximizing click-through rate on that list. In this work, we build an efficient framework for making sets or lists of predictions where the objective is to optimize any utility function which is (monotone) submodular over a list of predictions. Other examples of tasks where multiple predictions are important include: grasp selection in robotic manipulation where the robot arm must evaluate a list of grasps with the aim of finding a sucessful grasp, as early on in the list as possible and trajectory selection for mobile ground robots where given the computational time limits, the task is to select a list of trajectories from a much larger set of feasible trajectories for minimizing expected cost of traversal. In computer vision tasks like frame-to-frame target tracking in video, multiple hypotheses about the target location and pose must be considered by the tracking algorithm. For each of these cases, we optimize for the content and order of the list of predictions. Crucially– and in contrast with existing work on list prediction – our approach to predicting lists is based on very simple reductions of the problem of predicting lists to a series of simple classification/regression tasks. This provides powerful flexibility to use any existing prediction method while ensuring rigorous guarantees on prediction performance. We analyze these meta-algorithms for list prediction in both the online, no-regret and generalization settings. Furthermore we extend the methods to make multiple predictions in structured output domains where even a single prediction is a combinatorial object, e.g. , challenging vision tasks like semantic scene labeling and monocular pose estimation. We conclude with case studies that demonstrate the power and flexibility of these reductions in problems from document summarization, prediction of the pose of humans in images, to predicting the best set of robotic grasps and purely vision based autonomous flight in densely cluttered environments.
The D=1 Matrix Model and the Renormalization Group
Creators: name: Alfaro, J.
name: Damgaard, P. H.
Publisher: name: arXiv
Year: 1992
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We compute the critical exponents of $d = 1$ string theory to leading order, using the renormalization group approach recently suggested by Brézin and Zinn-Justin.
description: 8 pages, Latex, CERN-TH-6546/92
title: ADCO, Cartulaire de Cîteaux pour les possessions de Chaugey et Maison-Dieu (Fin XVe siècle), Cart. 181 (11 H 754), 165 folios, f. 0048
Creators: name: de la Côte d'Or, Archives départementales
name: CG21/F.PETOT/2017
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Cartulaire de Cîteaux pour les possessions de Chaugey et Maison-Dieu (Fin XVe siècle), Archives départementales de la Côte-d'Or, Cart. 181 (11 H 754), 165 folios, f. 0048, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de Cîteaux pour les possessions de Chaugey et Maison-Dieu (Fin XVe siècle), Archives départementales de la Côte-d'Or, Cart. 181 (11 H 754), 165 folios, f. 0048, 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
How to build a repository relevant for your institution, allowing the researchers to do research rather than administration
Creators: name: Lindholm, Jessica
Publisher: name: Zenodo
Year: 2019
Subjects: in-house development
research information
repositories

description: This paper presents our experiences of in-house development of a CRIS at Chalmers University of Technology, Sweden. Which course for the future is relevant when building a new repository platform in 2019, how does is it relate to the choices made 15 years ago when many of the current repository platforms were launched? This paper will present features that we have in place, as well as the experiences from moving out of the comfort zone and dealing with new, non-publication related data, while sustaining and enhancing existing data and current services. In the development of research.chalmers.se we have had to leave several desired features in a backlog list, whilst focusing on simply doing the most relevant features. For the main features we have implemented them as elegant as possible. For instance, we will demonstrate automatic classification, data-driven workflows between various system - all made with the motto: "Let the researchers do research, instead of administrative tasks".
IN03063 Vēvälkäṭiya Slab Inscription of Mahinda IV
Creators: name: Wickremasinghe, Don Martino de Zilva
Publisher: name: Zenodo
Year: 2019
Subjects: IN03063
Epigraphia Zeylanica
Vēvälkäṭiya
Mahinda IV

description: IN03063 Vēvälkäṭiya Slab Inscription of Mahinda IV - Transcript and Translation Source: Wickremasinghe, Don Martino de Zilva. (1904-12). ‘No. 21. Vēvälkäṭiya Slab-Inscription of Mahinda IV (circa 1026-1042 A.D.),’ Epigraphia Zeylanica 1, pp. 241-251.
Exact and Robust Conformal Inference Methods for Predictive Machine Learning With Dependent Data
Creators: name: Chernozhukov, Victor
name: Wuthrich, Kaspar
name: Zhu, Yinchu
Publisher: name: arXiv
Year: 2018
Subjects: subject: Machine Learning (stat.ML)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: We extend conformal inference to general settings that allow for time series data. Our proposal is developed as a randomization method and accounts for potential serial dependence by including block structures in the permutation scheme. As a result, the proposed method retains the exact, model-free validity when the data are i.i.d. or more generally exchangeable, similar to usual conformal inference methods. When exchangeability fails, as is the case for common time series data, the proposed approach is approximately valid under weak assumptions on the conformity score.
Practical, Large-Scale Detection of Obfuscated Malware Code Via Flow Dependency Indexing
Creators: name: Jin, Wesley
Publisher: name: Carnegie Mellon University
Year: 2014
Subjects: subject: Computer Engineering
subject: 90699 Electrical and Electronic Engineering not elsewhere classified
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Malware analysts often need to search large corpuses of obfuscated binaries for particular sequences of related instructions. The use of simple tactics, such as dead code insertion and register renaming, prevents the use of conventional, big-data search indexes. Current, state of the art malware detectors are unable to handle the size of the dataset due to their iterative approach to comparing files. Furthermore, current work is also frequently designed to act as a detector and not a search tool. I propose a system that exploits the observation that many data/control-flow relationships between instructions are preserved in the presence of obfuscations. The system will extract chains of flow-dependent instructions from a binary’s Program Dependence Graph (PDG). It will then use a representation of each chain as a key for an index that points to lists of functions (and their corresponding files). Analysts will be able to quickly search for instruction sequences by querying the index.
Transition between algebraic and $\mathbb{Z}_2$ quantum spin liquids at large $N$
Creators: name: Boyack, Rufus
name: Lin, Chien-Hung
name: Zerf, Nikolai
name: Rayyan, Ahmed
name: Maciejko, Joseph
Publisher: name: arXiv
Year: 2018
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We present a field theory description of a quantum phase transition in two spatial dimensions between a $U(1)$ algebraic spin liquid with $N$ flavors of gapless two-component Dirac fermionic spinons and a gapped $\mathbb{Z}_2$ spin liquid. This transition is driven by spinon pairing and concomitant Higgsing of the emergent $U(1)$ gauge field. For sufficiently large $N$ we find a quantum critical point with non-Gaussian exponents that is stable against instanton proliferation. We compute critical exponents using either $1/N$ or $ε$ expansions, and give estimates of the critical value of $N$ below which the quantum critical point disappears.
description: 13 pages, 3 figures. Published version
Theory of Coexisting Transverse Spin Freezing and Long-Ranged Antiferromagnetic Order in Lightly Doped La_{2-x}Sr_x CuO_4
Creators: name: Gooding, R. J.
name: Salem, N. M.
name: Mailhot, A.
Publisher: name: arXiv
Year: 1993
Subjects: subject: Condensed Matter (cond-mat)
subject: FOS: Physical sciences

description: We provide an explanation of the spin-freezing transition recently observed by Chou et al. (Phys. Rev. Lett. 71, 2323 (1993)) in La_{2-x}Sr_x CuO_4 for x <= 0.02. We propose that topological excitations of the 2D Heisenberg quantum antiferromagnet having non-coplanar transverse components have a pair-interaction energy that qualitatively and quantitatively agrees with the observed values of spin-freezing temperature as a function of doping.
description: 18 pages, figures available upon request, revtex, 5006
Powering the Information Age: Metrics, Social Cost Optimization Strategies, and Indirect Effects Related to Data Center Energy Use
Creators: name: Horner, Nathaniel Charles
Publisher: name: Carnegie Mellon University
Year: 2016
Subjects: subject: 160510 Public Policy
subject: FOS: Political science
subject: 99999 Engineering not elsewhere classified
subject: FOS: Other engineering and technologies

description: This dissertation contains three studies examining aspects of energy use by data centers and other information and communication technology (ICT) infrastructure necessary to support the electronic services that now form such a pervasive aspect of daily life. The energy consumption of ICT in general and data centers in particular has been of growing interest to both industry and the public, with continued calls for increased efficiency and greater focus on environmental impacts. The first study examines the metrics used to assess data center energy performance and finds that power usage effectiveness (PUE), the de facto industry standard, only accounts for one of four critical aspects of data center energy performance. PUE measures the overhead of the facility infrastructure but does not consider the efficiency of the IT equipment, its utilization, or the emissions profile of the power source. As a result, PUE corresponds poorly with energy and carbon efficiency, as demonstrated using a small set of empirical data center energy use measurements. The second study lays out a taxonomy of indirect energy impacts to help assess whether ICT’s direct energy consumption is offset by its energy benefits, and concludes that ICT likely has a large potential net energy benefit, but that there is no consensus on the sign or magnitude of actual savings, which are largely dependent upon implementation details. The third study estimates the potential of dynamic load shifting in a content distribution network to reduce both private costs and emissions-related externalities associated with electricity consumption. Utilizing variable marginal retail prices based on wholesale electricity markets and marginal damages estimated from emissions data in a cost-minimization model, the analysis finds that load shifting can either reduce data center power bills by approximately 25%–33% or avoid 30%–40% of public damages, while a range of joint cost minimization strategies enables simultaneous reduction of both private and public costs. The vast majority of these savings can be achieved even under existing bandwidth and network distance constraints, although current industry trends towards virtualization, energy efficiency, and green powermay make load shifting less appealing.
Two Dimensional Quantum Gravity Coupled to Matter
Creators: name: Mann, R. B.
Publisher: name: arXiv
Year: 1992
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: A classical two dimensional theory of gravity which has a number of interesting features (including a Newtonian limit, black holes and gravitational collapse) is quantized using conformal field theoretic techniques. The critical dimension depends upon Newton's constant, permitting models with $d=4$. The constraint algebra and scaling properties of the model are computed.
description: 11 pgs. WATPHYS TH-90/04
Optimal work extraction from quantum states by photo-assisted Cooper pair tunneling
Creators: name: Lörch, Niels
name: Bruder, Christoph
name: Brunner, Nicolas
name: Hofer, Patrick P.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: The theory of quantum thermodynamics predicts fundamental bounds on work extraction from quantum states. As these bounds are derived in a very general and abstract setting, it is unclear how relevant they are in an experimental context, where control is typically limited. Here we address this question by showing that optimal work extraction is possible for a realistic engine. The latter consists of a superconducting circuit, where a LC-resonator is coupled to a Josephson junction. The oscillator state fuels the engine, providing energy absorbed by Cooper pairs, thus producing work in the form of an electrical current against an external voltage bias. We show that this machine can extract the maximal amount of work from all Gaussian and Fock states. Furthermore, we consider work extraction from a continuously stabilized oscillator state. In both scenarios, coherence between energy eigenstates is beneficial, increasing the power output of the machine. This is possible because the phase difference across the Josephson junction provides a phase reference.
description: Published version
Power-Electronics-Enabled Transient Stabilization of Power Systems
Creators: name: Milos  Cvetkovic
Publisher: name: Carnegie Mellon University
Year: 2013
Subjects: subject: Computer Engineering
subject: 90699 Electrical and Electronic Engineering not elsewhere classified
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Transient stability of electric energy grids is defined as the ability of the power system to remain in synchronism during large disturbances. If the grid is not equipped with controllers capable of transiently stabilizing system dynamics, large disturbances could cause protection to trigger disconnecting the equipment and leading further to cascading system-wide blackouts. Today’s practice of tuning controllers generally does not guarantee a transiently stable response because it does not use a model for representing system-wide dynamic interactions. To overcome this problem, in this thesis we propose a new systems modeling and control design for provable transient stabilization of power systems against a given set of disturbances. Of particular interest are fast power-electronically-controlled Flexible Alternating Current Transmission System (FACTS) devices which have become a new major option for achieving transient stabilization. The first major contribution of this thesis is a framework for modeling of general interconnected power systems for very fast transient stabilization using FACTS devices. We recognize that a dynamic model for transient stabilization of power systems has to capture fast electromagnetic dynamics of the transmission grid and FACTS, in addition to the commonly-modeled generator dynamics. To meet this need, a nonlinear dynamic model of general interconnected electric power systems is derived using time-varying phasors associated with states of all dynamic components. The second major contribution of this thesis is a two-level approach to modeling and control which exploits the unique network structure and enables preserving only relevant dynamics in the nonlinear system model. This approach is fundamentally based on separating: a) internal dynamics model for ensuring stable local response of components; b) system-level model in terms of interaction variables for ensuring stability of the system when the components are interconnected. The two levels can be controlled separately which minimizes the need for communication between controllers. Both distributed and cooperative ectropy-based controllers are proposed to control the interaction-level of system dynamics. Proof of concept simulations are presented to illustrate and compare the promising performance of the derived controllers. Some of the most advanced FACTS industry installations are modeled and further generalized using our approach.
A Reactive Tabu Search Algorithm for Stimuli Generation in Psycholinguistics
Creators: name: De Lara, Alejandro Chinea Manrique
Publisher: name: arXiv
Year: 2007
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Computational Complexity (cs.CC)
subject: Discrete Mathematics (cs.DM)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: The generation of meaningless "words" matching certain statistical and/or linguistic criteria is frequently needed for experimental purposes in Psycholinguistics. Such stimuli receive the name of pseudowords or nonwords in the Cognitive Neuroscience literatue. The process for building nonwords sometimes has to be based on linguistic units such as syllables or morphemes, resulting in a numerical explosion of combinations when the size of the nonwords is increased. In this paper, a reactive tabu search scheme is proposed to generate nonwords of variables size. The approach builds pseudowords by using a modified Metaheuristic algorithm based on a local search procedure enhanced by a feedback-based scheme. Experimental results show that the new algorithm is a practical and effective tool for nonword generation.
description: Artificial Intelligence in Science and Technology AISAT 2004 Conference. 8 pages, 5 figures, 3 tables
All-to-all connected networks by multi-frequency excitation of polaritons
Creators: name: Sigurdsson, H.
name: Kyriienko, O.
name: Dini, K.
name: Liew, T. C. H.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: We analyze theoretically a network of all-to-all coupled polariton modes, realized by a trapped polariton condensate excited by a comb of different frequencies. In the low-density regime the system dynamically finds a state with maximal gain defined by the average intensities (weights) of the excitation beams, analogous to active mode locking in lasers, and thus solves a maximum eigenvalue problem set by the matrix of weights. The method opens the possibility to tailor a superposition of populated bosonic modes in the trapped condensate by appropriate choice of drive.
Black Hole Initial Data with a Horizon of Prescribed Geometry
Creators: name: Smith, Brian
Publisher: name: arXiv
Year: 2007
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The purpose of this work is to construct asymptotically flat, time symmetric initial data with an apparent horizon of prescribed intrinsic geometry. To do this, we use the parabolic partial differential equation for prescribing scalar curvature. In this equation the horizon geometry is contained within the freely specifiable part of the metric. This contrasts with the conformal method in which the geometry of the horizon can only be specified up to a conformal factor.
A Simulação na Formação de Enfermeiros de uma Equipa de Emergência Médica Intra-Hospitalar, em Contexto de Bradicardia Extrema
Creators: name: Norte, Gustavo
Publisher: name: Revista da Sociedade Portuguesa de Anestesiologia
Year: 2024

description: A Simulação na Formação de Enfermeiros de uma Equipa de Emergência Médica Intra-Hospitalar, em Contexto de Bradicardia Extrema

 
 
description: Revista da Sociedade Portuguesa de Anestesiologia, Vol. 31 N.º 4 (2022): Suplemento 2 da Revista da Sociedade Portuguesa de Anestesiologia
Compartilhando Informações com a Familia da Criança com Câncer através de Cenário Simulado - Um Estudo de Validação
Creators: name: Norte, Gustavo
Publisher: name: Revista da Sociedade Portuguesa de Anestesiologia
Year: 2024

description: Compartilhando Informações com a Familia da Criança com Câncer através de Cenário Simulado - Um Estudo de Validação
description: Revista da Sociedade Portuguesa de Anestesiologia, Vol. 31 N.º 4 (2022): Suplemento 2 da Revista da Sociedade Portuguesa de Anestesiologia
Correlations of the feedback energy and BCG radio luminosity in galaxy clusters
Creators: name: Iqbal, Asif
name: Kale, Ruta
name: Nath, Biman B.
name: Majumdar, Subhabrata
Publisher: name: arXiv
Year: 2018
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We study the excess entropy and the corresponding non-gravitational feedback energy ($E_{feedback}$) in the intra-cluster medium (ICM) by considering a sample of 38 galaxy clusters using Chandra X-ray and NRAO VLA Sky Survey (NVSS)/Giant Metrewave Radio Telescope (GMRT) radio observations. We find moderate correlation of the feedback energy and brightest cluster galaxy (BCG) radio luminosity ($L_R$) with the various cluster thermal properties. We show conclusively that the active galactic nucleus (AGN) is more effective in transferring feedback energy to the ICM in less massive clusters. We find that within $0.3r_{500}$, the feedback energy correlates with cluster temperature as $E_{feedback}\propto T_{obs}^{0.98\pm0.37}$. Moreover, for radio detected BCG sample we find that BCG radio luminosity at 1.4 GHz scales with gas mass as $L_R\propto m_{g,obs}^{ 1.76\pm0.71}$ and with X-ray luminosity as $L_R\propto L_{X,obs}^{0.94\pm0.35}$. Finally, we discuss the implications of our results with regard to feedback in clusters.
description: 6 pages, 5 figures, 1 table, Major revision, Accepted in MNRAS Letters
Power Prediction in Large Scale Multiple Testing: A Fourier Approach
Creators: name: Avranil  Sarkar
Publisher: name: Carnegie Mellon University
Year: 2010
Subjects: subject: Probability
subject: Statistics
subject: FOS: Mathematics

description: A problem that is frequently found in large-scale multiple testing is that, in the present stage of experiment (e.g. gene microarray, functional MRI), the signals are so faint that it is impossible to attain a desired level of testing power, and one has to enroll more samples in the follow-up experiment. Suppose we are going to enlarge the sample size by a times in the follow-up experiment, where a > 1 is not necessary an integer. A problem of great interest is, given data based on the current stage of experiment, how to predict the testing power after the sample size is enlarged by a times. We consider test z-scores and model the test statistics in the current experiment as Xj ~ N(μj , 1), 1 ≤ j ≤ n. We propose a Fourier approach to predicting the testing power after n replicates. The approach produces a very accurate prediction for moderately large values of a ( a ≤ 7). Finally, we discuss potential applications of this method on real data with emphasis on gene microarray data.
Dynamical quantum determinants and Pfaffians
Creators: name: Jing, Naihuan
name: Zhang, Jian
Publisher: name: arXiv
Year: 2020
Subjects: subject: Quantum Algebra (math.QA)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: We introduce the dynamical quantum Pfaffian on the dynamical quantum general linear group and prove its fundamental transformation identity. Hyper quantum dynamical Pfaffian is also introduced and formulas connecting them are given.
description: 12 pages
Romanistik in Rostock
Creators: name: Arnold, Rafael
name: Buschmann, Albrecht
name: Morkötter, Steffi
name: Wodianka, Stephanie
name: Rektorat
Publisher: name: Universität Rostock Rostock
Year: 2019
Subjects: subject: 440 Romance languages French
subject: 943 General history of Europe Central Europe Germany

description: 2019 jährt sich die Gründung der Universität Rostock zum 600. Mal. Mit Blick auf diesen runden Geburtstag lud das Institut für Romanistik im Dezember 2017 eine Wissenschaftlerin und drei Wissenschaftler ein, sich mit Objekten, Konzepten oder Akteuren zu beschäftigen, die exemplarisch für die Geschichte des Faches in Rostock und für die derzeit dort vertretenen Arbeitsfelder – französische, spanische und italienische Literaturwissenschaft, Sprachwissenschaft sowie Fremdsprachendidaktik – stehen sollten. Auf die Perspektive von außen antworteten die vier derzeit in Rostock lehrenden Fachvertreter, und das Resultat dieser sich überkreuzenden Blicke auf ganz unterschiedliche Etappen der Fachgeschichte findet sich in diesem Band versammelt, der als Festgabe des Instituts für Romanistik an die Universität im Jubiläumsjahr erscheint.