cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Unification of spatiotemporal quantum formalisms: mapping between process and pseudo-density matrices via multiple-time states
Creators: name: Liu, Xiangjing
name: Jia, Zhian
name: Qiu, Yixian
name: Li, Fei
name: Dahlsten, Oscar
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We consider the relation between three different approaches to defining quantum states across several times and locations: the pseudo-density matrix (PDM), the process matrix, and the multiple-time state approaches. Previous studies have shown that bipartite two-time states can reproduce the statistics of bipartite process matrices. Here, we show that the operational scenarios underlying two-time states can be represented as PDMs, and thereby construct a mapping from process matrices with measurements to PDMs. The existence of this mapping implies that PDMs can, like the process matrix, model processes with indefinite causal orders. The results contribute to the unification of quantum models of spatiotemporal states.
description: match the published version
Abstraction-based satisfiability solving of Presburger arithmetic
Creators: name: Kroening, Daniel
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: "We present a new abstraction-based framework for deciding satisfiability of quantifier-free Presburger arithmetic formulas. Given a Presburger formula [phi], our algorithm invokes a SAT solver to produce proofs of unsatisfiability of approximations of [phi]. These proofs are in turn used to generate abstractions of [phi] as inputs to a theorem prover. The SAT-encodings of the approximations of [phi] are obtained by instantiating the variables of the formula over finite domains. The satisfying integer assignments proided by the theorem prover are then used to selectively increase domain sizes and generate fresh SAT-encodings of [phi]. The efficiency of this approach derives from the ability of SAT solvers to extract small unsatisfiable cores, leading to small abstracted formulas. We present experimental results which suggest that our algorithm is considerably more efficient than directly invoking the theorem prover on the original formula."
Memory Effect for Particle Scattering in Odd Spacetime Dimensions
Creators: name: Satishchandran, Gautam
name: Wald, Robert M.
Publisher: name: arXiv
Year: 2017
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We investigate the gravitational memory effect for linearized perturbations off of Minkowski space in odd spacetime dimensions $d$ by examining the effects of gravitational radiation from classical point particle scattering. We also investigate analogous memory effects for electromagnetic and scalar radiation. We find that there is no gravitational memory effect in all odd dimensions. For scalar and electromagnetic fields, there is no memory effect for $d\geq 7$; for $d=3$ there is an infinite momentum memory effect, whereas for $d=5$ there is no momentum memory effect but the displacement of a test particle will grow unboundedly with time. Our results are further elucidated by analyzing the memory effect for any slowly moving source of compact spatial support in odd dimensions.
description: 20 pages, 2 figures; minor changes
The dehydrogenation of alcohols and hydrocarbons by atomic metal anions
Creators: name: Mayer, Paul
name: Halvachizadeh, Jaleh
name: Mungham, Alex
Publisher: name: My University
Year: 2015

description: The reactivity of anionic metal-carbonyl systems toward hydrocarbons, alcohols and a variety of other classes of molecules is well established in the literature. In this study we explored the reactions of atomic metal anions M(-), notably K(-), Cs(-), Co(-), Fe(-), Cu(-) and Ag(-), with alcohols, alkanes, alkenes and alkynes. All of the metal anions deprotonated the alcohols and alkynes. Also observed were the subsequent reactions of the resulting organic anions. Fe(-) and Cu(-) consistently displayed mono- and bis-dehydrogenation of primary and secondary alcohols, and alkanes, alkenes and alkynes to form MH(-) and MH(2)(-). Mechanisms for the dehydrogenation reactions are proposed and substantiated with isotopically-labelled reagents and thermochemical arguments.
Semantic Parsing of Colonoscopy Videos with Multi-Label Temporal Networks
Creators: name: Kelner, Ori
name: Weinstein, Or
name: Rivlin, Ehud
name: Goldenberg, Roman
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Following the successful debut of polyp detection and characterization, more advanced automation tools are being developed for colonoscopy. The new automation tasks, such as quality metrics or report generation, require understanding of the procedure flow that includes activities, events, anatomical landmarks, etc. In this work we present a method for automatic semantic parsing of colonoscopy videos. The method uses a novel DL multi-label temporal segmentation model trained in supervised and unsupervised regimes. We evaluate the accuracy of the method on a test set of over 300 annotated colonoscopy videos, and use ablation to explore the relative importance of various method's components.
Social Flip : remodelando sueños
Creators: name: Restrepo Medina, David Andrés
name: Cuellar Guerrero, Manuel José
name: Pérez Reyes, Jeisson Roberto
Publisher: name: Universidad Externado de Colombia
Year: 2022
Subjects: subject: Viviendas sociales
subject: Oferta de vivienda
subject: Hogar
subject: Social
subject: Flip
subject: Flipping
subject: Inmobiliario

description: En Colombia cada vez es más difícil optar por vivienda propia por los altos precios asociados debido a la inflación y los incrementos en las tasas de interés para préstamos de vivienda. Así mismo, las viviendas “en la mayoría de los casos” son entregadas en obra gris (en especial las VIS y VIP) y los compradores deben invertir altos costos en remodelación, por lo que muchas veces optan por vivir en estas condiciones. Entendiendo esto se creó la compañía “Social Flip”, la cual orienta su modelo de negocio en el flipping Social, es decir a la compra, remodelación, venta, financiación y entrega de viviendas estética-terminadas a familias biparentales de la ciudad de Pasto de estratos medio bajo y bajo. Nuestra estrategia se fundamenta en realizar ventas de viviendas remodeladas a los precios más bajos de mercado y financiarlas sin tasa de interés, enfocando esfuerzos a realizar alianzas estratégicas con diferentes actores (entidades financieras, proveedores), promover la participación de las familias en la mano de obra simple para disminuir los costos y por ende el precio de venta.
description: In Colombia it is increasingly difficult to choose your own home due to the high prices associated with inflation and increases in interest rates for home loans. Likewise, homes "in most cases" are delivered in gray works (especially VIS and VIP) and buyers must invest high costs in remodeling, so they often choose to live in these conditions. Understanding this, the company "Social Flip" was created, which focuses its business model on Social flipping, that is, the purchase, remodeling, sale, financing and delivery of aesthetically-finished homes to two-parent families in the city of Pasto de lower middle and lower strata. Our strategy is based on making sales of remodeled homes at the lowest market prices and financing them without interest rates, focusing efforts on making strategic alliances with different actors (financial entities, suppliers), promoting the participation of families in the hands of Simple work to reduce costs and therefore the sale price.
Large deviations and wandering exponent for random walk in a dynamic beta environment
Creators: name: Balázs, Márton
name: Rassoul-Agha, Firas
name: Seppäläinen, Timo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics
subject: 60K35, 60K37

description: Random walk in a dynamic i.i.d. beta random environment, conditioned to escape at an atypical velocity, converges to a Doob transform of the original walk. The Doob-transformed environment is correlated in time, i.i.d. in space, and its marginal density function is a product of a beta density and a hypergeometric function. Under its averaged distribution the transformed walk obeys the wandering exponent 2/3 that agrees with Kardar-Parisi-Zhang universality. The harmonic function in the Doob transform comes from a Busemann-type limit and appears as an extremal in a variational problem for the quenched large deviation rate function.
description: 47 pages, 6 figures. Some proofs were shortened with references to the concurrent paper arXiv:1711.08432
Density Fluctuations in the Solar Wind Driven by Alfvén Wave Parametric Decay
Creators: name: Bowen, Trevor A.
name: Badman, Samuel
name: Hellinger, Petr
name: Bale, Stuart D.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Space Physics (physics.space-ph)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Measurements and simulations of inertial compressive turbulence in the solar wind are characterized by anti-correlated magnetic fluctuations parallel to the mean field and density structures. This signature has been interpreted as observational evidence for non-propagating pressure balanced structures (PBS), kinetic ion acoustic waves, as well as the MHD slow-mode. Given the high damping rates of parallel propagating compressive fluctuations, their ubiquity in satellite observations is surprising, and suggestive of a local driving process. One possible candidate for the generation of compressive fluctuations in the solar wind is Alfvén wave parametric instability. Here we test the parametric decay process as a source of compressive waves in the solar wind by comparing the collisionless damping rates of compressive fluctuations with the growth rates of the parametric decay instability daughter waves. Our results suggest that generation of compressive waves through parametric decay is overdamped at 1 AU, but that the presence of slow-mode like density fluctuations is correlated with the parametric decay of Alfvén waves.
Abstraction and verification in Alphard : design and verification of a tree handler
Creators: name: Shaw, Mary
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 design of t h e A l p h a r d programming l a n g u a g e has b e en strongly i n f l u e n c e d by ideas from the areas of p r o g r a m m i ng methodology and formal p r o g r a m verification . The i n t e r a c t i o n of t h e s e ideas and their i n f l u e n c e on A l p h a r d are d e s c r i b e d by developing a n o n t r i v i a l example , a p r o g r a m for m a n i p u l a t i n g the p a r s e tree of an a r i t h m e t i c expression.
Self-Supervised Polyp Re-Identification in Colonoscopy
Creators: name: Intrator, Yotam
name: Aizenberg, Natalie
name: Livne, Amir
name: Rivlin, Ehud
name: Goldenberg, Roman
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences
subject: ACM-class: I.2.10, I.2.6, J.3, I.4.8, I.4.9

description: Computer-aided polyp detection (CADe) is becoming a standard, integral part of any modern colonoscopy system. A typical colonoscopy CADe detects a polyp in a single frame and does not track it through the video sequence. Yet, many downstream tasks including polyp characterization (CADx), quality metrics, automatic reporting, require aggregating polyp data from multiple frames. In this work we propose a robust long term polyp tracking method based on re-identification by visual appearance. Our solution uses an attention-based self-supervised ML model, specifically designed to leverage the temporal nature of video input. We quantitatively evaluate method's performance and demonstrate its value for the CADx task.
description: 10 pages, 2 figures, 4 tables, an supplementary materials (4 figures)
Transform martingale estimating functions
Creators: name: Merkouris, T.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Statistics Theory (math.ST)
subject: FOS: Mathematics
subject: 62M99, 60G42, 60E10 (Primary) 62M05, 62M09 (Secondary)

description: An estimation method is proposed for a wide variety of discrete time stochastic processes that have an intractable likelihood function but are otherwise conveniently specified by an integral transform such as the characteristic function, the Laplace transform or the probability generating function. This method involves the construction of classes of transform-based martingale estimating functions that fit into the general framework of quasi-likelihood. In the parametric setting of a discrete time stochastic process, we obtain transform quasi-score functions by projecting the unavailable score function onto the special linear spaces formed by these classes. The specification of the process by any of the main integral transforms makes possible an arbitrarily close approximation of the score function in an infinite-dimensional Hilbert space by optimally combining transform martingale quasi-score functions. It also allows an extension of the domain of application of quasi-likelihood methodology to processes with infinite conditional second moment.
description: Published in at http://dx.doi.org/10.1214/009053607000000299 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Assessing the effect of cesarean section on Crohn’s Disease
Creators: name: Gagnon, Pascale
Publisher: name: My University
Year: 2017

description: Background: Crohn's disease is a chronic inflammatory disease whose incidence is increasing in industrialized countries. The causes of the disease are unclear, but the interaction between environmental and genetic factors would be involved. In a perinatal context, the hypothesis of hygiene and the early bacterial colonization of the newborn would be a causal factor very plausible. Objective: to evaluate the effect of cesarean delivery on the subsequent development of Crohn's disease in industrialized countries. Methods: A literary census was completed using the MEDLINE database and reference lists of articles identified from 2000. Only RCT, cohort studies and case-control studies, peer-reviewed and employing a comparison group were selected. Studies that did not make the clear distinction between Crohn's disease and other inflammatory bowel diseases were excluded as well as studies investigating mothers with Crohn’s disease. Results: A total of 8 studies meeting the eligibility criteria were selected. Although only two of the studies showed positive association, the summative review of all studies reveal no significant effect of caesarean births in the increase of Crohn's disease cases. However, these results are potentially overestimated. Since four of the publications were case-control studies, the selection of participants was based on the presence of the disease, thus introducing a possible source of bias. In addition, misclassification of participants is likely for two reasons: first, the criteria used for the diagnosis of Crohn's disease were different for some studies, and second, the similarity between the diagnostic criteria for Crohn's disease and those for ulcerative colitis can be confusing, thus biasing the results. Conclusion: The results demonstrate that caesarean births are not associated with an increased risk of developing Crohn's disease. However, because of the presence of potential cofounding, more research are needed.
Le trouble de stress post-traumatique chez les militaires canadiens
Creators: name: Gratton, Sylviane
Publisher: name: My University
Year: 2018

description: Le diagnostic de syndrome de stress post-traumatique a été intégré au manuel des diagnostics et statistiques des troubles mentaux (DSM-III) en 1980. Le trouble de stress post-traumatique (TSPT) frappe certains militaires qui sont confrontés à des situations difficiles. Le TSPT est le résultat de la rencontre avec une situation menaçante, au cours de laquelle la vie ou l’intégrité physique d’une personne ont été mises en jeu. Des symptômes tels que l’hypervigilance, l’anxiété, l’isolement, la colère, les flashbacks, les difficultés de sommeil peuvent survenir après l’événement traumatisant ou même plusieurs années après qu’il se soit produit. La stigmatisation guette les militaires atteints de TSPT. Les stéréotypes, l’étiquetage et la discrimination prédisposent le soldat à cacher ses vulnérabilités étant donné la culture fondée sur la rudesse, le courage et la force physique. Selon la culture militaire, un guerrier ne peut être confronté à une faiblesse mentale. Toutefois, une prise en charge rapide s’avère nécessaire pour réduire les conséquences associées et ses nombreux symptômes, car plus le trouble se chronicise, plus la probabilité d’un rétablissement devient faible. L’analyse des cinq entrevues nous a aidé à avoir un aperçu de la culture militaire sur le plan de la demande d’aide de militaires lorsqu’ils vivent des difficultés. Les militaires ne sont pas à l’aise avec les émotions de tristesse et de découragement qui sont associées aux situations difficiles vécues. Les efforts d’évitement et de régulation émotionnelle diminuent le bien-être du soldat au quotidien.
A generative artificial intelligence framework based on a molecular diffusion model for the design of metal-organic frameworks for carbon capture
Creators: name: Park, Hyun
name: Yan, Xiaoli
name: Zhu, Ruijie
name: Huerta, E. A.
name: Chaudhuri, Santanu
name: Cooper, Donny
name: Foster, Ian
name: Tajkhorshid, Emad
Publisher: name: arXiv
Year: 2023
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences
subject: I.2

description: Metal-organic frameworks (MOFs) exhibit great promise for CO2 capture. However, finding the best performing materials poses computational and experimental grand challenges in view of the vast chemical space of potential building blocks. Here, we introduce GHP-MOFassemble, a generative artificial intelligence (AI), high performance framework for the rational and accelerated design of MOFs with high CO2 adsorption capacity and synthesizable linkers. GHP-MOFassemble generates novel linkers, assembled with one of three pre-selected metal nodes (Cu paddlewheel, Zn paddlewheel, Zn tetramer) into MOFs in a primitive cubic topology. GHP-MOFassemble screens and validates AI-generated MOFs for uniqueness, synthesizability, structural validity, uses molecular dynamics simulations to study their stability and chemical consistency, and crystal graph neural networks and Grand Canonical Monte Carlo simulations to quantify their CO2 adsorption capacities. We present the top six AI-generated MOFs with CO2 capacities greater than 2 $m mol/g$, i.e., higher than 96.9% of structures in the hypothetical MOF dataset.
description: 25 pages, 17 figures, 6 tables, accepted to Nature Communications Chemistry. This work was awarded the HPCwire 2023 Editors' Choice Awards for Best Use of High Performance Data Analytics \& Artificial Intelligence see https://www.hpcwire.com/2023-readers-editors-choice-data-analytics-ai/
Seguridad digital de los actores neobancarios en Colombia y necesidad de su regulación
Creators: name: Skupin Rueda, Daniela Sofía
Publisher: name: Universidad Externado de Colombia
Year: 2023
Subjects: subject: Bancos
subject: Redes de computadores - Medidas de seguridad
subject: Deposito bancario
subject: Neobancos
subject: Regulación
subject: Fintech
subject: Seguridad
subject: Cibernética

description: Este trabajo busca identificar la figura neobancaria, su regulación, su carácter innovador, comparamos la figura con la banca tradicional, sus riesgos y regulaciones en la región, sus autoridades actuales, delimitamos las normativas que se encuentran dispersas en nuestro ordenamiento y concluimos su importancia como quienes desarrollan actividades de interés público y que requieren una mayor rigidez en su sistema de gestión de riesgos, prevención de amenazas, ataques cibernéticos e información de los mecanismos de ciberseguridad, de la mano de la vigilancia y control por parte de una autoridad especializada en la materia de seguridad digital que debe engranarse e integrarse con las autoridades financieras y del consumidor preexistentes que no logran por sí solas abarcar todos los ámbitos de esta nueva era digital y sus contingencias, acabando por dejar al consumidor neobancario en desprotección respecto de sus derechos cuando se le ocasionan perjuicios derivados de los aspectos de seguridad digital.
description: This work aims to identify the neobanking figure, its regulation, its innovative nature, we compare this figure with traditional banking, its risks and regulations in the region, as well as its current authorities. We delineate the regulations that are scattered in our legal framework and conclude its importance for those engaging in activities of public interest, requiring a higher level of rigidity in their risk management system, prevention of threats, cyber attacks, and cybersecurity mechanisms. This should be done in coordination with oversight and control by a specialized authority in the field of digital security that must be integrated with existing financial and consumer authorities. These existing authorities alone cannot fully cover all aspects of this new digital era and its contingencies, ultimately leaving neobank consumers unprotected in terms of their rights when they suffer harm resulting from digital security issues.
Does diet quality moderate the long-term effects of discrete but extreme PM2.5 exposure on respiratory symptoms? A study of the Hazelwood coalmine fire - Analytical code
Creators: name: Lane, Tyler
Publisher: name: Monash University
Year: 2024
Subjects: classificationCode: 321005
subject: Public health nutrition
classificationCode: 420203
subject: Environmental epidemiology

description: [PLACEHOLDER] This repository includes analytical code used to assess whether diet quality moderates the effect of coalmine fire-related PM2.5 on long-term respiratory health outcomes. For more background about this study, please refer to our Open Science Framework page: https://osf.io/yfgb3/
CO2 einsparende Leichtbaulösungen am Demonstrator eines kreislaufgerechten Batteriegehäuses für Elektrofahrzeuge COOLBat
Creators: name: Schmerler, Rico
name: Däweritz, Gerd
name: Drebenstedt, Claudia
name: Löffler, David
name: Meyer, Sandy
name: Meltke, Robert
name: Storch, Tobias
name: :Unav
Publisher: name: Fraunhofer-Gesellschaft
Year: 2022
Subjects: Leichtbau
Batteriesystem
Funktionsintegration
Kreislaufwirtschaft

description: Batteriesysteme stellen eine zentrale Innovationskomponente nachhaltiger Mobilität dar und sind entscheidend für die Wettbewerbsfähigkeit elektrisch angetriebener Fahrzeuge Made in Germany. Im laufenden Forschungs- und Entwicklungsprojekt COOLBat werden Konstruktionsprinzipien und Werkstoffe mit dem Ziel einer gesteigerten Systemperformance, CO2-Reduktion und Kreislauflaufgerechtigkeit entwickelt. Das Projektvorhaben wird vom BMWK gefördert. Im Fokus des Projektes stehen die Entwicklung, Optimierung und Skalierung von Leichtbaumaterialien und -technologien. Als Beispiele für Projektinhalte werden die Integration aktiver und passiver Temperierfunktionen in Tragstrukturen, topologieoptimierte Guss- und Faserverbund-Komponenten und Metallschaumsandwich für den Intrusionsschutz vorgestellt. Zur Erfüllung weiterer Anforderungen werden im Bereich Werkstoffentwicklung die Forschungsansätze für Wärmeleitmatten und Brandschutzbeschichtungen präsentiert. Das Gesamtsystem wurde mit dem Ziel größtmöglicher Demontierbarkeit über verschiedene Schnittstellendesigns gestaltet. Um die einzelnen Entwicklungen zusammenzuführen und hinsichtlich Ressourceneffizienz und Leichtbau zu bewerten, wird als Referenz die Batterieplattform eines deutschen OEMs als Anwendungsbeispiel und Demonstrator gewählt. Die sehr gute Übertragbarkeit der Ergebnisse zu den einzelnen Leichtbaukomponenten und dem Gesamtsystem auf weitere Branchen ist ein erklärtes Ziel der Projektpartner.
Abstraction and verification in Alphard : a symbol table example
Creators: name: London, Ralph L.
name: Shaw, Mary
name: Wulf, William Allan.
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 design of the Alphard programming language has been strongly influenced by ideas from the areas of programming methodology and formal program verification. In this paper we design, implement, and verify a general symbol table mechanism. This example is rich enough to allow us to illustrate the use as well as the definition of programmer-defined abstractions. The verification illustrates the power of the form to simplify proofs by providing strong specifications of such abstractions
BED: Bi-Encoder-Based Detectors for Out-of-Distribution Detection
Creators: name: Owen, Louis
name: Ahmed, Biddwan
name: Kumar, Abhay
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: This paper introduces a novel method leveraging bi-encoder-based detectors along with a comprehensive study comparing different out-of-distribution (OOD) detection methods in NLP using different feature extractors. The feature extraction stage employs popular methods such as Universal Sentence Encoder (USE), BERT, MPNET, and GLOVE to extract informative representations from textual data. The evaluation is conducted on several datasets, including CLINC150, ROSTD-Coarse, SNIPS, and YELLOW. Performance is assessed using metrics such as F1-Score, MCC, FPR@90, FPR@95, AUPR, an AUROC. The experimental results demonstrate that the proposed bi-encoder-based detectors outperform other methods, both those that require OOD labels in training and those that do not, across all datasets, showing great potential for OOD detection in NLP. The simplicity of the training process and the superior detection performance make them applicable to real-world scenarios. The presented methods and benchmarking metrics serve as a valuable resource for future research in OOD detection, enabling further advancements in this field. The code and implementation details can be found on our GitHub repository: https://github.com/yellowmessenger/ood-detection.
description: Published in IEEE: https://ieeexplore.ieee.org/document/10389907
The Growing Educational Attainment Gap Between Second-Generation and Third-Generation Immigrants in Canada
Creators: name: Bryan, Mitchell John
Publisher: name: My University
Year: 2019

description: This paper examines the growing educational attainment gap, in terms of obtaining a university degree, between Canadians with and without immigrant parents. I exploit the 1995, 2001, 2006, and 2011 waves of the General Social Survey to estimate whether the educational transmission profiles for second-generation and third-generation (or more) immigrants have changed over time. I find that, in recent years, having immigrant parents of any education level is correlated with a higher likelihood of obtaining a university degree.
Unintegrated dipole gluon distribution at small transverse momentum
Creators: name: Abir, Raktim
name: Banu, Khatiza
name: Bhattacharyya, Trambak
name: Siddiqah, Mariyah
name: Vasim, Nahid
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We derive analytical results for unintegrated color dipole gluon distribution function at small transverse momentum. By Fourier transforming the $S$-matrix for large dipoles we derive the results in the form of a series of Bells polynomials. Interestingly, when resumming the series in leading log accuracy, the results showing up striking similarity with the Sudakov form factor with role play of coupling is being done by a constant that stems from the saddle point condition along the saturation line.
description: 10 pages, 1 figures
Optimizing processing parameters for glass fiber reinforced polycarbonate LFT-D composites
Creators: name: Schelleis, Christoph
name: Hrymak, Andrew
name: Henning, Frank
name: :Unav
Publisher: name: Fraunhofer-Gesellschaft
Year: 2023
Subjects: LFT-D
D-LFT
direct compounding
long fiber thermoplastic
compression molding
fiber reinforced polymer
parameter study
polycarbonate

description: Glass fiber (GF) reinforced polycarbonate (PC) long fiber thermoplastic (LFT) materials are compounded via LFT direct (LFT-D) process. PC GF exhibits solid mechanical properties and is a promising and novel addition to the material portfolio of the LFT-D process. The purpose of this study was to further improve mechanical properties by increasing fiber lengths. Trials are conducted at low and high fiber mass fractions as well as low and high screw speeds. Screw designs with and without mixing elements are tested. Resulting fiber lengths and tensile properties are discussed and measures taken evaluated.
Comparison of geodetic and glaciological mass budgets for White Glacier, Axel Heiberg Island, Canada
Creators: name: THOMSON, LAURA I.
name: ZEMP, MICHAEL
name: COPLAND, LUKE
name: COGLEY, J. GRAHAM
name: ECCLESTONE, MILES A.
Publisher: name: My University
Year: 2016

description: This study presents the first reanalysis of a long-term glacier mass-balance record in the Canadian Arctic. The reanalysis is accomplished through comparison of the 1960–2014 glaciological mass-balance record of White Glacier, Axel Heiberg Island, Nunavut, with a geodetically derived mass change over the same period. The corrections applied to homogenize the two datasets, including adjusting for changes in hypsometry over the period of record and the generic differences between methods, are discussed along with the associated systematic and random errors of the two forms of mass-balance measurement. Statistical comparison of the two datasets reveals that within the error margin there is no significant difference between the average annual glaciological balance (–213 ± 28 mm w.e. a−1) and geodetic balance (–178 ± 16 mm w.e. a−1) at White Glacier over the 54 year record. The validity of this result, and the assumptions made in implementing the glaciological method, are critically assessed.
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
Creators: name: Clarke, Edmund M
name: Fehnker, Ansgar
name: Han, Zhi
name: Krogh, Bruce
name: Ouaknine, Joel
name: Stursberg, Olaf
name: Theobald, Michael
Publisher: name: Carnegie Mellon University
Year: 1977
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Hybrid dynamic systems include both continuous and discrete state variables. Properties of hybrid systems, which have an infinite state space, can often be verified using ordinary model checking together with a finite-state abstraction. Model checking can be inconclusive, however, in which case the abstraction must be refined. This paper presents a new procedure to perform this refinement operation for abstractions of hybrid systems. Following an approach originally developed for finite-state systems [1, 2], the refinement procedure constructs a new abstraction that eliminates a counterexample generated by the model checker. For hybrid systems, analysis of the counterexample requires the computation of sets of reachable states in the continuous state space. We show how such reachability computations with varying degrees of complexity can be used to refine hybrid system abstractions efficiently. Examples illustrate our counterexample-guided refinement procedure and experimental results for a prototype implementation of the procedure indicate significant advantages over existing methods.
Edge singularities and quasi-long-range order in non-equilibrium steady states
Creators: name: De Nardis, Jacopo
name: Panfil, Miłosz
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: The singularities of the dynamical response function are one of the most remarkable effects in many-body interacting systems. However in one dimension these divergences only exist strictly at zero temperature, making their observation very difficult in most cold atomic experimental settings. Moreover the presence of a finite temperature destroys another feature of one-dimensional quantum liquids: the real space quasi-long-range order in which the spatial correlation functions exhibit power-law decay. We consider a non-equilibrium protocol where two interacting Bose gases are prepared either at different temperatures or chemical potentials and then joined. We show that the non-equilibrium steady state emerging at large times around the junction displays edge singularities in the response function and quasi-long-range order.
description: 4 pages, 4 figures + 5 pages of supplemental material
High Frequency Magnetometry with an Ensemble of Spin Qubits in Hexagonal Boron Nitride
Creators: name: Patrickson, Charlie J.
name: Baber, Simon
name: Gaál, Blanka B.
name: Ramsay, Andrew J.
name: Luxmoore, Isaac J.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Sensors based on spin qubits in 2D crystals offer the prospect of nanoscale sensing volumes, where the close proximity of the sensor and source could provide access to otherwise inaccessible signals. For AC magnetometry, the sensitivity and frequency range is typically limited by the noise spectrum, which determines the qubit coherence time. This poses a problem for III-V materials, as the non-zero spin of the host nuclei introduces a considerable source of magnetic noise. Here, we overcome this with a sensing protocol based on phase modulated continuous concatenated dynamic decoupling, which extends the coherence time towards the $T_1$ limit at room temperature and enables tuneable narrowband AC magnetometry. We demonstrate the protocol with an ensemble of negatively charged boron vacancies in hexagonal boron nitride, detecting in-plane AC fields within $\pm 150~\mathrm{MHz}$ of the electron spin resonance, and out-of-plane fields in the range of $\sim10-150~\mathrm{MHz}$. We measure an AC magnetic field sensitivity of $\sim1~\mathrm{μT/\sqrt{Hz}}$ at $\sim2.5~\mathrm{GHz}$, for a sensor volume of $\sim0.1~\mathrm{μm^3}$, and demonstrate that the sensor can reconstruct the AC magnetic field from a wire loop antenna. This work establishes the viability of spin defects in 2D materials for high frequency magnetometry, demonstrating sensitivities that are comparable to nitrogen vacancy centres in diamond for microscopic sensing volumes, and with wide-ranging applications across science and technology.
Abstract BDDs: A Technique for Using Abstraction in Model Checking
Creators: name: Clarke, Edmund M
name: Somesh  Jha
name: Lu, Yuan
name: Wang, Dong
Publisher: name: Carnegie Mellon University
Year: 2003
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We propose a new methodology for exploiting abstraction in the context of model-checking. Our new technique uses abstract BDDs as its underlying data structure. We show that this technique builds a more refined model than traditional compiler-based methods proposed by Clarke, Grumberg and Long. We also provide experimental results to demonstrate the usefulness of our method. We have verified a pipelined carry-save multiplier and a simple version oft he PCI local bus protocol. Our verification oft he PCI bus revealed a subtle inconsistency in the PCI standard. We believe this is an interesting result by itself.
Quantum droplets with particle imbalance in one-dimensional optical lattices
Creators: name: Vallès-Muns, Jofre
name: Morera, Ivan
name: Astrakharchik, Grigori E.
name: Juliá-Díaz, Bruno
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We study the formation of particle-imbalanced quantum droplets in a one-dimensional optical lattice containing a binary bosonic mixture at zero temperature. To understand the effects of the imbalance from both the few- and many-body perspectives, we employ density matrix renormalization group (DMRG) simulations and perform the extrapolation to the thermodynamic limit. In contrast to the particle-balanced case, not all bosons are paired, resulting in an interplay between bound states and individual atoms that leads to intriguing phenomena. Quantum droplets manage to sustain a small particle imbalance, resulting in an effective magnetization. However, as the imbalance is further increased, a critical point is eventually crossed, and the droplets start to expel the excess particles while the magnetization in the bulk remains constant. Remarkably, the unpaired particles on top of the quantum droplet effectively form a super Tonks-Girardeau (hard-rod) gas. The expulsion point coincides with the critical density at which the size of the super Tonks-Girardeau gas matches the size of the droplet.
description: Main text: 16 pages, 11 figures. Appendix: 4 pages, 3 figures
Circumventing superexponential runtimes for hard instances of quantum adiabatic optimization
Creators: name: Schiffer, Benjamin F.
name: Wild, Dominik S.
name: Maskara, Nishad
name: Cain, Madelyn
name: Lukin, Mikhail D.
name: Samajdar, Rhine
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Classical optimization problems can be solved by adiabatically preparing the ground state of a quantum Hamiltonian that encodes the problem. The performance of this approach is determined by the smallest gap encountered during the evolution. Here, we consider the maximum independent set problem, which can be efficiently encoded in the Hamiltonian describing a Rydberg atom array. We present a general construction of instances of the problem for which the minimum gap decays superexponentially with system size, implying a superexponentially large time to solution via adiabatic evolution. The small gap arises from locally independent choices, which cause the system to initially evolve and localize into a configuration far from the solution in terms of Hamming distance. We investigate remedies to this problem. Specifically, we show that quantum quenches in these models can exhibit signatures of quantum many-body scars, which in turn, can circumvent the superexponential gaps. By quenching from a suboptimal configuration, states with a larger ground state overlap can be prepared, illustrating the utility of quantum quenches as an algorithmic tool.
description: 12+3 pages, 8+4 figures, comments welcome
Online Activism as a Tool for Anti-Racist Social Change
Creators: name: Temkit, Maha
name: St. Lewis, Joanne
Publisher: name: My University
Year: 2019
Subjects: virtual communities
racial identity
racialized communities
online activism
minority groups
Martin Luther King
Malcolm X
Obama
social media
memes
black identity
Arab spring
Indigenous Protests

description: The aim of this thesis is to study the way in which virtual communities, specifically racialized communities, seize the online world to strengthen their racial identities. An analysis of past and present heroes will also be explored to better understand the relation between modern social constructs and online activism.
Prominence formation and ejection in cool stars
Creators: name: D'Angelo, Carolina Villarreal
name: Jardine, Moira
name: See, Victor
Publisher: name: arXiv
Year: 2017
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The observational signatures of prominences have been detected in single and binary G and K type stars for many years now, but recently this has been extended to the M dwarf regime. Prominences carry away both mass and angular momentum when they are ejected and the impact of this mass on any orbiting planets may be important for the evolution of exoplanetary atmospheres. By means of the classification used in the massive star community, that involves knowledge of two parameters (the co-rotation and Alfvén radii, $r_K$ and $r_A$), we have determined which cool stars could support prominences. From a model of mechanical support, we have determined that the prominence mass $m_p/M_\star=(E_M/E_G)(r_\star/r_K)^2 F$ where $E_MB_\star^2r_\star^3$ and $E_G = GM_\star^2/r_\star$ are magnetic and gravitational energies and $F$ is a geometric factor. Our calculated masses and ejection frequencies (typically $10^{16}-10^{17}$g and 0.4 d, respectively) are consistent with observations and are sufficient to ensure that an exoplanet orbiting in the habitable zone of an M dwarf could suffer frequent impacts.
Understanding quantum machine learning also requires rethinking generalization
Creators: name: Gil-Fuster, Elies
name: Eisert, Jens
name: Bravo-Prieto, Carlos
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Quantum Gases (cond-mat.quant-gas)
subject: Machine Learning (cs.LG)
subject: Machine Learning (stat.ML)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Quantum machine learning models have shown successful generalization performance even when trained with few data. In this work, through systematic randomization experiments, we show that traditional approaches to understanding generalization fail to explain the behavior of such quantum models. Our experiments reveal that state-of-the-art quantum neural networks accurately fit random states and random labeling of training data. This ability to memorize random data defies current notions of small generalization error, problematizing approaches that build on complexity measures such as the VC dimension, the Rademacher complexity, and all their uniform relatives. We complement our empirical results with a theoretical construction showing that quantum neural networks can fit arbitrary labels to quantum states, hinting at their memorization ability. Our results do not preclude the possibility of good generalization with few training data but rather rule out any possible guarantees based only on the properties of the model family. These findings expose a fundamental challenge in the conventional understanding of generalization in quantum machine learning and highlight the need for a paradigm shift in the study of quantum models for machine learning tasks.
description: 14+4 pages, 3 figures
An evolutionary model with Turing machines
Creators: name: Feverati, Giovanni
name: Musso, Fabio
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantitative Methods (q-bio.QM)
subject: Neural and Evolutionary Computing (cs.NE)
subject: Genomics (q-bio.GN)
subject: FOS: Biological sciences
subject: FOS: Computer and information sciences

description: The development of a large non-coding fraction in eukaryotic DNA and the phenomenon of the code-bloat in the field of evolutionary computations show a striking similarity. This seems to suggest that (in the presence of mechanisms of code growth) the evolution of a complex code can't be attained without maintaining a large inactive fraction. To test this hypothesis we performed computer simulations of an evolutionary toy model for Turing machines, studying the relations among fitness and coding/non-coding ratio while varying mutation and code growth rates. The results suggest that, in our model, having a large reservoir of non-coding states constitutes a great (long term) evolutionary advantage.
description: 16 pages, 7 figures
Papas del pasado, sabores del presente : cultura, sostenibilidad y planificación para el biomuseo de la papa nativa en Ventaquemada Boyacá
Creators: name: Pinilla Berrío, Deisy Johanna
Publisher: name: Universidad Externado de Colombia
Year: 2023
Subjects: subject: Campesinos
subject: Comunidad
subject: Museos
subject: Sostenibilidad
subject: Biomuseo
subject: Plan estratégico
subject: Papas nativas
subject: Patrimonio gastronómico

description: El Biomuseo de la Papa Nativa es un espacio creado en Ventaquemada – Boyacá, Colombia que busca difundir la riqueza histórica, cultural y patrimonial que envuelve a las diversas variades de papa dentro del contexto campesino. A pesar de su relevancia, la comunidad local desconoce su existencia, debido a múltiples factores. Este proyecto se enfoca en desarrollar estrategias para su crecimiento, sostenibilidad y fomentar la participación comunitaria. La información recopilada se tomó a partir de entrevistas con los directivos del museo, observación activa tanto en el museo como en las dinámicas del municipio, y la revisión de documentos sobre el patrimonio agrícola papero de Colombia y la sostenibilidad de museos. La estrategia propuesta se enfoca en tres áreas clave para el museo: fortalecimiento de la gestión interna, involucramiento a los grupos de interés a través de eventos y proyectos conjuntos, y diversificación de las fuentes de financiamiento. Se espera que este proyecto contribuya al crecimiento del museo, proporcionando herramientas cuantificables que permitan fortalecer su misión museológica y estrechar vínculos con la comunidad.
description: The Native Potato Biomuseum is a space created in Ventaquemada, Boyacá, Colombia, aimed at disseminating the historical, cultural, and heritage wealth surrounding the various potato varieties within the rural context. Despite its significance, the local community remains unaware of its existence due to multiple factors. This project focuses on developing strategies for its growth, sustainability, and fostering community involvement. The collected information was obtained through interviews with museum directors, active observation within the museum and the dynamics of the municipality, and a review of documents related to the agricultural heritage of Colombian potatoes and museum sustainability. The proposed strategy focuses on three key areas for the museum: strengthening internal management, involving stakeholder groups through events and joint projects, and diversifying sources of financing. It is expected that this project will contribute to the museum's growth by providing quantifiable tools to strengthen its museum mission and forge stronger bonds with the community.