cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Automated Abstraction Refinement for Model Checking Large Spaces using SAT based Conflict Analysis
Creators: name: Chauhan, Pankaj
name: Clarke, Edmund M
name: Kukula, James
name: Sapra, Samir
name: Veith, Helmut
name: Wang, Dong
Publisher: name: Carnegie Mellon University
Year: 1991
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We introduce a SAT based automatic abstraction refinement framework for model checking systems with several thousand state variables in the cone of influence of the specification. The abstract model is constructed by designating a large number of state variables as invisible. In contrast to previous work where invisible variables were treated as free inputs we describe a computationally more advantageous approach in which the abstract transition relation is approximated by pre-quantifying invisible variables during image computation. The abstract counterexamples obtained from model-checking the abstract model are symbolically simulated on the concrete system using a state-of-the-art SAT checker. If no concrete counterexample is found, a subset of the invisible variables is reintroduced into the system and the process is repeated. The main contribution of this paper are two new algorithms for identifying the relevant variables to be reintroduced. These algorithms monitor the SAT checking phase in order to analyze the impact of individual variables. Our method is complete for safety properties (AG p) in the sense that-performance permitting - a property is either verified or disproved by a concrete counterexample. Experimental results are given to demonstrate the power of our method on real-world designs.
The Effect of Unemployment on the Importance of Digital Income
Creators: name: Carswell-Freestone, Carolyn
Publisher: name: My University
Year: 2019

description: This paper puts forth two separate contributions. First, it examines the importance of digital income considering age and gender. Second, this paper delineates the relationship between the importance of digital income and unemployment, defined at a sub-regional level. This investigation involves the use of the newly released 2018 Digital Economy Survey, as well as the confidential master files of the 2017 and 2018 monthly Labour Force Survey. I find that a change in the unemployment rate does not seem to affect the average dollar value of digital income earned, although it does appear to affect the probability of generating digital income. Furthermore, I find that there are substantial gender differences considering both the importance of digital income and its relationship to unemployment. This finding is consistent for all forms of digital income generation, including the use of sharing economy platforms.
On a `time' reparametrization in relativistic electrodynamics with travelling waves
Creators: name: Fiore, Gaetano
Publisher: name: arXiv
Year: 2017
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We briefly report on our method [Fiore JPA 2017] of simplifying the equations of motion of charged particles in an electromagnetic field that is the sum of a plane travelling wave and a static part; it is based on changes of the dependent variables and the independent one (light-like coordinate instead of time t). We sketch its application to a few cases of extreme laser-induced accelerations, both in vacuum and in plane problems at the vacuum-plasma interface, where we are able to reduce the system of the (Lorentz-Maxwell and continuity) partial differential equations into a family of decoupled systems of Hamilton equations in 1 dimension. Since Fourier analysis plays no role, the method can be applied to all kind of travelling waves, ranging from almost monochromatic to socalled "impulse".
description: Latex file, 7 pages, 5 figures. To appear in Eur. Phys. J. Web Conference
title: Transcription du manuscrit de Semur-en-Auxois, Bibliothèque Municipale, ms. 1, p. 133
Creators: name: Aubert, Eduardo Henrik
name: Brochard, Pierre
name: Aubert, Eduardo Henrik
name: Brochard, Pierre
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2022
Subjects: subject: Laboratoire de médiévistique occidentale de Paris
subject: Semur-en-Auxois
subject: LaMOP

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

production-software: eScriptorium + Kraken version 3.0.13 (PageXml)
description: Source: https://www.nakala.fr/10.34847/nkl.7ca3912n
description: Source: https://www.nakala.fr/10.34847/nkl.e905tdea
description: Relation: https://lamop.hypotheses.org/
description: Transcription du manuscrit Semur-en-Auxois, Bibliothèque Municipale, ms. 1
description: Transcription du manuscrit Semur-en-Auxois, Bibliothèque Municipale, ms. 1
Manifestly Lorentz-covariant variables for the phase space of general relativity
Creators: name: Montesinos, Merced
name: Romero, Jorge
name: Celada, Mariano
Publisher: name: arXiv
Year: 2017
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We present a manifestly Lorentz-covariant description of the phase space of general relativity with the Immirzi parameter. This formulation emerges after solving the second-class constraints arising in the canonical analysis of the Holst action. We show that the new canonical variables give rise to other Lorentz-covariant parametrizations of the phase space via canonical transformations. The resulting form of the first-class constraints in terms of new variables is given. In the time gauge, these variables and the constraints become those found by Barbero.
description: It matches published version
Aura: An Architectural Framework for User Mobility in Ubiquitous Computing Environments
Creators: name: Joao Pedro Sousa
name: Garlan, David
Publisher: name: Carnegie Mellon University
Year: 2009
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Ubiquitous computing poses a number of challenges for software architecture. One of the most important is the ability to design software systems that accommodate dynamically-changing resources. Resource variability arises naturally in a ubiquitous computing setting through user mobility (a user moves from one computing environment to another), and through the need to exploit time-varying resources in a given environment (such as wireless bandwidth). Traditional approaches to handling resource variability in applications attempt to address the problem by imposing uniformity on the environment. We argue that those approaches are inadequate, and describe an alternative architectural framework that is better matched to the needs of ubiquitous computing. A key feature of the architecture is that user tasks become first class entities. User proxies, or Auras, use models of user tasks to set up, monitor and adapt computing environments proactively. The architectural framework has been implemented and is currently being used as a central component of Project Aura, a campus-wide ubiquitous computing effort.
title: Geometria e progetto. Ipotesi di riuso per il palazzo Vernazza a Castri
Creators: name: Capanna, Alessandra
name: Mele, Giampiero
Publisher: name: Sapienza Università Editrice
Year: 2019

description: Il libro mette in evidenza il ruolo del rilievo e dell’analisi geometrica come strumento di conoscenza utile a formulare una serie di ipotesi di riuso che non tradiscano la filosofia di progetto originaria.
SANEPIC: A Map-Making Method for Timestream Data From Large Arrays
Creators: name: Patanchon, G.
name: Ade, P. A. R.
name: Bock, J. J.
name: Chapin, E. L.
name: Devlin, M. J.
name: Dicker, S.
name: Griffin, M.
name: Gundersen, J. O.
name: Halpern, M.
name: Hargrave, P. C.
name: Hughes, D. H.
name: Klein, J.
name: Marsden, G.
name: Martin, P. G.
name: Mauskopf, P.
name: Netterfield, C. B.
name: Olmi, L.
name: Pascale, E.
name: Rex, M.
name: Scott, D.
name: Semisch, C.
name: Truch, M. D. P.
name: Tucker, C.
name: Tucker, G. S.
name: Viero, M. P.
name: Wiebe, D. V.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We describe a map-making method which we have developed for the Balloon-borne Large Aperture Submillimeter Telescope (BLAST) experiment, but which should have general application to data from other submillimeter arrays. Our method uses a Maximum Likelihood based approach, with several approximations, which allows images to be constructed using large amounts of data with fairly modest computer memory and processing requirements. This new approach, Signal And Noise Estimation Procedure Including Correlations (SANEPIC), builds upon several previous methods, but focuses specifically on the regime where there is a large number of detectors sampling the same map of the sky, and explicitly allowing for the the possibility of strong correlations between the detector timestreams. We provide real and simulated examples of how well this method performs compared with more simplistic map-makers based on filtering. We discuss two separate implementations of SANEPIC: a brute-force approach, in which the inverse pixel-pixel covariance matrix is computed; and an iterative approach, which is much more efficient for large maps. SANEPIC has been successfully used to produce maps using data from the 2005 BLAST flight.
description: 27 Pages, 15 figures; Submitted to the Astrophysical Journal; related results available at http://blastexperiment.info/ [the BLAST Webpage]
Metodologia de trabalho de projecto: Nova relação entre os saberes escolares e os saberes sociais
Creators: name: Mateus, Maria Nascimento
Publisher: name: Instituto Politécnico de Bragança
Year: 2016

description: O trabalho de projeto é uma metodologia investigativa centrada na resolução de problemas reais e pertinentes, que permite criar uma nova relação entre a prática e a teoria, entre os saberes escolares e os saberes sociais. O tema, considerado oportuno e de interesse para os alunos, permitirá cumprir a intencionalidade do estudo e preconizar aprendizagens significativas, ativas e socializadoras. Partir-se-á de um estudo de caso de tipo observacional em que, após a identificação e formulação de problemas, cujo diagnóstico será feito através de uma análise SWOT, se procederá à pesquisa e produção, que conduzirá à apresentação, globalização e avaliação final do produto. Para recolha de informação serão utilizadas como técnicas de pesquisa inquéritos por questionário, uma observação não participante e uma entrevista formal e individual à docente do 3º ano de escolaridade. A análise dos dados permitir-nos-á construir as considerações finais, com as quais se pretenderá uma reflexão crítica sobre a problemática enunciada. Palavras – chave: projeto, metodologia, saberes sociais, saberes escolares.
description: Eduser - Revista de Educação, v. 3 n. 2 (2011): Eduser - Revista de Educação
title: ADCO, Comptes du Petit-Cîteaux (1477-1491) (11 H 1179), f. 00639
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CBMA/CG21/F.PETOT/2019
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire
subject: comptes
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Comptes du Petit-Cîteaux (1477-1491), Archives départementales de la Côte-d'Or, (11 H 1179). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Comptes du Petit-Cîteaux (1477-1491), Archives départementales de la Côte-d'Or, (11 H 1179), f. 00639, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
Plasmonic surface traps with arbitrary shape for cold atoms
Creators: name: Mildner, Matthias
name: Horrer, Andreas
name: Fleischer, Monika
name: Zimmermann, Claus
name: Slama, Sebastian
Publisher: name: arXiv
Year: 2018
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: This paper reports on conceptual and experimental work towards the realization of plasmonic surface traps for cold atoms. The trapping mechanism is based on the combination of a repulsive and an attractive potential generated by evanescent light waves that are plasmonically enhanced. The strength of enhancement can be locally manipulated via the thickness of a metal nanolayer deposited on top of a dielectric substrate. Thus, in principle arbitrary potential landscapes can be generated. We present simulations of a plasmonic lattice potential using a gold grating with sinusoidally modulated thickness. Experimentally, a first plasmonic test structure is presented and characterized. Furthermore, the surface potential landscape is detected by reflecting ultracold atom clouds from the test structure revealing the influence of both evanescent waves. A parameter range is identified, where stable traps can be expected.
description: 11 pages, 6 figures
High-quality GeV-scale electron bunches with the Resonant Multi-Pulse Ionization Injection
Creators: name: Tomassini, P.
name: De Nicola, S.
name: Labate, L.
name: Londrillo, P.
name: Fedele, R.
name: Terzani, D.
name: Nguyen, F.
name: Vantaggiato, G.
name: Gizzi, L. A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Accelerator Physics (physics.acc-ph)
subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: Recently a new injection scheme for Laser Wake Field Acceleration, employing a single 100-TW-class laser system, has been proposed. In the Resonant Multi-Pulse Ionization injection (ReMPI) a resonant train of pulses drives a large amplitude plasma wave that traps electrons extracted from the plasma by further ionization of a high-Z dopant (Argon in the present paper). While the pulses of the driver train have intensity below the threshold for the dopant's ionization, the properly delayed and frequency doubled (or more) ionization pulse possesses an electric field large enough to extract electrons, though its normalized amplitude is well below unity. In this paper we will report on numerical simulations results aimed at the generation of GeV-scale bunches with normalized emittance and {\it rms} energy below $80\, nm \times rad $ and $0.5\, \%$, respectively. Analytical consideration of the FEL performance for a $1.3\, GeV$ bunch will be also reported.
description: EAAC 2017 Conference, Elba, Italy
Azimuthal Correlation Anisotropies in p + p Collisions Simulated by Pythia
Creators: name: Torres, Manuel Sebastian
name: Feng, Yicheng
name: Wang, Fuqiang
Publisher: name: arXiv
Year: 2024
Subjects: subject: Nuclear Theory (nucl-th)
subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: Stimulated by the keen interest of possible collective behavior in high-energy proton-proton and proton-nucleus collisions, we study two-particle angular correlations in pseudorapidity and azimuthal differences in simulated p + p interactions by the Pythia 8 event generator. Multi-parton interactions and color connection are included in these simulations which have been perceived to produce collectivity in final-state particles. Meanwhile, contributions from genuine few-body nonflow correlations, not of collective flow behavior, are known to be severe in those small-system collisions. We present our Pythia correlation studies in a pedagogical way and report azimuthal harmonic anisotropies analyzed by several methods. We observe anisotropies in those Pythia simulated events qualitatively and semi-quantitatively similar to experimental data. Our findings highlight the delicate nature of azimuthal anisotropies in small-system collisions, and provide a benchmark helping improve data analysis and interpret experimental measurements in small-system collisions.
description: 11 pages, 13 figures
Auditing Compliance with a Hippocratic Database
Creators: name: Agrawal, Rakesh
name: Bayardo, Roberto
name: Faloutsos, Christos
name: Kiernan, Jerry
name: Rantzau, Ralf
name: Ramakrishnan  Srikant
Publisher: name: Carnegie Mellon University
Year: 2003
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We introduce an auditing framework for determining whether a database system is adhering to its data disclosure policies. Users formulate audit expressions to specify the (sensitive) data subject to disclosure review. An audit component accepts audit expressions and returns all queries (deemed “suspicious”) that accessed the specified data during their execution. The overhead of our approach on query processing is small, involving primarily the logging of each query string along with other minor annotations. Database triggers are used to capture updates in a backlog database. At the time of audit, a static analysis phase selects a subset of logged queries for further analysis. These queries are combined and transformed into an SQL audit query, which when run against the backlog database, identifies the suspicious queries efficiently and precisely. We describe the algorithms and data structures used in a DB2-based implementation of this framework. Experimental results reinforce our design choices and show the practicality of the approach.
Differential operators and hyperelliptic curves over finite fields
Creators: name: Blanco-Chacón, Iván
name: Boix, Alberto F.
name: Fordham, Stiofáin
name: Yilmaz, Emrah Sercan
Publisher: name: arXiv
Year: 2017
Subjects: subject: Number Theory (math.NT)
subject: Commutative Algebra (math.AC)
subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 13A35 (Primary), 13N10, 14B05 (Secondary)

description: Boix, De Stefani and Vanzo have characterized ordinary/supersingular elliptic curves over $\mathbb{F}_p$ in terms of the level of the defining cubic homogenous polynomial. We extend their study to arbitrary genus, in particular we prove that every ordinary hyperelliptic curve $\mathcal{C}$ of genus $g\geq 2$ has level $2$. We provide a good number of examples and raise a conjecture.
description: 14 pages, comments are welcome. This version: errata corrected, main results unchanged
Cidadania da criança: escola e sociedade como palcos de participação
Creators: name: Freire, Ilda
Publisher: name: Instituto Politécnico de Bragança
Year: 2016

description: A visibilidade do conceito de participação infantil começa a efectuar-se a partir do momento em que a infância se consagra como um grupo social a quem são reconhecidos direitos e que convertem a criança num ator social. Partindo do pressuposto que a cidadania da criança terá sempre implícita a noção de participação infantil, neste artigo discutem-se questões referentes à cidadania, problematiza-se a participação da criança em cenários que possam valorizar a sua voz, procura-se promover a imagem da criança-cidadã socialmente comprometida e fomenta-se a compreensão das diversas linguagens da infância. Palavras-Chave: cidadania, participação infantil, educação
description: Eduser - Revista de Educação, v. 3 n. 2 (2011): Eduser - Revista de Educação
Educomunicação: Um novo campo para intervenção do Educador Social
Creators: name: Silva, Ana Cristina Rodrigues Da
name: Ferreira, Ana Laísa De Oliveira
Publisher: name: Instituto Politécnico de Bragança
Year: 2016

description: O presente artigo resulta de uma investigação acerca dos contributos que a Educomunicação poderá dar à Educação Social, desenvolvida na Universidade Portucalense, no âmbito do Mestrado em Ciências da Educação – Especialização em Educação Social, que nos permitiu concluir que a Educomunicação é um novo e importante campo para a Educação Social, que permitirá alargar os conhecimentos do Educador Social, assim como o seu âmbito de actuação profissional. Na nossa opinião, trata-se de uma investigação original e inovadora, dado que a Educomunicação não suscitou, pelo menos até agora e quanto conseguimos apurar, particular interesse por parte da investigação em Portugal. Palavras-chave:Educação; Comunicação; Educomunicação; Educação Social.
description: Eduser - Revista de Educação, v. 3 n. 2 (2011): Eduser - Revista de Educação
The CARMENES search for exoplanets around M dwarfs: Wing asymmetries of H$α$, Na I D, and He I lines
Creators: name: Fuhrmeister, B.
name: Czesla, S.
name: Schmitt, J. H. M. M.
name: Jeffers, S. V.
name: Caballero, J. A.
name: Zechmeister, M.
name: Reiners, A.
name: Ribas, I.
name: Amado, P. J.
name: Quirrenbach, A.
name: Béjar, V. J. S.
name: Galadí-Enríquez, D.
name: Guenther, E. W.
name: Kürster, M.
name: Montes, D.
name: Seifert, W.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Stellar activity is ubiquitously encountered in M dwarfs and often characterised by the H$α$ line. In the most active M dwarfs, H$α$ is found in emission, sometimes with a complex line profile. Previous studies have reported extended wings and asymmetries in the H$α$ line during flares. We used a total of 473 high-resolution spectra of 28 active M dwarfs obtained by the CARMENES (Calar Alto high-Resolution search for M dwarfs with Exo-earths with Near-infrared and optical Echelle Spectrographs) spectrograph to study the occurrence of broadened and asymmetric H$α$ line profiles and their association with flares, and examine possible physical explanations. We detected a total of 41 flares and 67 broad, potentially asymmetric, wings in H$α$. The broadened H$α$ lines display a variety of profiles with symmetric cases and both red and blue asymmetries. Although some of these line profiles are found during flares, the majority are at least not obviously associated with flaring. We propose a mechanism similar to coronal rain or chromospheric downward condensations as a cause for the observed red asymmetries; the symmetric cases may also be caused by Stark broadening. We suggest that blue asymmetries are associated with rising material, and our results are consistent with a prevalence of blue asymmetries during the flare onset. Besides the H$α$ asymmetries, we find some cases of additional line asymmetries in \ion{He}{i} D$_{3}$, \ion{Na}{i}~D lines, and the \ion{He}{i} line at 10830\,Å\, taken all simultaneously thanks to the large wavelength coverage of CARMENES. Our study shows that asymmetric H$α$ lines are a rather common phenomenon in M~dwarfs and need to be studied in more detail to obtain a better understanding of the atmospheric dynamics in these objects.
description: 28 pages, 67 figures, accepted to A&A
Recomendações de Qualidade para o Processo de Avaliação de WebQuests
Creators: name: Junior, João Batista Bottentuit
name: Coutinho, Clara Pereira
Publisher: name: Instituto Politécnico de Bragança
Year: 2016

description: A avaliação de produtos multimédia tem sido alvo da atenção crescente de inúmeros autores que criaram grelhas de análise para a avaliação da qualidade dos referidos recursos. Uma WebQuest é um documento multimédia digital e, como tal, na sua avaliação, devem ser considerados os atributos que determinam a avaliação de qualidade de um site educativo em geral. Por isso sistematizou-se um conjunto de indicadores de qualidade para a avaliação de uma WebQuest. Palavras-Chave: WebQuest, Internet, Avaliação, Usabilidade
description: Eduser - Revista de Educação, v. 3 n. 2 (2011): Eduser - Revista de Educação
Using sensitive data to de-bias AI systems: Article 10(5) of the EU AI Act
Creators: name: van Bekkum, Marvin
Publisher: name: arXiv
Year: 2024
Subjects: subject: Computers and Society (cs.CY)
subject: FOS: Computer and information sciences

description: In June 2024, the EU AI Act came into force. The AI Act includes obligations for the provider of an AI system. Article 10 of the AI Act includes a new obligation for providers to evaluate whether their training, validation and testing datasets meet certain quality criteria, including an appropriate examination of biases in the datasets and correction measures. With the obligation comes a new provision in Article 10(5) AI Act, allowing providers to collect sensitive data to fulfil the obligation. The exception aims to prevent discrimination. In this paper, I research the scope and implications of Article 10(5) AI Act. The paper primarily concerns European Union law, but may be relevant in other parts of the world, as policymakers aim to regulate biases in AI systems.
The automorphism group and limit set of a bounded domain II: the convex case
Creators: name: Zimmer, Andrew
Publisher: name: arXiv
Year: 2017
Subjects: subject: Complex Variables (math.CV)
subject: Differential Geometry (math.DG)
subject: FOS: Mathematics

description: For convex domains with $C^{1,ε}$ boundary we give a precise description of the automorphism group: if an orbit of the automorphism group accumulates on at least two different closed complex faces of the boundary, then the automorphism group has finitely many components and the connected component of the identity is the almost direct product of a compact group and a non-compact connected simple Lie group with real rank one and finite center. In this case, we also show the limit set is homeomorphic to a sphere and prove a gap theorem: either the domain is biholomorphic to the unit ball (and the limit set is the entire boundary) or the limit set has co-dimension at least two in the boundary.
description: 40 pages. v2: minor corrections
Motivation predicts change in nurses' physical activity levels during a web-based worksite intervention: results from a randomized trial
Creators: name: Brunet, Jennifer
name: Tulloch, Heather E
name: Wolfe Phillips, Emily
name: Reid, Robert D
name: Pipe, Andrew L
name: Reed, Jennifer L
Publisher: name: My University
Year: 2020
Subjects: Motivation
Nurses
Physical activity
Wearable technology

description: Background: Low physical activity levels can negatively affect the health of nurses. Given the low physical activity levels reported by nurses, there is a clear need for brief and economical interventions designed to increase physical activity levels in this population. We developed a web-based intervention that used motivational strategies to increase nurses' physical activity levels. The intervention provided the nurses with feedback from an activity monitor coupled with a web-based individual, friend, or team physical activity challenge. Objective: In this parallel-group randomized trial, we examine whether nurses' motivation at baseline predicted changes in objectively measured physical activity levels during the 6-week intervention. Methods: The participants were 76 nurses (n=74, 97% female; mean age 46, SD 11 years) randomly assigned to 1 of 3 physical activity challenge conditions: (1) individual, (2) friend, or (3) team. The nurses completed a web-based questionnaire designed to assess motivational regulations for physical activity levels before the intervention and wore a Tractivity activity monitor before and during the 6-week intervention. We analyzed data using multilevel modeling for repeated measures. Results: The nurses' physical activity levels increased (linear estimate=10.30, SE 3.15; P=.001), but the rate of change decreased over time (quadratic estimate=-2.06, SE 0.52; P<.001). External and identified regulations (ß=-2.08 to 11.55; P=.02 to .04), but not intrinsic and introjected regulations (ß=-.91 to 6.29; P=.06 to .36), predicted changes in the nurses' physical activity levels. Conclusions: Our findings provide evidence that an intervention that incorporates self-monitoring and physical activity challenges can be generally effective in increasing nurses' physical activity levels in the short term. They also suggest that drawing solely on organismic integration theory to predict changes in physical activity levels among the nurses participating in web-based worksite interventions may have been insufficient. Future research should examine additional personal (eg, self-efficacy) and occupational factors (eg, shift length and shift type) that influence physical activity levels to identify potential targets for intervention among nurses.
Using short drive laser pulses to achieve net focusing forces in tailored dual grating dielectric structures
Creators: name: Mayet, Frank
name: Assmann, Ralph
name: Dorda, Ulrich
name: Kuropka, Willi
Publisher: name: arXiv
Year: 2018
Subjects: subject: Accelerator Physics (physics.acc-ph)
subject: FOS: Physical sciences

description: Laser-driven grating type DLA (Dielectric Laser Accelerator) structures have been shown to produce accelerating gradients on the order of GeV/m. In simple $β$-matched grating structures due to the nature of the laser induced steady-state in-channel fields the per period forces on the particles are mostly in longitudinal direction. Even though strong transverse magnetic and electric fields are present, the net focusing effect over one period at maximum energy gain is negligible in the case of relativistic electrons. Stable acceleration of realistic electron beams in a DLA channel however requires the presence of significant net transverse forces. In this work we simulate and study the effect of using the transient temporal shape of short Gaussian drive laser pulses in order to achieve suitable field configurations for potentially stable acceleration of relativistic electrons in the horizontal plane. In order to achieve this, both the laser pulse and the grating geometry are optimized. Simulations conducted with the Particle-In-Cell code VSim 7.2 are shown for both the transient and steady state/long pulse case. Finally we investigate how the drive laser phase dependence of the focusing forces could affect a potential DLA-based focusing lattice.
description: EAAC'17 conference proceedings
Emergence of a Dark Force in Corpuscular Gravity
Creators: name: Cadoni, Mariano
name: Casadio, Roberto
name: Giusti, Andrea
name: Tuveri, Matteo
Publisher: name: arXiv
Year: 2018
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We investigate the emergent laws of gravity when Dark Energy and the de Sitter space-time are modelled as a critical Bose-Einstein condensate of a large number of soft gravitons $N_{\rm G}$. We argue that this scenario requires the presence of various regimes of gravity in which $N_{\rm G}$ scales in different ways. Moreover, the local gravitational interaction affecting baryonic matter can be naturally described in terms of gravitons pulled out from this Dark Energy condensate (DEC). We then explain the additional component of the acceleration at galactic scales, commonly attributed to dark matter, as the reaction of the DEC to the presence of baryonic matter. This additional dark force is also associated to gravitons pulled out from the DEC and correctly reproduces the MOND acceleration. It also allows for an effective description in terms of General Relativity sourced by an anisotropic fluid. We finally calculate the mass ratio between the contribution of the apparent dark matter and the baryonic matter in a region of size $r$ at galactic scales and show that it is consistent with the $Λ$CDM predictions.
description: 20 pages, no figures
Les travailleurs agricoles saisonniers Mexicains dans les fermes Canadiennes : Leur intégration et leur barrières structurelles
Creators: name: Plourde, Naomi
Publisher: name: My University
Year: 2020

description: Depuis la création du programme des travailleurs agricoles saisonniers, une recrudescence de la demande de la main-d’œuvre pour embaucher des travailleurs agricoles saisonniers, comme les travailleurs agricoles saisonniers mexicains (TASM), a été observée au Canada. Cette constatation est un sujet d’actualité alors que le Canada est dans un contexte de crise sanitaire de la COVID-19. Cette crise sanitaire est significative pour les TASM, car elle vient affirmer que ceux-ci sont essentiels pour le marché agricole et l’économie du Canada. Toutefois, alors que ces travailleurs sont dits essentiels pour le domaine de l’agriculture, il n’en demeure pas moins qu’ils sont vulnérables même si leur force de travail est utile et indispensable. Ainsi, dans le cadre de ce mémoire, il sera question d’analyser des documents gouvernementaux et ce, en se posant les questions suivantes: « En quoi les barrières structurelles changent-elles la trajectoire migratoire des travailleurs agricoles saisonniers mexicains venant travailler au Canada? Qu’est-ce-qui amène les travailleurs à être considérés comme vulnérables? Comment les contextes socio-économiques actuels remettent-ils en cause leur utilité? ». Cette analyse documentaire vise donc à présenter et à poser un regard critique sur des documents gouvernementaux qui orientent les trajectoires des TASM venant travailler dans les fermes agricoles canadiennes. Dans un premier temps, à l’aide de la littérature, nous analyserons les documents ciblés par cette présente étude. Ensuite, nous nous pencherons sur les façons dont les barrières structurelles influencent la trajectoire migratoire des travailleurs. Pour ce faire, nous tenterons d’obtenir des réponses à ces questions de recherche par l’entremise de l’analyse critique de discours. Cette méthode d’évaluation qualitative a été utilisée dans le but d’obtenir une meilleure compréhension des barrières structurelles qui ont un impact sur les TASM. Cette analyse documentaire a permis de mettre en lumière les thèmes d’« oiseaux de passage », le bien-être des travailleurs, l’invisibilité de ces travailleurs, et ce, tout en y soulignant les barrières structurelles rencontrées par les TASM, telles que les barrières migratoires, les barrières légales, les barrières d’intégration et la culture du silence. Ces barrières transforment la trajectoire migratoire de ces travailleurs. Mots clés : Travailleurs agricoles saisonniers; Programme des travailleurs agricoles saisonniers; vulnérabilité; utilitarisme migratoire; temporaire.
Audit Games with Multiple Defender Resources
Creators: name: Blocki, Jeremiah
name: Christin, Nicolas
name: Datta, Anupam
name: Procaccia, Ariel D.
name: Arunesh  Sinha
Publisher: name: Carnegie Mellon University
Year: 1998
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Modern organizations (e.g., hospitals, social networks, government agencies) rely heavily on audit to detect and punish insiders who inappropriately access and disclose confidential information. Recent work on audit games models the strategic interaction between an auditor with a single audit resource and auditees as a Stackelberg game, augmenting associated well-studied security games with a configurable punishment parameter. We significantly generalize this audit game model to account for multiple audit resources where each resource is restricted to audit a subset of all potential violations, thus enabling application to practical auditing scenarios. We provide an FPTAS that computes an approximately optimal solution to the resulting non-convex optimization problem. The main technical novelty is in the design and correctness proof of an optimization transformation that enables the construction of this FPTAS. In addition, we experimentally demonstrate that this transformation significantly speeds up computation of solutions for a class of audit games and security games.
Cosmological Landsberg Finsler spacetimes
Creators: name: Friedl-Szász, Annamária
name: Popovici-Popescu, Elena
name: Voicu, Nicoleta
name: Pfeifer, Christian
name: Heefer, Sjors
Publisher: name: arXiv
Year: 2024
Subjects: subject: Mathematical Physics (math-ph)
subject: Differential Geometry (math.DG)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We locally classify all possible cosmological homogeneous and isotropic Landsberg-type Finsler structures, in 4-dimensions. Among them, we identify viable non-stationary Finsler spacetimes, i.e. those geometries leading to a physical causal structure and a dynamical universe. Noting that any non-stationary Landsberg metric must be actually non-Berwaldian (i.e., it should be a so-called 'unicorn'), we construct the unique Finsler, non-Berwaldian Landsberg generalization of Friedmann-Lemaitre-Robertson-Walker geometry.
Gaia DR1 evidence of disrupting Perseus Arm
Creators: name: Baba, Junichi
name: Kawata, Daisuke
name: Matsunaga, Noriyuki
name: Grand, Robert J. J.
name: Hunt, Jason A. S.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We have discovered a clear sign of the disruption phase of the Perseus arm in the Milky Way using Cepheid variables, taking advantage of the accurately measured distances of Cepheids and the proper motions from Gaia Data Release 1. Both the Galactocentric radial and rotation velocities of 77 Cepheids within 1.5 kpc of the Perseus arm are correlated with their distances from the locus of the Perseus arm, as the trailing side is rotating faster and moving inward compared to the leading side. We also found a negative vertex deviation for the Cepheids on the trailing side, $-27.6\pm2.4$ deg, in contrast to the positive vertex deviation in the solar neighborhood. This is, to our knowledge, the first direct evidence that the vertex deviation around the Perseus arm is affected by the spiral arm. We compared these observational trends with our $N$-body/hydrodynamics simulations based on a static density-wave spiral scenario and those based on a transient dynamic spiral scenario. Although our comparisons are limited to qualitative trends, they strongly favor a conclusion that the Perseus arm is in the disruption phase of a transient arm.
description: 6 pages. accepted to ApJ Letter
title: Fauna of New Zealand 18: Chalcidoidea (Insecta: Hymenoptera) - introduction, and review of smaller families
Creators: name: Noyes, JS
name: Valentine, EW
Publisher: name: DSIR
Year: 1989

description: The Fauna of New Zealand / Ko te Aitanga Pepeke o Aotearoa monograph series. ISSN: 1179-7193
Having access to a cell phone increases women’s empowerment in rural Bangladesh.
Creators: name: Sarna, Sabrina
Publisher: name: My University
Year: 2021

description: This paper investigates the effect of access to cell phone on one dimension of women's empowerment, women's involvement in group activities in a developing country, Bangladesh. Bangladesh experiences a reduction in gender gap reflected in its improved ranking in Global Gender Gap ranking from 82 in 2010 to 64 in 2015. Simultaneously, coverage of access to cell phone has grown from 46% in 2010 to 84% in 2015. This provides an ideal setting to test whether access to cell phone impacts women's empowerment. Recent empirical literature (e.g., Rotondi et al. 2020, Hossain and Samad (2021)) does provide some evidence. The paper builds upon that literature by using the Bangladesh Integrated Household Surveys, a panel dataset conducted on a representative sample of 6,500 households in 2012 and 2015. This research improves on prior research by using the number of cell towers in a sub-district to instrument the effect of cell phone on women's empowerment. The instrumental variable approach is required as Women's empowerment, and access to cell phone are endogenous: it is possible that empowered women have a greater probability of having access to a cell phone. Hence, the observed positive relationship could be because of this reverse causation. I find that women having access to a cell phone increases woman's participation in group activities. This result is further robust when using alternative specifications. The effect of access to a cell phone on women's leadership role in group activities is not statistically significant.
The Balloon-borne Large Aperture Submillimeter Telescope: BLAST
Creators: name: Pascale, E.
name: Ade, P. A. R.
name: Bock, J. J.
name: Chapin, E. L.
name: Chung, J.
name: Devlin, M. J.
name: Dicker, S
name: Griffin, M.
name: Gundersen, J. O.
name: Halpern, M.
name: Hargrave, P. C.
name: Hughes, D. H.
name: Klein, J.
name: MacTavish, C. J.
name: Marsden, G.
name: Martin, P. G.
name: Martin, T. G.
name: Mauskopf, P.
name: Netterfield, C. B.
name: Olmi, L.
name: Patanchon, G.
name: Rex, M.
name: Scott, D.
name: Semisch, C.
name: Thomas, N.
name: Truch, M. D. P.
name: Tucker, C.
name: Tucker, G. S.
name: Viero, M. P.
name: Wiebe, D. V.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The Balloon-borne Large Aperture Submillimeter Telescope (BLAST) is a sub-orbital surveying experiment designed to study the evolutionary history and processes of star formation in local galaxies (including the Milky Way) and galaxies at cosmological distances. The BLAST continuum camera, which consists of 270 detectors distributed between 3 arrays, observes simultaneously in broad-band (30%) spectral-windows at 250, 350, and 500 microns. The optical design is based on a 2m diameter telescope, providing a diffraction-limited resolution of 30" at 250 microns. The gondola pointing system enables raster mapping of arbitrary geometry, with a repeatable positional accuracy of ~30"; post-flight pointing reconstruction to ~5" rms is achieved. The on-board telescope control software permits autonomous execution of a pre-selected set of maps, with the option of manual override. In this paper we describe the primary characteristics and measured in-flight performance of BLAST. BLAST performed a test-flight in 2003 and has since made two scientifically productive long-duration balloon flights: a 100-hour flight from ESRANGE (Kiruna), Sweden to Victoria Island, northern Canada in June 2005; and a 250-hour, circumpolar-flight from McMurdo Station, Antarctica, in December 2006.
description: 38 Pages, 11 figures; Replaced with version accepted for publication in the Astrophysical Journal; related results available at http://blastexperiment.info/
title: ADCO, Ordre cistercien et abbaye de Cîteaux : comptes pour l'ordre (1337-1347), comptes du boursier (1377-1402) (11 H 1160), f. 00167
Creators: name: de la Côte-d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CBMA/CG21/F.PETOT/2017
name: Petot, Frédéric
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: comptes
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Ordre cistercien et abbaye de Cîteaux : comptes pour l'ordre (1337-1347), comptes du boursier (1377-1402), Archives départementales de la Côte-d'Or, (11 H 1160). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Ordre cistercien et abbaye de Cîteaux : comptes pour l'ordre (1337-1347), comptes du boursier (1377-1402), Archives départementales de la Côte-d'Or, (11 H 1160), f. 00167, 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
Theory of mind selectively predicts preschoolers’ knowledge-based selective word learning
Creators: name: Brosseau-Liard, Patricia
name: Penney, Danielle
name: Poulin-Dubois, Diane
Publisher: name: My University
Year: 2015
Subjects: accuracy
knowledge
selective learning
strength
theory of mind
trust
word learning
Child Development
Child, Preschool
Female
Humans
Knowledge
Learning
Male
Theory of Mind
Social Perception

description: Children can selectively attend to various attributes of a model, such as past accuracy or physical strength, to guide their social learning. There is a debate regarding whether a relation exists between theory-of-mind skills and selective learning. We hypothesized that high performance on theory-of-mind tasks would predict preference for learning new words from accurate informants (an epistemic attribute), but not from physically strong informants (a non-epistemic attribute). Three- and 4-year-olds (N = 65) completed two selective learning tasks, and their theory-of-mind abilities were assessed. As expected, performance on a theory-of-mind battery predicted children's preference to learn from more accurate informants but not from physically stronger informants. Results thus suggest that preschoolers with more advanced theory of mind have a better understanding of knowledge and apply that understanding to guide their selection of informants. This work has important implications for research on children's developing social cognition and early learning.
Transmission eigenchannels for coherent phonon transport
Creators: name: Klöckner, J. C.
name: Cuevas, J. C.
name: Pauly, F.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We present a procedure to determine transmission eigenchannels for coherent phonon transport in nanoscale devices using the framework of nonequilibrium Green's functions. We illustrate our procedure by analyzing a one-dimensional chain, where all steps can be carried out analytically. More importantly, we show how the procedure can be combined with ab initio calculations to provide a better understanding of phonon heat transport in realistic atomic-scale junctions. In particular, we study the phonon eigenchannels in a gold metallic atomic-size contact and different single-molecule junctions based on molecules such as an alkane chain, C$_{60}$, and a brominated benzene-diamine, where in this latter case destructive phonon interference effects take place.
Ensemble Averaged Conductance Fluctuations in Anderson Localized Systems
Creators: name: Hilke, M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We demonstrate the presence of energy dependent fluctuations in the localization length, which depend on the disorder distribution. These fluctuations lead to Ensemble Averaged Conductance Fluctuations (EACF) and are enhanced by large disorder. For the binary distribution the fluctuations are strongly enhanced in comparison to the Gaussian and uniform distributions. These results have important implications on ensemble averaged quantities, such as the transmission through quantum wires, where fluctuations can subsist to very high temperatures. For the non-fluctuating part of the localization length in one dimension we obtained an improved analytical expression valid for all disorder strengths by averaging the probability density.
description: 4 pages