cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions
Creators: name: Bozzelli, Laura
name: Molinari, Alberto
name: Montanari, Angelo
name: Peron, Adriano
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences
subject: F.4.1; D.2.4

description: In this paper, we investigate the model checking (MC) problem for Halpern and Shoham's interval temporal logic HS. In the last years, interval temporal logic MC has received an increasing attention as a viable alternative to the traditional (point-based) temporal logic MC, which can be recovered as a special case. Most results have been obtained under the homogeneity assumption, that constrains a proposition letter to hold over an interval if and only if it holds over each component state. Recently, Lomuscio and Michaliszyn proposed a way to relax such an assumption by exploiting regular expressions to define the behaviour of proposition letters over intervals in terms of their component states. When homogeneity is assumed, the exact complexity of MC is a difficult open question for full HS and for its two syntactically maximal fragments AA'BB'E' and AA'EB'E'. In this paper, we provide an asymptotically optimal bound to the complexity of these two fragments under the more expressive semantic variant based on regular expressions by showing that their MC problem is AEXP_pol-complete, where AEXP_pol denotes the complexity class of problems decided by exponential-time bounded alternating Turing Machines making a polynomially bounded number of alternations.
description: In Proceedings GandALF 2017, arXiv:1709.01761
Inference of forex and stock-index financial networks based on the normalised mutual information rate
Creators: name: Goh, Yong K.
name: Hasim, Haslifah M.
name: Antonopoulos, Chris G.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Methodology (stat.ME)
subject: Information Theory (cs.IT)
subject: Dynamical Systems (math.DS)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: In this paper we study data from financial markets using an information-theory tool that we call the normalised Mutual Information Rate and show how to use it to infer the underlying network structure of interrelations in foreign currency exchange rates and stock indices of 14 countries world-wide and the European Union. We first present the mathematical method and discuss about its computational aspects, and then apply it to artificial data from chaotic dynamics and to correlated random variates. Next, we apply the method to infer the network structure of the financial data. Particularly, we study and reveal the interrelations among the various foreign currency exchange rates and stock indices in two separate networks for which we also perform an analysis to identify their structural properties. Our results show that both are small-world networks sharing similar properties but also having distinct differences in terms of assortativity. Finally, the consistent relationships depicted among the 15 economies are further supported by a discussion from the economics view point.
description: 23 pages, 6 figures
Liquid Polymorphism and Double Criticality in a Lattice Gas Model
Creators: name: Henriques, Vera B.
name: Guisoni, Nara
name: Barbosa, Marco Aurelio
name: Thielo, Marcelo
name: Barbosa, Marcia C.
Publisher: name: arXiv
Year: 2005
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We analyze the possible phase diagrams of a simple model for an associating liquid proposed previously. Our two-dimensional lattice model combines oreintati onal ice-like interactions and \"{}Van der Waals\"{} interactions which may be repulsive, and in this case represent a penalty for distortion of hydrogen bonds in the presence of extra molecules. These interactions can be interpreted in terms of two competing distances, but not necessarily soft-core. We present mean -field calculations and an exhaustive simulation study for different parameters which represent relative strength of the bonding interaction to the energy penalty for its distortion. As this ratio decreases, a smooth disappearance of the doubl e criticality occurs. Possible connections to liquid-liquid transitions of molecul ar liquids are suggested.
Closed-loop optimal experiment design: Solution via moment extension
Creators: name: Hildebrand, Roland
name: Gevers, Michel
name: Solari, Gabriel
Publisher: name: Weierstrass Institute
Year: 2013
Subjects: subject: Optimal experiment design
subject: Closed-loop identification
subject: Convex programming
subject: Power spectral density
subject: Moment method
subject: 93E12

description: We consider optimal experiment design for parametric prediction error system identification of linear time-invariant multiple-input multiple-output (MIMO) systems in closed-loop when the true system is in the model set. The optimization is performed jointly over the controller and the spectrum of the external excitation, which can be reparametrized as a joint spectral density matrix. We have shown in [18] that the optimal solution consists of first computing a finite set of generalized moments of this spectrum as the solution of a semi-definite program. A second step then consists of constructing a spectrum that matches this finite set of optimal moments and satisfies some constraints due to the particular closed-loop nature of the optimization problem. This problem can be seen as a moment extension problem under constraints. Here we first show that the so-called central extension always satisfies these constraints, leading to a constructive procedure for the optimal controller and excitation spectrum.We then show that, using this central extension, one can construct a broader set of parametrized optimal solutions that also satisfy the constraints; the additional degrees of freedom can then be used to achieve additional objectives. Finally, our new solution method for the MIMO case allows us to considerably simplify the proofs given in [18] for the single-input single-output case.
Additional file 2 of Level of adherence to physical activity recommendations among adults with type 2 diabetes in Qatar and associated factors: a cross-sectional study
Creators: name: Boutefnouchet, Linda
name: Hoque, Bushra
name: Sukik, Layan
name: Rahhal, Mhd Osama
name: Elhadary, Mohamed
name: Hamdan, Ahmad
name: Altrmanini, Omar
name: Abuhaweeleh, Mohannad Natheef
name: Bawadi, Hiba
name: Shraim, Mujahed
Publisher: name: figshare
Year: 2025
Subjects: subject: Medicine
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy

description: Supplementary Material 2
Thermodynamics and relativistic kinetic theory for q-generalized Bose-Einstein and Fermi-Dirac systems
Creators: name: Mitra, Sukanya
Publisher: name: arXiv
Year: 2017
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The thermodynamics and covariant kinetic theory have been elaborately investigated in a non-extensive environment considering the non-extensive generalization of Bose-Einstein (BE) and Fermi-Dirac (FD) statistics. Starting with Tsallis' entropy formula, the fundamental principles of thermostatistics have been established for a grand canonical system having q-generalized BE/FD degrees of freedom. The many particle kinetic theory has been set up in terms of the relativistic transport equation with q-generalized Uehling-Uhlenbeck collision term. The conservation laws have been realized in terms of appropriate moments of the transport equation. The thermodynamic quantities have been obtained in weak non-extensive environment for a massive pion-nucleon and a massless quark-gluon system with non-zero baryon chemical potential. In order to get an estimate of the impact of non-extensivity on the system dynamics, the q-modified Debye mass and hence the q-modified effective coupling have been estimated for a quark-gluon system.
description: 14 pages, 7 figures, two column
Analysis of hydraulic fracture growth and segmentation : implications for the HFTS1 slant core, Wolfcamp Fm., Midland Basin, West Texas
Creators: name: Rysak, Bethany Grace
name: 0000-0001-6682-1547
Publisher: name: The University of Texas at Austin
Year: 2021
Subjects: Hydraulic fracturing
Fracture segmentation
Bifurcation
Twist hackles
Core

description: The 6TW slant core is part of the multidisciplinary Hydraulic Fracture Test Site (HFTS1) project in the Midland Basin. The slant core made a close pass by two horizontal wells on an 11-well pad and has yielded new insight into fracture networks created by the hydraulic fracturing process. Approximately ~600 ft of core was recovered through the Wolfcamp A and B, with fracture characterization identifying 375 hydraulic fractures (trending E-W), and 309 calcite-sealed natural fractures (Set 1 trending NE-SW; Set 2 trending WNW-ESE). Initial observations showed that the number of hydraulic fractures found in core was higher than the number estimated to have been created via the completion processes. This abundance may be closely tied to the examples of twist-hackle segmentation, diversion, and bifurcation seen in core. These features can be used to determine propagation direction and help build a clearer picture of fracture network growth and geometry. To further investigate the impact of these features on our current understanding of hydraulic fracture propagation, this research was divided into four parts, those being: 1) Analysis of hydraulic fractures in the slant core, 2) Observation of lab-generated hydraulic fracture morphology, 3) Observation of natural hydraulic fracture morphology in the field, and 4) Building of a 3D reservoir model for the HFTS1 pad to run fracture forward modeling. The key implications of this work provide a greater understanding of hydraulic fracture network propagation in the subsurface, and could have wider applications for evaluation, completion, production, and fracture modeling techniques in unconventional reservoirs
Rescue of a baby during cyclone Pam
Creators: name: Ridge, Eleanor
Publisher: name: COCOON - https://cocoon.huma-num.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: Vatlongos
subject: tvk

description: Conforms to: doi:10.34847/cocoon.49aefa90-8c1f-3ba8-a099-0ebefc6a2aa7
Correcting heading errors in optically pumped magnetometers through microwave interrogation
Creators: name: Kiehl, Christopher
name: Menon, Thanmay S.
name: Hewatt, Dawson P.
name: Knappe, Svenja
name: Thiele, Tobias
name: Regal, Cindy A.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We demonstrate how to measure in situ for heading errors of optically pumped magnetometers (OPMs) in the challenging parameter regime of compact vapor cells with imperfect optical pumping and high buffer gas pressure. For this, we utilize microwave-driven Ramsey and Rabi frequency spectroscopy (FS) to independently characterize scalar heading errors in free induction decay (FID) signals. Both of these approaches suppress 5-nT inaccuracies in geomagnetic fields caused by nonlinear Zeeman (NLZ) shifts in FID measurements to below 0.6 nT. For Ramsey FS, we implement short periods of microwave interrogation within a $π/2-t_R-3π/2$ Ramsey interferometry sequence, effectively circumventing systematic errors from off-resonant driving. Conversely, Rabi FS leverages an atom-microwave Hamiltonian for accurate modeling of Rabi oscillation frequencies, achieving a measurement precision down to 80 pT$/ \sqrt{\text{Hz}}$ that is limited primarily by technical microwave noise. We show that the fundamental sensitivity of Rabi FS is 30 pT/$\sqrt{\text{Hz}}$ with our vapor cell parameters through a Cramér-Rao lower bound (CRLB) analysis. This work paves the way for future investigations into the accuracy of hyperfine structure (HFS) magnetometry and contributes to the broader applicability of OPMs in fields ranging from navigation and geophysics to space exploration and unexploded ordinance detection, where heading error mitigation is essential.
description: 24 pages + 26 figures
Double Beta Decay in pn-QRPA Model with Isospin and SU(4) Symmetry Constraints
Creators: name: Krmpotić, F.
name: Sharma, S. Shelly
Publisher: name: arXiv
Year: 1993
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The transition matrix elements for the $0^{+}\to 0^{+}$ double beta decays are calculated for $^{48}Ca$, $^{76}Ge $, $^{82}Se$, $^{100}Mo$, $^{128}Te$ and $^{130}Te$ nuclei, using a $δ$-interaction. As a guide, to fix the particle-particle interaction strengths, we exploit the fact that the missing symmetries of the mean field approximation are restored in the random phase approximation by the residual interaction. Thus, the T=1, S=0 and T=0, S=1 coupling strengths have been estimated by invoking the partial restoration of the isospin and Wigner SU(4) symmetries, respectively. When this recipe is strictly applied, the calculation is consistent with the experimental limit for the $2ν$ lifetime of $^{48}Ca$ and it also correctly reproduces the $2ν$ lifetime of $^{82}Se$. In this way, however, the two-neutrino matrix elements for the remaining nuclei are either underestimated (for $^{76}Ge$ and $^{100}Mo$) or overestimated (for $^{128}Te$ and $^{130}Te$) approximately by a factor of 3. With a comparatively small variation ($<10%$) of the spin-triplet parameter, near the value suggested by the SU(4) symmetry, it is possible to reproduce the measured $T_{1/2}^{2ν}$ in all the cases. The upper limit for the effective neutrino mass, as obtained from the theoretical estimates of $0ν$ matrix elements, is $\cong 1$ eV. The dependence of the nuclear matrix elements on the size of the configuration space has been also analyzed.
description: 25 pages (LaTex) and 3 figures upon request, to be published in Nucl. Phys. A
Anomalous effects of dense matter under rotation
Creators: name: Huang, Xu-Guang
name: Nishimura, Kentaro
name: Yamamoto, Naoki
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: High Energy Physics - Theory (hep-th)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We study the anomaly induced effects of dense baryonic matter under rotation. We derive the anomalous terms that account for the chiral vortical effect in the low-energy effective theory for light Nambu-Goldstone modes. The anomalous terms lead to new physical consequences, such as the anomalous Hall energy current and spontaneous generation of angular momentum in a magnetic field (or spontaneous magnetization by rotation). In particular, we show that, due to the presence of such anomalous terms, the ground state of the quantum chromodynamics (QCD) under sufficiently fast rotation becomes the "chiral soliton lattice" of neutral pions that has lower energy than the QCD vacuum and nuclear matter. We briefly discuss the possible realization of the chiral soliton lattice induced by a fast rotation in noncentral heavy ion collisions.
description: 15 pages
Modeling and simulations of beam stabilization in edge-emitting broad area semiconductor devices
Creators: name: Radziunas, Mindaugas
name: Ciegis, Raimondas
Publisher: name: Weierstrass Institute
Year: 2013
Subjects: subject: broad area device
subject: traveling wave model numerical scheme
subject: simulations
subject: beam improvement
subject: 65M06
subject: 65M20
subject: 65M99
subject: 35Q60
subject: 65M12

description: A 2+1 dimensional PDE traveling wave model describing spatial-lateral dynamics of edge-emitting broad area semiconductor devices is considered. A numerical scheme based on a split-step Fourier method is presented and implemented on a parallel compute cluster. Simulations of the model equations are used for optimizing of existing devices with respect to the emitted beam quality, as well as for creating and testing of novel device design concepts.
IMPROVING THE QUALITY OF COCOON FIBER AS A RESULT OF THE USE OF INNOVATIVE TECHNOLOGIES IN AGRICULTURE
Creators: name: Aliboyev, Maxammadillo
Publisher: name: Zenodo
Year: 2024

description: Use of non-traditional innovative technologies to increase the quality of silk fiber produced in the world, to increase cocoon productivity in agriculture and textile industry. The results of research conducted using a portable biophysical trap are presented, and the quality indicators of silk fiber are compared using samples.
A non covariant fermionic determinant and its connection to Luttinger systems
Creators: name: Iucci, Aníbal
name: Naón, Carlos
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Condensed Matter (cond-mat)
subject: FOS: Physical sciences

description: We consider a fermionic determinant associated to a non covariant Quantum Field Theory used to describe a non relativistic system in (1+1) dimensions. By exploiting the freedom that arises when Lorentz invariance is not mandatory, we determine the heat-kernel regulating operator so as to reproduce the correct dispersion relations of the bosonic excitations. We also derive the Hamiltonian of the functionally bosonized model and the corresponding currents. In this way we were able to establish the precise heat-kernel regularization that yields complete agreement between the path-integral and operational approaches to the bosonization of the Tomonaga-Luttinger model.
description: revtex4, 14 pages, no figures
Inverse modeling of thin layer flow cells for detection of solubility, transport and reaction coefficients from experimental data
Creators: name: Fuhrmann, Jürgen
name: Linke, Alexander
name: Merdon, Christian
name: Neumann, Felix
name: Streckenbach, Timo
name: Baltruschat, Helmut
name: Khodayari, Mehdi
Publisher: name: Weierstrass Institute
Year: 2015
Subjects: subject: Stokes equations
subject: mixed finite elements
subject: convection diffusion equation
subject: finite volume method
subject: electrochemical flow cell
subject: 76D07
subject: 65N30
subject: 65N08
subject: 47.10.ad
subject: 47.11.Fg
subject: 47.11.Hj
subject: 82.20.Wt

description: Thin layer flow cells are used in electrochemical research as experimental devices which allow to perform investigations of electrocatalytic surface reactions under controlled conditions using reasonably small electrolyte volumes. The paper introduces a general approach to simulate the complete cell using accurate numerical simulation of the coupled flow, transport and reaction processes in a flow cell. The approach is based on a mass conservative coupling of a divergence-free finite element method for fluid flow and a stable finite volume method for mass transport. It allows to perform stable and efficient forward simulations that comply with the physical bounds namely mass conservation and maximum principles for the involved species. In this context, several recent approaches to obtain divergence-free velocities from finite element simulations are discussed. In order to perform parameter identification, the forward simulation method is coupled to standard optimization tools. After an assessment of the inverse modeling approach using known realistic data, first results of the identification of solubility and transport data for O2 dissolved in organic electrolytes are presented. A plausibility study for a more complex situation with surface reactions concludes the paper and shows possible extensions of the scope of the presented numerical tools.
When the anomalistic, draconitic and sidereal orbital periods do not coincide: the impact of post-Keplerian perturbing accelerations
Creators: name: Iorio, Lorenzo
Publisher: name: arXiv
Year: 2023
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Space Physics (physics.space-ph)
subject: FOS: Physical sciences

description: In a purely Keplerian picture, the anomalistic, draconitic and sidereal orbital periods of a test particle orbiting a massive body coincide with each other. Such a degeneracy is removed when a post-Keplerian perturbing acceleration enters the equations of motion yielding generally different corrections to the Keplerian period for the three aforementioned characteristic orbital timescales. They are analytically worked out in the case of the accelerations induced by the general relativistic post-Newtonian gravitoelectromagnetic fields and, to the Newtonian level, by the oblateness of the central body as well. The resulting expressions hold for completely general orbital configurations and spatial orientations of the spin axis of the primary. Astronomical systems characterized by extremely accurate measurements of the orbital periods like, e.g., transiting exoplanets and binary pulsars, may offer potentially viable scenarios for measuring such post--Keplerian features of motion, at least in principle. As an example, the sidereal period of the brown dwarf WD1032 + 011 b is currently known with an uncertainty as small as $\simeq 10^{-5}\,\mathrm{s}$, while its predicted post-Newtonian gravitoelectric correction amounts to $0.07\,\mathrm{s}$; however, the accuracy with which the Keplerian period can be calculated is just 572 s. For the double pulsar PSR J0737-3039, the largest relativistic correction to the anomalistic period amounts to a few tenths of a second, given a measurement error of such a characteristic orbital timescale as small as $\simeq 10^{-6}\,\mathrm{s}$. On the other hand, the Keplerian term can be currently calculated just to a $\simeq 9$ s accuracy. In principle, measuring at least two of the three characteristic orbital periods for the same system independently would allow to cancel out their common Keplerian component provided that their difference is taken.
description: LaTex2e, 29 pages, 17 figures, no tables. Accepted for publication in Time and Space
Minireview on Disordered Optical Metasurfaces
Creators: name: Lalanne, P.
name: Dmitriev, A.
name: Rockstuhl, C.
name: Sprafke, A.
name: Vynck, K.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: The use of coherent wave phenomena to enhance device performance is a cornerstone of modern optics. In juxtaposition to (locally) periodic metasurfaces, their disordered counterparts exhibit an interplay of destructive and constructive interferences occurring at the same spatial and spectral frequencies. This attribute provides disordered metasurfaces with a remarkable degree of flexibility, setting them apart from the constraints of periodic arrangements. Hereafter, we provide a concise overview of the cutting-edge developments and offer insights into the forthcoming research in this dynamic field.
Coexistent phases in nonlinear thermoelasticity : radially symmetric equilibrium states of aelotropic bodies
Creators: name: Shvartsman, Mikhail M.
name: S. S.(Stuart S.) Antman
Publisher: name: Carnegie Mellon University
Year: 1995
Subjects: subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Abstract: "We determine the detailed qualitative behavior of radially symmetric equilibrium states with two or more phases for general classes of nonlinear thermoelastic materials. We treat the cases of structured and non-structured interface. Methods are based on a combination of geometric constructions with phase-plane analyses of the governing equations. A special feature of the solutions is that they admit nonplanar interfaces."
Crustal accretion at a spreading rate end-member, the Mid-Cayman Spreading Center : insights from seismic data, gravity, and geochemistry
Creators: name: Harding, Jennifer Logan
name: 0000-0002-2395-3280
Publisher: name: The University of Texas at Austin
Year: 2019
Subjects: subject: Geophysics
subject: FOS: Earth and related environmental sciences
subject: Tectonics
subject: Spreading centers
subject: Oceanic crust
subject: Seismology
subject: Geochemistry

description: Ocean crustal accretion is an important Earth process, affecting the global heat budget, geochemical cycles, and life on Earth. New crust is produced at divergent plate boundaries, or spreading centers, at a range of full plate separation rates from ultraslow spreading rates of <15 mm/yr, to fast spreading rates of > 75 mm/yr. Oceanic crustal structure, lithology, and thickness vary with spreading rate, and ultraslow-spreading centers accrete some of the thinnest and most heterogeneous crust on Earth. In order to investigate fundamental tectonic, magmatic and accretionary processes that underlie these observations, we study one of the slowest-spreading centers in the world, the Mid-Cayman Spreading Center (MCSC), situated between the North American Plate and the Caribbean Plate in the Caribbean Sea. We image the new oceanic crust formed at the MCSC by modeling wide-angle refraction seismic data, gravity data, and geochemistry of seafloor rocks. Seismic images of P-wave velocity (Vp) reveal very heterogeneous structure both parallel and perpendicular to the axial valley. A low Vp zone ~5 km beneath an off-axis massif that hosts a hydrothermal vent field likely represents fracturing associated with hydrothermal circulation, and possibly intruded magmatic sills. In order to constrain the lithology of the crust, we model amplitudes of seismic refraction data and construct gravity profiles. We find that the thickness of the igneous crust varies from ~0-6 km with a mean of ~3 km, where gabbro within a matrix of variably serpentinized mantle is distributed unevenly along the spreading center. Geochemical modeling of incompatible element concentrations in basalts provides estimates of the magmatic budget of the MCSC and two other spreading segments with faster spreading rates. The MCSC has a modeled melt thickness of ~2.8 km, with suppressed melting to ~12 km depth. These results support the hypothesis that there is increased surface cooling of the lithosphere at ultraslow-spreading rates, which reduces melt supply, and that these magmatic processes vary smoothly with spreading rate. Variability of ultraslow-spread crustal thickness can be explained by a segment-scale spatiotemporal fluctuation of lithospheric deformation and melt delivery, with an average of ~2 km of serpentinized mantle within the upper lithosphere
Cyclone Pam in houses in Mele Maat
Creators: name: Ridge, Eleanor
Publisher: name: COCOON - https://cocoon.huma-num.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: Vatlongos
subject: tvk

description: Conforms to: doi:10.34847/cocoon.49aefa90-8c1f-3ba8-a099-0ebefc6a2aa7
Distributed optimal control of a nonstandard nonlocal phase field system
Creators: name: Colli, Pierluigi
name: Gilardi, Gianni
name: Sprekels, Jürgen
Publisher: name: Weierstrass Institute
Year: 2016
Subjects: subject: Distributed optimal control
subject: nonlinear phase field systems
subject: nonlocal operators
subject: first-order necessary optimality conditions
subject: 35K55
subject: 49K20
subject: 74A15

description: We investigate a distributed optimal control problem for a nonlocal phase field model of viscous Cahn-Hilliard type. The model constitutes a nonlocal version of a model for two-species phase segregation on an atomic lattice under the presence of diffusion that has been studied in a series of papers by P. Podio-Guidugli and the present authors. The model consists of a highly nonlinear parabolic equation coupled to an ordinary differential equation. The latter equation contains both nonlocal and singular terms that render the analysis difficult. Standard arguments of optimal control theory do not apply directly, although the control constraints and the cost functional are of standard type. We show that the problem admits a solution, and we derive the first-order necessary conditions of optimality.
title: ADCO, Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IX, Cart. 193 (11 H 78), f. 0146v
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2012
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IX, Archives départementales de la Côte-d'Or, Cart. 193 (11 H 78), f. 0146v, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IX, Archives départementales de la Côte-d'Or, Cart. 193 (11 H 78), f. 0146v, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
Cyclone Pam in Moru
Creators: name: Ridge, Eleanor
Publisher: name: COCOON - https://cocoon.huma-num.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: Vatlongos
subject: tvk

description: Conforms to: doi:10.34847/cocoon.49aefa90-8c1f-3ba8-a099-0ebefc6a2aa7
Stability of quasi-two-dimensional Bose-Einstein condensates with dominant dipole-dipole interactions
Creators: name: Fischer, Uwe R.
Publisher: name: arXiv
Year: 2005
Subjects: subject: Other Condensed Matter (cond-mat.other)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We consider quasi-two-dimensional atomic/molecular Bose-Einstein condensates with both contact and dipole-dipole interactions. It is shown that, as a consequence of the dimensional reduction, and within mean-field theory, the condensates do not develop unstable excitation spectra, even when the dipole-dipole interaction completely dominates the contact interaction.
description: 4 pages of RevTex4, 3 figures; Rapid Communication in Physical Review A (to be published)
Abelian Higgs model at four loops, fixed-point collision and deconfined criticality
Creators: name: Ihrig, Bernhard
name: Zerf, Nikolai
name: Marquard, Peter
name: Herbut, Igor F.
name: Scherer, Michael M.
Publisher: name: Deutsches Elektronen-Synchrotron, DESY, Hamburg
Year: 2019
Subjects: Higgs model: abelian
dimension: 3
dimension: 4
renormalization group: flow
higher-order: 0
field theory: scalar
deconfinement
superconductivity
annihilation
resummation
fixed point
hierarchy
topology
scaling

description: The abelian Higgs model is the textbook example for the superconducting transition and the Anderson-Higgs mechanism, and has become pivotal in the description of deconfined quantum criticality. We study the abelian Higgs model with $n$ complex scalar fields at unprecedented four-loop order in the $4-\epsilon$ expansion and find that the annihilation of the critical and bicritical points occurs at a critical number of $n_c \approx 182.95\left(1 - 1.752\epsilon + 0.798 \epsilon^2 + 0.362\epsilon^3\right) + \mathcal{O}\left(\epsilon^4\right)\nonumber$. Consequently, below $n_c$, the transition turns from second to first order. Resummation of the series to extract the result in three-dimensions provides strong evidence for a critical $n_c(d=3)$ which is significantly below the leading-order value, but the estimates for $n_c$ are widely spread. Conjecturing the topology of the renormalization group flow between two and four dimensions, we obtain a smooth interpolation function for $n_c(d)$ and find $n_c(3)\approx 12.2\pm 3.9$ as our best estimate in three dimensions. Finally, we discuss Miransky scaling occurring below $n_c$ and comment on implications for weakly first-order behavior of deconfined quantum transitions. We predict an emergent hierarchy of length scales between deconfined quantum transitions corresponding to different $n$.
An Existence Theorem of Nash Equilibrium in Coq and Isabelle
Creators: name: Roux, Stéphane Le
name: Martin-Dorel, Érik
name: Smaus, Jan-Georg
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: Nash equilibrium (NE) is a central concept in game theory. Here we prove formally a published theorem on existence of an NE in two proof assistants, Coq and Isabelle: starting from a game with finitely many outcomes, one may derive a game by rewriting each of these outcomes with either of two basic outcomes, namely that Player 1 wins or that Player 2 wins. If all ways of deriving such a win/lose game lead to a game where one player has a winning strategy, the original game also has a Nash equilibrium. This article makes three other contributions: first, while the original proof invoked linear extension of strict partial orders, here we avoid it by generalizing the relevant definition. Second, we notice that the theorem also implies the existence of a secure equilibrium, a stronger version of NE that was introduced for model checking. Third, we also notice that the constructive proof of the theorem computes secure equilibria for non-zero-sum priority games (generalizing parity games) in quasi-polynomial time.
description: In Proceedings GandALF 2017, arXiv:1709.01761
The Multifragmentation Freeze--Out Volume in Heavy Ion Collisions
Creators: name: Peilert, G.
name: Sangster, T. C.
name: Namboodiri, M. N.
name: Britt, H. C.
Publisher: name: arXiv
Year: 1993
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The reduced velocity correlation function for fragments from the reaction Fe + Au at 100 A~MeV bombarding energy is investigated using the dynamical--statistical approach QMD+SMM and compared to experimental data to extract the Freeze--Out volume assuming simultaneous multifragmentation.
description: 8 pages; 3 uuencoded figures available with figures command, LateX, UCRL-J-11571
RG inspired Machine Learning for lattice field theory
Creators: name: Foreman, S.
name: Giedt, J.
name: Meurice, Y.
name: Unmuth-Yockey, J.
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Machine learning has been a fast growing field of research in several areas dealing with large datasets. We report recent attempts to use Renormalization Group (RG) ideas in the context of machine learning. We examine coarse graining procedures for perceptron models designed to identify the digits of the MNIST data. We discuss the correspondence between principal components analysis (PCA) and RG flows across the transition for worm configurations of the 2D Ising model. Preliminary results regarding the logarithmic divergence of the leading PCA eigenvalue were presented at the conference and have been improved after. More generally, we discuss the relationship between PCA and observables in Monte Carlo simulations and the possibility of reduction of the number of learning parameters in supervised learning based on RG inspired hierarchical ansatzes.
description: Talk given by Yannick Meurice at the conference Lattice 2017, Granada, Spain
Education
Creators: name: Ridge, Eleanor
Publisher: name: COCOON - https://cocoon.huma-num.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: Vatlongos
subject: tvk

description: Conforms to: doi:10.34847/cocoon.49aefa90-8c1f-3ba8-a099-0ebefc6a2aa7
The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence
Creators: name: Cantone, Domenico
name: Giarlotta, Alfio
name: Watson, Stephen
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Given a set U of alternatives, a choice (correspondence) on U is a contractive map c defined on a family Omega of nonempty subsets of U. Semantically, a choice c associates to each menu A in Omega a nonempty subset c(A) of A comprising all elements of A that are deemed selectable by an agent. A choice on U is total if its domain is the powerset of U minus the empty set, and partial otherwise. According to the theory of revealed preferences, a choice is rationalizable if it can be retrieved from a binary relation on U by taking all maximal elements of each menu. It is well-known that rationalizable choices are characterized by the satisfaction of suitable axioms of consistency, which codify logical rules of selection within menus. For instance, WARP (Weak Axiom of Revealed Preference) characterizes choices rationalizable by a transitive relation. Here we study the satisfiability problem for unquantified formulae of an elementary fragment of set theory involving a choice function symbol c, the Boolean set operators and the singleton, the equality and inclusion predicates, and the propositional connectives. In particular, we consider the cases in which the interpretation of c satisfies any combination of two specific axioms of consistency, whose conjunction is equivalent to WARP. In two cases we prove that the related satisfiability problem is NP-complete, whereas in the remaining cases we obtain NP-completeness under the additional assumption that the number of choice terms is constant.
description: In Proceedings GandALF 2017, arXiv:1709.01761. "extended" version at arXiv:1708.06121
Universal Knowledge Graph Embeddings
Creators: name: Kouagou, N'Dah Jean
name: Demir, Caglar
name: Zahera, Hamada M.
name: Wilke, Adrian
name: Heindorf, Stefan
name: Li, Jiayi
name: Ngomo, Axel-Cyrille Ngonga
Publisher: name: arXiv
Year: 2023
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: A variety of knowledge graph embedding approaches have been developed. Most of them obtain embeddings by learning the structure of the knowledge graph within a link prediction setting. As a result, the embeddings reflect only the structure of a single knowledge graph, and embeddings for different knowledge graphs are not aligned, e.g., they cannot be used to find similar entities across knowledge graphs via nearest neighbor search. However, knowledge graph embedding applications such as entity disambiguation require a more global representation, i.e., a representation that is valid across multiple sources. We propose to learn universal knowledge graph embeddings from large-scale interlinked knowledge sources. To this end, we fuse large knowledge graphs based on the owl:sameAs relation such that every entity is represented by a unique identity. We instantiate our idea by computing universal embeddings based on DBpedia and Wikidata yielding embeddings for about 180 million entities, 15 thousand relations, and 1.2 billion triples. We believe our computed embeddings will support the emerging field of graph foundation models. Moreover, we develop a convenient API to provide embeddings as a service. Experiments on link prediction suggest that universal knowledge graph embeddings encode better semantics compared to embeddings computed on a single knowledge graph. For reproducibility purposes, we provide our source code and datasets open access.
description: 5 pages, 3 tables
Gut Microbiota Profile - Autism Spectrum Disorder Relationship: Relative Lower Microbiota Diversity and Imbalance in Probiotics
Creators: name: Holy Rabetafika
name: Razafindralambo, Hary
Publisher: name: Zenodo
Year: 2021
Subjects: Diet supplementation
ASD
gluten intolerance
digestive troubles
Streptococcus/ Lactobacillus ratio

description: Probiotic-based diet supplementation is among potential treatments of Autism Spectrum Disorders (ASDs) because of the existing gut microbiota profile-mental health relationships. In order to conceive personalized probiotic supplements to an autistic adult within a family of neurotypical father, mother and sister, a gut microbiota profiling and comparison has been carried out through fecal sample analyses. The latest 16S rRNA technology has been used for microbial determination at the species level (Mymicrozoo analysis, The Netherlands). Less microbiota diversity and an uncommon higher Streptococci/Lactobacilli abundance ratio have been revealed in the autistic adult compared to his relatives. These results have been discussed in relation to his digestive issues.
Joint Fronthaul Load Balancing and Computation Resource Allocation in Cell-Free User-Centric Massive MIMO Networks
Creators: name: Li, Zhiyang
name: Göttsch, Fabian
name: Li, Siyao
name: Chen, Ming
name: Caire, Giuseppe
Publisher: name: arXiv
Year: 2023
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: We consider scalable cell-free massive multiple-input multiple-output networks under an open radio access network paradigm comprising user equipments (UEs), radio units (RUs), and decentralized processing units (DUs). UEs are served by dynamically allocated user-centric clusters of RUs. The corresponding cluster processors (implementing the physical layer for each user) are hosted by the DUs as software-defined virtual network functions. Unlike the current literature, mainly focused on the characterization of the user rates under unrestricted fronthaul communication and computation, in this work we explicitly take into account the fronthaul topology, the limited fronthaul communication capacity, and computation constraints at the DUs. In particular, we systematically address the new problem of joint fronthaul load balancing and allocation of the computation resource. As a consequence of our new optimization framework, we present representative numerical results highlighting the existence of an optimal number of quantization bits in the analog-to-digital conversion at the RUs.
description: 15 pages, 7 figures, accepted to be published in IEEE Transactions on Wireless Communications
Coercivity and stability results for an extended Navier-Stokes system
Creators: name: Iyer, Gautam
name: Pego, Robert
name: Zarnescu, Arghir D.
Publisher: name: Carnegie Mellon University
Year: 2012
Subjects: subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: In this paper, we study a system of equations that is known to extendNavier-Stokes dynamics in a well-posed manner to velocity fields that are not necessarily divergence-free. Our aim is to contribute to an understanding of the role of divergence and pressure in developing energy estimates capable of both controlling the nonlinear terms, and being useful at the time-discrete level. We address questions of global existence and stability in bounded domains with no-slip boundary conditions. Through use of new H 1coercivity estimates for the linear equations, we establish a number of global existence and stability results, including results for small divergence and a time-discrete scheme. We also prove global existence in 2D for any initial data, provided sufficient divergence damping is included.
A journey to North Ambrym
Creators: name: Ridge, Eleanor
Publisher: name: COCOON - https://cocoon.huma-num.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: Vatlongos
subject: tvk

description: Conforms to: doi:10.34847/cocoon.49aefa90-8c1f-3ba8-a099-0ebefc6a2aa7
Basin evolution, deformation, and magmatism during variable tectonic regimes in the region linking the central and northern Andes
Creators: name: George, Sarah Winspeare Merriam
Publisher: name: The University of Texas at Austin
Year: 2019
Subjects: Andes Mountains
Peru
Ecuador
Tectonics
Provenance
Accretion
U-Pb zircon geochronology
Mesozoic
Cenozoic

description: Cordilleran style margins exhibit significant heterogeneities both along-strike and through time. These changes in tectonic regime influence sediment routing systems and topographic growth, and are often recorded in proximal basin systems. This dissertation addresses pre-Andean through Andean tectonic regimes in northern Peru and Ecuador. Although Peru has been the site of continuous subduction since at least the Jurassic, Andean shortening and associated flexure in the foreland basin system did not initiate until the latest Cretaceous. Chapter 2 explores the pre-Andean basin system and transition to Andean shortening in northern Peru. This chapter provides new maximum depositional age constraints and demonstrates protracted accumulation in extensional and post-extensional basins preceding the late Cretaceous shift to regional shortening and associated reversal of sedimentary polarity. In Ecuador, the onset of Andean shortening briefly predates the accretion of a sliver of the Caribbean Large Igneous Province in the latest Cretaceous that now comprises the bedrock to the Ecuadorian forearc. More recently, regional Neogene deformation appears to coincide with subduction of the buoyant Carnegie Ridge in the Ecuadorian trench. Chapter 3 discusses the impact of accretion and subduction of buoyant oceanic crust on the short- and long-term magmatic and deformational evolution of the Ecuadorian arc using regional detrital zircon U-Pb constraints on arc magmatism, a new reconstruction of arc location for the past 200 Ma, and a record of isotopic evolution of the magmatic arc from detrital zircons and arc rocks (εHf [subscript t] and εNd). A dramatic shift towards more evolved arc compositions at ca. 75 Ma is attributed to rapid crustal thickening. Neogene sediment dispersal systems in western Amazonia remain highly controversial, yet are significant for the birth of the Amazon River and establishment of a continuous drainage divide along western South America. Chapter 4 provides new insights into sediment routing systems in the Andes of Ecuador from Upper Cretaceous-Miocene hinterland deposits preserved between the Eastern and Western Cordilleras at 2.5 to 3 km above sea level. Using new measured sections, facies analysis, clast counts, paleocurrents, U-Pb geochronology, and palynology, this chapter demonstrates evaluates the basin infilling in the Andean basins, along with comparisons to forearc and foreland domains through time
title: Paratexte_Le Guide pratique de l'amateur polyglotte
Creators: name: AmateurS
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2021

description: Paratexte
description: ID_PARA_01070
STRUCTURE OF REFLECTIVE ACTIVITY OF FUTURE TEACHERS AND DIRECTIONS FOR ITS DEVELOPMENT
Creators: name: Kholbotaeva, Dilfuza
Publisher: name: Zenodo
Year: 2024

description: This article discusses the need for the formation of reflection skills in future teachers, its specific features, the relationship between reflexive activity and cultural outlook, the role of pedagogical reflection in the teacher's professional activity, the components of pedagogical reflection, their content, their functions, and the possibility of eliminating stereotypes in the teacher's thinking. The article serves as a resource for the scientific-pedagogical community, students, and researchers.