cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Temporal quadratic solitons and their interaction with dispersive waves in Lithium Niobate nano-waveguides
Creators: name: Rowe, William R.
name: Skryabin, Dmitry V.
name: Gorbach, Andrey V.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We present a model of soliton propagation in waveguides with quadratic nonlinearity. Criteria for solitons to exist in such waveguides are developed and two example nano-waveguide structures are simulated as proof of concept. Interactions between quadratic solitons and dispersive waves are analysed giving predictions closely matching soliton propagation simulations. The example structures are found to support five different regimes of soliton and quasi-soliton existence. Pulse propagation in these example waveguides has been simulated confirming the possibility of soliton generation at experimentally accessible powers. Simulations of multi-soliton generation, Cherenkov radiation and quasi-solitons with opposite signs of dispersion in the fundamental and second harmonic are also presented here.
description: 10 pages, 4 figures
Incentives of small countries to participate in a global free trade agreement in agriculture: a theoretical analysis
Creators: name: May, Daniel E.
name: May, Daniel E.
Publisher: name: Unknown
Year: 2011
Subjects: subject: Agribusiness
subject: International Relations/Trade
subject: International Trade Networks
subject: Agricultural Trade Liberalization
subject: Compensatory Payments

description: During the last two decades a number of international rounds have been carried out with the objective of reaching a global free trade agreement in agriculture (GFTA). However, little progress has been made. A recent theoretical research based on the new literature on international trade networks revealed that the existing lack of agricultural liberalisation could equate to a structural problem under the assumption of identical countries in market size. The present article extends this new research to study in particular the incentives of small countries such as Chile to deviate from GFTA (i.e. when countries are asymmetric in market size)
Sistema de Autenticación por Credenciales Criptográficas Disociadas (SACRED)
Creators: name: Bahit, Eugenia
Publisher: name: figshare
Year: 2020
Subjects: subject: Computer Software
subject: FOS: Computer and information sciences
subject: Computer Engineering
subject: 80303 Computer System Security
subject: Applied Computer Science
subject: Theoretical Computer Science

description: En este trabajo de investigación, la autora propone un mecanismo de autenticación para la generación de credenciales de usuario en tiempo de ejecución, mediante el uso de algoritmos criptográficos, que permita la validación de identidades sin necesidad de almacenar nombres de usuario o contraseñas.
Euphorbia foliolosa Boissier 1862
Creators: name: Silva, Otávio Luis Marques Da
name: Cordeiro, Inês
name: Caruzo, Maria Beatriz Rossi
Publisher: name: Zenodo
Year: 2014
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Malpighiales
Euphorbiaceae
Euphorbia
Euphorbia foliolosa

description: 7. Euphorbia foliolosa Boissier (1862: 24) (Fig. 2F–I). Lectotype (designated here):— BRASIL. Minas Gerais: ad Trinidade, J.B.E. Pohl 1670 (holotype B†, photo F!, lectotype W0031076!, isolectotype W0031077!).
 Distribution and habitat:— Euphorbia foliolosa is endemic to Brazil (São Paulo and Minas Gerais). In the State of São Paulo the species occurs in cerrado vegetation.
 Representative Specimen:— BRAZIL. São Paulo: Pedregulho, 30 October 2013, O.L.M. Silva et al. 97 (SP).
 Taxonomic notes:— Euphorbia foliolosa is very similar to E. hyssopifolia and E. bahiensis but may be easily identified among them by its longer (> 1.5 mm in E. foliolosa vs. up to 1.5 mm in E. hyssopifolia and E. bahiensis) and entire (vs. bifid in E. hyssopifolia and E. bahiensis) styles, and venation pattern (cladodromous in E. foliolosa vs. actinodromous in E. hyssopifolia and E. bahiensis). One notable characteristic of E. foliolosa, besides its very long styles, is the blackish apex of the teeth of the leaf margin.
description: Published as part of Silva, Otávio Luis Marques Da, Cordeiro, Inês & Caruzo, Maria Beatriz Rossi, 2014, Synopsis of Euphorbia (Euphorbiaceae) in the state of São Paulo, Brazil, pp. 193-215 in Phytotaxa 181 (4) on page 200, DOI: 10.11646/phytotaxa.181.4.1, http://zenodo.org/record/5146135
The Expansion of Food Retail in Developing Countries and Its Effects on the Hunger Index
Creators: name: Wells, Patricia Bryn
name: Saghaian, Sayed H.
name: Osborne, William
name: Wells, Patricia Bryn
name: Saghaian, Sayed H.
name: Osborne, William
Publisher: name: Unknown
Year: 2013
Subjects: subject: Agribusiness
subject: Agricultural and Food Policy
subject: Community/Rural/Urban Development
subject: Consumer/Household Economics
subject: Food Consumption/Nutrition/Food Safety
subject: Food Security and Poverty
subject: Production Economics
subject: Food Retail Expansion
subject: Hunger Index
subject: Developing Countries

description: This paper presents an empirical analysis of the relationship between the expansion of food retailing in developing countries and hunger index. Our analysis found mixed results between the expansion of food retailing and hunger index for four different countries. These results demonstrate possibilities for food retail expansion in developing countries.
Parameters of the Effective Singlet-Triplet Model for Band Structure of High-$T_c$ Cuprates by Different Approaches
Creators: name: Korshunov, M. M.
name: Gavrichkov, V. A.
name: Ovchinnikov, S. G.
name: Pchelkina, Z. V.
name: Nekrasov, I. A.
name: Korotin, M. A.
name: Anisimov, V. I.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: The present paper covers the problem of parameters determination for High-$T_c$ superconductive copper oxides. Different approaches, {\it ab initio} LDA and LDA+U calculations and Generalized Tight-Binding (GTB) method for strongly correlated electron systems, are used to calculate hopping and exchange parameters of the effective singlet-triplet model for $CuO_2$-layer. The resulting parameters are in remarkably good agreement with each other and with parameters extracted from experiment. This set of parameters is proposed for proper quantitative description of physics of hole doped High-$T_c$ cuprates in the framework of effective models.
description: PACS 74.72.h; 74.20.z; 74.25.Jb; 31.15.Ar
Answer Set Counting and its Applications
Creators: name: Kabir, Mohimenul
Publisher: name: arXiv
Year: 2025
Subjects: subject: Computation and Language (cs.CL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We have focused on Answer Set Programming (ASP), more specifically, answer set counting, exploring both exact and approximate methodologies. We developed an exact ASP counter, sharpASP, which utilizes a compact encoding for propositional formulas, significantly enhancing efficiency compared to existing methods that often struggle with inefficient encodings. Our evaluations indicate that sharpASP outperforms current ASP counters on several benchmarks. In addition, we proposed an approximate ASP counter, named ApproxASP, a hashing-based counter integrating Gauss-Jordan elimination within the ASP solver, clingo. As a practical application, we employed ApproxASP for network reliability estimation, demonstrating superior performance over both traditional reliability estimators and #SAT-based methods.
description: In Proceedings ICLP 2024, arXiv:2502.08453
Pricing Milk to Farmers at Butter- Nonfat Dry Milk Plants
Creators: name: Walker, Scott A.
name: Walker, Scott A.
Publisher: name: Unknown
Year: 1953
Subjects: Agribusiness
Livestock Production/Industries

description: A new method of pricing milk to farmers at butter-nonfat milk plants that will reflect accurately and equitably the true net farm values of milk of various fat contents is urgently needed. On completion of a regional research study on the costs and efficiencies of 12 specialized butter-powder plants in the Pacific Northwest it became apparent to the author of this paper that such an accurate, equitable, and feasible producer pricing system could be devised.' The study was conducted in cooperation with the Bureau of Agricultural Economics and the Farm Credit Administration. This paper describes and analyzes the pricing plan that was developed from a detailed analysis of the physical and monetary input-output relationships in these plants. This plan is a simple and logical approach to the joint-cost problem that is so often a source of confusion in marketing studies. Essentially, it provides a formula for evaluating the differential in net farm value of milk, delivered to butterpowder plants, corresponding to differences in butterfat tests of milk. It does this in a way that gives a valid reflection of the differences in net returns from milk without involving allocations of overhead costs between the joint products. The paper is published with the approval of the Director of the Idaho Agricultural Experiment Station as Research Paper No. 368.
Neutrinos under Strong Magnetic Fields
Creators: name: Ferrer, Efrain J.
name: de la Incera, Vivian
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this talk we review the results on neutrino propagation under external magnetic fields. We concentrate on the effects of strong magnetic fields $M_{W}^{2}\gg B\gg m_{e}^{2}$ in neutral media. It is shown that the neutrino energy density get a magnetic contribution in the strong-field, one-loop approximation, which is linear in the Fermi coupling constant as in the charged medium. It is analyzed how this correction produces a significant oscillation resonance between electron-neutrinos and the other two active flavors, as well as with sterile neutrinos. The found resonant level-crossing condition is highly anisotropic. Possible cosmological applications are discussed. Effects due to primordial hypermagnetic fields on neutrinos propagating in the symmetric phase of the electroweak model are also presented. At sufficiently strong hypermagnetic fields, $B\geq T^{2}$, the neutrino energy is found to be similar to that of a massless charged particle with one-degree of freedom.
description: Talk given at the Fourth Tropical Workshop on Particle Physics and Cosmology, Cairns, Australia, June 9-13, 2003
Changes in Farm Land Ownership
Creators: name: Inman, Buis T.
name: Robison, Hilton E.
name: Inman, Buis T.
name: Robison, Hilton E.
Publisher: name: Unknown
Year: 1953
Subjects: Agribusiness
Farm Management
Land Economics/Use

description: As land represents more than half of the investment in agriculture in the United States, it follows that the nature of its ownership is related to the public interest. Our national supplies of food and fiber depend upon the output of the land. Title to it as he wishes. He may let it lie idle or exploit it. Also, the rights of ownership it confers upon the owner the right to use he may cultivate it; he may conserve it or provide the basis for the sharing of its returns. Data covering the ownership of farms by operators are available from the Censuses of Agriculture as far back as 1880. But the first major study of the ownership of rented farm lands was made in 1925.1 A much more inclusive study of owne rship, for 1945, was conducted by one of the authors of the following paper and an associate.2 In the following article, data on major types of owners in 1945 and in 1950 are compared to show the changes that occurred in the 5-year interim. The paper is based on a cooperative project of the Bureau of Agricultural Economics, and the Bureau of the Census.
Vacuum Polarization by a Magnetic Flux in a Cosmic String Background
Creators: name: Spinelly, J.
name: de Mello, E. R. Bezerra
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: In this paper we analyse the vacuum polarization effects due to a magnetic flux on massless fermionic fields in a cosmic string background. Three distinct configurations of magnetic fields are considered. In all of them the magnetic fluxes are confined in a long cylindrical tube of finite radius.
description: 7 pages, no figure. Invited talk at "Renormalization Group and Anomalies in Gravity and Cosmology",Ouro Preto, Brazil, March 17-23, 2003
Internet as a Source of Information: Usage among the Faculty Members and Students
Creators: name: Rangaswamy
Publisher: name: figshare
Year: 2020
Subjects: subject: Library and Information Studies
subject: FOS: Media and communications

description: Applications of ICT in Libraries and Information centres have a positive impact in changing the library environment. In this context, this paper made an attempt know the use of Internet by the faculty members and students of Engineering college libraries in Tumakuru city. The questionnaire was used to collect the data from the faculty members as well as students. The results of the study show that, the majority of respondents accessed the Internet using smart phone (67.40%) and 49.25% of them used at their college campus. The most of respondents visitedlibrary to read newspaper (61.48%) and 38.88% of respondents visited library to borrow and return books, while only 30% of respondents visited to library to read e-journals. Majority of faculty and students opined that the low Internet speed (46.29%) and high Internet cost (31.48%) are the major problems faced by the users.
Logical foundations of Smart Contracts
Creators: name: Kalala, Kalonji
Publisher: name: arXiv
Year: 2025
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Nowadays, sophisticated domains are emerging which require appropriate formalisms to be specified accurately in order to reason about them. One such domain is constituted of smart contracts that have emerged in cyber physical systems as a way of enforcing formal agreements between components of these systems. Smart contracts self-execute to run and share business processes through blockchain, in decentralized systems, with many different participants. Legal contracts are in many cases complex documents, with a number of exceptions, and many subcontracts. The implementation of smart contracts based on legal contracts is a long and laborious task, that needs to include all actions, procedures, and the effects of actions related to the execution of the contract. An ongoing open problem in this area is to formally account for smart contracts using a uniform and somewhat universal formalism. This thesis proposes logical foundations to smart contracts using the Situation Calculus, a logic for reasoning about actions. Situation Calculus is one of the prominent logic-based artificial intelligence approaches that provides enough logical mechanism to specify and implement dynamic and complex systems such as contracts. Situation Calculus is suitable to show how worlds dynamically change. Smart contracts are going to be implement with Golog (written en Prolog), a Situation Calculus-based programming language for modeling complex and dynamic behaviors.
description: In Proceedings ICLP 2024, arXiv:2502.08453
Present-day scaling relations of submm galaxies: origin of spheroidal sytems
Creators: name: Takagi, T.
name: Hanami, H.
name: Arimoto, N.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We analyse the spectral energy distributions (SEDs) of 23 submm galaxies and 3 ISO-detected EROs, all of which have the spectroscopic redshifts, by using an evolutionary SED model of starbursts. This SED model allows us to investigate intrinsic properties of starbursts, such as the starburst age and the mean stellar metallicity, as it takes into account the chemical evolution. Also, the intrinsic size of the starburst region is estimated from observed SEDs. Using this SED model, we predict colour, magnitude, and size of present-day descendants of submm galaxies, and derive scaling relations, such as the present-day colour-magnitude and size-magnitude relations. We argue that submm galaxies are the progenitors of present-day elliptical galaxies, provided that the initial mass function (IMF) of submm galaxies is slightly flatter than the Salpeter IMF. In this case, we find that 1) the mean present-day magnitude of submm galaxies is similar to that of L* elliptical galaxies, 2) the present-day colour-magnitude relation is consistent with that of elliptical galaxies, 3) the present-day size-magnitude relation of elliptical galaxies can be reproduced if massive submm galaxies consist of multiple starburst regions. We estimate the effect of feedback in submm galaxies as a function of starburst age. It is found that starburst regions in submm galaxies are likely to be self-regulated; i.e. the effect of feedback is nearly balanced with the self-gravity of starburst regions.
description: 27 pages, submitted to MNRAS
Ionizing Radiation Combined with PARP1 Inhibitor Reduces Radioresistance in Prostate Cancer with RB1/TP53 Loss
Creators: name: Fan, Yao
name: Fan, Hui
name: Quan, Zhen
name: XiaoHou Wu
Publisher: name: Taylor & Francis
Year: 2021
Subjects: subject: Biophysics
subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Pharmacology
subject: Cancer
subject: Hematology

description: Tumor suppressor genes RB1 and TP53 are altered frequently in prostate cancer (PC), whether RB1 and TP53 inactivation promotes radioresistance remains unclear. Herein, we demonstrated that RB1 loss enhanced ionizing radiation (IR)-induced DNA damage to inhibit cell proliferation and promote cellular senescence through a TP53-dependent pathway in LNCaP cells. Furthermore, the stabilization of TP53 was regulated by ATM-mediated phosphorylation of MDM2 at Ser395. However, inactivation of RB1/TP53 reversed DNA damage-induced cellular senescence and promoted radiation survival. Importantly, combined with PARP1 inhibitor restored radiosensitivity. This finding provides a potential approach for the therapy of PC with RB1/TP53 inactivation.
Present and Future Bounds on Non-Standard Neutrino Interactions
Creators: name: Davidson, S.
name: Pena-Garay, C.
name: Rius, N.
name: Santamaria, A.
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We consider Non-Standard neutrino Interactions (NSI), described by four-fermion operators of the form $(\barν_α γν_β) (\bar{f} γf)$, where $f$ is an electron or first generation quark. We assume these operators are generated at dimension $\geq 8$, so the related vertices involving charged leptons, obtained by an SU(2) transformation $ν_δ \to e_δ$, do not appear at tree level. These related vertices necessarily arise at one loop, via $W$ exchange. We catalogue current constraints from $\sin^2 θ_W$ measurements in neutrino scattering, from atmospheric neutrino observations, from LEP, and from bounds on the related charged lepton operators. We estimate future bounds from comparing KamLAND and solar neutrino data, and from measuring $\sin^2 θ_W$ at the near detector of a neutrino factory. Operators constructed with $ν_μ$ and $ν_e$ should not confuse the determination of oscillation parameters at a $ν$factory, because the processes we consider are more sensitive than oscillations at the far detector. For operators involving $ν_τ$, we estimate similar sensitivities at the near and far detector.
description: Erratum added at the end of the document
Commonsense Reasoning-Aided Autonomous Vehicle Systems
Creators: name: Kimbrell, Keegan
Publisher: name: arXiv
Year: 2025
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Autonomous Vehicle (AV) systems have been developed with a strong reliance on machine learning techniques. While machine learning approaches, such as deep learning, are extremely effective at tasks that involve observation and classification, they struggle when it comes to performing higher level reasoning about situations on the road. This research involves incorporating commonsense reasoning models that use image data to improve AV systems. This will allow AV systems to perform more accurate reasoning while also making them more adjustable, explainable, and ethical. This paper will discuss the findings so far and motivate its direction going forward.
description: In Proceedings ICLP 2024, arXiv:2502.08453
Spectrum of a Supersymmetric Color Superconductor
Creators: name: Faedo, Anton F.
name: Mateos, David
name: Pantelidou, Christiana
name: Tarrio, Javier
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We have recently shown that the ground state of ${\cal N} = 4$, SU($N_{\rm{\tiny c}}$) super Yang--Mills coupled to $N_{\rm{\tiny f}} \ll N_{\rm{\tiny c}}$ flavors, in the presence of non-zero isospin and R-symmetry charges, is a supersymmetric, superfluid, color superconductor. The holographic description consists of $N_{\rm{\tiny f}}$ D7-brane probes in AdS$_5\times$S$^5$ with electric and instantonic fields on their worldvolume. These correspond to fundamental strings and D3-branes dissolved on the D7-branes, respectively. Here we use this description to determine the spectrum of mesonic excitations. As expected for a charged superfluid we find non-relativistic, massless Goldstone modes. We also find extra ungapped modes that are not associated to the breaking of any global symmetries but to the supersymmetric nature of the ground state. If the quark mass is much smaller than the scale of spontaneous symmetry breaking a pseudo-Goldstone boson is also present. We highlight some new features that appear only for $N_{\rm{\tiny f}}> 2$. We show that, in the generic case of unequal R-symmetry charges, the dissolved strings and D3-branes blow up into a D5-brane supertube stretched between the D7-branes.
description: 29 pages plus appendices, 8 figures
A Category-Theoretic Perspective on Approximation Fixpoint Theory
Creators: name: Pollaci, Samuele
Publisher: name: arXiv
Year: 2025
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Approximation Fixpoint Theory (AFT) was founded in the early 2000s by Denecker, Marek, and Truszczyński as an abstract algebraic framework to study the semantics of non-monotonic logics. Since its early successes, the potential of AFT as a unifying semantic framework has become widely recognised, and the interest in AFT has gradually increased, with applications now ranging from foundations of database theory to abstract argumentation. The non-monotonic constructive processes that occur in many more areas of computer science, together with their associated semantic structures, can be successfully studied using AFT, which greatly simplifies their characterizations. The goal of my research is to take a step towards the lifting of AFT into a more general framework for constructive knowledge.
description: In Proceedings ICLP 2024, arXiv:2502.08453
title: Cities and Self-organization
Creators: name: Cellamare, Carlo
Publisher: name: Tracce Urbane. Rivista Italiana Transdisciplinare di Studi Urbani
Year: 2018
Subjects: Self-organization; Cities; urban practices; urban policies

description: In the contemporary city, we are today more and more witnessing different practices and processes of “re-appropriation of space”: regeneration of empty buildings, spaces of cultural production, urban gardens, green areas given renewed significance and re-shaped public spaces, and so on. Beside this, we could also mention experimentations that are activating new social services and welfare spaces, and finally squatting projects, which are defining different modes of co-existence, housing and service provision.

This is a vast field of activity and experience, with the widespread involvement and the leading role of the inhabitants, organized or not in committees or associations, and other local actors. Such experiences are both illegal and legal, and question the relationship and the very meaning of the institutions.

We should even consider in particular micro-practices that are able to broaden and transform the city from the bottom up, alongside more stable forms of social production. A specific kind of “city making” built upon a mix of practices, social relations and modes of local activation.
description: Tracce Urbane. Rivista Italiana Transdisciplinare di Studi Urbani, No 3 (2018): Spazi che abilitano/ Enabling Space
Euphorbia hirta Linnaeus 1753
Creators: name: Silva, Otávio Luis Marques Da
name: Cordeiro, Inês
name: Caruzo, Maria Beatriz Rossi
Publisher: name: Zenodo
Year: 2014
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Malpighiales
Euphorbiaceae
Euphorbia
Euphorbia hirta

description: 9. Euphorbia hirta Linnaeus (1753: 454) (Fig. 3C–E). Lectoype (designated by Wheeler 1939: 72):— INDIA. Locality unknown, Anonymous s.n. (LINN 630.7!).
 Distribution and habitat:— Euphorbia hirta is a worldwide tropical and subtropical weed. In the state of São Paulo the species is very common, mainly in disturbed areas.
 Representative Specimen:— BRAZIL. São Paulo: São José do Barreiro, 21 January 2013, O.L.M. Silva et al. 77 (SP).
 Taxonomic notes:— Euphorbia hirta is very similar to E. ophthalmica, but differs from it in having capitate dichasia along all the stem while, while E. ophthalmica these are restricted to the terminal portion of the stems. Besides, E. hirta is an erect herb, with stems branched only near the base, and its leaves are generally bigger than those of E. ophthalmica.
description: Published as part of Silva, Otávio Luis Marques Da, Cordeiro, Inês & Caruzo, Maria Beatriz Rossi, 2014, Synopsis of Euphorbia (Euphorbiaceae) in the state of São Paulo, Brazil, pp. 193-215 in Phytotaxa 181 (4) on page 200, DOI: 10.11646/phytotaxa.181.4.1, http://zenodo.org/record/5146135
Quantum sensing and control of spin state dynamics in the radical pair mechanism
Creators: name: Finkler, Amit
name: Dasari, Durga
Publisher: name: arXiv
Year: 2020
Subjects: subject: Quantum Physics (quant-ph)
subject: Biological Physics (physics.bio-ph)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: Radical pairs and the dynamics they undergo are prevalent in many chemical and biological systems. Specifically, it has been proposed that the radical pair mechanism results from a relatively strong hyperfine interaction with its intrinsic nuclear spin environment. While the existence of this mechanism is undisputed, the nanoscale details remain to be experimentally shown. We analyze here the role of a quantum sensor in detecting the spin dynamics (non-Markovian) of individual radical pairs in the presence of a weak magnetic field. We show how quantum control methods can be used to set apart the dynamics of radical pair mechanism at various stages of the evolution. We envisage these findings having far-reaching implications to the understanding of the physical mechanism in magnetoreception and other bio-chemical processes with a microscopic detail.
Hybrid Answer Set Programming: Foundations and Applications
Creators: name: Rühling, Nicolas
Publisher: name: arXiv
Year: 2025
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Answer Set Programming (ASP) is a powerful tool for solving real-world problems. However, many problems involve numeric values and complex constraints beyond the capabilities of standard ASP solvers. Hybrid solvers like CLINGCON and CLINGO[DL] address this by using specialized methods for specific constraints. However, these solvers lack a strong theoretical foundation.
 This issue has first been addressed by introducing the Logic of Here-and-There with constraints (HT_c) as an extension of the Logic of Here-and-There (HT) and its non-monotone extension Equilibrium Logic. Nowadays, HT serves as a logical foundation for ASP and has facilitated a broader understanding of this paradigm. The idea is that HTC (and other extensions) play an analogous role for hybrid ASP.
 There remain many open questions about these logics regarding their fundamental characteristics as well as their practical use in solvers, ie. how they can guide the implementation.
 Having a formal understanding of these hybrid logics is also needed to better understand the inherent structure of the (real-world) problems they are applied to and to improve their representations in ASP. As an example of an application of ASP we use product configuration.
description: In Proceedings ICLP 2024, arXiv:2502.08453
Making your data FAIR
Creators: name: Hettne, Kristina
Publisher: name: Zenodo
Year: 2021
Subjects: FAIR

description: Invited lecture on making data FAIR (Findable, Accessible, Interoperable and Reusable) at the May 7th, 2021 online course "Data management for Archaeologists" given by ARCHON research school of archaeology (https://www.archonline.nl/may-2021/data-management-for-archaeologists-2/).
PP-Waves, M-Theory and Fluxes
Creators: name: Becker, Katrin
name: Becker, Melanie
name: Sriharsha, Ram
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We study a new type of warped compactifications of M-theory on eight manifolds for which nowhere vanishing covariantly constant spinors of indefinite chirality on the internal manifold can be found. We derive the constraints on the fluxes and the warp factor following from supersymmetry and the equations of motion. We show, that the lift of Type IIB PP-waves to M-theory is a special type of solution of this general class of models. We comment on the relation between the Type IIB version of such compactifications as a dual description of the Polchinski-Strassler solution describing a four-dimensional confining gauge theory.
description: 22 Pages, TEX, no figures. Final version appearing in Nuclear Physics B
US abortion bans should not pre-empt the duty to provide life-saving abortion care to pregnant patients in medical emergencies
Creators: name: Heisler, Michele
name: Erenberg, Michelle
name: Torres, Karla
name: Mitchell, Nia
name: Arey, Whitney
name: Shah, Payal K
Publisher: name: Elsevier
Year: 2024

description:
Abortion care in the USA is increasingly difficult to access after the June, 2022 US Supreme Court’s Dobbs v Jackson Women’s Health Organization ruling overturned Roe v Wade. Since then many US states have banned abortion or introduced severe restrictions. On April 24, 2024, the US Supreme Court will hear a case to determine
whether state-level abortion bans can bar abortion even when protected under the Emergency Medical Treatment and Active Labor Act (EMTALA), a federal law which guarantees access to abortion when necessary to stabilise an emergency medical condition. Some opponents of abortion rights have argued that clinicians are wilfully denying abortion out of self-interest; in defending Texas’s strict law that bans abortion in most cases, one Texas Attorney General went so far as to tell patients to sue their physicians if they are denied an abortion under the state exemptions.
New Physics Contributions to The B -> phi K_S Decay
Creators: name: Chiang, Cheng-Wei
name: Rosner, Jonathan L.
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Recent measurements of the time-dependent CP asymmetry of the B -> phi K_S decay give results whose central values differ from standard model expectations. It is shown how such data can be used to identify new physics contributions in a model-independent manner. In general, a sizeable new amplitude with nontrivial weak and strong phases would be required to explain current data. Improvement in the quality of data will allow one to form a more definite conclusion.
description: 17 pages, 7 figures; some references added; analysis updated in light of recent BaBar data announced at Moriond conference
Early Validation of High-level Requirements on Cyber-Physical Systems
Creators: name: Vašíček, Ondřej
Publisher: name: arXiv
Year: 2025
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: The overarching, broad topic of my research are advancements in the area of safety-critical, cyber-physical systems (CPS) development with emphasis on validation and verification. The particular focus of my research is the early validation of high-level requirements on CPS. My current approach for tackling this problem is transforming the requirements into Event Calculus and subsequently reasoning about them using ASP solvers such as the grounding-free s(CASP). Below, I discuss my research, its current state, and the open issues that are still left to tackle. The first results of my work will be presented in a paper that was accepted for ICLP'24, which is my first paper in this area.
description: In Proceedings ICLP 2024, arXiv:2502.08453
Aproximación a un sistema de codificación para el tratamiento decimal de caracteres Unicode
Creators: name: Bahit, Eugenia
Publisher: name: figshare
Year: 2020
Subjects: subject: Computer Software
subject: FOS: Computer and information sciences
subject: Computer Engineering
subject: 80303 Computer System Security
subject: Theoretical Computer Science

description: En este trabajo, la autora propone una aproximación a un modelo teórico para el tratamiento decimal de datos a alto nivel, como mecanismo de validación de datos y prevención de vulnerabilidades.
A master equation for gravitational perturbations of maximally symmetric black holes in higher dimensions
Creators: name: Kodama, Hideo
name: Ishibashi, Akihiro
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We show that in four or more spacetime dimensions, the Einstein equations for gravitational perturbations of maximally symmetric vacuum black holes can be reduced to a single 2nd-order wave equation in a two-dimensional static spacetime for a gauge-invariant master variable, irrespective of the mode of perturbations. Our formulation applies to the case of vanishing as well as non-vanishing cosmological constant Lambda. The sign of the sectional curvature K of each spatial section of equipotential surfaces is also kept general. In the four-dimensional Schwarzschild background, this master equation for a scalar perturbation is identical to the Zerilli equation for the polar mode and the master equation for a vector perturbation is identical to the Regge-Wheeler equation for the axial mode. Furthermore, in the four-dimensional Schwarzschild-anti-de Sitter background with K=0,1, our equation coincides with those derived by Cardoso and Lemos recently. As a simple application, we prove the perturbative stability and uniqueness of four-dimensional non-extremal spherically symmetric black holes for any Lambda. We also point out that there exists no simple relation between scalar-type and vector-type perturbations in higher dimensions, unlike in four dimensions. Although we only treat maximally symmetric black holes in the present paper, the final master equations are valid even when the hirozon geometry is described by a generic Einstein manifold.
description: 22 pages in the PTP TeX style, no figure. The published version
title: Città e territorio: pratiche di autostruttrazione comunitaria nella Sicilia Occidentale. Danilo Dolci e il Centro di Studi e Iniziative sulla piena occupazione (1958 – 1968)
Creators: name: Leder, Francesca
Publisher: name: Tracce Urbane. Rivista Italiana Transdisciplinare di Studi Urbani
Year: 2018
Subjects: Pianificazione dal basso – maieutica popolare – sviluppo di comunità

description: Per coloro che si occupano di ‘autorganizzazione urbana’ il confronto con l’esperienza di Danilo Dolci in Sicilia costituisce un passaggio obbligato. A distanza di oltre sessant’anni dal suo avvio (1952) il ‘progetto siciliano’ costituisce una lezione imprescindibile, ricca di spunti di ispirazione. Anche la sua attualità è un dato inconfutabile: ne sono testimonianza tanto le cronache giornalistiche, quanto le indagini più accurate, tutte con il loro porre l’accento sul dramma irrisolto del degrado delle periferie di alcune realtà urbane, l’inarrestabile violenza sui più deboli il divario crescente tra ricchezza e povertà, gli sfregi all’ambiente, lo spreco di risorse non riproducibili. Un quadro problematico, geograficamente distribuito sul territorio italiano, con picchi di gravità al Sud, da cui emergono, oltre a sacche di irrisolta arretratezza, l’incapacità delle amministrazioni pubbliche di mettere in campo politiche in grado di interpretare i bisogni emergenti e di collaborare con le comunità locali per costruire assieme possibili vie di soluzione.

For those ones who are interested in urban self-organization the confrontation with Danilo Dolci’s experience has to be consider a necessary step. The ‘Sicilian project’, after more than sixty years from its start (1952), remains, even now, a fundamental and inspiring, but also highly topical, lesson. This is witnesses by both the daily news, as well by in-depth studies they never stop to underline the unsolved tragedy of the deterioration of the marginalized neighborhoods in many urban areas; nigh hopeless spiral of violence against the weakest ones; the increasing gap between richness and poverty; the defacement against the environment; the waist of un-reproducible natural and cultural resources. A problematic picture, geographically spread on the Italian territory, but even now much more diffused in the South, caused by different kind of social and cultural backwardness, but also by the public institutions and their incapacity in answering insurgent local needs, as well as in engaging their communities to build together solutions.
description: Tracce Urbane. Rivista Italiana Transdisciplinare di Studi Urbani, No 3 (2018): Spazi che abilitano/ Enabling Space
Reliable Conversational Agents under ASP Control that Understand Natural Language
Creators: name: Zeng, Yankai
Publisher: name: arXiv
Year: 2025
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: Efforts have been made to make machines converse like humans in the past few decades. The recent techniques of Large Language Models (LLMs) make it possible to have human-like conversations with machines, but LLM's flaws of lacking understanding and reliability are well documented. We believe that the best way to eliminate this problem is to use LLMs only as parsers to translate text to knowledge and vice versa and carry out the conversation by reasoning over this knowledge using the answer set programming. I have been developing a framework based on LLMs and ASP to realize reliable chatbots that "understand" human conversation. This framework has been used to develop task-specific chatbots as well as socialbots. My future research is focused on making these chatbots scalable and trainable.
description: In Proceedings ICLP 2024, arXiv:2502.08453
Antiresonance and interaction-induced localization in spin and qubit chains with defects
Creators: name: Dykman, M. I.
name: Santos, L. F.
Publisher: name: arXiv
Year: 2003
Subjects: subject: Condensed Matter (cond-mat)
subject: FOS: Physical sciences

description: We study a spin chain with an anisotropic XXZ coupling in an external field. Such a chain models several proposed types of a quantum computer. The chain contains a defect with a different on-site energy. The interaction between excitations is shown to lead to two-excitation states localized next to the defect. In a resonant situation scattering of excitations on each other might cause decay of an excitation localized on the defect. We find that destructive quantum interference suppresses this decay. Numerical results confirm the analytical predictions.
description: Updated version
The pair production of charmed mesons in the photon-photon interaction
Creators: name: Berezhnoy, A. V.
name: Kiselev, V. V.
name: Likhoded, A. K.
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In the framework of the constituent quark model the exclusive pair production of the charmed mesons in the photon-photon interaction is calculated. The comparison of these predictions with the ones of the heavy quark effective theory is performed. It is shown, that the light valence quark of D-meson plays the essential role not only in the hadronization process, but also in the production of the heavy c-quark. Moreover, it is shown, that because of the strong interaction between the initial photon field and the light quark charge the similar situation is kept even in the limit (m_{Q}\to \infty), whence it is concluded, that the application of the heavy quark effective theory in the case of the photon-photon interaction is not valid because it does not take into account one of the dominant mechanisms of the heavy meson production.
description: 15 pages, 6 figures
Guía de Referencias del Lenguaje C
Creators: name: Bahit, Eugenia
Publisher: name: figshare
Year: 2020
Subjects: subject: Computer Software
subject: FOS: Computer and information sciences
subject: Computer Engineering
subject: Applied Computer Science
subject: 80308 Programming Languages

description: 20. Guía de Referencias del Lenguaje C 309
Acerca de C 309
Estructura de un programa C 309
Requerimientos sintácticos 311
Compilación básica y ejecución 312
Archivos de encabezado más comunes de la librería estándar de C 313
Tipos de datos 314
Enteros, números de coma flotante y subtipos correspondientes 314
El tipo char y las cadenas de texto 316
Matrices (tipo: Array) 316
Acceso a elementos de un array 317
Valores booleanos 318
Valores nulos (void) 318
Conversión de tipos o encasillamiento (typecast) 318
Variables y Constantes 319
Ámbito y alcance de las variables 319
Definición y asignación de variables. 319
Especificador de tipo de almacenamiento 320
Constantes 321
Enumeración 322
Punteros 322
Estructuras 324
Definición de estructuras 324
Definición de cadenas de texto dentro de una estructura 325
Creación de variables basadas en estructuras 326
Acceso a las variables de una estructura 326
Ejemplos de uso de estructuras 326
Observaciones finales sobre las estructuras 328
Uniones 329
Operadores básicos 330
Operador unario sizeof 330
Estructuras de control de flujo 331
Estructuras de control condicionales 331
if/else 331
switch 331
Estructuras de control iterativas 332
while 332
for 332
do 332
break y continue 332
Declaración de retorno 333
goto 333
return 334
Preprocesadores comunes y definición de macros 334
Usos comunes de la librería stdio.h 335
Manejo básico de entrada y salida 335
Manejo de salida con printf() 335
Manejo de la entrada con scanf() 336
Manipulación de archivos 337
Apertura y cierre de archivos con fopen() y fclose() 337
Lectura y escritura de archivos con fread() y fwrite() 339
Manipulación del punto de acceso interno con fseek() y ftell() 340
Ejemplos de lectura y escritura de archivos 340
Manipulación de argumentos de línea de comandos 341
Asignación dinámica de memoria con las funciones malloc() y free() de stdlib.h 342
Entendiendo el montón 342
Funcionamiento del montón 342
Utilizar el montón 343
Liberar memoria 344
malloc() y typecast 345
Comprobación del puntero 345
Euphorbia hyssopifolia Linnaeus (1759: 1048
Creators: name: Silva, Otávio Luis Marques Da
name: Cordeiro, Inês
name: Caruzo, Maria Beatriz Rossi
Publisher: name: Zenodo
Year: 2014
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Malpighiales
Euphorbiaceae
Euphorbia
Euphorbia hyssopifolia

description: 10. Euphorbia hyssopifolia Linnaeus (1759: 1048) (Fig. 3F–H). Lectotype (designated by Fawcett & Rendle 1920: 339):— JAMAICA. Locality unknown, Anonymous s.n. (LINN 630.9!).
 Distribution and habitat:— Euphorbia hyssopifolia is a worldwide tropical and subtropical weed. In the State of São Paulo the species is very common in cerrado vegetation and disturbed areas.
 Representative Specimen:— BRAZIL. São Paulo: Angatuba, 17 December 2013, O.L.M. Silva et al. 40 (SP).
 Taxonomic notes:— Euphorbia hyssopifolia is similar to E. foliolosa and E. bahiensis. The species can be distinguished from E. foliolosa by leaf venation and styles (see notes on Euphorbia foliolosa). The distinction between E. hyssopifolia and E. bahiensis lies on their dichasia and their habitat (see notes on Euphorbia bahiensis).
 Euphorbia hyssopifolia is also similar to another common weedy species, E. hypericifolia Linnaeus (1753: 454) which was however not observed among the herbarium collections examined or during the fieldwork for this treatment. Euphorbia hypericifolia may be distinguished from E. hyssopifolia by the synflorescences with aphyllous distal nodes (vs. distal nodes with narrow and smaller leaves in E. hyssopifolia) and fruits 1.3–1.4 × 1.1–1.5 mm (vs. 1.5–1.6 × 1.7–1.8 mm in E. hyssopifolia).
description: Published as part of Silva, Otávio Luis Marques Da, Cordeiro, Inês & Caruzo, Maria Beatriz Rossi, 2014, Synopsis of Euphorbia (Euphorbiaceae) in the state of São Paulo, Brazil, pp. 193-215 in Phytotaxa 181 (4) on page 200, DOI: 10.11646/phytotaxa.181.4.1, http://zenodo.org/record/5146135
Spherical excision for moving black holes and summation by parts for axisymmetric systems
Creators: name: Calabrese, Gioel
name: Neilsen, David
Publisher: name: arXiv
Year: 2003
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: It is expected that the realization of a convergent and long-term stable numerical code for the simulation of a black hole inspiral collision will depend greatly upon the construction of stable algorithms capable of handling smooth and, most likely, time dependent boundaries. After deriving single grid, energy conserving discretizations for axisymmetric systems containing the axis of symmetry, we present a new excision method for moving black holes using multiple overlapping coordinate patches, such that each boundary is fixed with respect to at least one coordinate system. This multiple coordinate structure eliminates all need for extrapolation, a commonly used procedure for moving boundaries in numerical relativity. We demonstrate this excision method by evolving a massless Klein-Gordon scalar field around a boosted Schwarzschild black hole in axisymmetry. The excision boundary is defined by a spherical coordinate system co-moving with the black hole. Our numerical experiments indicate that arbitrarily high boost velocities can be used without observing any sign of instability.
description: 23 pages, 13 figures. Revised version