cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Foundational typed assembly language for grid computing
Creators: name: Vanderwaart, Joseph C.
name: Crary, Karl
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "This report describes a type theory for certified code, called TALT-R, in which type safety guarantees cooperation with a mechanism to limit the CPU usage of untrusted code. At its core is the foundational typed assembly lanuage TALT, extended with an instruction-counting mechanism, or 'virtual clock', intended to bound the number of non-yielding instructions a program may execute in a row. The type theory also contains a form of dependent refinement that allows reasoning about integer values to be reflected in the typing of a program; in particular, the refinement system enables a simple but effective dynamic checking scheme for the clock, which we predict will greatly improve the performance of TALT-R programs. We exhibit a translation from a clock-ignorant source language into a form of TALT-R, demonstrating that the type system is expressive enough to write general programs in."
Additional file 1 of Urban-rural differences in catastrophic health expenditure among households with chronic non-communicable disease patients: evidence from China family panel studies
Creators: name: Fu, Xian-zhi
name: Sun, Qi-wei
name: Sun, Chang-qing
name: Xu, Fei
name: He, Jun-jian
Publisher: name: figshare
Year: 2021
Subjects: Medicine
Biotechnology
Environmental Sciences not elsewhere classified
Biological Sciences not elsewhere classified
Cancer
Science Policy

description: Additional file 1: Table S1. Out-of-pocket medical expenditure as a percentage of total medical expenditure, China, 2014–2018
title: 02_0708
Creators: name: Wesley Baldwin, John
name: Baldwin, John W.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: L'ensemble de ces notes ont été crée par John Baldwin lors d'une de ses premières périodes de résidence à Paris. Ces documents comprennent tous les magistri qu’il avait pu rencontrer dans ses sources. Aux XIIème et XIIIème siècles, les universités n'existant pas encore, le titre de magister s'il évoque certainement une compétence n'est pas rattaché de façon systématique au passage par les écoles. De surcroît, les magistris sont le plus souvent désignés par leur seul prénom. La lecture de ces données est donc difficile et suppose un long travail pour tenter d'identifier un individu auquel on pourrait rattacher plusieurs mentions. John Baldwin avait donc renoncé à utiliser ces données pour donner un prolongement à sa magnifique étude sur les gradués d'université et leur emploi par les Capétiens et les Plantagenêts. Néanmoins, il a conservé ces données et elles sont potentiellement très utile dans le cadre de Studium, comme le sont toutes les mentions dans les volumes des Fasti Ecclesiae Gallicanae de chanoines portant ce titre de magister sans autres précisions. L'ampleur des dépouillements rend ces données très utiles et nous devons une grande reconnaissance à John Baldwin pour avoir pris la peine de faire photocopier ses fiches et de nous les avoir transmises amicalement.
Les données ainsi que les images des fiches sont accessibles sur le site Internet à l'adresse suivante : http://studium-baldwin.lamop.fr/.
Les transcriptions des fiches ont été effectuées par des étudiants de Paris 1 Panthéon - Sorbonne mais elles n'ont pas été corrigées par la suite.
description: Relation: https://lamop.hypotheses.org/
Foundational certified code in a metalogical framework
Creators: name: Crary, Karl
name: Susmit  Sarkar
Publisher: name: Carnegie Mellon University
Year: 2003
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the systems' flexibility and extensibility. Previous efforts have employed a structure wherein the proofs are expressed in the same logic used to express the safety policy. We propose an alternative structure wherein safety proofs are expressed in the Twelf metalogic, thereby eliminating from those proofs an extra layer of encoding needed in the previous accounts. Using this metalogical approach, we have constructed a complete, foundational account of safety for a fully expressive typed assembly language."
Estimation of fuzzy anomalies in Water Distribution Systems
Creators: name: Izquierdo, J.
name: Tung, M. M.
name: Perez, R.
name: Martinez, F. J.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Neural and Evolutionary Computing (cs.NE)
subject: FOS: Computer and information sciences
subject: I.5.1

description: State estimation is necessary in diagnosing anomalies in Water Demand Systems (WDS). In this paper we present a neural network performing such a task. State estimation is performed by using optimization, which tries to reconcile all the available information. Quantification of the uncertainty of the input data (telemetry measures and demand predictions) can be achieved by means of robust estate estimation. Using a mathematical model of the network, fuzzy estimated states for anomalous states of the network can be obtained. They are used to train a neural network capable of assessing WDS anomalies associated with particular sets of measurements.
description: 5 pages
title: ADCO, Septième cartulaire de Saint-Étienne de Dijon (1661-1665), Cart. 29 (G 134), 996 folios, f. 0448
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2012
name: Petot, Frédéric
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire

description: Septième cartulaire de Saint-Étienne de Dijon (1661-1665), Archives départementales de la Côte-d'Or, Cart. 29 (G 134), 996 folios, f. 0448, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Septième cartulaire de Saint-Étienne de Dijon (1661-1665), Archives départementales de la Côte-d'Or, Cart. 29 (G 134), 996 folios, f. 0448, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: abbaye Saint-Étienne de Dijon
description: Provenance: http://www.wikidata.org/entity/Q15945019
MOESM1 of Association between component-resolved diagnosis of house dust mite and efficacy of allergen immunotherapy in allergic rhinitis patients
Creators: name: Huang, Yanran
name: Wang, Chengshuo
name: Lin, Xi
name: Lou, Hongfei
name: Cao, Feifei
name: Li, Wenhan
name: Zhang, Yuan
name: Zhang, Luo
Publisher: name: figshare
Year: 2019
Subjects: subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified
subject: Cancer
subject: Science Policy

description: Additional file 1. Supplemental materials and methods. Demographic and clinical characteristics of the study population at baseline and clinical evaluation. Table S1. Demographics and baseline disease characteristics of participants. Table S2. Baseline levels of sIgE and sIgG4. Figure S1. Schematic diagram showing the SCIT protocol employed. Figure S2. The effect of HDM-AIT on nasal/conjunctivitis symptoms (A nasal congestion, B rhinorrhea, C nasal itching, D sneezing, E gritty eyes, F watery eyes) scores over a course of 52-weeks. AIT, allergen immunotherapy. Figure S3. The effect of HDM-AIT on DMS (A) and TCS (B) over a course of 52-weeks. DMS, daily medication score; TCS, total combined score; AIT, allergen immunotherapy.
The influence of coffee consumption on bioelectrical impedance parameters: a randomized, double-blind, cross-over trial
Creators: Mota, João F.
Gonzalez, Maria Cristina
Lukaski, Henry
Oto, Gabriela L.
Trottier, Claire F.
Tibaes, Jenneffer R. B.
Prado, Carla M.
Publisher: name: University of Alberta Library
Year: 2022

Background

Bioelectrical impedance analysis (BIA) is a widely used method for estimating body composition. Avoiding foods/beverages containing caffeine is a frequently enforced pre-test protocol to ensure reliability of BIA measurements. However, few studies have evaluated whether this is necessary, with conflicting results. We aimed to determine whether the coffee consumption differing in caffeine content influences BIA parameters in healthy adults.

Methods

Twenty-five healthy adults were enrolled in a randomized, double-blind cross-over trial. Three amounts of caffeine were given with 200 mL of coffee: 0 mg (11 g of decaffeinated), 200 mg (5.5 g of caffeinated plus 5.5 g of decaffeinated), and 400 mg of caffeine (11 g of caffeinated). BIA measurements were conducted at 6 different times, and coefficient variations (CV) explored.

Results

No differences were observed for group × time interaction on impedance, resistance, or reactance (p > 0.05). Values of BIA parameters increased after 30-min of coffee consumption, independently of the caffeine dosage (all p < 0.001). Body fat percentage followed the same pattern and increased after 45-min (p < 0.05). Median CV for consecutive impedance, resistance, and reactance measurements were >95%CI of expected device measurement error over 70-min, without difference between groups. Urine output volume was not different between groups (decaffeinated: 440.45 ± 197.57 mL; 200 mg: 471.80 ± 171.88 mL; 400 mg: 489.30 ± 204.10 mL, p > 0.05).

Conclusion

Coffee consumption influenced BIA-derived results after 70-min but was not related to caffeine content, likely due to water intake.
Observation of tunneling gap in epitaxial ultrathin films of pyrite-type copper disulfide
Creators: name: Liu, Chong
name: Yang, Haohao
name: Song, Can-Li
name: Li, Wei
name: He, Ke
name: Ma, Xu-Cun
name: Wang, Lili
name: Xue, Qi-Kun
Publisher: name: arXiv
Year: 2018
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We report scanning tunneling microscopy investigation on epitaxial ultrathin films of pyrite-type copper disulfide. Layer by layer growth of CuS2 films with a preferential orientation of (111) on SrTiO3(001) and Bi2Sr2CaCu2O8+δ substrates is achieved by molecular beam epitaxy growth. For ultrathin films on both kinds of substrates, we observed symmetric tunneling gap around Fermi level that persists up to ~ 15 K. The tunneling gap degrades with either increasing temperature or increasing thickness, suggesting new matter states at the extreme two dimensional limit.
description: 4 Figures
Foundational Certified Code in a Metalogical Framework
Creators: name: Crary, Karl
name: Susmit  Sarkar
Publisher: name: Carnegie Mellon University
Year: 1979
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the systems' flexibility and extensibility. Using the Twelf metalogical framework, we have constructed a safety policy for the IA-32 architecture with a trusted runtime library. The safety policy is based on a formalized operational semantics. We have also developed a complete, foundational proof that a fully expressive typed assembly language satisfies that safety policy.
Collisionless Kinetic Theory of Oblique Tearing Instabilities
Creators: name: Baalrud, Scott D.
name: Bhattacharjee, Amitava
name: Daughton, William
Publisher: name: arXiv
Year: 2017
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: The linear dispersion relation for collisionless kinetic tearing instabilities is calculated for a Harris equilibrium. In contrast to the conventional 2D geometry, which considers only modes at the center of the current sheet, modes can span the current sheet in 3D. Modes at each resonant surface have a unique angle ($θ$) with respect to the guide field direction. Both kinetic simulations and numerical eigenmode solutions of the linearized Vlasov-Maxwell equations have recently revealed that standard analytic theories vastly overestimate the growth rate of oblique modes ($θ\neq 0$). We find that this stabilization is associated with the density-gradient-driven diamagnetic drift. The analytic theories miss this drift stabilization because the inner tearing layer broadens at oblique angles sufficiently far that the assumption of scale separation between the inner and outer regions of boundary-layer theory breaks down. The dispersion relation obtained by numerically solving a single second order differential equation is found to approximately capture the drift stabilization predicted by solutions of the full integro-differential eigenvalue problem. A simple analytic estimate for the stability criterion is provided.
description: 16 pages, 13 figures, submitted to Physics of Plasmas
New Results on the Phase Diagram of the FFXY Model: A Twisted CFT Approach
Creators: name: Cristofano, G.
name: Marotta, V.
name: Minnhagen, P.
name: Naddeo, A.
name: Niccoli, G.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The issue of the number, nature and sequence of phase transitions in the fully frustrated XY (FFXY) model is a highly non trivial one due to the complex interplay between its continuous and discrete degrees of freedom. In this contribution we attack such a problem by means of a twisted conformal field theory (CFT) approach and show how it gives rise to the U (1)$\otimes Z_{2}$ symmetry and to the whole spectrum of excitations of the FFXY model.
description: 7 pages; talk given by G. Niccoli at "Path Integrals - New Trends and Perspectives International Conference", Max-Planck-Institut, Dresden, Germany, September 23 - 28, 2007
Hermitian realizations of kappa-Minkowski spacetime
Creators: name: Kovačević, Domagoj
name: Meljanac, Stjepan
name: Samsarov, Andjelo
name: Škoda, Zoran
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences
subject: 81R60, 16A58, 81T75

description: General realizations, star products and plane waves for kappa-Minkowski spacetime are considered. Systematic construction of general hermitian realization is presented, with special emphasis on noncommutative plane waves and hermitian star product. Few examples are elaborated and possible physical applications are mentioned.
description: 25 pages preprint, two tables, no figures, LaTeX2e class file
MOESM1 of Intracluster correlation coefficients in the Greater Mekong Subregion for sample size calculations of cluster randomized malaria trials
Creators: name: Peerawaranun, Pimnara
name: Landier, Jordi
name: Nosten, Francois
name: Nguyen, Thuy-Nhien
name: Hien, Tran
name: Tripura, Rupam
name: Peto, Thomas
name: Phommasone, Koukeo
name: Mayxay, Mayfong
name: Day, Nicholas
name: Dondorp, Arjen
name: White, Nick
name: Seidlein, Lorenz
name: Mukaka, Mavuto
Publisher: name: figshare
Year: 2019
Subjects: subject: Medicine
subject: Ecology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: Developmental Biology
subject: Cancer
subject: Inorganic Chemistry
subject: FOS: Chemical sciences

description: Additional file 1. Additional tables.
Formalizing the PRODIGY Planning Algorithm
Creators: name: Fink, Eugene
name: Veloso, Manuela M.
Publisher: name: Carnegie Mellon University
Year: 2004
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The PRODIGY project is primarily concerned with the integration of planning and learning. Members of the PRODIGY research group have developed many learning algorithms for improving planning efficiency and plan quality, and for automatically acquiring knowledge about the properties of planning domains. The details of the PRODIGY planning algorithm, however, have not been described in the literature. We present a formal description of the planning algorithm used in the current version of the PRODIGY system. The algorithm is based on an interesting combination of backward-chaining planning with simulation of plan execution. The backward-chainer selects goal-relevant operators and then the planner simulates the application of these operators to the current state of the world. The system can use different backward-chaining algorithms, two of which are presented in the paper.
BRAINS: Joint Bandwidth-Relay Allocation in Multi-Homing Cooperative D2D Networks
Creators: name: Chen, Long
name: Wu, Jigang
name: Dai, Hong-Ning
name: Huang, Xiaoxia
Publisher: name: arXiv
Year: 2018
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences

description: Cooperative device to device (CD2D) communication has been considered to be a solution to capacity shortage problem. Combining multi-homing and CD2D techniques together can potentially improve network performance. We propose a novel multi-homing CD2D (MH-CD2D) network, in which multiple homing mobile devices (MMDs) act as relays for the cooperative communications of ordinary mobile devices (OMDs). We formulate such joint bandwidth-relay allocation problem as a two-stage game, in order to deal with two challenges: how to motivate MMDs to lease spare bandwidths and help OMDs to choose appropriate MMD relays. In the first stage, we use a non-cooperative game to model the competition between MMDs in terms of shared bandwidth and price. In the second stage, we model the behavior of OMDs selecting MMDs by an evolutionary game. We prove that there exists Nash equilibrium in the game and propose a distributed incentive scheme named IMES to solve the joint bandwidth-relay allocation problem. Extensive simulation results show that the equilibrium can be achieved and the best response price of one MMD increases with the other's best price in the Stackelberg game. The utility of MMDs increases with the number of OMDs in each OMD group at the evolutionary equilibrium. The proposed algorithms are able to reduce average service delay by more than 25% in comparison to the randomized scheme which is frequently used in existing works. On average, IMES outperforms existing scheme by about 20.37% in terms of utility of MMDs.
description: 28 pages, 7 figures, Accepted by IEEE Transactions on Vehicular Technology (Not the final version)
Jakość kształcenia z zakresu zarządzania środowiskowego - ocena metodą Auditu
Creators: name: Sierka, Edyta
name: M. Cybulski
Publisher: name: Zenodo
Year: 2010

description: Sierka E., Cybulski M. (2010). Jakość kształcenia z zakresu zarządzania środowiskowego - ocena metodą Auditu. [In:] Ochrona środowiska w programach studiów przyrodniczych (ed. Gabryś B., Gabryś G.), Zielona Góra, 37-44.
The environment of bright QSOs at z ~ 6: Star forming galaxies and X-ray emission
Creators: name: Costa, Tiago
name: Sijacki, Debora
name: Trenti, Michele
name: Haehnelt, Martin G.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We employ cosmological hydrodynamical simulations to investigate models in which the supermassive black holes (BHs) powering luminous z ~ 6 QSOs grow from massive seeds. We simulate at high resolution 18 fields sampling regions with densities ranging from the mean cosmic density all the way to the highest sigma peaks in the Millennium simulation volume. Only in the most massive halos, BHs can grow to masses up to ~ 10^9 Msun by z ~ 6 without invoking super-Eddington accretion. Accretion onto the most massive BHs becomes limited by thermal AGN feedback by z ~ 9-8 with further BH growth proceeding in short Eddington limited bursts. Our modelling suggests that current flux-limited surveys of QSOs at high redshift preferentially detect objects at their peak luminosity and therefore miss a substantial population of QSOs powered by similarly massive BHs but with low accretion rates. To test whether the required host halo masses are consistent with the observed galaxy environment of z ~ 6 QSOs, we produce realistic rest-frame UV images of our simulated galaxies. Without strong stellar feedback, our simulations predict numbers of bright galaxies larger than observed by a factor ten or more. Supernova-driven galactic winds reduce the predicted numbers to a level consistent with observations indicating that stellar feedback was already very efficient at high redshifts. We have further investigated the effect of thermal AGN feedback on the surrounding gas. Our adopted AGN feedback prescription drives mostly energy-driven highly anisotropic outflows with gas speeds of >= 1000 km/s to distances of >= 10 kpc consistent with observations. The spatially extended thermal X-ray emission around bright QSOs powered by these outflows can exceed by large factors the emission expected without AGN feedback and is an important diagnostic of the mechanism whereby AGN feedback energy couples to surrounding gas.
description: 31 pages, 21 figures, MNRAS (Accepted in January 2014 after moderate revisions)
MOESM1 of Evaluation of gene-environment interactions for colorectal cancer susceptibility loci using case-only and case-control designs
Creators: name: Song, Nan
name: Lee, Jeeyoo
name: Cho, Sooyoung
name: Kim, Jeongseon
name: Oh, Jae Hwan
name: Shin, Aesun
Publisher: name: figshare
Year: 2019
Subjects: subject: Space Science
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Ecology
subject: Sociology
subject: FOS: Sociology
subject: Mathematical Sciences not elsewhere classified
subject: Cancer
subject: Virology

description: Additional file 1 : Figure S1. A flow diagram of the study population. Table S1. Interactions between susceptibility SNPs and environmental factors in colorectal cancer by case-only analysis. Table S2. Interactions between susceptibility SNPs and environmental factors in colorectal cancer by case-control analysis. Table S3. Independence test between selected susceptibility SNPs and environmental factors by control-only analysis. Table S4. Associations between rs4444235 and colorectal cancer risk by regular exercise among Whites in UK Biobank.
Accelerators in macroeconomics: Comparison of discrete and continuous approaches
Creators: name: Tarasova, Valentina V.
name: Tarasov, Vasily E.
Publisher: name: arXiv
Year: 2017
Subjects: subject: General Economics (econ.GN)
subject: FOS: Economics and business
subject: 91B02

description: We prove that the standard discrete-time accelerator equation cannot be considered as an exact discrete analog of the continuous-time accelerator equation. This leads to fact that the standard discrete-time macroeconomic models cannot be considered as exact discretization of the corresponding continuous-time models. As a result, the equations of the continuous and standard discrete models have different solutions and can predict the different behavior of the economy. In this paper, we propose a self-consistent discrete-time description of the economic accelerators that is based on the exact finite differences. For discrete-time approach, the model equations with exact differences have the same solutions as the corresponding continuous-time models and these discrete and continuous models describe the same behavior of the economy. Using the Harrod-Domar growth model as an example, we show that equations of the continuous-time model and the suggested exact discrete model have the same solutions and these models predict the same behavior of the economy.
description: 12 pages, pdf
title: On the Influence of Microstructure on the Corrosion Behavior of Fe–Mn–Al–Ni Shape Memory Alloy in 5.0 wt% NaCl Solution
Creators: name: Frenck, Johanna-Maria
name: Vollmer, Malte
name: Mandel, Marcel
name: Krüger, Lutz
name: Niendorf, Thomas
Publisher: name: Universität Kassel
Year: 2020
Subjects: subject: corrosion
subject: Fe–Mn–Al–Ni
subject: iron-based shape memory alloys
subject: NaCl solution
subject: open circuit potential
subject: potentiodynamic polarisation
subject: 540
subject: 600
subject: Korrosion
subject: Memory-Legierung
subject: Natriumchlorid
subject: Polarisation

description: Gefördert im Rahmen des Projekts DEAL
Additional file 1 of Spinal fusion surgery use among adults with low back pain enrolled in a digital musculoskeletal program: an observational study
Creators: name: Yadav, Sandhya
name: Gold, Laura S.
name: Zaidi, Qasim Hassan
name: Hwang, Raymond
name: Lu, Louie
name: Wang, Grace
Publisher: name: figshare
Year: 2024
Subjects: Medicine
Neuroscience
Science Policy
Mental Health

description: Supplementary Material 1
Dipolar excitations at the LIII x-ray absorption edges of the heavy rare earth metals
Creators: name: Brown, S. D.
name: Strange, P.
name: Bouchenoire, L.
name: Zarychta, B.
name: Thompson, P. B. J.
name: Mannix, D.
name: Stockton, S. J.
name: Horne, M.
name: Arola, E.
name: Ebert, H.
name: Szotek, Z.
name: Temmerman, W. M.
name: Fort, D.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We report measured dipolar asymmetry ratios at the LIII edges of the heavy rare earth metals. The results are compared with a first principles calculation and excellent agreement is found. A simple model of the scattering is developed, enabling us to re-interpret the resonant x-ray scattering in these materials and to identify the peaks in the asymmetry ratios with features in the spin and orbital moment densities.
description: Four pages, Two figures, 24 references
title: Étude des ventes papier et numériques des PUR. Un impact de la mise en ligne ?
Creators: name: Day, Damien
name: Evans, Christophe
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: subject: Librairie
subject: freemium
subject: Édition en libre accès
subject: édito-diversité
subject: Presses universitaires

description: Lors de la journée d'étude SO PUR du 26 septembre 2024 ont été dispensés les premiers résultats de l'étude SO PUR sur l'impact de la diffusion numérique sur les ventes papier.
Formalizing Style to Understand Descriptions of Software Architecture
Creators: name: Abowd, Gregory
name: Allen, Robert
name: Garlan, David
Publisher: name: Carnegie Mellon University
Year: 1972
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The software architecture of most systems is usually described informally and diagrammatically by means of boxes and lines. In order for these descriptions to be meaningful, the diagrams are understood by interpreting the boxes and lines in specific, conventionalized ways. The informal, imprecise nature of these interpretations has a number of limitations. In this article we consider these conventionalized interpretations as architectural styles and provide a formal framework for their uniform definition. In addition to providing a template for precisely defining new architectural styles, this framework allows for analysis within and between different architectural styles.
Hydrogen bubble nucleation by self-clustering: Density Functional Theory and statistical models studies using tungsten as a model system
Creators: name: Hou, Jie
name: Kong, Xiang-Shan
name: Sun, Jingjing
name: You, Yu-Wei
name: Wu, Xuebang
name: liu, C. S.
name: Song, Jun
Publisher: name: arXiv
Year: 2017
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Low-energy hydrogen irradiation is known to induce bubble formation in tungsten, while its atomistic mechanisms remain little understood. Using first-principles calculations and statistical models, we studied the self-clustering behavior of hydrogen in tungsten. Unlike previous speculations that hydrogen self-clusters are energetically unstable owing to the general repulsion between two hydrogens, we demonstrated that hydrogen self-cluster becomes more favorable as the cluster size increases. We found that hydrogen atoms would form two-dimensional platelet-like structures along {100} planes. These hydrogen self-clustering behaviors can be quantitative understood by the competition between long-ranged elastic attraction and local electronic repulsion. Further statistical analysis showed that there exists a critical hydrogen concentration above which hydrogen self-clusters are thermodynamically stable and kinetically feasible. Based on this critical hydrogen concentration, the plasma loading conditions under which hydrogen self-clusters form were predicted. Our predictions showed excellent agreement with experimental results of hydrogen bubble formation in tungsten exposed to low-energy hydrogen irradiation. Finally, we proposed a possible mechanism for the hydrogen bubble nucleation via hydrogen self-clustering. This work provides mechanistic insights and quantitative models towards understanding of plasma-induced hydrogen bubble formation in plasma-facing tungsten.
description: 21 pages, 8 figures, regular article
title: Multiple parsec-scale outflows in the NGC 2071 cluster
Creators: name: Stojimirovic, I
name: Snell, Ronald L.
name: Narayanan, Gopal
Publisher: name: University of Massachusetts Amherst
Year: 2008
Subjects: subject: ISM : clouds
subject: ISM : individual (NGC 2071)
subject: ISM : jets and outflows
subject: stars : formation
subject: stars : winds
subject: outflows
subject: Astrophysics and Astronomy

description: The published version is located at http://iopscience.iop.org/0004-637X/679/1/557
description: We present high-sensitivity large-scale mapping results of the NGC 2071 cluster in Orion and its surrounding environment in 12CO and 13CO J = 1→ 0 molecular line tracers. The data were obtained at the FCRAO 14 m telescope with an angular resolution of ~45''. We show that the known outflow in NGC 2071 has a larger extent than previously reported, reaching 1.7 pc at its lowest velocities. We also report the discovery of two new outflows: the bipolar north outflow, located approximately 4' north of the main outflow, and the southeast outflow, which originates near the main outflow and has only a redshifted component. We compare our molecular-line data to the H2 data of Eislöffel and find a morphological match between the CO and H2 outflows. We also identify possible driving sources for the two new outflows from the SCUBA image of this region. We use multiple lines of evidence, including the mass-velocity relation, position-velocity maps, and the morphological relationship between the H2 and CO emission, to distinguish between entrainment models for each of these flows. Jet entrainment is the dominant entrainment mechanism in the three outflows observed in NGC 2071. The mass of the main outflow, over velocities where the outflow dominates, is 14.8 M. Likewise, the mass of the southeast redshifted-only outflow is 7.6 M, suggesting that it may also be driven by a luminous YSO. The mass of the north outflow is much smaller (1.4 M) and is more consistent with outflows driven by low-mass stars.
Distributed order Hausdorff derivative diffusion model to characterize non-Fickian diffusion in porous media
Creators: name: Liang, Yingjie
name: Chen, Wen
name: Xu, Wei
name: Sun, HongGuang
Publisher: name: arXiv
Year: 2018
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: Many theoretical and experimental results show that solute transport in heterogeneous porous media exhibits multi-scaling behaviors. To describe such non-Fickian diffusions, this work provides a distributed order Hausdorff diffusion model to describe the tracer transport in porous media. This model is proved to be equivalent with the diffusion equation model with a nonlinear time dependent diffusion coefficient. In conjunction with the structural derivative, its mean squared displacement (MSD) of the tracer particles is explicitly derived as a dilogarithm function when the weight function of the order distribution is a linear function of the time derivative order. This model can capture both accelerating and decelerating anomalous and ultraslow diffusions by varying the weight parameter c. In this study, the tracer transport in water-filled pore spaces of two-dimensional Euclidean is demonstrated as a decelerating sub-diffusion, and can well be described by the distributed order Hausdorff diffusion model with c = 1.73. While the Hausdorff diffusion model can accurately fit the sub-diffusion experimental data of the tracer transport in the pore-solid prefractal porous media.
Formalizing Plan Justifications
Creators: name: Fink, Eugene
name: Yang, Qiang
Publisher: name: Carnegie Mellon University
Year: 1997
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: This paper formalizes the notion of justified plans, which captures the intuition behind 'good"" plans. A justified plan is one that does not contain operators which are not necessary for achieving a goal. The importance of formalizing this notion is due to two reasons. First, it gives rise to methods for optimizing a given plan by removing ""useless"" operators. Second, several important concepts describing abstraction hierarchies are de fined via justified plans. In the past, relatively few attempts have been made to formalize such a notion. This paper defines several different kinds of plan justifications, presents algorithms for finding a justified version of a plan, and shows that the task of finding the best possible justified version of a plan is NP-complete. Finally, it presents a greedy algorithm for finding a near-optimal justified plan in polynomial time."
Formalizing design spaces: Implicit invocation mechanisms
Creators: name: Garlan, David
name: Notkin, David
Publisher: name: Carnegie Mellon University
Year: 2004
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support large-scale reuse, and provide automated assistance for system development. A significant roadblock to accomplishing this goal is that common properties of systems are poorly understood. In this paper we argue that formal specification can help solve this problem. A formal definition of a design framework can identify the common properties of a family of systems and make clear the dimensions of specialization. New designs can then be built out of old ones in a principled way, at reduced cost to designers and implementors. To illustrate these points, we present a formalization of a system integration technique called implicit invocation. We show how many previously unrelated systems can be viewed as instances of the same underlying framework. Then we briefly indicate how the formalization allows us to reason about certain properties of those systems as well as the relationships between different systems.
Czy spontaniczna kolonizacja zawodnionych niecek osiadania i hałd skały płonnej jest innowacyjnym sposobem rewitalizacji?
Creators: name: Sierka, Edyta
name: G. Woźniak
Publisher: name: Zenodo
Year: 2010

description: Sierka E., Woźniak G. (2010). Czy spontaniczna kolonizacja zawodnionych niecek osiadania i hałd skały płonnej jest innowacyjnym sposobem rewitalizacji? [In:] Innowacyjne rozwiązania. Rewitalizacja terenów zdegradowanych (ed. Skowronek J.), Lędziny - Katowice, 228-235.
JUSTIFICATION FOR THE CHOICE OF TRANSPORT AND TECHNOLOGICAL SCHEME OF A LOGISTICS COMPANY.
Creators: name: Raximov, Raxmatullo
name: Solimuhammadov, Jamshidbek
name: Hoshimov, O'tkirbek
Publisher: name: Zenodo
Year: 2024

description: In the article, you can follow the following steps to select a transport and technological scheme for a logistics company. We study when customers receive goods and how to deliver them. Choosing the most suitable among road, rail, air, sea and other modes of transport. Creation of a logistics system for selected transport and technological means, including adjustment of product delivery to customers and product tracking. Using automated technologies to monitor the created logistics system and improve its efficiency. By following these steps, you will be able to achieve success in choosing a transport and technological scheme for a logistics company.
Stochastic Successive Convex Optimization for Two-timescale Hybrid Precoding in Massive MIMO
Creators: name: Liu, An
name: Lau, Vincent
name: Zhao, Min-Jian
Publisher: name: arXiv
Year: 2018
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: Hybrid precoding, which consists of an RF precoder and a baseband precoder, is a popular precoding architecture for massive MIMO due to its low hardware cost and power consumption. In conventional hybrid precoding, both RF and baseband precoders are adaptive to the real-time channel state information (CSI). As a result, an individual RF precoder is required for each subcarrier in wideband systems, leading to high implementation cost. To overcome this issue, two-timescale hybrid precoding (THP), which adapts the RF precoder to the channel statistics, has been proposed. Since the channel statistics are approximately the same over different subcarriers, only a single RF precoder is required in THP. Despite the advantages of THP, there lacks a unified and efficient algorithm for its optimization due to the non-convex and stochastic nature of the problem. Based on stochastic successive convex approximation (SSCA), we propose an online algorithmic framework called SSCA-THP for general THP optimization problems, in which the hybrid precoder is updated by solving a quadratic surrogate optimization problem whenever a new channel sample is obtained. Then we prove the convergence of SSCA-THP to stationary points. Finally, we apply SSCA-THP to solve three important THP optimization problems and verify its advantages over existing solutions.
description: submitted to IEEE Journal of Selected Topics in Signal Processing, 2017
First Measurement of the Production of a W Boson in Association with a Single Charm Quark in Proton Anti-proton Collisions at sqrt(s)=1.96 TeV
Creators: name: CDF Collaboration
name: Aaltonen, T.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We present the first measurement of the production cross section of a W boson with a single charm quark (c) in p-pbar collisions at sqrt(s)=1.96 TeV, using soft muon tagging of c jets. In a data sample of ~1.8 fb-1, recorded with the CDF II detector at the Fermilab Tevatron, we select events with W+1 or 2 jets. We use the charge correlation between the W and the muon from the semileptonic decay of a charm hadron to extract the Wc signal. We measure sigma_{Wc}(p_{Tc}>20 GeV/c, |η_c|<1.5)\times BR(W->\ellν) = 9.8+/-3.2 pb, in agreement with theoretical expectations.
description: 7 pages, 1 figure. Submitted to Phys. Rev. Lett
Formalizing Architectural Connection
Creators: name: Allen, Robert
name: Garlan, David
Publisher: name: Carnegie Mellon University
Year: 1976
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: As software systems become more complex the overall system structure - or software architecture - becomes a central design problem. An important step towards an engineering discipline of software is a formal basis for describing and analyzing these designs. We present a theory for one aspect of architectural description, the interactions between components. The key idea is to define architectural connectors as explicit semantic entities. These are specified as a collection of protocols that characterize each of the participant roles in an interaction and how these roles interact. We illustrate how this scheme can be used to define a variety of common architectural connectors. We provide a formal semantics and show how this lends to a sound deductive system in which architectural compatibility can be checked in a way analogous to type checking in programming languages
Comment on "Once more about the KK molecule approach to the light scalars"
Creators: name: Kalashnikova, Yu. S.
name: Kudryavtsev, A. E.
name: Nefediev, A. V.
name: Haidenbauer, J.
name: Hanhart, C.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this manuscript we comment on the criticism raised recently by Achasov and Kiselev [Phys. Rev. D 76, 077501 (2007)] on our work on the radiative decays phi to gamma a_0/f_0 [Eur. Phys. J. A 24, 437 (2005)]. Specifically, we demonstrate that their criticism relies on results that violate gauge-invariance and is therefore invalid.
description: RevTeX, 4 pages. Version as published in comment section of Phys.Rev.D plus discussion of reply to this comment contained in arXiv:0806.2993
title: ADCO, Grènetier de Cîteaux : comptes (1499-1503) (11 H 1173), f. 00526
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
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: Grènetier de Cîteaux : comptes (1499-1503), Archives départementales de la Côte-d'Or, (11 H 1173). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Grènetier de Cîteaux : comptes (1499-1503), Archives départementales de la Côte-d'Or, (11 H 1173), f. 00526, 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
Formalizing and Enforcing Purpose Restrictions in Privacy Policies
Creators: name: Tschantz, Michael Carl.
name: Datta, Anupam
name: Wing, Jeannette M.
Publisher: name: Carnegie Mellon University
Year: 1978
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Privacy policies often place restrictions on the purposes for which a governed entity may use personal information. For example, regulations, such as the Health Insurance Portability and Accountability Act (HIPAA), require that hospital employees use medical information for only certain purposes, such as treatment, but not for others, such as gossip. Thus, using formal or automated methods for enforcing privacy policies requires a semantics of purpose restrictions to determine whether an action is for a purpose or not. We provide such a semantics using a formalism based on planning. We model planning using a modified version of Markov Decision Processes (MDPs), which exclude redundant actions for a formal definition of redundant. We argue that an action is for a purpose if and only if the action is part of a plan for optimizing the satisfaction of that purpose under the MDP model. We use this formalization to define when a sequence of actions is only for or not for a purpose. This semantics enables us to create and implement an algorithm for automating auditing, and to describe formally and compare rigorously previous enforcement methods. To validate our semantics, we conduct a survey to compare our semantics to how people commonly understand the word "purpose".
Finding Two Disjoint Simple Paths on Two Sets of Points is NP-Complete
Creators: name: Razzazi, Mohammadreza
name: Sepahvand, Abdolah
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computational Complexity (cs.CC)
subject: Computational Geometry (cs.CG)
subject: FOS: Computer and information sciences

description: Finding two disjoint simple paths on two given sets of points is a geometric problem introduced by Jeff Erickson. This problem has various applications in computational geometry, like robot motion planning, generating polygon etc. We will present a reduction from planar Hamiltonian path to this problem, and prove that it is NP-Complete. To the best of our knowledge, no study has considered its complexity up until now. We also present a reduction from planar Hamiltonian path problem to the problem of finding a path on given points in the presence of arbitrary obstacles and prove that it is NP-Complete too. Also, we present a heuristic algorithm with time complexity of O(n4) to solve this problem. The proposed algorithm first calculates the convex hull for each of the entry points and then produces two simple paths on the two entry point sets
Flavour Physics and Grand Unification
Creators: name: Masiero, A.
name: Vempati, S. K.
name: Vives, O.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In spite of the enormous success of the Standard Model (SM), we have strong reasons to expect the presence of new physics beyond the SM at higher energies. The idea of the Grand Unification of all the known interactions in nature is perhaps the main reason behind these expectations. Low-energy Supersymmetry is closely linked with grand unification as a solution of the hierarchy problem associated with the ratio M_GUT / M_Z. In these lectures we will provide a general overview of Grand Unification and Supersymmetry with special emphasis on their phenomenological consequences at low energies. We will analyse the flavour and CP problems of Supersymmetry and try to identify in these associated low-energy observables possible indications of the existence of a Grand Unified theory at high energies.
description: 62 pages, 15 figures. Lectures given by A. Masiero at "Particle Physics Beyond the Standard Model", Les Houches, France, 1-26 Aug 2005
Formalizing a Specification for Analysis: The HLA Ownership Properties
Creators: name: Damon, Craig A
name: Melton, Ralph
name: Allen, Robert J
name: Bigelow, Elizabeth
name: Ivers, James
name: Garlan, David
Publisher: name: Carnegie Mellon University
Year: 1996
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Interfaces are commonly specified using informal or semi-formal techniques, relying primarily on natural language descriptions. Such specifications, however, can easily overlook significant details and are not amenable to analysis by automated tools. This paper looks at formalizing one portion of a substantial specification, the ownership management chapter of the DoD HLA framework, and at the subsequent analysis using the tool Ladybug.