cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Emergy Analysis of Sustainability of Eco-economic System in Sichuan's Baisha River Valley
Creators: name: An, Yun
name: An, Yun
Publisher: name: Unknown
Year: 2012
Subjects: subject: Agribusiness
subject: Baisha River valley
subject: Eco-economic system
subject: Emergy analysis
subject: Sustainable development

description: Using emergy analysis method, I conduct quantitative analysis of social, economic and natural systems in Sichuan's Baisha River valley during the period 2002-2006, through the establishment of indicators. I compare the emergy of Baisha River valley, with that of Xinjiang's Manas River valley and Sichuan Province, and evaluate the sustainable development conditions in Baisha River valley, in order to provide corresponding reference for the development and utilization of Baisha River valley in the future. The results show that from the perspective of emergy input of economic system, Baisha River valley is a typical ecological and economic zone with rich resources to be developed; in terms of the development of natural conditions and utilization of ecological resources, the resource utilization intensity of Baisha River valley is weak and the environmental loading ratio there is low, thus the level of emergy yield needs to be improved; the system of Baisha River valley has enormous capacity for sustainable development and good potential for development.
ASP-driven User-interaction with Clinguin
Creators: name: Beiser, Alexander
name: Hahn, Susana
name: Schaub, Torsten
Publisher: name: arXiv
Year: 2025
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Human-Computer Interaction (cs.HC)
subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: D.1.6

description: We present clinguin, a system for ASP-driven user interface design. Clinguin streamlines the development of user interfaces for ASP developers by letting them build interactive prototypes directly in ASP, eliminating the need for separate frontend languages. To this end, clinguin uses a few dedicated predicates to define user interfaces and the treatment of user-triggered events. This simple design greatly facilitates the specification of user interactions with an ASP system, in our case clingo.
description: In Proceedings ICLP 2024, arXiv:2502.08453
MOESM1 of Study protocol of a randomised controlled feasibility study of food-related computerised attention training versus mindfulness training and waiting-list control for adults with overweight or obesity
Creators: name: Mercado, Daniela
name: Werthmann, Jessica
name: Campbell, Iain
name: Schmidt, Ulrike
Publisher: name: figshare
Year: 2020
Subjects: subject: Physiology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: Marine Biology
subject: Science Policy

description: Additional file 1. Participant Consent Form.
Ecological Restoration of Rocky Desertification in Hongfeng Lake Karst Area Based on SWOT Analysis
Creators: name: Liu, Long-Chun
name: Liu, Zhao-Jun
name: Xiong, Kang-Ning
name: Li, Chen
name: Liu, Long-Chun
name: Liu, Zhao-Jun
name: Xiong, Kang-Ning
name: Li, Chen
Publisher: name: Unknown
Year: 2012
Subjects: subject: Agribusiness
subject: Rocky desertification
subject: Demonstration area
subject: Ecological restoration
subject: SWOT analysis

description: In order to provide a reference for rocky desertification control in karst areas, we take the case of Hongfeng Lake Rocky Desertification Comprehensive Control Demonstration Area in Qingzhen City of Guizhou Province, and expound strength, weakness, opportunity and challenge in its ecological restoration, using SWOT analysis method in management sciences. And we finally put forth scientific strategies for ecological restoration in this demonstration area.
Additional file 2 of Hepatocellular carcinoma cells remodel the pro-metastatic tumour microenvironment through recruitment and activation of fibroblasts via paracrine Egfl7 signaling
Creators: name: Sun, Bo
name: Lei, Xiong
name: Cao, Momo
name: Li, Yiming
name: Yang, Lian-Yue
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Molecular Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Science Policy
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer

description: Additional file 2: Table S1. Clinicopathologic variables of HCC patients in the training cohort and validation cohort. Table S2. The primers of gene used for qRT-PCR. Table S3. Antibodies used in this study. Table S4. The Cox proportional hazard regression analyses for disease-free survival (DFS) and overall survival (OS) in the training cohort. Table S5. The Cox proportional hazard regression analyses for disease-free survival (DFS) and overall survival (OS) in the validation cohort. Table S6. A list of the secreted proteins differentially expressed by HCC cells with different metastatic potential.
A Prolog Program for Bottom-up Evaluation
Creators: name: Warren, David S.
Publisher: name: arXiv
Year: 2025
Subjects: subject: Programming Languages (cs.PL)
subject: Databases (cs.DB)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This short paper describes a simple and intuitive Prolog program, a metainterpreter, that computes the bottom up meaning of a simple positive Horn clause definition. It involves a simple transformation of the object program rules into metarules, which are then used by a metainterpreter to compute bottom up the model of the original program. The resulting algorithm is a form of semi-naive bottom-up evaluation. We discuss various reasons why this Prolog program is particularly interesting.
 In particular, this is perhaps the only Prolog program for which I find the use of Prolog's assert/1 to be intrinsic, easily understood, and the best, most perspicuous, way to program an algorithm. This short paper might be best characterized as a Prolog programming pearl.
description: In Proceedings ICLP 2024, arXiv:2502.08453
Factorization breaking in diffractive dijet production
Creators: name: Kaidalov, A. B.
name: Khoze, V. A.
name: Martin, A. D.
name: Ryskin, M. G.
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We study diffractive hard dijet production, with one or two rapidity gaps, at high energies. We emphasize that both hard and Regge factorization are broken in these processes. We show that a multi-Pomeron-exchange model for screening effects gives a specific pattern for the breakdown of factorization, which is in good agreement with diffractive dijet data collected at the Tevatron.
description: 6 pages, 1 figure
Agro-climatic Division of Rana chensinensis in Fushun
Creators: name: Li, Liang
name: Zhang, Yu
name: Li, Liang
name: Zhang, Yu
Publisher: name: Unknown
Year: 2012
Subjects: subject: Agribusiness
subject: Fushun
subject: Rana chensinensis
subject: Agro-climatic division

description: Based on data collected by 3 basic weather stations in Fushun City and 47 automatic weather stations in the whole region, we selected indexes suitable for agro-climatic division of Rana Chensinensis, and carried out a study on agro-climatic division of Rana Chensinensis in this region. Annual active accumulated temperature ≥10℃ and precipitation during April and September are used as basic calculation factors, and we use climatic aridity to make climatic division of Rana Chensinensis in Fushun City. According to relevant indexes, we divide Fushun City into 3 regions, namely most appropriate, appropriate and general regions. Finally, countermeasures and suggestions are put forward for providing reference for agricultural production.
Supersymmetry and Gravity in Noncommutative Field Theories
Creators: name: Rivelles, Victor O.
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 discuss the renormalization properties of noncommutative supersymmetric theories. We also discuss how the gauge field plays a role similar to gravity in noncommutative theories.
description: 8 pages, invited talk at "Renormalization Group and Anomalies in Gravity and Cosmology",Ouro Preto, Brazil, March 17-23, 2003
Application Model of New Agricultural Hotline Sci-tech Information Service System in Beijing
Creators: name: Cao, Cheng-Zhong
name: Zhang, Jun-Feng
name: Wang, Zheng
name: Luo, Chang-Shou
name: Geng, Dong-Mei
name: Cao, Cheng-Zhong
name: Zhang, Jun-Feng
name: Wang, Zheng
name: Luo, Chang-Shou
name: Geng, Dong-Mei
Publisher: name: Unknown
Year: 2012
Subjects: subject: Agribusiness
subject: Agriculture
subject: Hotline service system
subject: Information
subject: Model

description: To further promote information construction in rural areas and popularize agricultural information service, we introduced the content of new agricultural hotline sci-tech information service system construction, summed up application effect of the system, analyzed advantages and existing problems in the system development, and put forward countermeasures for its further development.
MOESM1 of Effect of temperature-control liner materials on long-term outcomes of lower limb prosthesis use: a randomized controlled trial protocol
Creators: name: Goeran Fiedler
name: Singh, Anita
name: Xueyi Zhang
Publisher: name: figshare
Year: 2020
Subjects: Biotechnology
Science Policy

description: Additional file 1. SPIRIT 2013 Checklist: Recommended items to address in a clinical trial protocol and related documents*.
Enhanced photon emission from a double-layer target at moderate laser intensities
Creators: name: Jirka, M.
name: Klimo, O.
name: Gu, Y. J.
name: Weber, S.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: In this paper we study photon emission in the interaction of the laser beam with an under-dense target and the attached reflecting plasma mirror. Photons are emitted due to the inverse Compton scattering when accelerated electrons interact with a reflected part of the laser pulse. The enhancement of photon generation in this configuration lies in using the laser pulse with a steep rising edge. Such a laser pulse can be obtained by the preceding interaction of the incoming laser pulse with a thin solid-density foil. Using numerical simulations we study the origin of such a laser pulse and its effect on photon emission. As a result, accelerated electrons can interact directly with the most intense part of the laser pulse that enhances photon emission. This approach increases the number of created photons and improves photon beam divergence.
Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
Creators: name: Marković, Đorđe
name: Denecker, Marc
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: Subtyping, also known as subtype polymorphism, is a concept extensively studied in programming language theory, delineating the substitutability relation among datatypes. This property ensures that programs designed for supertype objects remain compatible with their subtypes.
 In this paper, we explore the capability of order-sorted logic for utilizing these ideas in the context of Knowledge Representation. We recognize two fundamental limitations: First, the inability of this logic to address the concept rather than the value of non-logical symbols, and second, the lack of language constructs for constraining the type of terms. Consequently, we propose guarded order-sorted intensional logic, where guards are language constructs for annotating typing information and intensional logic provides support for quantification over concepts.
description: In Proceedings ICLP 2024, arXiv:2502.08453
The quantum gravitational black hole is neither black nor white
Creators: name: Singh, T. P.
name: Vaz, Cenalo
Publisher: name: arXiv
Year: 2004
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Understanding the end state of black hole evaporation, the microscopic origin of black hole entropy, the information loss paradox, and the nature of the singularity arising in gravitational collapse - these are outstanding challenges for any candidate quantum theory of gravity. Recently, a midisuperspace model of quantum gravitational collapse has been solved using a lattice regularization scheme. It is shown that the mass of an eternal black hole follows the Bekenstein spectrum, and a related argument provides a fairly accurate estimate of the entropy. The solution also describes a quantized mass-energy distribution around a central black hole, which in the WKB approximation, is precisely Hawking radiation. The leading quantum gravitational correction makes the spectrum non-thermal, thus providing a plausible resolution of the information loss problem.
description: 6 pages. This essay received the fourth award in the Gravity Research Foundation Essay Competition, 2004
Effects of Mechanical Harvesting on Sugarcane Stubble Quality and Growth of Ratoon
Creators: name: Chen, Chao-Jun
name: Liang, He
name: He, Zhang-Fei
name: Mo, Qing-Gui
name: Huang, Yan
name: Kuang, Wei-Sheng
name: Li, Tian-Shao
name: Lu, Guo-Ying
name: Chen, Chao-Jun
name: Liang, He
name: He, Zhang-Fei
name: Mo, Qing-Gui
name: Huang, Yan
name: Kuang, Wei-Sheng
name: Li, Tian-Shao
name: Lu, Guo-Ying
Publisher: name: Unknown
Year: 2012
Subjects: subject: Agribusiness
subject: Mechanical harvesting
subject: Stubble quality
subject: Ratoon
subject: Yield
subject: Sucrose content

description: The experiment was conducted with the traditional manual harvesting and mechanical harvesting of sugarcane, to compare the effects of different harvesting method on the sugarcane stubble quality and the growth of ratoon. The experimental results are as follows. (i) The stubble height and breaking stubble rate of mechanical harvesting was significantly higher than manual harvesting, the stubble height of lodging species and difficult defoliation species increased in mechanical harvesting condition. Varieties with higher levels of fiber had lower rate of broken stubble. (ii) The effects of mechanical harvesting on germination of next year ratoon were quite different due to different varieties, indicating that the better perennial species have less impact than the poor perennial species. (iii) Compared with manual harvesting, mechanical harvesting had slightly higher plant height and single-stem weight and less effective stems number, the difference of cane yield was not significant, but sucrose content increased 0.53%. (iv) Mechanical harvesting combining with leaves crushing could reduce the impact on the germination of ratoon, improve the single-stem weight and increase the effective number of stems.
Thermal Kinetic Inductance Detectors for millimeter-wave detection
Creators: name: Wandui, Albert
name: Bock, Jamie
name: Frez, Clifford
name: Hollister, Matthew
name: Minutolo, Lorenzo
name: Nguyen, Hien
name: Steinbach, Bryan
name: Turner, Anthony
name: Zmuidzinas, Jonas
name: O'Brient, Roger
Publisher: name: arXiv
Year: 2020
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: Thermal Kinetic Inductance Detectors (TKIDs) combine the excellent noise performance of traditional bolometers with a radio frequency multiplexing architecture that enables the large detector counts needed for the next generation of millimeter-wave instruments. In this paper, we first discuss the expected noise sources in TKIDs and derive the limits where the phonon noise contribution dominates over the other detector noise terms: generation-recombination, amplifier, and two-level system (TLS) noise. Second, we characterize aluminum TKIDs in a dark environment. We present measurements of TKID resonators with quality factors of about $10^5$ at 80 mK. We also discuss the bolometer thermal conductance, heat capacity, and time constants. These were measured by the use of a resistor on the thermal island to excite the bolometers. These dark aluminum TKIDs demonstrate a noise equivalent power NEP = $2 \times 10^{-17} \mathrm{W}/\mathrm{\sqrt{Hz}} $, with a $1/f$ knee at 0.1 Hz, which provides background noise limited performance for ground-based telescopes observing at 150 GHz.
description: 15 pages, 12 figures
A Coq Formalization of Unification Modulo Exclusive-Or
Creators: name: Xu, Yichi
name: Dougherty, Daniel J.
name: Bohrer, Rose
Publisher: name: arXiv
Year: 2025
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Equational Unification is a critical problem in many areas such as automated theorem proving and security protocol analysis. In this paper, we focus on XOR-Unification, that is, unification modulo the theory of exclusive-or. This theory contains an operator with the properties Associativity, Commutativity, Nilpotency, and the presence of an identity. In the proof assistant Coq, we implement an algorithm that solves XOR unification problems, whose design was inspired by Liu and Lynch, and prove it sound, complete, and terminating. Using Coq's code extraction capability we obtain an implementation in the programming language OCaml.
description: In Proceedings ICLP 2024, arXiv:2502.08453
Will the Markov model and partitioned survival model lead to different results? A review of recent economic evidence of cancer treatments
Creators: name: Mingjun Rui
name: Yingcheng Wang
name: Zhengyang Fei
name: Xueke Zhang
name: Shang, Ye
name: Hongchao Li
Publisher: name: Taylor & Francis
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer
subject: Science Policy

description: Introduction: Balancing the high cost of treatment brought about by new therapies has become a problem that needs to be considered. Cost-effectiveness analysis (CEA) is a commonly used method that provides information on the potential value of new cancer treatments. The Markov and partitioned survival (PS) models are commonly used. Whether the results differ between the models in empirical research and the methodological differences remain unclear. Areas covered: A review was conducted to identify Canadian Agency for Drugs and Technologies in Health (CADTH) reports and papers published during the past 5 years that reported full economic evaluations of cancer treatments and used both models. In the included studies, most results except one obtained using the two models did not significantly differ. Expert opinion: Not enough evidence could support that there existed relevant bias in empirical studies about the PS model, and more methodological research and application of empirical research should be performed. We recommended that when individual data are available and the model structure is not complicated, the PS model is more appropriate. Both the PS and Markov models are recommended to assess model structure uncertainty.
Risco de Liquidez em Cooperativas de Credito: Uma Abordagem a partir do Modelo Logit Multinomial
Creators: name: Goncalves, Rosiane M. Lima
name: Braga, Marcelo Jose
name: Goncalves, Rosiane M. Lima
name: Braga, Marcelo Jose
Publisher: name: Unknown
Year: 2006
Subjects: subject: Agricultural Finance
subject: Financial Economics
subject: cooperativas de economia e credito mutuo
subject: risco de liquidez
subject: logit multinomial
subject: Minas Gerais
subject: Credit unions and mutual savings
subject: liquidity risk
subject: Minas Gerais.

description: O risco de liquidez nas instituições financeiras está associado ao desequilíbrio entre os ativos negociáveis e passivos exigíveis. Outros fatores também afetam a liquidez das cooperativas de crédito, como a maior utilização da cooperativa para empréstimos do que para depósitos e a incapacidade em promover a diversificação geográfica e de produtos. Nesse sentido, esse estudo objetivou verificar, a partir de indicadores financeiros, se as cooperativas de economia e crédito mútuo de Minas Gerais estão em risco de liquidez e quais os determinantes desse risco. Foi utilizado o modelo de regressão logit multinomial, sendo as cooperativas classificadas em muito baixo, baixo, médio, alto e muito alto risco de liquidez. Os resultados analisados indicaram que valores menores dos indicadores utilização de capital de terceiros e provisionamento e valores maiores dos indicadores depósito total/operações de crédito e logaritmo do total de ativos tornam essas instituições mais líquidas. ----------------------------------------------------- The liquidity risk in financial institutions is associated with an imbalance between the trading assets and liabilities. Other factors also affect the liquidity of credit unions, such as greater use of the cooperative for loans than for deposits and failure to promote the product and geographic diversification. in that sense, this study aimed to verify, from financial indicators, if the cooperatives savings and credit mutual Minas Gerais are liquidity risk and what determinants of risk. We used multinomial logit regression model, and the cooperatives classified as very low, low, medium, high and very high liquidity risk. These results indicate that lower values ​​of the indicators use of capital and third-party provisioning and higher values ​​of the indicators total deposit / operations credit and logarithm of total assets these institutions become more liquid.
The Neutrino Mass Window for Baryogenesis
Creators: name: Buchmuller, W.
name: Di Bari, P.
name: Plumacher, M.
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Astrophysics (astro-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Interactions of heavy Majorana neutrinos in the thermal phase of the early universe may be the origin of the cosmological matter-antimatter asymmetry. This mechanism of baryogenesis implies stringent constraints on light and heavy Majorana neutrino masses. We derive an improved upper bound on the CP asymmetry in heavy neutrino decays which, together with the kinetic equations, yields an upper bound on all light neutrino masses of 0.1 eV. Lepton number changing processes at temperatures above the temperature T_B of baryogenesis can erase other, pre-existing contributions to the baryon asymmetry. We find that these washout processes become very efficient if the effective neutrino mass \tilde{m}_1 is larger than m_* \simeq 10^{-3} eV. All memory of the initial conditions is then erased. Hence, for neutrino masses in the range from (Δm^2_sol)^{1/2} \simeq 8*10^{-3} eV to (Δm^2_atm)^{1/2} \simeq 5*10^{-2} eV, which is suggested by neutrino oscillations, leptogenesis emerges as the unique source of the cosmological matter-antimatter asymmetry.
description: 29 pages, 12 figures included
Euphorbia elodes Boissier 1860
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 elodes

description: 6. Euphorbia elodes Boissier (1860: 29) (Fig. 2C–E). Types:— BRAZIL. São Paulo: In paludosis Brasiliae inter Mugy et Santo-Paulo, L. Riedel s.n. (syntype LE, isoyntypes P00716352!, P00716351!); Minas Gerais: A.F. Regnell s.n. (syntype S); same locality, J.F. Widgren s.n. (syntype S).
 Distribution and habitat:— Euphorbia elodes is endemic to Brazil (Distrito Federal, Goiás, Minas Gerais, São Paulo, Rio de Janeiro and Paraná). In the State of São Paulo it occurs in high montane habitats, frequently on swampy areas or riversides.
 Representative Specimen:— BRAZIL. São Paulo: São José do Barreiro, 21 January 2013, O.L.M. Silva et al. 71 (SP).
 Taxonomic notes:— Euphorbia elodes is very similar to E. rhabdodes but differs from it due to its actinodromous, short-petiolate leaves (vs. cladodromous and sessile leaves with revolute margin in E. rhabdodes, number of lateral axes of the pleiochasia (3 in E. elodes vs. 5 in E. rhabdodes), and seed coat (verrucose in E. elodes vs. rugose in E. rhabdodes). Another similar species is E. cordeiroae, which differs from E. elodes by the shape of cyathophylls, stipules and the perianth-like whorl of the pistillate flower (see notes on Euphorbia cordeiroae).
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 198, DOI: 10.11646/phytotaxa.181.4.1, http://zenodo.org/record/5146135
Wave scattering by a periodic perturbation: embedded Rayleigh-Bloch modes and resonances
Creators: name: Zhevandrov, P.
name: Merzon, A.
name: Rodríguez, M. I. Romero
name: Méndez, J. E. de la Paz
Publisher: name: arXiv
Year: 2019
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: The scattering of quasiperiodic waves for a two-dimensional Helmholtz equation with a constant refractive index perturbed by a function which is periodic in one direction and of finite support in the other is considered. The scattering problem is uniquely solvable for almost all frequencies and formulas of Breit-Wigner and Fano type for the reflection and transmission coefficients are obtained in a neighborhood of the resonance (a pole of the reflection coefficient). We indicate also the values of the parameters involved which provide total transmission and reflection. For some exceptional frequencies and perturbations (when the imaginary part of the resonance vanishes) the scattering problem is not uniquely solvable and in the latter case there exist embedded Rayleigh-Bloch modes whose frequencies are explicitly calculated in terms of infinite convergent series in powers of the small parameter characterizing the magnitude of the perturbation.
Generating Causally Compliant Counterfactual Explanations using ASP
Creators: name: Dasgupta, Sopam
Publisher: name: arXiv
Year: 2025
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: This research is focused on generating achievable counterfactual explanations. Given a negative outcome computed by a machine learning model or a decision system, the novel CoGS approach generates (i) a counterfactual solution that represents a positive outcome and (ii) a path that will take us from the negative outcome to the positive one, where each node in the path represents a change in an attribute (feature) value. CoGS computes paths that respect the causal constraints among features. Thus, the counterfactuals computed by CoGS are realistic. CoGS utilizes rule-based machine learning algorithms to model causal dependencies between features. The paper discusses the current status of the research and the preliminary results obtained.
description: In Proceedings ICLP 2024, arXiv:2502.08453
Small worlds and clustering in spatial networks
Creators: name: Boguna, Marian
name: Krioukov, Dmitri
name: Almagro, Pedro
name: Serrano, M. Angeles
Publisher: name: arXiv
Year: 2019
Subjects: subject: Physics and Society (physics.soc-ph)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Networks with underlying metric spaces attract increasing research attention in network science, statistical physics, applied mathematics, computer science, sociology, and other fields. This attention is further amplified by the current surge of activity in graph embedding. In the vast realm of spatial network models, only a few reproduce even the most basic properties of real-world networks. Here, we focus on three such properties---sparsity, small worldness, and clustering---and identify the general subclass of spatial homogeneous and heterogeneous network models that are sparse small worlds and that have nonzero clustering in the thermodynamic limit. We rely on the maximum entropy approach where network links correspond to noninteracting fermions whose energy dependence on spatial distances determines network small worldness and clustering.
Additional file 1 of Hepatocellular carcinoma cells remodel the pro-metastatic tumour microenvironment through recruitment and activation of fibroblasts via paracrine Egfl7 signaling
Creators: name: Sun, Bo
name: Lei, Xiong
name: Cao, Momo
name: Li, Yiming
name: Yang, Lian-Yue
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Molecular Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Science Policy
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer

description: Additional file 1: Fig. S1. Flow diagram for clinical study design with two independent cohorts of HCC patients enrolled. Fig S2. The proliferative ability of primary liver fibroblasts (LFs) and cancer-associated fibroblasts (CAFs). Fig S3. CAFs infiltration in HCC clinical samples. Fig S4. Egfl7 expression in LFs/CAFs and HCC clinical samples. Fig S5. Establishment of working cell lines. Fig S6. Collagen gel contraction assays were used to detect contraction ability of indicated liver fibroblasts (LFs). Fig S7. In vitro and in vivo assays to confirm the biological roles of Egfl7 in HCC cells.
Spatial analysis of agricultural supply response in the Brazilian Center-West
Creators: name: Figueiredo, Adriano Marcos Rodrigues
name: Bonjour, Sandra Cristina De Moura
name: Teixeira, Erly Cardoso
name: Helfand, Steven M.
name: Figueiredo, Adriano Marcos Rodrigues
name: Bonjour, Sandra Cristina De Moura
name: Teixeira, Erly Cardoso
name: Helfand, Steven M.
Publisher: name: Unknown
Year: 2011
Subjects: subject: Consumer/Household Economics
subject: Demand and Price Analysis
subject: Agriculture
subject: Brazil
subject: Spatial dependence
subject: Shares
subject: Profit

description: This study investigates the importance of spatial dependence and inter-relations due to geographic localization over the supply response to agricultural prices, in the Brazilian Center-West. Specifically, we evaluated: the spatial error dependence in the input demand and output supply; and, the importance of input and output prices in farmers response. The contribution to the literature is to combine a translog profit share system of equations with spatial error dependence, cross-sectional and four agricultural censuses. There are econometric evidences of spatial dependencies in the residuals. There were high positive spatial autocorrelation in products. This demonstrates an influence of other factors not included in the model, modifying the residuals only due to localization. There are substitution relations mainly to rice price changes and some omplementarities among others. Among factors, they were complements. The spatial effects in this study were very important, changing decisively the calculated elasticities, and showing that all analyzed products suffer from these effects.
Bridging Logic Programming and Deep Learning for Explainability through ILASP
Creators: name: Dreossi, Talissa
Publisher: name: arXiv
Year: 2025
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: My research explores integrating deep learning and logic programming to set the basis for a new generation of AI systems. By combining neural networks with Inductive Logic Programming (ILP), the goal is to construct systems that make accurate predictions and generate comprehensible rules to validate these predictions. Deep learning models process and analyze complex data, while ILP techniques derive logical rules to prove the network's conclusions. Explainable AI methods, like eXplainable Answer Set Programming (XASP), elucidate the reasoning behind these rules and decisions. The focus is on applying ILP frameworks, specifically ILASP and FastLAS, to enhance explainability in various domains. My test cases span weather prediction, the legal field, and image recognition. In weather forecasting, the system will predict events and provides explanations using FastLAS, with plans to integrate recurrent neural networks in the future. In the legal domain, the research focuses on interpreting vague decisions and assisting legal professionals by encoding Italian legal articles and learning reasoning patterns from Court of Cassation decisions using ILASP. For biological laboratories, we will collaborate with a research group to automate spermatozoa morphology classification for Bull Breeding Soundness Evaluation using YOLO networks and ILP to explain classification outcomes. This hybrid approach aims to bridge the gap between the high performance of deep learning models and the transparency of symbolic reasoning, advancing AI by providing interpretable and trustworthy applications.
description: In Proceedings ICLP 2024, arXiv:2502.08453
title: Graphiques de résultats
Creators: name: Leibowitch, Jacques (1942-2020)
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020

description: 1 fichier
description: created: start=2000;end=2003
Computational methods for Dynamic Answer Set Programming
Creators: name: Hahn, Susana
Publisher: name: arXiv
Year: 2025
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: I.2.4; I.2.8

description: In our daily lives and industrial settings, we often encounter dynamic problems that require reasoning over time and metric constraints. These include tasks such as scheduling, routing, and production sequencing. Dynamic logics have traditionally addressed these needs but often lack the flexibility and integration required for comprehensive problem modeling. This research aims to extend Answer Set Programming (ASP), a powerful declarative problem-solving approach, to handle dynamic domains effectively. By integrating concepts from dynamic, temporal, and metric logics into ASP, we seek to develop robust systems capable of modeling complex dynamic problems and performing efficient reasoning tasks, thereby enhancing ASPs applicability in industrial contexts.
description: In Proceedings ICLP 2024, arXiv:2502.08453
Multi-messenger and multi-physics Bayesian inference for GW170817 binary neutron star merger
Creators: name: Güven, H.
name: Bozkurt, K.
name: Khan, E.
name: Margueron, J.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Nuclear Theory (nucl-th)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The tidal deformability probability distribution extracted from GW170817 alone, or including multi-messenger information, is confronted to astrophysical and nuclear physics additional constraints within a semi-agnostic approach for the dense matter equation of state. We use Bayesian statistics to combine together low density nuclear physics data, such as the ab-initio predictions based on $χ$EFT interactions or the isoscalar giant monopole resonance, and astrophysical constraints from neutron stars, such as the maximum mass of neutron stars or the probability density function of the tidal deformability $\tildeΛ$ obtained from the GW170817 event. The posteriors probability distribution functions are marginalized over several nuclear empirical parameters ($L_\textrm{sym}$, $K_\textrm{sym}$, $Q_\textrm{sat}$ and $Q_\textrm{sym}$), as well as over observational quantities such as the $1.4M_\odot$ radius $R_{1.4}$ and the pressure at twice the saturation density $P(2n_\textrm{sat})$. The correlations between $L_\textrm{sym}$ and $K_\textrm{sym}$ and between $K_\textrm{sat}$ and $Q_\textrm{sat}$ are also further analyzed. Tension is found between the posteriors: the first one is localized in the tidal deformability probability distribution itself, depending whether multi-messenger analysis is included or not, and the second one is between the observational data and the nuclear physics inputs. These tensions impact the predictions for $L_\textrm{sym}$, $K_\textrm{sym}$ and $R_{1.4}$ with centroids which differ by 2-3$σ$. Implications for the nuclear equation of state are also discussed.
description: 19 pages, 12 figures
Coherent States for Black Holes
Creators: name: Dasgupta, Arundhati
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 determine coherent states peaked at classical space-time of the Schwarzschild black hole in the frame-work of canonical quantisation of general relativity. The information about the horizon is naturally encoded in the phase space variables, and the perturbative quantum fluctuations around the classical geometry depend on the distance from the horizon. For small black holes, space near the vicinity of the singularity appears discrete with the singular point excluded from the spectrum.
description: 48 pages, 18+1 figures, some modifications, references added
Measuring quality of life in COPD patients: comparing disease-specific supplements to the EQ-5D-5L
Creators: name: Boglárka Lilla Szentes
name: Schwarzkopf, Larissa
name: Kirsch, Florian
name: Schramm, Anja
name: Leidl, Reiner
Publisher: name: Taylor & Francis
Year: 2019
Subjects: subject: Medicine
subject: Cell Biology
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Marine Biology

description: Objectives: Patients with chronic obstructive pulmonary disease (COPD) show impairments in health-related quality of life (HRQL). We aimed to find a disease-specific questionnaire for routine application in large cohorts and to assess its additional explanatory power to generic HRQL tool (EQ-5D-5L). Methods: 1,350 participants of the disease management program COPD received the EQ-5D-5L combined with one of the three disease-specific tools: COPD Assessment Test (CAT), Clinical COPD Questionnaire (CCQ) or St. George’s Respiratory Disease Questionnaire (SGRQ) (450 participants each). We compared metric properties and evaluated the Germany-specific experience-based values (EBVS) and utilities in comparison to the Visual Analogue Scale (VAS). We calculated the additional explanatory power of the identified disease-specific tool on VAS through regression analysis. Results: 344 patients returned the questionnaire. CAT, CCQ, and SGRQ group did not differ regarding baseline characteristics. The questionnaire specific response rates were 33.7% for CAT, 30.5% for CCQ, and 34.6% SGRQ, thereof 94.0%, 94.3%, and 65.6% valid answers, respectively. EBVS was better suited to reflect VAS than utilities. CAT increased the explanatory power by 10%. Conclusion: CAT outperformed CCQ and SGRQ, and it increased the explanatory power of VAS. EBV combined with CAT seems superior to only generic or disease-specific approaches.
GIRAFFE multiple integral field units at VLT: a unique tool to recover velocity fields of distant galaxies
Creators: name: Flores, H.
name: Puech, M.
name: Hammer, F.
name: Garrido, O.
name: Hernandez, O.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The GIRAFFE spectrograph is unique in providing the integral field spectroscopy of fifteen distant galaxies at the same time. It has been successfully implemented at the second VLT unit within the FLAMES facility. We present GIRAFFE observations acquired during the Guaranteed Time Observation of the Paris Observatory, using total exposure times ranging from 6 to 12 hours. The reduced 3D cube of each galaxy has been deconvolved using our new package DisGal3D. This software has been written using the only assumption that UV light traces the emission line regions. The comparison between GIRAFFE spectra and HST imagery allows us to recover details on velocity fields as small as 0.3-0.4 arcsec. It has been successfully tested using Fabry Perot observations of nearby galaxies purposely redshifted to large distances. We present here preliminary results for three distant galaxies at 0.45< z < 0.65, whose velocity fields have been derived with exquisite spectral (R=10000) and spatial resolutions. Observed velocity fields range from disturbed fields expected in major merger events to those of regular spiral with minor perturbations. For the latter, one could accurately derive the dynamical major axis and the maximal rotational velocity. We conclude that dynamical properties of a large number of distant galaxies can be routinely derived at VLT. This opens a new avenue towards the understanding of the galaxy formation and evolution during the last 8 Gyr.
description: 4 pages, 3 jpeg figures. to appear in A&A
Development of a Facile and Convenient Method for Sugar Determination in Low Moisture Confectioneries and Honeys Using Fourier Transform Infrared Attenuated Total Reflectance Spectroscopy and Chemometrics
Creators: name: Setijadi, Catherine H.
name: Felix, Jonathan N.
name: Ellis, Helena C.
name: Alumbro, Jihan Santanina S.
name: Bello, Ghalib
name: Dumancas, Gerard G.
Publisher: name: Taylor & Francis
Year: 2020
Subjects: subject: Space Science
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified

description: A method using Fourier transform infrared with attenuated total reflectance spectroscopy and partial least squares (PLS) chemometric analysis to simultaneously quantify the mass percent concentrations of glucose, fructose, and sucrose, commonly found in honey and low moisture confectionery food products, was developed. A three-component full factorial design was generated as a training set (n = 64) to predict the sugar concentrations in a Box-Behnken testing set (n = 16). Analysis of the entire spectral region from 649.99 to 3996.38 cm−1 using Savitzky–Golay signal processing technique and PLS algorithm garnered optimal errors of prediction and better linearity between predicted and measured concentrations in the test set compared to analysis using a specific spectral region from 800 to 1500 cm−1 and using a wide array of signal processing techniques (first derivative, second derivative, moving average, binning, and standard normal variate). The model further detected these sugar concentrations in 3 standard honeys, 12 commercial honey samples, 8 honey adulterants, 13 low moisture confectionery food samples, and 15 unknown honey samples from Louisiana apiaries. Applying principal component and clustering analysis also enabled the discrimination of these honey samples based on their fructose:glucose ratios. Thus, the developed method represents a potentially novel, simple, accurate, nondestructive, and rapid means of quantifying concentrations of glucose, fructose, and sucrose in honey and low-moisture confectioneries in 1–2 minutes.
title: Counteracting Ingrained Practices of Community Development in the US South The Case of Klondike/Smokey City in Memphis TN, USA
Creators: name: Raciti, Antonio
Publisher: name: Tracce Urbane. Rivista Italiana Transdisciplinare di Studi Urbani
Year: 2018
Subjects: Community, Community Development, Devolution, Self-Organization, Action Research

description: In the US, the field of community development has recently become a contested terrain where non-governmental entities intertwine their initiatives with the ones proposed and implemented by public authorities. This paper explores the assumptions and some of the problematic and unresolved issues tied to the rhetoric of community development exploring the case of the historic African American neighborhood of Klondike Smokey City (KSC). In particular, the paper shares some of the lessons learned during an action-oriented research process carried out by a newly born partnership between the KSC Community Development Corporation (CDC) and the City and Regional Planning (CRP) Department at the University of Memphis. The paper reflects on how approaches to planning research inspired by action-research might be conducive in revealing some of the most challenging issues faced by self-organization practices and how these might be addressed through collaborative planning processes.
description: Tracce Urbane. Rivista Italiana Transdisciplinare di Studi Urbani, No 3 (2018): Spazi che abilitano/ Enabling Space
Relating Answer Set Programming and Many-sorted Logics for Formal Verification
Creators: name: Hansen, Zachary
Publisher: name: arXiv
Year: 2025
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Answer Set Programming (ASP) is an important logic programming paradigm within the field of Knowledge Representation and Reasoning. As a concise, human-readable, declarative language, ASP is an excellent tool for developing trustworthy (especially, artificially intelligent) software systems. However, formally verifying ASP programs offers some unique challenges, such as
 1. a lack of modularity (the meanings of rules are difficult to define in isolation from the enclosing program),
 2. the ground-and-solve semantics (the meanings of rules are dependent on the input data with which the program is grounded), and
 3. limitations of existing tools.
 My research agenda has been focused on addressing these three issues with the intention of making ASP verification an accessible, routine task that is regularly performed alongside program development. In this vein, I have investigated alternative semantics for ASP based on translations into the logic of here-and-there and many-sorted first-order logic. These semantics promote a modular understanding of logic programs, bypass grounding, and enable us to use automated theorem provers to automatically verify properties of programs.
description: In Proceedings ICLP 2024, arXiv:2502.08453
Self-diffusion in a quasi-two dimensional gas of hard spheres
Creators: name: Brey, J. Javier
name: de Soria, M. I. García
name: Maynar, P.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: A quasi-two-dimensional system of hard spheres strongly confined between two parallel plates is considered. The attention is focussed on the macroscopic self-diffusion process observed when the system is looked from above or from below. The transport equation, and the associated self-diffusion coefficient, are derived from a Boltzmann-Lorentz kinetic equation, valid in the dilute limit. Since the equilibrium state of the system is inhomogeneous, this requires the use of a modified Chapman-Enskog expansion that distinguishes between equilibrium and non-equilibrium gradients of the density of labelled particles. The self-diffusion coefficient is obtained as a function of the separation between the two confining plates. The theoretical predictions are compared with molecular dynamics simulation results and a good agreement is found.