cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Additional file 1 of Environmental assessment of pediatric Lead exposure in Tehran; a prospective cross-sectional study
Creators: name: Ahangar, Hedieh
name: Karimdoost, Afsoon
name: Salimi, Amir
name: Akhgari, Maryam
name: Phillips, Scott
name: Zamani, Nasim
name: Hassanpour, Nasibeh
name: Kolahi, Ali-Asghar
name: Krieger, Gary R.
name: Hassanian-Moghaddam, Hossein
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Geology
subject: FOS: Earth and related environmental sciences
subject: 59999 Environmental Sciences not elsewhere classified
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Developmental Biology
subject: Cancer
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 110309 Infectious Diseases
subject: 60506 Virology

description: Additional file 1. Environmental lead assessment questionnaire.
[Carta de Marcos Ana a Margarita – Sobre 25]
Creators: name: Marcos, Ana
name: Macarro Castillo, Fernando (Ana, Marcos)
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2022
Subjects: Vie en prison

description: Destinataire : Macarro Castillo, Dominga
description: Description : Carte postale de l’auteur envoyée, depuis la Prison Centrale de Burgos, à María de la Luz Lopez pour être remise à la sœur de l’auteur Dominga Macarro Castillo.
description: Notes : Carte postale de papier gris cartonné, sans photo, écrite à l’encre noire. Trois passages du texte sont soulignés et le dernier chapitre est mis en relief au crayon de couleur rouge. L’adresse de destination est : " Americán British Cowdray Hospital – Victor Hugo 79. (Cal. Anzures) Mexico D.F.
description: Source: Num. Ref. : MA-AA-025
description: Source: Localisation du fonds : Archives Marcos Ana. Madrid (Espagne)
Synthesis Methodology for Task Based Reconfiguration of Modular Manipulator Systems
Creators: name: Paredis, Christiaan J.J.
name: Khosla, Pradeep
Publisher: name: Carnegie Mellon University
Year: 1993
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: In this paper, we deal with two important issues in relation to modular reconfigurable manipulators, namely, the determination of the modular assembly configuration optimally suited to perform a specific task and the synthesis of fault tolerant systems. We present a numerical approach yielding an assembly configuration that satisfies four kinematic task requirements: reachability, joint limits, obstacle avoidance and measure of isotropy. Further, because fault tolerance is a must in critical missions that may involve high costs if the mission were to fail due to a failure in the manipulator system, we address the property of fault tolerance in more detail. Initially, no joint limits are considered, in which case we prove the existence of fault tolerant manipulators and develop an analysis tool to determine the fault tolerant work space. We also derive design templates for spatial fault tolerant manipulators. When joint limits are introduced, analytic solutions become infeasible but instead a numerical solution procedure can be used, as is illustrated through an example.
IMPROVING THE EFFICIENCY OF FINANCIAL INDICATORS IN INDUSTRIAL ENTERPRISES
Creators: name: Maribjonov Botirjon Ikromjonovich
Publisher: name: Zenodo
Year: 2024

description: Increasing the financial indicators of the enterprises is of great importance in modernizing various sectors of the country's economy and increasing the resistance of the products created in the national economy of the country to market competition. Increasing the financial indicators of industrial enterprises is one of the main factors of the rapid development of the capital market of our country.
Substrate Specificity of Peptide Adsorption: A Model Study
Creators: name: Bachmann, Michael
name: Janke, Wolfhard
Publisher: name: arXiv
Year: 2007
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: Applying the contact density chain-growth algorithm to lattice heteropolymers, we identify the conformational transitions of a nongrafted hydrophobic-polar heteropolymer with 103 residues in the vicinity of a polar, a hydrophobic, and a uniformly attractive substrate. Introducing only two system parameters, the numbers of surface contacts and intrinsic hydrophobic contacts, respectively, we obtain surprisingly complex temperature and solvent dependent, substrate-specific pseudo-phase diagrams.
description: 5 pages, 2 figures
Structure of $^{14}$N nucleus within a five-cluster model
Creators: name: Grinyuk, B. E.
name: Piatnytskyi, D. V.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The spatial structure of $^{14}$N nucleus is studied within a five-particle model (three $α$-particles plus two nucleons). Using the variational approach with Gaussian bases, the ground-state energy and wave function are calculated for this five-particle system. Two spatial configurations in the ground-state wave function are revealed. The density distributions, pair correlation functions, and the momentum distributions of particles are analyzed and compared with those of the mirror nuclei $^{14}$C and $^{14}$O.
description: arXiv admin note: substantial text overlap with arXiv:1611.07949
Boundary Spectra in Superspace Sigma-Models
Creators: name: Quella, Thomas
name: Schomerus, Volker
name: Creutzig, Thomas
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In this note we compute exact boundary spectra for D-instantons in sigma-models on the supergroup PSL(2|2). Our results are obtained through an explicit summation of the perturbative expansion for conformal dimensions to all orders in the curvature radius. The analysis exploits several remarkable properties of the perturbation series that arises from rescalings of the metric on PSL(2|2) relative to a fixed Wess-Zumino term. According to Berkovits, Vafa and Witten, the models are relevant in the context of string theory on AdS3 with non-vanishing RR-flux. The note concludes with a number of comments on various possible generalizations to other supergroups and higher dimensional supercoset theories.
description: 32 pages, 1 figure
Additional file 2 of The application of the spot the difference teaching method in clinical skills training for residents
Creators: name: Yang, Liu
name: Li, Wen
name: Zou, Jian
name: An, Junnan
name: Zeng, Bin
name: Zheng, Yitao
name: Yang, Jiming
name: Ren, Jia
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Sociology
subject: FOS: Sociology
subject: Mental Health

description: Additional file 2.
Thermal lensing measurements of Ti: Sapphire crystal pumped at 80 MHz picosecond pulses by Shack-Hartmann wavefront sensor
Creators: name: Hussain, Mukhtar
name: Imran, Tayyab
name: Borzsonyi, Adam
Publisher: name: arXiv
Year: 2018
Subjects: subject: Optics (physics.optics)
subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: The thermal lensing effects in the lasing crystal appear to be dominant when the pump laser focused on the lasing crystal which causes the local heating effect. The spatial refractive index variations observed if the crystal has non-uniform temperature distribution. In the present study, the demonstration of thermal lensing effect of Brewster-cut Ti: Sapphire crystal carried out when pumped by 25 ps pulses at 80 MHz repetition rate with 532 nm central wavelength, while the average pump power controlled by the attenuator. The thermal lensing effects measured first at the ~293 K temperature and later at ~40 K by using the cryogenic cooling system. The thermal lensing variations at different average pump power were calculated and measured by using the HASO4 Shack-Hartmann wavefront sensor.
description: There are some technical issues which need to be rectify
Additional file 1 of The application of the spot the difference teaching method in clinical skills training for residents
Creators: name: Yang, Liu
name: Li, Wen
name: Zou, Jian
name: An, Junnan
name: Zeng, Bin
name: Zheng, Yitao
name: Yang, Jiming
name: Ren, Jia
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Sociology
subject: FOS: Sociology
subject: Mental Health

description: Additional file 1.
Census Tract Food Tweets and Chronic Disease Outcomes in the U.S., 2015–2018
Creators: name: Huang, Yuru
name: Huang, Dina
name: Nguyen, Quynh C.
Publisher: name: MDPI
Year: 2019
Subjects: Twitter
food environment
Chronic disease

description: Partial funding for Open Access provided by the UMD Libraries' Open Access Publishing Fund.
description: There is a growing recognition of social media data as being useful for understanding local area patterns. In this study, we sought to utilize geotagged tweets—specifically, the frequency and type of food mentions—to understand the neighborhood food environment and the social modeling of food behavior. Additionally, we examined associations between aggregated food-related tweet characteristics and prevalent chronic health outcomes at the census tract level. We used a Twitter streaming application programming interface (API) to continuously collect ~1% random sample of public tweets in the United States. A total of 4,785,104 geotagged food tweets from 71,844 census tracts were collected from April 2015 to May 2018. We obtained census tract chronic disease outcomes from the CDC 500 Cities Project. We investigated associations between Twitter-derived food variables and chronic outcomes (obesity, diabetes and high blood pressure) using the median regression. Census tracts with higher average calories per tweet, less frequent healthy food mentions, and a higher percentage of food tweets about fast food had higher obesity and hypertension prevalence. Twitter-derived food variables were not predictive of diabetes prevalence. Food-related tweets can be leveraged to help characterize the neighborhood social and food environment, which in turn are linked with community levels of obesity and hypertension.
Additional file 1 of Handgrip strength during admission for COPD exacerbation: impact on further exacerbation risk
Creators: name: Lee, Chi-Tai
name: Wang, Ping-Huai
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Cancer
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 110309 Infectious Diseases
subject: 60506 Virology
subject: FOS: Biological sciences

description: Additional file 1: Table S1. Post-bronchodilator lung function test and COPD GOLD stage of the participants within one year before recruitment
W production and properties at CDF
Creators: name: Nurse, Emily
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: I present measurements of the W boson charge asymmetry and the W boson width G_W using 350 pb-1 of CDF Run II data. The charge asymmetry is the first direct measurement, which uses a new technique to reconstruct the W rapidity by constraining its mass; the result will further constrain Parton Distribution Functions in future fits. The width measurement relies on a fit to the W transverse mass distribution. We measure G_W = 2032 +/- 71 MeV which is in good agreement with the Standard Model prediction.
description: To appear in the proceedings of the International Europhysics Conference On High Energy Physics (EPS-HEP2007), Manchester, England, July 19-25, 2007
Symbolic Verification of MOS Circuits
Creators: name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 1985
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: The program MOSSYM simulates the behavior of a MOS circuit represented as a switch-level network symbolically. That is, during simulator operation the user can set an input to either 0, 1, or a Boolean variable. The simulator then computes the behavior of the circuit as a function of the past and present input variables. By using heuristically efficient Boolean function manipulation algorithms, the verification of a circuit by symbolic simulation can proceed much more quickly than by exhaustive logic simulation. In this paper we present our concept of symbolic simulation, derive an algorithm for switch-level symbolic simulation, and present experimental measurements from MOSSYM.
"ПРОФИЛАКТИКА ИНСПЕКТОРИ ФАОЛИЯТИДА МАЪМУРИЙ ҲУҚУҚБУЗАРЛИКЛАР БЎЙИЧА ИШ ЮРИТИШДА ДАВЛАТ ОРГАНЛАРИ БИЛАН ҲАМКОРЛИКНИ ТАКОМИЛЛАШТИРИШ"
Creators: name: Бабаханов, Ҳамдам
name: Абдувохобов, Муроджон
Publisher: name: Zenodo
Year: 2025

description: Ушбу мақолада профилактика инспектори фаолиятида маъмурий ҳуқуқбузарликлар бўйича иш юритиш жараёнида давлат органлари билан ҳамкорлик масалалари таҳлил қилинади. Маъмурий ҳуқуқбузарликларни барвақт олдини олиш ва бартараф этишда суд, прокуратура, маҳаллий ҳокимият ва бошқа ташкилотларнинг ўзаро мувофиқлашган фаолияти муҳим аҳамият касб этади. Мақолада ушбу ҳамкорликнинг ҳозирги ҳолати, учрайдиган муаммолар ва уларни ҳал этиш бўйича таклифлар баён этилади. Шунингдек, профилактика инспекторларининг самарали ишлашини таъминлаш учун ҳамкорлик механизмларини такомиллаштириш йўллари кўрсатилади.
Memory-efficient tracking of complex temporal and symbolic dynamics with quantum simulators
Creators: name: Elliott, Thomas J.
name: Garner, Andrew J. P.
name: Gu, Mile
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Tracking the behaviour of stochastic systems is a crucial task in the statistical sciences. It has recently been shown that quantum models can faithfully simulate such processes whilst retaining less information about the past behaviour of the system than the optimal classical models. We extend these results to general temporal and symbolic dynamics. Our systematic protocol for quantum model construction relies only on an elementary description of the dynamics of the process. This circumvents restrictions on corresponding classical construction protocols, and allows for a broader range of processes to be modelled efficiently. We illustrate our method with an example exhibiting an apparent unbounded memory advantage of the quantum model compared to its optimal classical counterpart.
description: 15 pages, 5 figures
Stefano Pasta, Razzismi 2.0. Analisi socio-educativa dell’odio online, Morcelliana, Brescia, 2018
Creators: name: Guirado, Sara
Publisher: name: Comparative Cultural Studies - European and Latin American Perspectives
Year: 2019

description: AAVV
description: Comparative Cultural Studies - European and Latin American Perspectives, Vol 4 No 8 (2019)
Non-Perturbative Functional Renormalization Group for Random Field Models and Related Disordered Systems. I: Effective Average Action Formalism
Creators: name: Tarjus, Gilles
name: Tissier, Matthieu
Publisher: name: arXiv
Year: 2007
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We have developed a nonperturbative functional renormalization group approach for random field models and related disordered systems for which, due to the existence of many metastable states, conventional perturbation theory often fails. The approach combines an exact renormalization group equation for the effective average action with a nonperturbative approximation scheme based on a description of the probability distribution of the renormalized disorder through its cumulants. For the random field $O(N)$ model, the minimal truncation within this scheme is shown to reproduce the known perturbative results in the appropriate limits, near the upper and lower critical dimensions and at large number $N$ of components, while providing a unified nonperturbative description of the full $(N,d)$ plane, where $d$ is the spatial dimension.
description: 20 pages, 2 figures
Extremal problems on triangle areas in two and three dimensions
Creators: name: Dumitrescu, Adrian
name: Sharir, Micha
name: Toth, Csaba D.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 52C10, 52C45, 05D99

description: The study of extremal problems on triangle areas was initiated in a series of papers by Erdős and Purdy in the early 1970s. In this paper we present new results on such problems, concerning the number of triangles of the same area that are spanned by finite point sets in the plane and in 3-space, and the number of distinct areas determined by the triangles. In the plane, our main result is an $O(n^{44/19}) =O(n^{2.3158})$ upper bound on the number of unit-area triangles spanned by $n$ points, which is the first breakthrough improving the classical bound of $O(n^{7/3})$ from 1992. We also make progress in a number of important special cases: We show that (i) For points in convex position, there exist $n$-element point sets that span $Ω(n\log n)$ triangles of unit area. (ii) The number of triangles of minimum (nonzero) area determined by $n$ points is at most ${2/3}(n^2-n)$; there exist $n$-element point sets (for arbitrarily large $n$) that span $(6/π^2-o(1))n^2$ minimum-area triangles. (iii) The number of acute triangles of minimum area determined by $n$ points is O(n); this is asymptotically tight. (iv) For $n$ points in convex position, the number of triangles of minimum area is O(n); this is asymptotically tight. (v) If no three points are allowed to be collinear, there are $n$-element point sets that span $Ω(n\log n)$ minimum-area triangles (in contrast to (ii), where collinearities are allowed and a quadratic lower bound holds). In 3-space we prove an $O(n^{17/7}β(n))= O(n^{2.4286})$ upper bound on the number of unit-area triangles spanned by $n$ points, where $β(n)$ is an extremely slowly growing function related to the inverse Ackermann function. The best previous bound, $O(n^{8/3})$, is an old result from 1971.
description: title page + 27 pages, 5 figures
Subsystem Complexity and Holography
Creators: name: Agón, Cesar A.
name: Headrick, Matthew
name: Swingle, Brian
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We study circuit complexity for spatial regions in holographic field theories. We study analogues based on the entanglement wedge of the bulk quantities appearing in the "complexity = volume" and "complexity = action" conjectures. We calculate these quantities for one exterior region of an eternal static neutral or charged black hole in general dimensions, dual to a thermal state on one boundary with or without chemical potential respectively, as well as for a shock wave geometry. We then define several analogues of circuit complexity for mixed states, and use tensor networks to gain intuition about them. We find a promising qualitative match between the holographic action and what we call the purification complexity, the minimum number of gates required to prepare an arbitrary purification of the given mixed state. On the other hand, the holographic volume does not appear to match any of our definitions of mixed-state complexity.
description: 37 pages, 7 figures; v4 our main conclusiones were rephrased, typos fixed, notation improved and references added. This version matches the published one
Additional file 2 of Handgrip strength during admission for COPD exacerbation: impact on further exacerbation risk
Creators: name: Lee, Chi-Tai
name: Wang, Ping-Huai
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Cancer
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 110309 Infectious Diseases
subject: 60506 Virology
subject: FOS: Biological sciences

description: Additional file 2: Figure S1. Cox regression analysis of (A) time to first emergency room visit and (B) time to first readmission after discharge
Invariant conserved currents for gravity
Creators: name: Obukhov, Yuri N.
name: Rubilar, Guillermo F.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We develop a general approach, based on the Lagrange-Noether machinery, to the definition of invariant conserved currents for gravity theories with general coordinate and local Lorentz symmetries. In this framework, every vector field ξon spacetime generates, in any dimension n, for any Lagrangian of gravitational plus matter fields and for any (minimal or nonminimal) type of interaction, a current J[ξ] with the following properties: (1) the current (n-1)-form J[ξ] is constructed from the Lagrangian and the generalized field momenta, (2) it is conserved, d J[ξ] = 0, when the field equations are satisfied, (3) J[ξ]= dΠ[ξ] "on shell", (4) the current J[ξ], the superpotential Π[ξ], and the charge Q[ξ] = \int J[ξ] are invariant under diffeomorphisms and the local Lorentz group. We present a compact derivation of the Noether currents associated with diffeomorphisms and apply the general method to compute the total energy and angular momentum of exact solutions in several physically interesting gravitational models.
description: 15 pages, Revtex
Characterization of Germanium Detectors for the Measurement of the Angular Distribution of Prompt gamma-rays at the ANNRI in the MLF of the J-PARC
Creators: name: Takada, Shusuke
name: Okudaira, Takuya
name: Goto, Fumiya
name: Hirota, Katsuya
name: Kimura, Atsushi
name: Kitaguchi, Masaaki
name: Koga, Jun
name: Nakao, Taro
name: Sakai, Kenji
name: Shimizu, Hirohiko M.
name: Yamamoto, Tomoki
name: Yoshioka, Tamaki
Publisher: name: arXiv
Year: 2017
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: In this study, the germanium detector assembly, installed at the Accurate Neutron-Nuclear Reaction measurement Instruments (ANNRI) in the Material and Life Science Facility (MLF) operated by the Japan Proton Accelerator Research Complex (J-PARC), has been characterized for extension to the measurement of the angular distribution of individual gamma-ray transitions from neutron-induced compound states. We have developed a Monte Carlo simulation code using the GEANT4 toolkit, which can reproduce the pulse-height spectra of gamma-rays from radioactive sources and (n,gamma) reactions. The simulation is applicable to the measurement of gamma-rays in the energy region of 0.5-11.0 MeV.
D11.1 Project Handbook
Creators: name: George, Anna
Publisher: name: Zenodo
Year: 2024

description: The ZeroW Project Handbook presents the main rules and approaches for inter-project coordination. It is designed as a useful reference tool to be used by the Partners when they need information about how the Project work is organised, including the governance (decision authority levels), roles and responsibilities, input/output dependencies between tasks, timelines and deliverables, reporting, monitoring and control of project execution.

 The document also describes the processes to be implemented by all Partners for quality control and risk management.

 Finally, a large proportion of the document is dedicated to setting up efficient communications between the 46 ZeroW Partners to foster collaboration as the recognised important factor for successful project delivery. A detailed description and guidance for the use of the Collaborative workspace is also included to hep Partners to easily navigate through the project information and documentation.
vh@nnlo-v2: New physics in Higgs Strahlung
Creators: name: Harlander, Robert V.
name: Klappert, Jonas
name: Liebler, Stefan
name: Simon, Lukas
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Introducing version 2 of the code vh@nnlo, we study the effects of a number of new-physics scenarios on the Higgs-Strahlung process. In particular, the cross section is evaluated within a general 2HDM and the MSSM. While the Drell-Yan-like contributions are consistently taken into account by a simple rescaling of the SM result, the gluon-initiated contribution is supplemented by squark-loop mediated amplitudes, and by the $s$-channel exchange of additional scalars which may lead to conspicuous interference effects. The latter holds as well for bottom-quark initiated Higgs Strahlung, which is also included in the new version of vh@nnlo. Using an orthogonal rotation of the three Higgs CP eigenstates in the 2HDM and the MSSM, vh@nnlo incorporates a simple means of CP mixing in these models. Moreover, the effect of vector-like quarks in the SM on the gluon-initiated contribution can be studied. Beyond concrete models, vh@nnlo allows to include the effect of higher-dimensional operators on the production of CP-even Higgs bosons. Transverse momentum distributions of the final state Higgs boson and invariant mass distributions of the $Vϕ$ final state for the gluon- and bottom-quark initiated contributions can be studied. Distributions for the Drell-Yan-like component of Higgs-Strahlung can be included through a link to MCFM. vh@nnlo can also be linked to FeynHiggs and 2HDMC for the calculation of Higgs masses and mixing angles. It can also read these parameters from an SLHA-file as produced by standard spectrum generators. Throughout the manuscript, we highlight new-physics effects in various numerical examples, both at the inclusive level and for distributions.
description: 53 pages, 15 figures, 23 tables; published version; corrected figures; extended discussion of higher-dim. operators; typos fixed in Eqs. (8) and (9)
Symbolic Timing Simulation Using Cluster Scheduling
Creators: name: McDonald, Clayton B.
name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 2000
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the functional verification of delay-dependent logic. While STS leverages efficient symbolic encodings to yield huge gains over conventional simulation methodologies, it still suffers from a problem known as event multiplication . We discuss this problem and present an event-list management technique based on event-clusters, and a new simulator which utilizes this technique. Finally, we demonstrate substantial speedups on a wide range of test cases, including exponenti alimprovement on a simple logic chain.
Post-consumer waste streams and the reworking/recycling of mattresses
Creators: name: Goddard, Dan
Publisher: name: Lancaster University
Year: 2019
Subjects: Recycling
Waste
Furniture industry
Mattresses

description: Over 5 million mattresses go straight to landfill or incineration every year at a significant environmental cost. Mattresses have negative net value, meaning the cost of recycling is greater than the recoverable value. This study identified ways of improving mattress recycling, investigated application of mattress wastes, conducted financial appraisal of mattress deconstruction and recommended actions for recycling body the Reuse Network. Insight was obtained through interviews including four manufacturers and seven mattress recyclers to assess mattress recycling issues, potential improvements and gather statistical and financial data on mattress recycling. In parallel, desk-based literature research was conducted to supplement and support primary findings and give insight into mattress recycling internationally. Experimental research was conducted to determine the properties of building materials incorporated with mattress origin wastes. The research found the value recovered from an average mattress was (£0.5) - £2.8. A manual disassembly plant processing 50,000 mattresses annually, would require a set-up cost of £100,000 based on insight from recyclers and literature, which could save 1400-2200 tCO2-eq. Experimental research found that incorporating mattress origin waste into building materials has the potential to offer a practical re-utilisation of the waste. At present, the mattress industry has invested very limited resources into improving the recyclability of mattresses in terms of design and processing to help reutilise waste streams within mattresses. Actions of regional landfill bans, an immediate flat rate sales tax on mattress could help fund collection and infrastructure to recycle mattresses effectively. Further, the Reuse Network should invest resources directly to develop mattress recycling and realise a vision of a nationwide recycling model.
Symbolic Simulation--Techniques and Applications
Creators: name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 1990
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulator can compute what would require many runs of a traditional simulator. Symbolic simulation has applications in both logic and timing verification, as well as sequential test generation. The concept of symbolic simulation has been discussed for over 10 years, but early attempts had only limited success. The recent introduction of more powerful, algorithmic methods of symbolic manipulation have had a major impact on the classes of circuits and properties that can be evaluated symbolically.
Synthesis and Efficient Design of Reversible Serial Adder Based on EPOE Expressions
Creators: name: IJISEA
Publisher: name: International Journal for Interdisciplinary Sciences and Engineering Applications
Year: 2025

description: The design of a low-cost self-control serial adder system is suggested in this project. The suggested circuit reduces the fixed inputs of sequential logic circuits by using EPOE expressions for the direct and compact design of sequential circuits. When it comes to energy-efficient calculations, reversibility is crucial. Common terms between the outputs are used as efficiently as possible to lower the quantum cost. The final circuit's quantum cost can be decreased by restricting the use of Toffoli gates larger than three inputs.
Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Function Vectors
Creators: name: Goel, Amit
name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 2004
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Boolean Functional Vectors (BFVs) are a symbolic representation for sets of bit-vectors that can be exponentially more compact than the corresponding characteristic functions with BDDs. Additionally, BFVs are the natural representation of bit-vector sets for Symbolic Simulation. Recently, we developed set manipulation algorithms for canonical BFVs by interpreting them as totally ordered selections. In this paper we generalize BFVs by defining them with respect to a partial order. We show that partially ordered BFVs can serve as abstractions for bit-vector sets and can be used to compute over-approximations in reachability analysis. In the special case when the underlying graph of the partial order is a forest, we can efficiently compute an abstract interpretation in a symbolic simulation framework. We present circuit examples where we leverage the exponential gap in the representations and inherent structure in the state-space to demonstrate the usefulness of Partially Ordered Boolean Functional Vectors.
Quantum phase transition and spontaneous symmetry breaking in a nonlinear quantum Rabi model
Creators: name: Ying, Zu-Jian
name: Cong, Lei
name: Sun, Xi-Mei
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The experimental advance on light-matter interaction into strong couplings has invalidated Jaynes-Cummings model and brought quantum Rabi model (QRM) to more relevance. The QRM only involves linear coupling via a single-photon process (SPP), while nonlinear two-photon process (TPP) is weaker and conventionally neglected. However, we find a contrary trend that enhancing the linear coupling might not suppress more the nonlinear effect but backfire to trigger some collapse of linear characters. Indeed, in strong SPP couplings a tiny strength of TPP may dramatically change properties of the system, like a symmetry spontaneous breaking. By extracting the ground-state phase diagram including both SPP and TPP, we find TPP in low frequency limit induces a quantum phase transition with continuity-discontinuity double faces, which split into two distinct transitions at finite frequencies and yields a triple point. Our analysis unveils a subtle SPP-TPP entanglement.
description: 6 pages, 4 figures, model extended, new references added
The scar mechanism revisited
Creators: name: Borondo, F.
name: Wisniacki, D. A.
name: Vergini, E. G.
name: Benito, R. M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: Unstable periodic orbits are known to originate scars on some eigenfunctions of classically chaotic systems through recurrences causing that some part of an initial distribution of quantum probability in its vicinity returns periodically close to the initial point. In the energy domain, these recurrences are seen to accumulate quantum density along the orbit by a constructive interference mechanism when the appropriate quantization (on the action of the scarring orbit) is fulfilled. Other quantized phase space circuits, such as those defined by homoclinic tori, are also important in the coherent transport of quantum density in chaotic systems. The relationship of this secondary quantum transport mechanism with the standard mechanism for scarring is here discussed and analyzed.
description: 6 pages, 6 figures
1st International Conference on Optimization- Driven Architectural Design (Amman, Jordan, November 5th - 7th, 2019)
Creators: name: Lagaros, Nikos D.
name: Khairedin M. Abdalla
name: Marano, Giuseppe Carlo
name: Phocas, Marios C.
Publisher: name: Zenodo
Year: 2019
Subjects: Shape and topology optimization: topological derivatives, level set methods, isogeometry-based shape optimization, topometry and topography optimization, sensitivity analysis, etc.
Linear, nonlinear, stochastic, parametric, discrete and dynamic programming – modelling.
Evolutionary algorithms, swarm optimization, scatter search, etc.
Multiple criteria decision making and optimization.
Energy (energy harvesting, storage, delivery, efficiency, etc.), environment and climate.

description: The main objective of the OPTARCH2019 Conference is to bring together the scientific community working in the broader field of Engineering Optimization and Architectural Design including problems formulation, computational methods and software development. OPTARCH conferences will facilitate the exchange of ideas in topics of mutual interests and will serve as a platform for establishing links between research groups with complementary activities. Thus, the communities of Mathematical Programming and Nature-Inspired Search Algorithms will become more familiar with important application areas arising from Architectural design real-world problems. Moreover, the Architectural Design Community will be exposed to advanced numerical methods and software tools, which can highly assist in tackling combinatorial optimization problems. Sessions related to specific topics of the Conference will be introduced by Keynote Lectures which will be complemented by invited Minisymposia, organized by recognized experts in research areas of current interest, as well as by contributed papers.
Holomorphic approximation: the legacy of Weierstrass, Runge, Oka-Weil, and Mergelyan
Creators: name: Fornaess, John Erik
name: Forstneric, Franc
name: Wold, Erlend Fornaess
Publisher: name: arXiv
Year: 2018
Subjects: subject: Complex Variables (math.CV)
subject: FOS: Mathematics
subject: 30E10, 32E10, 32E30

description: In this paper we survey the theory of holomorphic approximation, from the classical 19th century results of Runge and Weierstrass, continuing with the 20th century work of Oka and Weil, Mergelyan, Vitushkin and others, to the most recent ones on higher dimensional manifolds. The paper includes some new results and applications of this theory, especially to manifold-valued maps.
description: To appear as Chapter 5 in the volume Advancements in Complex Analysis, Springer-Verlag. We sincerely thank the numerous colleagues, mentioned in the Acknowledgements, who kindly sent us their remarks on the initial version of the paper
Entanglement structure of current-driven diffusive fermion systems
Creators: name: Gullans, Michael J.
name: Huse, David A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: High Energy Physics - Theory (hep-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: When an extended system is coupled at its opposite boundaries to two reservoirs at different temperatures or chemical potentials, it cannot achieve a global thermal equilibrium and is instead driven to a set of current-carrying nonequilibrium states. Despite the broad relevance of such a scenario to metallic systems, there have been limited investigations of the entanglement structure of the resulting long-time states, in part, due to the fundamental difficulty in solving realistic models for disordered, interacting electrons. We investigate this problem by carefully analyzing two "toy" models for coherent quantum transport of diffusive fermions: the celebrated three-dimensional, noninteracting Anderson model and a class of random quantum circuits acting on a chain of qubits, which exactly maps to a diffusive, interacting fermion problem. Crucially, the random circuit model can also be tuned to have no interactions between the fermions, similar to the Anderson model. We show that the long-time states of driven noninteracting fermions exhibit volume-law mutual information and entanglement, both for our random circuit model and for the nonequilibrium steady-state of the Anderson model. With interactions, the random circuit model is quantum chaotic and approaches local equilibrium, with only short-range entanglement. These results provide a generic picture for the emergence of local equilibrium in current-driven quantum-chaotic systems, and also provide examples of stable, highly-entangled many-body states out of equilibrium. We discuss experimental techniques to probe these effects in low-temperature mesoscopic wires or ultracold atomic gases.
description: v5: 32 pages, 11 figures, note added
Symbolic Manipulation of Boolean Functions Using a Graphical Representation
Creators: name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 1985
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: In this paper we describe a data structure for representing Boolean functions and an associated set of manipulation algorithms. Functions are represented by directed, acyclic graphs in a manner similar to the representations of Lee and Akers, but with further restrictions on the ordering of decision variables in the graph. Although a function requires, in the worst case, a graph of size exponential in the number of arguments, many of the functions encountered in typical applications have a more reasonable representation. Our algorithms are quite efficient as long as the graphs being operated on do not grow too large. We present performance measurements obtained while applying these algorithms to problems in logic design verification.
Symbolic Functional and Timing Verification of Transistor-Level Circuits
Creators: name: McDonald, Clayton B.
name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 1999
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaustively verify a medium-sized modern logic block. Static analysis can handle much larger circuits but is not robust with respect to variations from standard circuit structures. Our approach applies symbolic simulation to analyze a circuit over all input combinations without these limitations. We present a prototype simulator (Sir-Sim) and experimental results. We also discuss using SirSim to verify an industrial design which previously required a specialpurpose verification methodology.
Virtualization of PCIe-Based Reconfigurable Multi-Accelerator Systems for the Edge-Cloud Continuum
Creators: name: Rodriguez, Alfonso
name: Encinas, Juan
name: Diez de Ulzurrun, Iñigo
Publisher: name: Archivo Digital UPM - Universidad Politécnica de Madrid
Year: 2024

description: Master Thesis for the obtention of the degree of MSc on Industrial Electronics at UPM

Abstract:

The increasing demand for high computational performance and energy efficiency in cloud infrastructures has led to the growing importance of the use of Field-Programmable Gate Arrays (FPGAs). This allows the scaling of reconfigurable multi-accelerator systems that until now were implemented on FPGAs at the edge to deliver significant improvements in processing power and meet the growing demands of modern computing environments. By leveraging FPGAs and Peripheral Component Interconnect Express (PCIe) interconnects, the proposed solution aims to provide flexible, high-performance acceleration capabilities that can dynamically adapt to varying computational demands across cloud and edge environments.

In the continuum of edge-cloud computing, having access to computing resources as a unified entity is highly advantageous from the user’s perspective. This requires transparently virtualizing the underlying hardware to move and scale user applications across different computing resources. This can be particularly challenging when using reconfigurable multi-accelerator systems due to their need to access the hardware underneath directly.

This Master Thesis presents an infrastructure to integrate these FPGA-based platforms in the edge-cloud continuum, allowing for the seamless deployment of user applications throughout its different layers. The infrastructure employs Kubernetes as a microservice-based solution to deliver and manage user applications across the continuum, and the ARTICo3 framework, extended to PCIe-based FPGAs in this work, to accelerate parallel sections of the target applications in hardware. As a result, the proposed infrastructure can distribute and accelerate any user application on any FPGA-based device in the continuum. This infrastructure could also potentially exploit multi-tenant computing, where computing resources are shared among users, maximizing resource utilization.

The benefits of the proposed solution, including virtualization, portability, and scalability, have been validated through an actual edge-cloud continuum implementation running the Mach-Suite benchmarks, indicating that the proposed infrastructure induces a worst-case overhead of 1.23% when compared against single node scenarios. In addition, two custom acceleration scenarios (i.e., the matrix multiplication and AES algorithms) have been evaluated to perform design space exploration for different nodes within the edge-cloud continuum, using elastic accelerator implementations to exploit higher degrees of inner-parallelism on platforms that are far from the edge and thus maximize performance and resource utilization.
Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams
Creators: name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 1992
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Ordered Binary Decision Diagrams (OBDDs) represent Boolean functions as directed acyclic graphs. They form a canonical representation, making testing of functional properties such as satisfiability and equivalence straightforward. In most application, their size remains manageable. A number of operations on Boolean functions can be implemented as graph algorithms on OBDD data structures. Using OBDDs, researchers have solved a number of problems in digital system design, finite state system analysis, artificial intelligence, and mathematical logic. This paper describes the OBDD data structure, and surveys a number of applications that have been solved by OBDD-based symbolic analysis.
Comunicación y discurso cotidiano: Discriminación y violencia en torno al ser mujer indígena en México
Creators: name: Salvador, Cynthia Pech
name: García, Marta Rizo
Publisher: name: Comparative Cultural Studies - European and Latin American Perspectives
Year: 2019

description: The aim of this essay is to analyze how racism is present in everyday media messages and in which way it reflects discrimination and violence. Undoubtedly, racism towards indigenous people is an evil entrenched in Mexican society that is objectified in daily interactions, in media representations and in a culture where the indigenous is usually associated to alien and uneducated concepts as well as to a past that is not worth going back. In Mexico, being an indigenous woman leads to a double discrimination: due to gender and ethnic origin. Therefore we strongly believe that it is necessary to reflect on racism and discrimination against this sector of the population in some media discourses.
description: Comparative Cultural Studies - European and Latin American Perspectives, Vol 4 No 8 (2019)
A direct Measurement of the W Boson Width in ppbar 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: A direct measurement of the total decay width of the W boson G_W is presented using 350 pb-1 of data from ppbar collisions at sqrt(s) = 1.96 TeV collected with the CDF II detector at the Fermilab Tevatron. The width is determined by normalizing predicted signal and background distributions to 230185 W candidates decaying to enu and munu in the transverse-mass region 50 < M_T < 90 GeV and then fitting the predicted shape to 6055 events in the high-M_T region, 90 < M_T < 200 GeV. The result is G_W = 2032 +/- 45 (stat.) +/- 57 (syst.) MeV, consistent with the standard model expectation.
description: submitted to Phys. Rev. Lett. Version 3: update with PRL reviewer comments