cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Minimal subspace rotation on the Stiefel manifold for stabilization and enhancement of projection-based reduced order models for the compressible Navier-Stokes equations
Creators: name: Balajewicz, Maciej
name: Tezaur, Irina
name: Dowell, Earl
Publisher: name: arXiv
Year: 2015
Subjects: subject: Computational Physics (physics.comp-ph)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: For a projection-based reduced order model (ROM) of a fluid flow to be stable and accurate, the dynamics of the truncated subspace must be taken into account. This paper proposes an approach for stabilizing and enhancing projection-based fluid ROMs in which truncated modes are accounted for a priori via a minimal rotation of the projection subspace. Attention is focused on the full non-linear compressible Navier-Stokes equations in specific volume form as a step toward a more general formulation for problems with generic non-linearities. Unlike traditional approaches, no empirical turbulence modeling terms are required, and consistency between the ROM and the full order model from which the ROM is derived is maintained. Mathematically, the approach is formulated as a trace minimization problem on the Stiefel manifold. The reproductive as well as predictive capabilities of the method are evaluated on several compressible flow problems, including a problem involving laminar flow over an airfoil with a high angle of attack, and a channel-driven cavity flow problem.
Near soliton dynamics and singularity formation for $L^2$ critical problems
Creators: name: Martel, Yvan
name: Merle, Frank
name: Raphael, Pierre
name: Szeftel, Jeremie
Publisher: name: arXiv
Year: 2014
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics

description: This survey reviews the state of the art concerning the singularity formation for two canonical dispersive problems: the mass critical non linear Schrödinger equation and the mass critical generalized KdV equation. In particular, we address the question of the classification of the flow for initial data near the soliton.
Quantum reference frames: derivation of perspective-dependent descriptions via a perspective-neutral structure
Creators: name: Zelezny, Viktor
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In standard quantum mechanics, reference frames are treated as abstract entities. We can think of them as idealized, infinite-mass subsystems which decouple from the rest of the system. In nature, however, all reference frames are realized through finite-mass systems that are subject to the laws of quantum mechanics and must be included in the dynamical evolution. A fundamental physical theory should take this fact seriously. In this paper, we further develop a symmetry-inspired approach to describe physics from the perspective of quantum reference frames. We find a unifying framework allowing us to systematically derive a broad class of perspective dependent descriptions and the transformations between them. Working with a translational-invariant toy model of three free particles, we discover that the introduction of relative coordinates leads to a Hamiltonian structure with two non-commuting constraints. This structure can be said to contain all observer-perspectives at once, while the redundancies prevent an immediate operational interpretation. We show that the operationally meaningful perspective dependent descriptions are given by Darboux coordinates on the constraint surface and that reference frame transformations correspond to reparametrizations of the constraint surface. We conclude by constructing a quantum perspective neutral structure, via which we can derive and change perspective dependent descriptions without referring to the classical theory. In addition to the physical findings, this work illuminates the interrelation of first and second class constrained systems and their respective quantization procedures.
description: 23 pages, 5 figures
The K2-ESPRINT Project. I. Discovery of the Disintegrating Rocky Planet K2-22b with a Cometary Head and Leading Tail
Creators: name: Sanchis-Ojeda, R.
name: Rappaport, S.
name: Pallé, E.
name: Delrez, L.
name: DeVore, J.
name: Gandolfi, D.
name: Fukui, A.
name: Ribas, I.
name: Stassun, K. G.
name: Albrecht, S.
name: Dai, F.
name: Gaidos, E.
name: Gillon, M.
name: Hirano, T.
name: Holman, M.
name: Howard, A. W.
name: Isaacson, H.
name: Jehin, E.
name: Kuzuhara, M.
name: Mann, A. W.
name: Marcy, G. W.
name: Miles-Páez, P. A.
name: Montañés-Rodríguez, P. A.
name: Murgas, F.
name: Narita, N.
name: Nowak, G.
name: Onitsuka, M.
name: Paegert, M.
name: Van Eylen, V.
name: Winn, J. N.
name: Yu, L.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: We present the discovery of a transiting exoplanet candidate in the K2 Field-1 with an orbital period of 9.1457 hr: K2-22b. The highly variable transit depths, ranging from $\sim$0\% to 1.3\%, are suggestive of a planet that is disintegrating via the emission of dusty effluents. We characterize the host star as an M-dwarf with $T_{\rm eff} \simeq 3800$ K. We have obtained ground-based transit measurements with several 1-m class telescopes and with the GTC. These observations (1) improve the transit ephemeris; (2) confirm the variable nature of the transit depths; (3) indicate variations in the transit shapes; and (4) demonstrate clearly that at least on one occasion the transit depths were significantly wavelength dependent. The latter three effects tend to indicate extinction of starlight by dust rather than by any combination of solid bodies. The K2 observations yield a folded light curve with lower time resolution but with substantially better statistical precision compared with the ground-based observations. We detect a significant "bump" just after the transit egress, and a less significant bump just prior to transit ingress. We interpret these bumps in the context of a planet that is not only likely streaming a dust tail behind it, but also has a more prominent leading dust trail that precedes it. This effect is modeled in terms of dust grains that can escape to beyond the planet's Hill sphere and effectively undergo `Roche lobe overflow,' even though the planet's surface is likely underfilling its Roche lobe by a factor of 2.
description: 22 pages, 16 figures. Final version accepted to ApJ
Deep Learning Discovery of Demographic Biomarkers in Echocardiography
Creators: name: Duffy, Grant
name: Clarke, Shoa L.
name: Christensen, Matthew
name: He, Bryan
name: Yuan, Neal
name: Cheng, Susan
name: Ouyang, David
Publisher: name: arXiv
Year: 2022
Subjects: subject: Machine Learning (cs.LG)
subject: Artificial Intelligence (cs.AI)
subject: Computers and Society (cs.CY)
subject: FOS: Computer and information sciences

description: Deep learning has been shown to accurately assess 'hidden' phenotypes and predict biomarkers from medical imaging beyond traditional clinician interpretation of medical imaging. Given the black box nature of artificial intelligence (AI) models, caution should be exercised in applying models to healthcare as prediction tasks might be short-cut by differences in demographics across disease and patient populations. Using large echocardiography datasets from two healthcare systems, we test whether it is possible to predict age, race, and sex from cardiac ultrasound images using deep learning algorithms and assess the impact of varying confounding variables. We trained video-based convolutional neural networks to predict age, sex, and race. We found that deep learning models were able to identify age and sex, while unable to reliably predict race. Without considering confounding differences between categories, the AI model predicted sex with an AUC of 0.85 (95% CI 0.84 - 0.86), age with a mean absolute error of 9.12 years (95% CI 9.00 - 9.25), and race with AUCs ranging from 0.63 - 0.71. When predicting race, we show that tuning the proportion of a confounding variable (sex) in the training data significantly impacts model AUC (ranging from 0.57 to 0.84), while in training a sex prediction model, tuning a confounder (race) did not substantially change AUC (0.81 - 0.83). This suggests a significant proportion of the model's performance on predicting race could come from confounding features being detected by AI. Further work remains to identify the particular imaging features that associate with demographic information and to better understand the risks of demographic identification in medical AI as it pertains to potentially perpetuating bias and disparities.
description: 2450 words, 2 figure, 3 tables
Phonon-assisted Auger-Meitner Recombination in Silicon from First Principles
Creators: name: Bushick, Kyle
name: Kioupakis, Emmanouil
Publisher: name: arXiv
Year: 2022
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We present a consistent first-principles methodology to study both direct and phonon-assisted Auger-Meitner recombination (AMR) in indirect-gap semiconductors that we apply to investigate the microscopic origin of AMR processes in silicon. Our results are in excellent agreement with experimental measurements and show that phonon-assisted contributions dominate the recombination rate in both n-type and p-type silicon, demonstrating the critical role of phonons in enabling AMR. We also decompose the overall rates into contributions from specific phonons and electronic valleys to further elucidate the microscopic origins of AMR. Our results highlight potential pathways to modify the AMR rate in silicon via strain engineering.
description: Version accepted for publication, includes main text and supplemental material
Functional flows for complex effective actions
Creators: name: Ihssen, Friederike
name: Pawlowski, Jan M.
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: High Energy Physics - Lattice (hep-lat)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In the present work we set up a general functional renormalisation group framework for the computation of complex effective actions. For explicit computations we consider both flows of the Wilsonian effective action and the one-particle irreducible (1PI) effective action. The latter is based on an appropriate definition of a Legendre transform for complex actions, and we show its validity by comparison to exact results in zero dimensions, as well as a comparison to results for the Wilsonian effective action. In the present implementations of the general approaches, the flow of the Wilsonian effective action has a wider range of applicability and we obtain results for the effective potential of complex fields in $ϕ^4$-theories from zero up to four dimensions. These results are also compared with results from the 1PI effective action within its range of applicability. The complex effective action also allows us to determine the location of the Lee-Yang zeros for general parameter values. We also discuss the extension of the present results to general theories including QCD.
description: 29 pages, 24 figures
BCL::MP-Fold: membrane protein structure prediction guided by EPR restraints
Creators: name: Fischer, Axel Walter
name: Alexander, Nathan Scott
name: Woetzel, Nils
name: Karakas, Mert
name: Weiner, Brian
name: Meiler, Jens
Publisher: name: arXiv
Year: 2015
Subjects: subject: Biological Physics (physics.bio-ph)
subject: Chemical Physics (physics.chem-ph)
subject: Computational Physics (physics.comp-ph)
subject: Biomolecules (q-bio.BM)
subject: FOS: Physical sciences
subject: FOS: Biological sciences

description: For many membrane proteins the determination of their topology remains a challenge for methods like X-ray crystallography and nuclear magnetic resonance (NMR) spectroscopy. Electron paramagnetic resonance (EPR) spectroscopy has evolved as an alternative technique to study structure and dynamics of membrane proteins. The present study demonstrates the feasibility of membrane protein topology determination using limited EPR distance and accessibility measurements. The BCL::MP-Fold (BioChemical Library membrane protein fold) algorithm assembles secondary structure elements (SSEs) in the membrane using a Monte Carlo Metropolis (MCM) approach. Sampled models are evaluated using knowledge-based potential functions and agreement with the EPR data and a knowledge-based energy function. Twenty-nine membrane proteins of up to 696 residues are used to test the algorithm. The RMSD100 value of the most accurate model is better than 8 Å for twenty-seven, better than 6 Å for twenty-two and better than 4 Å for fifteen out of twenty-nine proteins, demonstrating the algorithms ability to sample the native topology. The average enrichment could be improved from 1.3 to 2.5, showing the improved discrimination power by using EPR data.
description: 23 pages, 6 figures, 6 tables
Seeing sharper and deeper: JWST's first glimpse of the photometric and spectroscopic properties of galaxies in the epoch of reionisation
Creators: name: Trussler, James A. A.
name: Adams, Nathan J.
name: Conselice, Christopher J.
name: Ferreira, Leonardo
name: Austin, Duncan
name: Bhatawdekar, Rachana
name: Caruana, Joseph
name: Frye, Brenda L.
name: Harvey, Tom
name: Lovell, Christopher C.
name: Pascale, Massimo
name: Roper, William J.
name: Verma, Aprajita
name: Vijayan, Aswin P.
name: Wilkins, Stephen M.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We analyse the photometric and spectroscopic properties of four galaxies in the epoch of reionisation (EoR) within the SMACS 0723 JWST Early Release Observations field. Given the known spectroscopic redshifts of these sources, we investigated the accuracy with which photometric redshifts can be derived using NIRCam photometry alone, finding that F115W imaging is essential to distinguish between z~8 galaxies with high equivalent width (EW) [O III] λ5007 emission and z~10 Balmer break galaxies. We find that all four sources exhibit strong (\geq 0.6 mag) F356W-F444W colours, which sit at the extreme end of theoretical predictions from numerical simulations. We find that these galaxies deviate (by roughly 0.5 dex) from the local correlation between [O III] λ5007/Hβand [Ne III] λ3869/[O II], which is consistent with the predictions from simulations of high-redshift galaxies having elevated line excitation ratios. We measure the [O III] λ5007 rest-frame equivalent widths both directly from the spectroscopy, and indirectly as inferred from the strong F356W-F444W colours, finding large [O III] λ5007 EWs of 225-1740 Å. The [O III] λ5007 and HβEWs are consistent with those seen in extreme, intensely star-forming dwarf galaxies in the local Universe. Our structural analysis indicates that these galaxies are resolved, exhibiting irregular shapes with bright clumps. In line with the predictions from the FLARES hydrodynamic simulations, such intense star formation and extreme nebular conditions are likely the norm, rather than the exception, in the EoR.
description: 17 pages, 9 figures. Now accepted and published in MNRAS
title: Физическая культура и спорт
Creators: name: ELS IPR BOOKS
Publisher: name: Новосибирский государственный университет экономики и управления «НИНХ»
Year: 2021

description: Издание данного курса лекций обусловлено переходом образовательных учреждений высшего образования по направлению экономики на обновленные федеральные государственные образовательные стандарты высшего образования (ФГОС ВО 3++). Содержание курса лекций включает основные понятия и термины физической культуры; современные научные идеи; основные закономерности, теории, принципы и положения, раскрывающие сущность явлений в физической культуре. Данный курс лекций предназначен для студентов всех направлений и профилей подготовки.
Functional and Local Renormalization Groups
Creators: name: Codello, Alessandro
name: D'Odorico, Giulio
name: Pagani, Carlo
Publisher: name: arXiv
Year: 2015
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We discuss the relation between functional renormalization group (FRG) and local renormalization group (LRG), focussing on the two dimensional case as an example. We show that away from criticality the Wess-Zumino action is described by a derivative expansion with coefficients naturally related to RG quantities. We then demonstrate that the Weyl consistency conditions derived in the LRG approach are equivalent to the RG equation for the $c$-function available in the FRG scheme. This allows us to give an explicit FRG representation of the Zamolodchikov-Osborn metric, which in principle can be used for computations.
description: 19 pages, 1 figure
Evaluating library programs and services - it's getting better all the time.
Creators: name: Sarah.Jansen
name: Lasserre, Kaye
Publisher: name: Figshare
Year: 2016
Subjects: subject: 130103 Higher Education
subject: FOS: Educational sciences

description: Data analysts. Professional storytellers. Libraries are using a variety of methods to help demonstrate the value and impact of the programs and services they offer. But it’s still garbage in, garbage out isn’t it? When should we evaluate, what should we evaluate, and how do we get optimal data? With limited resources, how can we do, and evaluate and communicate what we do, in the best possible way? This presentation will review the current status of evaluation in libraries, the drivers that influence our choices, and some emerging innovations in the pursuit of evidence. We will then focus specifically on ways to capture the impact of information literacy services, programs and resources through discussion of evaluation practices at Monash University Library. These include automated analytics for online content, survey tools to capture curriculum engagement and impact, and an evaluation framework that challenges us to embed more creative evaluation methods into program design to provide better evidence of success. With these as stimuli, we will open to the audience for discussion on the existing challenges in evaluation of library information literacy programs, and potential solutions.
Caracterização De Vitrais Históricos Dos Séculos XIX E XX De Belém E Seus Constituintes
Creators: name: Nazaré Raiol Araújo, Natália
name: Monteiro Corrêa Pinto Loureiro, Amanda
Publisher: name: Zenodo
Year: 2024

description: Durante a história os vitrais foram considerados sinônimo de beleza arquitetônica e artística mundo afora, e o mesmo aconteceu quando passaram a ser empregados na arquitetura de Belém, representando suntuosidade nas igrejas e, posteriormente em residências, sobrevivendo no clima amazônico. Entretanto, a aplicação de métodos de caracterização para investigação tecnológica de vitrais na região amazônica e suas alterações ainda é pouco explorada. O objetivo deste trabalho é apresentar caracterização química e física dos materiais constituintes dos vitrais históricos de Belém dos séculos XIX e XX, compreendendo suas possíveis alterações em decorrência das condições climáticas típicas da região. Assim, amostras de esmaltes, grisalhas, massas de calafetagem e calhas metálicas, foram documentadas, mapeadas e analisadas por microscopia ótica e microscopia eletrônica de varredura com sistema de energia dispersiva (MEV/SED). As principais alterações observadas foram sujidade, opacidade, destacamento de esmaltes azuis, perda de grisalha, presença de corrosão nas calhas, microfraturas e craquelês na massa de calafetagem. As análises por EDS indicaram a presença de elementos químicos como Si, Ca, K e Na, componentes majoritários na composição dos vidros. Grisalhas possuem Fe, Mn e Pb em sua composição. Os elementos Ag e Cu foram encontrados na pintura designada como amarelo de prata, assim como Co foi identificado nos esmaltes azuis.
Multi-Factor Key Derivation Function (MFKDF) for Fast, Flexible, Secure, & Practical Key Management
Creators: name: Nair, Vivek
name: Song, Dawn
Publisher: name: arXiv
Year: 2022
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: We present the first general construction of a Multi-Factor Key Derivation Function (MFKDF). Our function expands upon password-based key derivation functions (PBKDFs) with support for using other popular authentication factors like TOTP, HOTP, and hardware tokens in the key derivation process. In doing so, it provides an exponential security improvement over PBKDFs with less than 12 ms of additional computational overhead in a typical web browser. We further present a threshold MFKDF construction, allowing for client-side key recovery and reconstitution if a factor is lost. Finally, by "stacking" derived keys, we provide a means of cryptographically enforcing arbitrarily specific key derivation policies. The result is a paradigm shift toward direct cryptographic protection of user data using all available authentication factors, with no noticeable change to the user experience. We demonstrate the ability of our solution to not only significantly improve the security of existing systems implementing PBKDFs, but also to enable new applications where PBKDFs would not be considered a feasible approach.
description: To appear in USENIX Security '23
Caracterização De Vitrais Históricos Dos Séculos XIX E XX De Belém E Seus Constituintes
Creators: name: Natália Nazaré Raiol Araújo
name: Amanda Monteiro Corrêa Pinto Loureiro
Publisher: name: Zenodo
Year: 2024

description: Durante a história os vitrais foram considerados sinônimo de beleza arquitetônica e artística mundo afora, e o mesmo aconteceu quando passaram a ser empregados na arquitetura de Belém, representando suntuosidade nas igrejas e, posteriormente em residências, sobrevivendo no clima amazônico. Entretanto, a aplicação de métodos de caracterização para investigação tecnológica de vitrais na região amazônica e suas alterações ainda é pouco explorada. O objetivo deste trabalho é apresentar caracterização química e física dos materiais constituintes dos vitrais históricos de Belém dos séculos XIX e XX, compreendendo suas possíveis alterações em decorrência das condições climáticas típicas da região. Assim, amostras de esmaltes, grisalhas, massas de calafetagem e calhas metálicas, foram documentadas, mapeadas e analisadas por microscopia ótica e microscopia eletrônica de varredura com sistema de energia dispersiva (MEV/SED). As principais alterações observadas foram sujidade, opacidade, destacamento de esmaltes azuis, perda de grisalha, presença de corrosão nas calhas, microfraturas e craquelês na massa de calafetagem. As análises por EDS indicaram a presença de elementos químicos como Si, Ca, K e Na, componentes majoritários na composição dos vidros. Grisalhas possuem Fe, Mn e Pb em sua composição. Os elementos Ag e Cu foram encontrados na pintura designada como amarelo de prata, assim como Co foi identificado nos esmaltes azuis.
Generalized switching signals for input-to-state stability of switched systems
Creators: name: Kundu, Atreyee
name: Chatterjee, Debasish
name: Liberzon, Daniel
Publisher: name: arXiv
Year: 2015
Subjects: subject: Systems and Control (eess.SY)
subject: Optimization and Control (math.OC)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Mathematics

description: This article deals with input-to-state stability (ISS) of continuous-time switched nonlinear systems. Given a family of systems with exogenous inputs such that not all systems in the family are ISS, we characterize a new and general class of switching signals under which the resulting switched system is ISS. Our stabilizing switching signals allow the number of switches to grow faster than an affine function of the length of a time interval, unlike in the case of average dwell time switching. We also recast a subclass of average dwell time switching signals in our setting and establish analogs of two representative prior results.
description: 16 pages, 2 figures
The Lyman alpha reference sample: IV. Morphology at low and high redshift
Creators: name: Guaita, L.
name: Melinder, J.
name: Hayes, M.
name: Ostlin, G.
name: Gonzalez, J.
name: team, LARS
Publisher: name: arXiv
Year: 2015
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We measured the sizes and morphological parameters of LARS galaxies in the continuum, Lya, and Ha images. We studied morphology by using the Gini coefficient vs M20 and asymmetry vs concentration diagrams. We then simulated LARS galaxies at z~2 and 5.7, performing the same morphological measurements. We also investigated the detectability of LARS galaxies in current deep field observations. The subsample of LAEs within LARS (LARS-LAEs) was stacked to provide a comparison to stacking studies performed at high redshift. LARS galaxies have continuum size, stellar mass, and rest-frame absolute magnitude typical of Lyman break analogues in the local Universe and also similar to 2
description: Accepted date: Dec 19th, 2014. arXiv admin note: text overlap with arXiv:astro-ph/0311352
Z'-induced Invisible Right-handed Sneutrino Decays at the LHC
Creators: name: Abdallah, W.
name: Fiaschi, J.
name: Khalil, S.
name: Moretti, S.
Publisher: name: arXiv
Year: 2015
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The invisible signals of right-handed sneutrino decays originating from a Z' are analysed at the Large Hadron Collider. The possibility of accessing these events helps disentangling the B-L extension of Minimal Supersymmetric Standard Model from more popular scenarios of Supersymmetry. We assess the scope of the CERN machine in establishing the aforementioned signatures when accompanied by mono-jet, single-photon or Z-radiation probes through sophisticated signal-to-background simulations carried out in presence of parton shower, hadronisation as well as detector effects. We find substantial sensitivity to all such signals for standard luminosities at Run 2.
description: 4 pages, 3 figures
Exact Separation Logic (Extended Version)
Creators: name: Maksimović, Petar
name: Cronjäger, Caroline
name: Lööw, Andreas
name: Sutherland, Julian
name: Gardner, Philippa
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Over-approximating (OX) program logics, such as separation logic (SL), are used for verifying properties of heap-manipulating programs: all terminating behaviour is characterised, but established results and errors need not be reachable. OX function specifications are thus incompatible with true bug-finding supported by symbolic execution tools such as Pulse and Pulse-X. In contrast, under-approximating (UX) program logics, such as incorrectness separation logic, are used to find true results and bugs: established results and errors are reachable, but there is no mechanism for understanding if all terminating behaviour has been characterised. We introduce exact separation logic (ESL), which provides fully-verified function specifications compatible with both OX verification and UX true bug-funding: all terminating behaviour is characterised, and all established results and errors are reachable. We prove soundness for ESL with mutually recursive functions, demonstrating, for the first time, function compositionality for a UX logic. We show that UX program logics require subtle definitions of internal and external function specifications compared with the familiar definitions of OX logics. We investigate the expressivity of ESL and, for the first time, explore the role of abstraction in UX reasoning by verifying abstract ESL specifications of various data-structure algorithms. In doing so, we highlight the difference between abstraction (hiding information) and over-approximation (losing information). Our findings demonstrate that, expectedly, abstraction cannot be used as freely in UX logics as in OX logics, but also that it should be feasible to use ESL to provide tractable function specifications for self-contained, critical code, which would then be used for both verification and true bug-finding.
Non-free gas of dipoles of non-singular screw dislocations and the shear modulus near the melting
Creators: name: Malyshev, Cyril
Publisher: name: arXiv
Year: 2014
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: The behavior of the shear modulus caused by proliferation of dipoles of non-singular screw dislocations with finite-sized core is considered. The representation of two-dimensional Coulomb gas with smoothed-out coupling is used, and the stress-stress correlation function is calculated. A convolution integral expressed in terms of the modified Bessel function $K_0$ is derived in order to obtain the shear modulus in approximation of interacting dipoles. Implications are demonstrated for the shear modulus near the melting transition which are due to the singularityless character of the dislocations.
description: 17 pages, latex, 4 figures
Coulombic antiferromagnet in spin-1/2 pyrochlores with dipole-octupole doublets
Creators: name: Chen, Gang
Publisher: name: arXiv
Year: 2022
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Exotic state of matter could coexist with conventional orders such that the gauge fields and fractionalized excitations could prevail in a seemingly ordered state. We explore the Coulombic antiferromagnet in the spin-1/2 pyrochlores with dipole-octupole doublets. This fractionalized antiferromagnetic state carries both antiferromagnetic order and emergent quantum electrodynamics with the gapless gauge photon and fractionalized quasiparticles. We explain the characteristic physical properties including the thermodynamics and the dynamics of this exotic state. This includes for example the anomalously large $T^3$ specific heat and the broad spinon continuum in the inelastic neutron scattering. We discuss the experimental and material's relevance and expect this work to inspire interests in the search of exotic physics among the ordered magnets.
description: 6+5 pages, 2+3 figures
Analysis of Crowdsourced Sampling Strategies for HodgeRank with Sparse Random Graphs
Creators: name: Osting, Braxton
name: Xiong, Jiechao
name: Xu, Qianqian
name: Yao, Yuan
Publisher: name: arXiv
Year: 2015
Subjects: subject: Machine Learning (stat.ML)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: Crowdsourcing platforms are now extensively used for conducting subjective pairwise comparison studies. In this setting, a pairwise comparison dataset is typically gathered via random sampling, either \emph{with} or \emph{without} replacement. In this paper, we use tools from random graph theory to analyze these two random sampling methods for the HodgeRank estimator. Using the Fiedler value of the graph as a measurement for estimator stability (informativeness), we provide a new estimate of the Fiedler value for these two random graph models. In the asymptotic limit as the number of vertices tends to infinity, we prove the validity of the estimate. Based on our findings, for a small number of items to be compared, we recommend a two-stage sampling strategy where a greedy sampling method is used initially and random sampling \emph{without} replacement is used in the second stage. When a large number of items is to be compared, we recommend random sampling with replacement as this is computationally inexpensive and trivially parallelizable. Experiments on synthetic and real-world datasets support our analysis.
Insights into $Q^2 \bar{Q}^2$ states from an effective perspective
Creators: name: Ametller, Ll.
name: Talavera, P.
Publisher: name: arXiv
Year: 2015
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We discuss the two photon coupling of the lightest scalar meson on the basis of an extension of $χ$PT. Using low energy data on the pion form-factor and the $γγ\to π^+π^-(π^0π^0)$ cross-sections as inputs, we find $Γ(σ\toγγ) \cong 0.126~\rm{keV} $. The smallness of the result and the relative weight between its components, ${Γ_{γγ\to S_1}\over Γ{ γγ\toππ\to S_1}} < 1$, suggests that the scalar $0^{++}$ meson is mainly a $Q^2\bar{Q}^2$ state.
description: 14 pages, 6 figures. Part of the paper rewritten and enlarged, including a discussion on pi-pi phase shifts. Added references
ВНЕДРЕНИЕ МЕТОДА АССОЦИАЦИЙ  НА УРОКЕ АНГЛИЙСКОГО ЯЗЫКА В ПРОЦЕССЕ ОБУЧЕНИЯ ЛЕКСИКЕ
Creators: name: Кулдошева, Нигора
Publisher: name: Zenodo
Year: 2024

description: Активное развитие межкультурных контактов в разнообразных сферах деятельности характеризуют языковую ситуацию в современном мире. Постоянно расширяются международные связи, а также Интернет в качестве средства массовой коммуникации активно вникает в нашу жизнь и делает расширенную  информацию на иностранных языках все более доступной, и, следовательно, увеличивается потребность в навыках пользования иностранным языком в коммуникативных и других целях.  В нынешнее время владение иностранным языком стало необходимым навыком для специалиста в любой сфере жизни.
Digital Reputation Building and Online Communication in Science
Creators: name: Havemann, Johanna
Publisher: name: Zenodo
Year: 2019
Subjects: Reputation Building
Career Development
Open Science
Open Access

description: - digital self-presentation and reputation building in Science
 - your own website for the presentation of the research contents
 - academic networking online
 - strategic and time-efficient use of digital tools and platforms for scientists
An Efficient Unified Approach for Spread Option Pricing in a Copula Market Model
Creators: name: Berton, Edoardo
name: Mercuri, Lorenzo
Publisher: name: arXiv
Year: 2021
Subjects: subject: Pricing of Securities (q-fin.PR)
subject: FOS: Economics and business

description: In this study, we propose a new formula for spread option pricing with the dependence of two assets described by a copula function. The advantage of the proposed method is that it requires only the numerical evaluation of a one-dimensional integral. Any univariate stock price process, admitting an affine characteristic function, can be used in our formula to get an efficient numerical procedure for computing spread option prices. In the numerical analysis we present a comparison with Monte Carlo simulation methods to assess the performance of our approach, assuming that the univariate stock price follows three widely applied models: Variance Gamma, Heston's Stochastic Volatility and Affine Heston Nandi GARCH(1,1) model.
Determination of $U(1)_{\rm A}$ restoration from pion and $a_0$-meson screening masses: Toward the chiral regime
Creators: name: Ishii, Masahiro
name: Yonemura, Koji
name: Takahashi, Junichi
name: Kouno, Hiroaki
name: Yahiro, Masanobu
Publisher: name: arXiv
Year: 2015
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Lattice (hep-lat)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We incorporate the effective restoration of $U(1)_{\rm A}$ symmetry in the 2+1 flavor entanglement Polyakov-loop extended Nambu--Jona-Lasinio (EPNJL) model by introducing a temperature-dependent strength $K(T)$ to the Kobayashi-Maskawa-'t Hooft (KMT) determinant interaction. $T$ dependence of $K(T)$ is well determined from pion and $a_0$-meson screening masses obtained by lattice QCD (LQCD) simulations with improved p4 staggered fermions. The strength is strongly suppressed in the vicinity of the pseudocritical temperature of chiral transition. The EPNJL model with the $K(T)$ well reproduces meson susceptibilities calculated by LQCD with domain-wall fermions. The model shows that the chiral transition is second order at the "light-quark chiral-limit" point where the light quark mass is zero and the strange quark mass is fixed at the physical value. This indicates that there exists a tricritical point. Hence the location is estimated.
description: 10 pages, 12 figures
The Cauchy problem for the infinitesimal model in the regime of small variance
Creators: name: Patout, Florian
Publisher: name: arXiv
Year: 2020
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics

description: We study the asymptotic behavior of solutions of the Cauchy problem associated to a quantitative genetics model with a sexual mode of reproduction. It combines trait-dependent mortality and a nonlinear integral reproduction operator "the infinitesimal model" with a parameter describing the standard deviation between the offspring and the mean parental traits. We show that under mild assumptions upon the mortality rate m, when the deviations are small, the solutions stay close to a Gaussian profile with small variance, uniformly in time. Moreover we characterize accurately the dynamics of the mean trait in the population. Our study extends previous results on the existence and uniqueness of stationary solutions for the model. It relies on perturbative analysis techniques together with a sharp description of the correction measuring the departure from the Gaussian profile.
VITALISE D8.2 Final report on Transnational Access 1
Creators: name: Benito, Begoña
name: GARATEA, JOKIN
name: Plomariti, Christina
name: Helsen, Kim
name: Almeida, Rosa
name: Alastalo, Mika
name: Azevedo, Nancy
name: Kehayia, Eva
Publisher: name: Zenodo
Year: 2024

description: This document aims to present an overview of the Transnational Access (TA) activities conducted in Work Package 8 (WP8) ΤΑ1 - TA to Living Lab infrastructures for rehabilitation as part of the VITALISE project. This final report encompasses six (6) research infrastructures that participated in the context of this work package, presenting information for completed TA activities.  

In particular, the report includes comprehensive information for each of the participating research infrastructures. It provides a summary of completed TA activities of every research project, the activities performed, the outcomes achieved, and any notable findings or advancements made. In addition, the report for the completed TA activities includes also some information regarding the effort and hours spent from the several professionals of the LL personnel for supporting the execution of each TA activity,both in person and remotely, as well as a summary of the researchers’ TA evaluation and potential opportunities for future collaboration and common publications. This information showcases the value and impact of the TA program on the overall project objectives. 

As it is the final report, this document offers a snapshot of the collaborative efforts and achievements within WP8's TA1. It signifies the project's progress towards fostering innovation, knowledge exchange, and interdisciplinary research in the realm of rehabilitation and collect all the information generated in the different TA activities 1.
Exploring the Practical Limits of Cooperative Awareness in Vehicular Communications
Creators: name: Boban, Mate
name: d'Orey, Pedro M.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: We perform an extensive study of cooperative awareness in vehicular communication based on periodic message exchange. We start by analyzing measurements collected on four test sites across Europe. To measure cooperative awareness, we use three metrics: 1) neighborhood awareness ratio; 2) ratio of neighbors above range; and 3) packet delivery rate. Using the collected data, we define a simple model for calculating neighborhood awareness given packet delivery ratio for a given environment. Finally, we perform realistic, large-scale simulations to explore the achievable performance of cooperative awareness under realistic transmit power and transmit rate constraints. Our measurements and simulation results show that: i) above a certain threshold, there is little benefit in increasing cooperative message rate to improve the awareness; higher transmit power and fewer messages transmissions are a better approach, since message delivery is dominated by shadowing. ii) the efficacy of cooperative awareness varies greatly in different environments on both large scale (e.g., 90\% awareness is achievable up to 200~m in urban and over 500~m in highway) and small scale (e.g., vehicles in nearby streets can have significantly different awareness); iii) V2V and V2I communication have distinct awareness patterns; iv) each location has a distinct transmit power that achieves high awareness; and v) achieving high awareness levels results in increased reception of potentially unwanted messages; therefore, a balance needs to be found between awareness and interference, depending on the specific context. We hope our results will serve as a starting point for designing more effective periodic message exchange services for cooperative awareness.
description: Accepted to IEEE Transactions on Vehicular Technology
Composing topological domain walls and anyon mobility
Creators: name: Huston, Peter
name: Burnell, Fiona
name: Jones, Corey
name: Penneys, David
Publisher: name: arXiv
Year: 2022
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Mathematical Physics (math-ph)
subject: Category Theory (math.CT)
subject: Quantum Algebra (math.QA)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences
subject: FOS: Mathematics
subject: 18M20, 81V27, 18M30, 18N20, 57R56

description: Topological domain walls separating 2+1 dimensional topologically ordered phases can be understood in terms of Witt equivalences between the UMTCs describing anyons in the bulk topological orders. However, this picture does not provide a framework for decomposing stacks of multiple domain walls into superselection sectors - i.e., into fundamental domain wall types that cannot be mixed by any local operators. Such a decomposition can be understood using an alternate framework in the case that the topological order is anomaly-free, in the sense that it can be realized by a commuting projector lattice model. By placing these Witt equivalences in the context of a 3-category of potentially anomalous (2+1)D topological orders, we develop a framework for computing the decomposition of parallel topological domain walls into indecomposable superselection sectors, extending the previous understanding to topological orders with non-trivial anomaly. We characterize the superselection sectors in terms of domain wall particle mobility, which we formalize in terms of tunnelling operators. The mathematical model for the 3-category of topological orders is the 3-category of fusion categories enriched over a fixed unitary modular tensor category.
Asymmetric domain walls of small angle in soft ferromagnetic films
Creators: name: Döring, Lukas
name: Ignat, Radu
Publisher: name: arXiv
Year: 2014
Subjects: subject: Analysis of PDEs (math.AP)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 49S05, 49J45, 78A30, 35B32, 35B36

description: We focus on a special type of domain walls appearing in the Landau-Lifshitz theory for soft ferromagnetic films. These domain walls are divergence-free $S^2$-valued transition layers that connect two directions in $S^2$ (differing by an angle $2θ$) and minimize the Dirichlet energy. Our main result is the rigorous derivation of the asymptotic structure and energy of such "asymmetric" domain walls in the limit $θ\to 0$. As an application, we deduce that a supercritical bifurcation causes the transition from symmetric to asymmetric walls in the full micromagnetic model.
description: 45 pages, 6 figures
Setting the scene for Betti characters
Creators: name: Galetto, Federico
Publisher: name: arXiv
Year: 2021
Subjects: subject: Commutative Algebra (math.AC)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics
subject: 13-04 (Primary) 13P20, 13D02, 13A50, 20C15 (Secondary)

description: Finite group actions on free resolutions and modules arise naturally in many interesting examples. Understanding these actions amounts to describing the terms of a free resolution or the graded components of a module as group representations which, in the non modular case, are completely determined by their characters. With this goal in mind, we introduce a Macaulay2 package for computing characters of finite groups on free resolutions and graded components of finitely generated graded modules over polynomial rings.
description: 7 pages
Supplementary Figure 8 from Primate-specific oestrogen-responsive long non-coding RNAs regulate proliferation and viability of human breast cancer cells
Creators: name: Chin-Yo Lin
name: Kleinbrink, Erica L.
name: Dachet, Fabien
name: Cai, Juan
name: Donghong Ju
name: Goldstone, Amanda
name: Wood, Emily J.
name: Liu, Ka
name: Jia, Hui
name: Anton-Scott Goustin
name: Kosir, Mary A.
name: Pattaraporn Thepsuwan
name: Lipovich, Leonard
Publisher: name: Figshare
Year: 2016
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: 60408 Genomics

description: Long non-coding RNAs (lncRNAs) are transcripts of a recently discovered class of genes which do not code for proteins. LncRNA genes are approximately as numerous as protein-coding genes in the human genome. However, comparatively little remains known about lncRNA functions. We globally interrogated changes in the lncRNA transcriptome of oestrogen receptor positive human breast cancer cells following treatment with oestrogen, and identified 127 oestrogen-responsive lncRNAs. Consistent with the emerging evidence that most human lncRNA genes lack homologues outside of primates, our evolutionary analysis revealed primate-specific lncRNAs downstream of oestrogen signalling. We demonstrate, using multiple functional assays to probe gain- and loss-of-function phenotypes in two oestrogen receptor positive human breast cancer cell lines, that two primate-specific oestrogen-responsive lncRNAs identified in this study (the oestrogen-repressed lncRNA BC041455, which reduces cell viability, and the oestrogen-induced lncRNA CR593775, which increases cell viability) exert previously unrecognized functions in cell proliferation and growth factor signalling pathways. The results suggest that oestrogen-responsive lncRNAs are capable of altering the proliferation and viability of human breast cancer cells. No effects on cellular phenotypes were associated with control transfections. As heretofore unappreciated components of key signalling pathways in cancers, including the MAP kinase pathway, lncRNAs hence represent a novel mechanism of action for oestrogen effects on cellular proliferation and viability phenotypes. This finding warrants further investigation in basic and translational studies of breast and potentially other types of cancers, has broad relevance to lncRNAs in other nuclear hormone receptor pathways, and should facilitate exploiting and targeting these cell viability modulating lncRNAs in post-genomic therapeutics.
Applications of the Capelli identities in physics and representation theory
Creators: name: Rowe, David J.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: Capelli identities are shown to facilitate the construction of representations of various Heisenberg algebras that arise in many-particle quantum mechanics and the construction of holomorphic representations of many Lie algebras by Vector Coherent State methods. We consider the original Capelli identity and its generalizations by Turnbull and by Howe and Umeda.
description: 19 pages