cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Tertiary terrigenous depositional systems of the Mexican isthmus basins
Creators: name: Ricoy, José Ulises, 1948-
Publisher: name: The University of Texas at Austin
Year: 1989
Subjects: subject: Stratigraphic geology
subject: Tertiary
subject: Lithofacies
subject: Mexico
subject: Isthmus of Tehuantepec
subject: Petroleum geology
subject: Geology, Stratigraphic--Tertiary
subject: Lithofacies--Mexico--Tehuantepec, Isthmus of
subject: Petroleum--Geology--Mexico--Tehuantepec, Isthmus of
subject: Geology--Mexico--Tehuantepec, Isthmus of

description: Seismic stratigraphy and lithostratigraphic correlation of well logs were integrated to determine the regional distribution and hydrocarbon potential of the Tertiary lithofacies in the Saline, Comalcalco, and Mesozoic-Villahermosa geological Provinces of the Mexican Isthmus (States of Veracruz, Tabasco and Chiapas). Four principal seismic stratigraphic units or depositional sequences were defined and integrated with stratigraphic well log correlations. The ages of these units are: (I) Paleocene-Oligocene; (II) lower Miocene; (III) middle-upper Miocene; and (IV) Pliocene. These seismic sequences exhibit progradational facies from south-southeast (Mesozoic-Villahermosa province) to north-northwest (Comalcalco and Saline provinces). The progradation of sediments toward the northeast was restricted by the Sitio Grande-Samaria structural high, although the structures allowed by pass of finer sediments and induced a channelization of sediments toward the southeast structural low Platanal-Papiro, where a depositional lobe was formed. The predominant depositional systems in each sequence are interpreted as follows: prodeltaic shelf muds to submarine fans (I); deltaic/submarine fans (II); deltaic (HI) and fluvio/deltaic (IV). The southeast depositional lobe (Platanal-Papiro) is interpreted as being essentially formed by prodeltaic to submarine fan facies of sequence IV. The hydrocarbon producing intervals were located on respective sequence maps: net sand, structural tops, and seismic sedimentary facies. Within each sequence, areas with seismic-sedimentary facies similar to the hydrocarbon producing intervals, areas of greater thicknesses, and depocenters located on relative structural highs, - were extrapolated as potential hydrocarbon producing fairways. The seismic reflectors representative of the Jurassic salt and the top of Jurassic-Cretaceous carbonates document the carbonates wedging from the Mesozoic Province (south-southeast) toward the salt Province (north-northwest), as well as depositional change in the same direction; the carbonates of the Mesozoic Province are interpreted to be shelf/slope deposits, and in the Comalcalco Basin as slope/abyssal deposits. This regional variation in depositional systems initially stimulated and later allowed greater salt structures to develop progressively from the southeast (Comalcalco Basin) to the northwest (Saline Province) in response to the Tertiary terrigenous sediment input
The snoring volcano shell
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
Learning Multi-Frequency Partial Correlation Graphs
Creators: name: D'Acunto, Gabriele
name: Di Lorenzo, Paolo
name: Bonchi, Francesco
name: Sardellitti, Stefania
name: Barbarossa, Sergio
Publisher: name: arXiv
Year: 2023
Subjects: subject: Machine Learning (cs.LG)
subject: Signal Processing (eess.SP)
subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Despite the large research effort devoted to learning dependencies between time series, the state of the art still faces a major limitation: existing methods learn partial correlations but fail to discriminate across distinct frequency bands. Motivated by many applications in which this differentiation is pivotal, we overcome this limitation by learning a block-sparse, frequency-dependent, partial correlation graph, in which layers correspond to different frequency bands, and partial correlations can occur over just a few layers. To this aim, we formulate and solve two nonconvex learning problems: the first has a closed-form solution and is suitable when there is prior knowledge about the number of partial correlations; the second hinges on an iterative solution based on successive convex approximation, and is effective for the general case where no prior knowledge is available. Numerical results on synthetic data show that the proposed methods outperform the current state of the art. Finally, the analysis of financial time series confirms that partial correlations exist only within a few frequency bands, underscoring how our methods enable the gaining of valuable insights that would be undetected without discriminating along the frequency domain.
description: Accepted at IEEE Transactions on Signal Processing
On the Correlation Between CO Absorption and Far-Ultraviolet Non-Linear Extinction Toward Galactic OB Stars
Creators: name: Burgh, Eric B.
name: McCandliss, Stephan R.
name: Andersson, B-G
name: Feldman, Paul D.
Publisher: name: arXiv
Year: 2000
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: A sample of 59 sight lines to reddened Galactic OB stars was examined for correlations of the strength of the CO Fourth Positive (A - X) absorption band system with the ultraviolet interstellar extinction curve parameters. We used archival high-dispersion NEWSIPS IUE spectra to measure the CO absorption for comparison to parametric fits of the extinction curves from the literature. A strong correlation with the non-linear far-UV curvature term was found with greater absorption, normalized to E(B-V), being associated with more curvature. A weaker trend with the linear extinction term was also found. Mechanisms for enhancing CO in dust environments exhibiting high non-linear curvature are discussed.
description: 10 pages, including 6 figures. LaTeX2e (emulateapj5.sty). To appear in ApJ, Sep 20, 2000
On a ship during cyclone Uma
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
Supplementary Material from An intermediate crocodylian linking two extant gharials from the Bronze Age of China and its human-induced extinction
Creators: name: Iijima, Masaya
name: Qiao, Yu
name: Lin, Wenbin
name: Peng, Youjie
name: Yoneda, Minoru
name: Liu, Jun
Publisher: name: The Royal Society
Year: 2022

description: Full description of Hanyusuchus sinensis, morphological comparisons, extended methodology, results of maximum parsimony analyses, and supplementary figures and tables
Beyond $ω$BS-regular Languages: $ω$T-regular Expressions and Counter-Check Automata
Creators: name: Della Monica, Dario
name: Montanari, Angelo
name: Sala, Pietro
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: In the last years, various extensions of ω-regular languages have been proposed in the literature, including ωB-regular (ω-regular languages extended with boundedness), ωS-regular (ω-regular languages extended with strict unboundedness), and ωBS-regular languages (the combination of ωB- and ωS-regular ones). While the first two classes satisfy a generalized closure property, namely, the complement of an ωB-regular (resp., ωS-regular) language is an ωS-regular (resp., ωB-regular) one, the last class is not closed under complementation. The existence of non-ωBS-regular languages that are the complements of some ωBS-regular ones and express fairly natural properties of reactive systems motivates the search for other well-behaved classes of extended ω-regular languages. In this paper, we introduce the class of ωT-regular languages, that includes meaningful languages which are not ωBS-regular. We first define it in terms of ωT-regular expressions. Then, we introduce a new class of automata (counter-check automata) and we prove that (i) their emptiness problem is decidable in PTIME and (ii) they are expressive enough to capture ωT-regular languages (whether or not ωT-regular languages are expressively complete with respect to counter-check automata is still an open problem). Finally, we provide an encoding of ωT-regular expressions into S1S+U.
description: In Proceedings GandALF 2017, arXiv:1709.01761
Rhenium(V) complexes with selenolato‐ and tellurolato‐substituted Schiff bases – Released PPh3 as a facile reductant
Creators: name: Jungfer, Maximilian Roca
name: Hagenbach, Adelheid
name: Lang, Ernesto Schulz
name: Abram, Ulrich
Publisher: name: Freie Universität Berlin
Year: 2019
Subjects: subject: Rhenium
subject: selenolates
subject: tellurolates
subject: Schiff bases
subject: reduction
subject: 500 Naturwissenschaften und Mathematik::540 Chemie::546 Anorganische Chemie

description: The salicylidene Schiff bases of bis(2‐aminophenyl)diselenide and ‐ditelluride react with [ReOCl3(PPh3)2] or the arylimidorhenium(V) compounds [Re(NPhR)Cl3(PPh3)2] (R = H, F, CF3) with formation of rhenium(V) complexes with tridentate {O,N,Se/Te} chalcogenolato ligands. The ligands adopt a facial coordination mode with the oxygen donors trans to the multiply bonded O2– or NPhR2– ligands. The reduction of the dichalcogenides and the formation of the chalcogenolato ligands occurs in situ by released PPh3 ligands. The absence of additional reducing agents provides good yields of products with rhenium in the high formal oxidation state “+5”. A mechanism for the dichalcogenide reduction is proposed on the basis of the experimental results. In accordance with the proposed mechanism, best yields are obtained with a strict exclusion of oxygen, but in the presence of water.
Model Checking Social Network Models
Creators: name: Pardo, Raúl
name: Schneider, Gerardo
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: A social network service is a platform to build social relations among people sharing similar interests and activities. The underlying structure of a social networks service is the social graph, where nodes represent users and the arcs represent the users' social links and other kind of connections. One important concern in social networks is privacy: what others are (not) allowed to know about us. The "logic of knowledge" (epistemic logic) is thus a good formalism to define, and reason about, privacy policies. In this paper we consider the problem of verifying knowledge properties over social network models (SNMs), that is social graphs enriched with knowledge bases containing the information that the users know. More concretely, our contributions are: i) We prove that the model checking problem for epistemic properties over SNMs is decidable; ii) We prove that a number of properties of knowledge that are sound w.r.t. Kripke models are also sound w.r.t. SNMs; iii) We give a satisfaction-preserving encoding of SNMs into canonical Kripke models, and we also characterise which Kripke models may be translated into SNMs; iv) We show that, for SNMs, the model checking problem is cheaper than the one based on standard Kripke models. Finally, we have developed a proof-of-concept implementation of the model-checking algorithm for SNMs.
description: In Proceedings GandALF 2017, arXiv:1709.01761
Cretaceous to Neogene tectonic control on sedimentation : Maracaibo Basin, Venezuela
Creators: name: Lugo Lobo, Jairo Miguel, 1955-
Publisher: name: The University of Texas at Austin
Year: 1991
Subjects: subject: Sedimentation
subject: Deposition
subject: Venezuela
subject: Maracaibo Basin
subject: Sediments
subject: Geology
subject: FOS: Earth and related environmental sciences
subject: Structural geology
subject: Stratigraphic geology
subject: Cretaceous
subject: Tertiary
subject: Sedimentation and deposition--Venezuela--Maracaibo Basin
subject: Sediments (Geology)--Venezuela--Maracaibo Basin
subject: Geology, Structural--Venezuela--Maracaibo Basin
subject: Geology, Stratigraphic--Cretaceous
subject: Geology, Stratigraphic--Tertiary
subject: Maracaibo Basin (Venezuela)

description: The Maracaibo basin records a complex tectonic and depositional history. Compilation of seismic and well data allows me to distinguish six tectonostratigraphic episodes. The first episode is characterized by Jurassic rifting along north-northeast-trending half-grabens filled with continental red beds and volcanics rocks. The second episode is characterized by the deposition of shallow to deep marine carbonates and clastic rocks in which subsidence rates increase away from the northwest-trending Mérida arch, a mid-Late Paleozoic northwest-trending range anchored to the Guayana Shield. The third episode is distinguished by oblique collision of south-southwest-verging Caribbean terranes toward the continental platform. As collision evolved, the tectonically carried crustal flexure and associated turbiditic basin migrated south-southeastward. Evidences from geohistory analysis shows the shift of the axis of subsidence in that direction. During this episode six unconformity-bounded deltaic wedges marked an equal number of regressive stages caused by thrust propagation above the flysch basin. Seismic clinoform orientations and sandstone composition document the regional northern provenance for such paralic wedges in the northeastern portion of the basin. The fourth episode developed from Late Eocene to Middle Miocene in which transpressive tectonism reactivated the structural weaknesses developed in the earlier rift. Left-lateral north-northeast-trending strike-slip faults and related en echelon secondary structures were built in two main active phases: one during Late Eocene and the other in Middle Miocene time. The reactivation of the main Icotea and Pueblo Viejo faults influenced the distribution of intrabasinal restraining bends, pull-apart basins, and associated sediment infill. The fifth episode is characterized by diachronous orogeny that began with Oligocene uplift along the Sierra de Perijá and continued southeastward toward the Mérida Andes. These uplifts created a closed depositional basin and converted the depositional environment from marine to continental. The six episode is characterized by compression evidenced by north-striking east-vergent reverse fault in the Sierra de Perijá
Serum Vitamin D Status and Its Relation with hs-CRP in Pre- and Postmenopausal Women
Creators: name: Gupta, Deepa
name: Singh, Neelima
name: Raizada, Arun
Publisher: name: Zenodo
Year: 2021
Subjects: Vitamin D
hs-CRP
Estradiol
premenopausal
postmenopausal women

description: Aim: Vitamin D deficiency is a major health issue that affects people of all ages, and especially elderly women. Menopause is a major milestone in a woman's life. With an increasing age, women are at high risk of several metabolic diseases. The aim of this study is to determine the levels of serum vitamin D and hs-CRP in premenopausal and postmenopausal women. Methods: A total of 500 female participants were used in the study, with 400 pre- and postmenopausal women serving as cases and 100 serving as healthy controls. Vitamin D levels in serum were determined using a chemiluminescent microparticle immunoassay process, and hs-CRP levels in serum were determined using a latex-enhanced turbidimetric immunoassay method. Serum Estradiol (E2) was estimated by competitive immunoassay method in all studied female subjects. Data were analyzed by using SPSS software, version 22.0. Results: When comparing pre- and postmenopausal women with control healthy women, vitamin D levels were significantly lower and hs-CRP levels were significantly higher (p<0.001) In postmenopausal women, serum estradiol levels were also significantly lower. In both pre- and postmenopausal women, we discovered a strong negative correlation between vitamin D deficiency and hs-CRP levels. Conclusion: Vitamin D deficiency is more common in postmenopausal women than in premenopausal women. In postmenopausal women, low-grade systemic inflammation is linked to an increased risk of cardiovascular disease, diabetes, and metabolic syndrome.
Supersymmetry, homology with twisted coefficients and n-dimensional knots
Creators: name: Ogasa, Eiji
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Let $n$ be any natural number. Let $K$ be any $n$-dimensional knot in $S^{n+2}$. We define a supersymmetric quantum system for $K$ with the following properties. We firstly construct a set of functional spaces (spaces of fermionic \{resp. bosonic\} states) and a set of operators (supersymmetric infinitesimal transformations) in an explicit way. Thus we obtain a set of the Witten indexes for $K$. Our Witten indexes are topological invariants for $n$-dimensional knots. Our Witten indexes are not zero in general. If $K$ is equivalent to the trivial knot, all of our Witten indexes are zero. Our Witten indexes restrict the Alexander polynomials of $n$-knots. If one of our Witten indexes for an $n$-knot $K$ is nonzero, then one of the Alexander polynomials of $K$ is nontrivial. Our Witten indexes are connected with homology with twisted coefficients. Roughly speaking, our Witten indexes have path integral representation by using a usual manner of supersymmetric theory.
description: 10pages, no figures
Nonlocal Andreev Entanglements and Triplet Correlations in Graphene with Spin Orbit Coupling
Creators: name: Beiranvand, Razieh
name: Hamzehpour, Hossein
name: Alidoust, Mohammad
Publisher: name: arXiv
Year: 2017
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Using a wavefunction Dirac Bogoliubov-de Gennes method, we demonstrate that the tunable Fermi level of a graphene layer in the presence of Rashba spin orbit coupling (RSOC) allows for producing an anomalous nonlocal Andreev reflection and equal spin superconducting triplet pairing. We consider a graphene junction of a ferromagnet-RSOC-superconductor-ferromagnet configuration and study scattering processes, the appearance of spin triplet correlations, and charge conductance in this structure. We show that the anomalous crossed Andreev reflection is linked to the equal spin triplet pairing. Moreover, by calculating current cross-correlations, our results reveal that this phenomenon causes negative charge conductance at weak voltages and can be revealed in a spectroscopy experiment, and may provide a tool for detecting the entanglement of the equal spin superconducting pair correlations in hybrid structures.
SHAXS OG'ISHGAN XULQINING PSIXOLOGIK KORREKSIYASI
Creators: name: Suleymanova, Tuxtaxon
name: Abdumuxtorova, Ra'no
Publisher: name: Zenodo
Year: 2024

description: Mazkur maqolada shaxsning og`ishgan xulqi turlicha ijtimoiy institutlar tomonidan boshqariladi. Jamoatchilik ta'siri huquqiy qonunlar, tibbiy aralashuv, pedagogik ta'sir, ijtimoiy ko`mak va psixologik yordam xarakterini olishi mumkin. Axloqiy buzilish murakkab xarakteri kuchida ularni ogohlantirish va bartaraf etish yaxshi uyushtirilgan ijtimoiy ta'sirlar tizimini talab qiladi. Maqolamizda shu kabi ma’lumotlar keltirib o`tilgan.
Working in Tourism
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
Theory of Coupled Pion--Trinucleon Systems
Creators: name: Canton, L.
name: Cattapan, G.
Publisher: name: arXiv
Year: 1993
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We derive the dynamical equations which consistently couple the four--body ($π$NNN) system to the underlying three--nucleon system. Our treatment can be considered the proper generalization of the Afnan--Blankleider equations for the coupled NN--$π$NN system. The resulting connected--kernel equation resembles in structure the Yakubovskii--Grassberger--Sandhas equation for the standard four--body problem, but involves 24 chain--labelled components (rather than the usual 18 ones) and allows for a consistent evaluation of reaction amplitudes involving $π$ absorption/production.
description: REVTEX, 13 pages, Padova, DFPD 93/TH/77
Working as a kindy teacher
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
Excitonic effects on the two-color coherent control of interband transitions in bulk semiconductors
Creators: name: Bhat, R. D. R.
name: Sipe, J. E.
Publisher: name: arXiv
Year: 2005
Subjects: subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: Quantum interference between one- and two-photon absorption pathways allows coherent control of interband transitions in unbiased bulk semiconductors; carrier population, carrier spin polarization, photocurrent injection, and spin current injection may all be controlled. We extend the theory of these processes to include the electron-hole interaction. Our focus is on photon energies that excite carriers above the band edge, but close enough to it so that transition amplitudes based on low order expansions in $\mathbf{k}$ are applicable; both allowed-allowed and allowed-forbidden two-photon transition amplitudes are included. Analytic solutions are obtained using the effective mass theory of Wannier excitons; degenerate bands are accounted for, but envelope-hole coupling is neglected. We find a Coulomb enhancement of two-color coherent control process, and relate it to the Coulomb enhancements of one- and two-photon absorption. In addition, we find a frequency dependent phase shift in the dependence of photocurrent and spin current on the optical phases. The phase shift decreases monotonically from $π/2$ at the band edge to 0 over an energy range governed by the exciton binding energy. It is the difference between the partial wave phase shifts of the electron-hole envelope function reached by one- and two-photon pathways.
description: 31 pages, 4 figures, to be published in Phys. Rev. B
Working as a nurse
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
Neutron-Capture Elements in the Early Galaxy: Insights from a Large Sample of Metal-Poor Giants
Creators: name: Burris, Debra L.
name: Pilachowski, Catherine A.
name: Armandroff, Taft E.
name: Sneden, Christopher
name: Cowan, John J.
name: Roe, Henry
Publisher: name: arXiv
Year: 2000
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: New abundances for neutron-capture (n-capture) elements in a large sample of metal-poor giants from the Bond survey are presented. The spectra were acquired with the KPNO 4-m echelle and coude feed spectrographs, and have been analyzed using LTE fine-analysis techniques with both line analysis and spectral synthesis. Abundances of eight n-capture elements (Sr, Y, Zr, Ba, La, Nd, Eu, Dy) in 43 stars have been derived from blue (lambda = 4070--4710, R~20,000, S/N ratio~100-200) echelle spectra and red (lambda = 6100--6180, R~22,000, S/N ratio~100-200) coude spectra, and the abundance of Ba only has been derived from the red spectra for an additional 27 stars. Overall, the abundances show clear evidence for a large star-to-star dispersion in the heavy element-to-iron ratios. The new data also confirm that at metallicities [Fe/H] = 56) n-capture elements in most giants is well-matched to a scaled Solar System r-process nucleosynthesis pattern. The onset of the main r-process can be seen at [Fe/H] ~ --2.9. Contributions from the s-process can first be seen in some stars with metallicities as low as [Fe/H] ~ --2.75, and are present in most stars with metallicities [Fe/H] > --2.3. The lighter n-capture elements (Sr-Y-Zr) are enhanced relative to the heavier r-process element abundances. Their production cannot be attributed solely to any combination of the Solar System r- and main s-processes, but requires a mixture of material from the r-process and from an additional n-capture process which can operate at early Galactic time.
description: Text + 5 Tables and 11 Figures: Submitted to the Astrophysical Journal
A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability
Creators: name: Busard, Simon
name: Pecheur, Charles
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Since the introduction of Alternating-time Temporal Logic (ATL), many logics have been proposed to reason about different strategic capabilities of the agents of a system. In particular, some logics have been designed to reason about the uniform memoryless strategies of such agents. These strategies are the ones the agents can effectively play by only looking at what they observe from the current state. ATL_ir can be seen as the core logic to reason about such uniform strategies. Nevertheless, its model-checking problem is difficult (it requires a polynomial number of calls to an NP oracle), and practical algorithms to solve it appeared only recently. This paper proposes a technique for model checking uniform memoryless strategies. Existing techniques build the strategies from the states of interest, such as the initial states, through a forward traversal of the system. On the other hand, the proposed approach builds the winning strategies from the target states through a backward traversal, making sure that only uniform strategies are explored. Nevertheless, building the strategies from the ground up limits its applicability to constrained reachability objectives only. This paper describes the approach in details and compares it experimentally with existing approaches implemented into a BDD-based framework. These experiments show that the technique is competitive on the cases it can handle.
description: In Proceedings GandALF 2017, arXiv:1709.01761
High-temperature carbonate replacement mineralization, metamorphism, deformation, and intrusion in the Bryant District, Beaverhead County, Montana
Creators: name: McGuire, James B.
Publisher: name: The University of Texas at Austin
Year: 2003
Subjects: subject: Bryant District
subject: Beaverhead County
subject: Montana
subject: Structural geology
subject: Carbonate replacement
subject: Mineralization
subject: Metamorphism
subject: Deformation
subject: Intrusion
subject: Geology, Structural--Montana--Beaverhead County
subject: Sedimentation and deposition--Montana--Beaverhead County
subject: Carbonates--Montana--Beaverhead County
subject: Metamorphism (Geology)--Montana--Beaverhead County
subject: Rock deformation--Montana--Beaverhead County
subject: Intrusions (Geology)--Montana--Beaverhead County

description: The Bryant District, in the southwest Montana fold-and-thrust belt, contains many structurally and lithologically controlled high-temperature carbonate replacement Pb-Zn-Cu-Ag-Au deposits. Laramide crustal shortening prepared Cambrian and Devonian carbonate strata for fluid circulation through thrusting and folding. Thrust-controlled mineralization is present in the Lion Mountain mines, whereas fold-controlled chimney-style mineralization is present in the Cleve-Avon mines. Pb isotopic evidence indicates that base and precious metals in the district were not directly sourced from phases of the adjacent Late Cretaceous Pioneer Batholith. Ore Pb was probably scavenged from the Middle Proterozoic Belt Supergroup that underlies the district. A small pluton, satellitic to the Pioneer Batholith, underlies the Hecla Dome and may have set up a hydrothermal system which produced carbonate replacement as well as Mo skarn mineralization. Fluid inclusions in ore-associated quartz from the Bryant District are CO2-rich and have salinities from 3 to 8 wt% NaCl equivalent with homogenization temperatures from 260 to 330°C. Fluorine-deficient porphyry Mo deposits in Montana and Idaho, most notably Cannivan Gulch 5 km northwest of the Bryant District, have remarkably similar fluid inclusion characteristics, suggesting that the Bryant District carbonate replacement deposits may be the distal portion of a porphyry Mo system. The mineralization in the Bryant District appears to be related to a late satellitic intrusion of the Pioneer Batholith. Such an intrusion was hypothesized (Winchell, 1914; Karlstrom, 1948) and recently proven by exploratory drilling on the Hecla Dome. Field evidence suggests that Pb-Zn-Cu-Ag-Au mineralization took place after most Laramide shortening, intrusion of the bulk of the Pioneer Batholith, regional metamorphism, and contact metamorphism related to the emplacement of an intrusion below the Hecla Dome
Continuous optimization by quantum adaptive distribution search
Creators: name: Morimoto, Kohei
name: Takase, Yusuke
name: Mitarai, Kosuke
name: Fujii, Keisuke
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Machine Learning (cs.LG)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: In this paper, we introduce the quantum adaptive distribution search (QuADS), a quantum continuous optimization algorithm that integrates Grover adaptive search (GAS) with the covariance matrix adaptation - evolution strategy (CMA-ES), a classical technique for continuous optimization. QuADS utilizes the quantum-based search capabilities of GAS and enhances them with the principles of CMA-ES for more efficient optimization. It employs a multivariate normal distribution for the initial state of the quantum search and repeatedly updates it throughout the optimization process. Our numerical experiments show that QuADS outperforms both GAS and CMA-ES. This is achieved through adaptive refinement of the initial state distribution rather than consistently using a uniform state, resulting in fewer oracle calls. This study presents an important step toward exploiting the potential of quantum computing for continuous optimization.
The effects of voters' commitment on media choice & use frequency
Creators: name: Zhou, Jianchuan
Publisher: name: The University of Texas at Austin
Year: 2004
Subjects: Voter commitment
Media choice

description: Using the data collected from a telephone survey before a 2002 gubernatorial election, this study analyzed the relationships among citizens’ commitment to vote, media use, and social characteristics. The result showed that news media fell short in its role of bringing up voter’s interest and commitment to participate in the election. Rather, vote commitment, which is a consequence of socioeconomic status, has a greater power to determine voters’ media use behavior. The result also showed that newspaper use is a stronger indicator of vote commitment than is television news use
Categories of relations and functional relations
Creators: name: Jayewardene, Romaine D.
name: Wyler, Oswald
Publisher: name: Carnegie Mellon University
Year: 1996
Subjects: subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Abstract: "We define relations and their composition in a category with ([Epsilon,Mu])-factorization structure, with [Mu] consisting of monomorphisms, but [Epsilon] not restricted to epimorphisms. We obtain an associativity criterion for composition of relations, and we study functional and induced relations."
The fat baby's escape
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 fundamental solution of unidirectional pulse propagation equation
Creators: name: Babushkin, Ihar
Publisher: name: Weierstrass Institute
Year: 2013
Subjects: subject: fundamental solution
subject: unidirectional pulse propagating equation
subject: 78A60
subject: 35Q61
subject: 35Q60

description: In the article the fundamental solution of a variant of wave equation known as ``unidirectional pulse propagation equation'' (UPPE) and its paraxial approximation is obtained. It is shown that the fundamental solution can be presented as a projection of a fundamental solution of the wave equation to some functional subspace. We discuss the degree of equivalence of UPPE and wave equation in this respect. In particular, we show that UPPE, in contrast to the widespread belief, describes the wave propagation in both directions simultaneously, and remark non-causal character of its solutions.
ТЕХНОЛОГИИ СОВЕРШЕНСТВОВАНИЯ ТОЛЕРАНТНОГО МЫШЛЕНИЯ У   СТУДЕНТОВ НА ОСНОВЕ ЦЕННОСТНО-ОРИЕНТИРОВОЧНЫХ ПОДХОДОВ
Creators: name: Юлдашева, Машхура
Publisher: name: Zenodo
Year: 2024

description: В научной статье рассматриваются технологии совершенствования толерантного мышления студентов на основе ценностно-ориентировочных подходов. Важность статьи состоит в том, что раскрываются понятия толерантного мышления, которое заключается в организации опыта толерантности к определенной цели, т. е. устойчивом создании условий, требующих совместных действий с окружающими нас людьми.
Bounded-hop percolation
Creators: name: Hirsch, Christian
Publisher: name: Weierstrass Institute
Year: 2015
Subjects: subject: Ad hoc network
subject: chemical distance
subject: connection probability
subject: continuum percolation
subject: 60K35
subject: 60D05

description: Motivated by an application in wireless telecommunication networks, we consider a two-type continuum-percolation problem involving a homogeneous Poisson point process of users and a stationary and ergodic point process of base stations. Starting from a randomly chosen point of the Poisson point process,we investigate distribution of the minimum number of hops that are needed to reach some point of the second point process.In the supercritical regime of continuum percolation, we use the close relationship between Euclidean and chemical distance to identify the distributional limit of the rescaled minimum number of hops that are needed to connect a typical Poisson point to a point of the second point process as its intensity tends to infinity. In particular, we obtain an explicit expression for the asymptotic probability that a typical Poisson point connects to a point of the second point process in a given number of hops.
Optimal entropy-transport problems and a new Hellinger--Kantorovich distance between positive measures
Creators: name: Liero, Matthias
name: Mielke, Alexander
name: Savaré, Giuseppe
Publisher: name: Weierstrass Institute
Year: 2016
Subjects: subject: Entropy-transport problem
subject: Hellinger-Kantorovich distance
subject: relative entropy
subject: optimality conditions
subject: cone over metric space
subject: 28A33
subject: 54E35
subject: 49Q20
subject: 49J35
subject: 49J40
subject: 49K35
subject: 46G99

description: We develop a full theory for the new class of Optimal Entropy-Transport problems between nonnegative and finite Radon measures in general topological spaces. They arise quite naturally by relaxing the marginal constraints typical of Optimal Transport problems: given a couple of finite measures (with possibly different total mass), one looks for minimizers of the sum of a linear transport functional and two convex entropy functionals, that quantify in some way the deviation of the marginals of the transport plan from the assigned measures. As a powerful application of this theory, we study the particular case of Logarithmic Entropy-Transport problems and introduce the new Hellinger-Kantorovich distance between measures in metric spaces. The striking connection between these two seemingly far topics allows for a deep analysis of the geometric properties of the new geodesic distance, which lies somehow between the well-known Hellinger-Kakutani and Kantorovich-Wasserstein distances.
Infinite hierarchy of nonlinear Schrödinger equations and their solutions
Creators: name: Ankiewicz, Adrian
name: Kedziora, David Jacob
name: Chowdury, Amdad
name: Bandelow, Uwe
name: Akhmediev, Nail
Publisher: name: Weierstrass Institute
Year: 2016
Subjects: subject: Nonlinear Schrödinger Equations
subject: Infinite Hierarchy
subject: Solitons
subject: Breathers
subject: Rogue Waves
subject: 35Q55
subject: 37K10
subject: 35C08
subject: 05.45.Yv
subject: 42.65.Tg
subject: 42.81.qb

description: We study the infinite integrable nonlinear Schrödinger equation (NLSE) hierarchy beyond the Lakshmanan-Porsezian-Daniel equation which is a particular (fourth-order) case of the hierarchy. In particular, we present the generalized Lax pair and generalized soliton solutions, plane wave solutions, AB breathers, Kuznetsov-Ma breathers, periodic solutions and rogue wave solutions for this infinite order hierarchy. We find that 'even' order equations in the set affect phase and 'stretching factors' in the solutions, while 'odd' order equations affect the velocities. Hence 'odd' order equation solutions can be real functions, while 'even' order equation solutions are always complex.
Machine Translation Evaluation with Neural Networks
Creators: name: Guzmán, Francisco
name: Joty, Shafiq R.
name: Màrquez, Lluís
name: Nakov, Preslav
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences
subject: I.2.7
subject: 68T50

description: We present a framework for machine translation evaluation using neural networks in a pairwise setting, where the goal is to select the better translation from a pair of hypotheses, given the reference translation. In this framework, lexical, syntactic and semantic information from the reference and the two hypotheses is embedded into compact distributed vector representations, and fed into a multi-layer neural network that models nonlinear interactions between each of the hypotheses and the reference, as well as between the two hypotheses. We experiment with the benchmark datasets from the WMT Metrics shared task, on which we obtain the best results published so far, with the basic network configuration. We also perform a series of experiments to analyze and understand the contribution of the different components of the network. We evaluate variants and extensions, including fine-tuning of the semantic embeddings, and sentence-based representations modeled with convolutional and recurrent neural networks. In summary, the proposed framework is flexible and generalizable, allows for efficient learning and scoring, and provides an MT evaluation metric that correlates with human judgments, and is on par with the state of the art.
description: Machine Translation, Reference-based MT Evaluation, Deep Neural Networks, Distributed Representation of Texts, Textual Similarity
Probing Off-diagonal Eigenstate Thermalization with Tensor Networks
Creators: name: Luo, Maxine
name: Trivedi, Rahul
name: Bañuls, Mari Carmen
name: Cirac, J. Ignacio
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Energy filter methods in combination with quantum simulation can efficiently access the properties of quantum many-body systems at finite energy densities [Lu et al. PRX Quantum 2, 020321 (2021)]. Classically simulating this algorithm with tensor networks can be used to investigate the microcanonical properties of large spin chains, as recently shown in [Yang et al. Phys. Rev. B 106, 024307 (2022)]. Here we extend this strategy to explore the properties of off-diagonal matrix elements of observables in the energy eigenbasis, fundamentally connected to the thermalization behavior and the eigenstate thermalization hypothesis. We test the method on integrable and non-integrable spin chains of up to 60 sites, much larger than accessible with exact diagonalization. Our results allow us to explore the scaling of the off-diagonal functions with the size and energy difference, and to establish quantitative differences between integrable and non-integrable cases.
description: Accepted version, 16 pages, 8 figures
Canonical forking in AECs
Creators: name: Boney, Will
name: Grossberg, Rami
name: Kolesnikov, Alexei
name: Vasey, Sebastien
Publisher: name: Carnegie Mellon University
Year: 2015
Subjects: subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Boney and Grossberg [BG] proved that every nice AEC has an independence relation. We prove that this relation is unique: In any given AEC, there can exist at most one independence relation that satisfies existence, extension, uniqueness and local character. While doing this, we study more generally properties of independence relations for AECs and also prove a canonicity result for Shelah’s good frames. The usual tools of first-order logic (like the finite equivalence relation theorem or the type amalgamation theorem in simple theories) are not available in this context. In addition to the loss of the compactness theorem, we have the added difficulty of not being able to assume that types are sets of formulas. We work axiomatically and develop new tools to understand this general framework.
title: ADCO, Neuvième cartulaire de Saint-Étienne de Dijon (1661 - 1684), Cart. 32 (G 136), 745 folios, f. 0317
Creators: name: de la Côte d'Or, Archives départementales
name: Petot, Frédéric
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: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP

description: Neuvième cartulaire de Saint-Étienne de Dijon (1661 - 1684), Archives départementales de la Côte-d'Or, Cart. 32 (G 136), 745 folios, f. 0317, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Neuvième cartulaire de Saint-Étienne de Dijon (1661 - 1684), Archives départementales de la Côte-d'Or, Cart. 32 (G 136), 745 folios, f. 0317, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye Saint-Étienne de Dijon
description: Provenance: http://www.wikidata.org/entity/Q15945019
On the Complexity of ATL and ATL* Module Checking
Creators: name: Bozzelli, Laura
name: Murano, Aniello
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.1; F.4.1

description: Module checking has been introduced in late 1990s to verify open systems, i.e., systems whose behavior depends on the continuous interaction with the environment. Classically, module checking has been investigated with respect to specifications given as CTL and CTL* formulas. Recently, it has been shown that CTL (resp., CTL*) module checking offers a distinctly different perspective from the better-known problem of ATL (resp., ATL*) model checking. In particular, ATL (resp., ATL*) module checking strictly enhances the expressiveness of both CTL (resp., CTL*) module checking and ATL (resp. ATL*) model checking. In this paper, we provide asymptotically optimal bounds on the computational cost of module checking against ATL and ATL*, whose upper bounds are based on an automata-theoretic approach. We show that module-checking for ATL is EXPTIME-complete, which is the same complexity of module checking against CTL. On the other hand, ATL* module checking turns out to be 3EXPTIME-complete, hence exponentially harder than CTL* module checking.
description: In Proceedings GandALF 2017, arXiv:1709.01761
Comments on Gluino Condensates in N=1/2 SYM Theory
Creators: name: Imaanpur, Ali
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Using Ward identities of N=1/2 supersymmetric Yang-Mills theory, we show that while the partition function and antichiral gluino condensates remain invariant under the $C$ deformation, chiral gluino correlators can get contributions from all gauge fields with instanton numbers $k\leq 1$. In particular, a Ward identity of the $U(1)_R$ symmetry allows us to determine the explicit dependence of chiral gluino correlators on the deformation parameter.
description: 11 pages, 4 figures, small changes, added a reference
Dimensions of press control : a factor analytic study of national characteristics and press systems of the world
Creators: name: Choo, Kwang Yung, 1940-
Publisher: name: The University of Texas at Austin
Year: 1976
Subjects: subject: Freedom of the press
subject: Freedom of information
subject: Government and the press
subject: National characteristics
subject: Press and politics
subject: Press control
subject: Comparative press control
subject: Comparative government
subject: Freedom of the press
subject: Freedom of information
subject: Government and the press
subject: National characteristics
subject: Comparative government
subject: Press and politics

description: The present study is an effort to identify the basic categories (or, factors or dimensions) of press control in countries around the world and to examine the relationships between these dimensions and political, socioeconomic and cultural characteristics of the society
СЛИЯНИЕ АНГЛИЙСКИХ СЛОВ С НЕМЕЦКИМИ В СОВРЕМЕННЫХ НЕМЕЦКОЯЗЫЧНЫХ ТЕКСТАХ
Creators: name: Тиляходжаева, Фазиля
Publisher: name: Zenodo
Year: 2024

description: Целью данной работы стал анализ появившихся в немецком лексиконе слов- денглиш, a также влияние их на перевод немецких текстов.В статье рассматриваются причины появления таких слов в немецкоязычных текстах.В результате исследования доказывается необходимость новых подходов при обучении переводу предложений со словами-денглишами.
ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems
Creators: name: Sandler, Andrei
name: Tveretina, Olga
Publisher: name: arXiv
Year: 2017
Subjects: subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Performance (cs.PF)
subject: FOS: Computer and information sciences

description: We present the ParaPlan tool which provides the reachability analysis of planar hybrid systems defined by differential inclusions (SPDI). It uses the parallelized and optimized version of the algorithm underlying the SPeeDI tool. The performance comparison demonstrates the speed-up of up to 83 times with respect to the sequential implementation on various benchmarks. Some of the benchmarks we used are randomly generated with the novel approach based on the partitioning of the plane with Voronoi diagrams.
description: In Proceedings GandALF 2017, arXiv:1709.01761
EcoSchisto protocol
Creators: name: Onwuchekwa, chukwuemeka
name: Verdonck, Kristien
name: Polman, Katja
name: Nieto-Sanchez, Claudia
Publisher: name: figshare
Year: 2021
Subjects: subject: 111706 Epidemiology
subject: FOS: Health sciences

description: This is the protocol for the EcoSchisto systematic review and meta-analysis as registered in PROSPERO