Results 51 to 60 of about 9,538 (181)
BCARS Simulated Phantom Dataset for Evaluation of Processing Pipelines
A tissue phantom, containing fingerprint Raman spectra at each pixel, is developed to evaluate Raman signal processing pipelines. The phantom is created from a BCARS image of a murine hepatic tissue. ABSTRACT Broadband coherent anti‐Stokes Raman scattering (BCARS) microscopy is a powerful label‐free biological imaging technique, but the raw signal ...
Jessica Z. Dixon +5 more
wiley +1 more source
The response of graphene and MoS2 monolayers to highly‐charged impinging ions is investigated using nonequilibrium Green functions theory. Electronic correlations are found to have a significantly stronger influence on the ultrafast ion‐induced electron dynamics in MoS2 than in graphene.
Giorgio Lovato +4 more
wiley +1 more source
Strong Inconsistency in Nonmonotonic Reasoning [PDF]
Minimal inconsistent subsets of knowledge bases play an important role in classical logics, most notably for repair and inconsistency measurement. It turns out that for nonmonotonic reasoning a stronger notion is needed. In this paper we develop such a notion, called strong inconsistency.
Gerhard Brewka +2 more
openaire +1 more source
Orbitally Driven Anomalous Thermal Transport Under High Pressure in Gallium Nitride
ABSTRACT Extreme conditions such as high pressure offer opportunities for innovative materials design and applications. For over a century, studies on thermal transport in crystals under high hydrostatic pressure have shown that lattice thermal conductivity generally exhibits a monotonic increase with pressure.
Zong‐Hao Yuan +8 more
wiley +1 more source
Choosing Your Nonmonotonic Logic: A Shopper’s Guide [PDF]
The paper presents an exhaustive menu of nonmonotonic logics. The options are individuated in terms of the principles they reject. I locate, e.g., cumulative logics and relevance logics on this menu.
Hlobil, Ulf
core
Conflict-driven ASP Solving with External Sources
Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs and efficient solvers. To enable access to external information, HEX-programs extend programs with external atoms, which allow for a bidirectional ...
Eiter, Thomas +3 more
core +2 more sources
A scalable, solution‐processed route unlocks the full SnSxSe(2–x) alloy spectrum, delivering finely tunable optical and electronic properties—from metallic‐like SnSe2 to wide‐bandgap SnS2. Composition‐guided control over in‐ and out‐of‐plane transport enables performance‐optimized photoelectrochemistry, charting a versatile roadmap for designer ...
Nicolas J. Diercks +12 more
wiley +1 more source
Testing and Debugging Techniques for Answer Set Solver Development
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e ...
Brummayer, Robert, Järvisalo, Matti
core +2 more sources
HPoolGCL: Augmentation‐Free Cross‐Granularity Graph Contrastive Learning With Hierarchical Pooling
ABSTRACT Graph contrastive learning (GCL) has emerged as a dominant paradigm for self‐supervised representation learning for attributed graph data. However, existing GCL methods heavily rely on empirical graph data augmentation, which may distort intrinsic graph semantics and produce poor generalisation without carefully chosen or designed augmentation
Fenglin Cen +4 more
wiley +1 more source
Dynamic Pricing With Recommendation and Consumer Feedback
ABSTRACT A long‐lived seller sells a new product of unknown value by offering prices and recommendations to short‐lived consumers in continuous time. The seller receives consumer feedback about the product at a rate that increases with the instantaneous sales volume.
Wenji Xu, Shuoguang Yang
wiley +1 more source

