Results 101 to 110 of about 4,006 (251)

Signed Projective Cubes, a Homomorphism Point of View

Journal of Graph Theory, EarlyView.
ABSTRACT The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent basic linear dependencies.
Meirun Chen, Reza Naserasr, Alessandra Sarti   +2 more
wiley   +1 more source

Proof-Theoretic Cryptography: A New Paradigm from the Cut-Elimination Theorem

Traditional cryptography faces the challenge that digital resources can be copied infinitely and usage traces cannot be verified, relying solely on trust or centralized records. We propose a verifiable consumption mechanism based on proof net cut elimination, introducing a new security dimension—consumption auditability—which solves ...
  +6 more sources

Simple cut elimination proof for hybrid logic

, 2016
In the paper we present a relatively simple proof of cut elimination theorem for variety of hybrid logics in the language with satisfaction operators and universal modality.
Indrzejczak, Andrzej
core  

Linear Versus Centred Colouring via Pseudogrids

Journal of Graph Theory, EarlyView.
ABSTRACT A centred colouring of a graph is a vertex colouring in which every connected subgraph contains a vertex whose colour is unique and a linear colouring is a vertex colouring in which every (not‐necessarily induced) path contains a vertex whose colour is unique. For a graph G $G$, the centred chromatic number χ cen ( G ) ${\chi }_{\text{cen}}(G)$
Prosenjit Bose, Vida Dujmović, Hussein Houdrouge, Mehrnoosh Javarsineh, Pat Morin   +4 more
wiley   +1 more source

A Min–Max Relation on Dicuts and Dijoins in Weighted Chordal Digraphs

Journal of Graph Theory, EarlyView.
ABSTRACT In a digraph, a dicut is a cut where all the arcs cross in one direction. A dijoin is a subset of arcs that intersects every dicut. Edmonds and Giles conjectured that in a weighted digraph, the minimum weight of a dicut is equal to the maximum size of a packing of dijoins. This has been disproved. However, the unweighted version conjectured by
Gérard Cornuéjols, Siyue Liu, R. Ravi
wiley   +1 more source

Impact of 1024‐Matrix Size on Perforating Artery Visualisation in Cerebral Computed Tomography Angiography Using a 64‐Slice CT Scanner

Journal of Medical Radiation Sciences, EarlyView.
This study investigated whether using a larger image matrix (1024 × 1024 pixels instead of 512 × 512) improves the visibility of tiny brain arteries on CT scans performed with standard 64‐slice scanners. While physical image quality measurements remained unchanged, the larger matrix provided finer digital sampling of blood vessel structures, resulting ...
Hokuto Nagumo, Yuki Nagata, Mayumi Maruko, Jun Sakai, Yusuke Fujiwara, Joma Oikawa   +5 more
wiley   +1 more source

Last‐minute coordination: Adapting to demand to support last‐mile operations

Journal of Operations Management, Volume 71, Issue 2, Page 176-194, March 2025.
Abstract In the highly competitive e‐commerce industry, customer‐facing warehouses are crucial as the “order penetration points” for e‐commerce last‐mile operations. This research examines how warehouses use last‐minute coordination, an unstructured mechanism, to ensure sufficient inventory at the order penetration points. Previous research has focused
Kedong Chen, Hung‐Chung Su, Kevin Linderman, William Li   +3 more
wiley   +1 more source

Evaluating the combined toxicity of Penicillium mycotoxins in absorption, metabolism, and excretion systems

Journal of the Science of Food and Agriculture, EarlyView.
Abstract BACKGROUND Penicillium mycotoxins, including ochratoxin A (OTA), citrinin (CIT), and cyclopiazonic acid (CPZ), frequently co‐occur in food commodities, contributing to chronic low‐level dietary exposure. However, current risk assessments often consider these toxins individually, overlooking potential interaction effects.
Carolina Sousa Monteiro, Eugénia Pinto, Miguel A Faria, Sara C Cunha   +3 more
wiley   +1 more source

Advances in Position‐Momentum Entanglement: A Versatile Tool for Quantum Technologies

Laser &Photonics Reviews, EarlyView.
Position–momentum entanglement constitutes a high‐dimensional continuous‐variable resource in quantum optics. Recent advances in its generation, characterization, and control are reviewed, with emphasis on spontaneous parametric down‐conversion and modern measurement techniques.
Satyajeet Patil, Rajshree Swarnkar, Jonas L. Moos, Sebastian Töpfer, Sergio Tovar‐Pérez, Jorge Fuenzalida, Markus Gräfe   +6 more
wiley   +1 more source

Cut-elimination for the circular modal mu-calculus: linear logic and super exponentials to the rescue

The aim of this paper is twofold: contributing to the non-wellfounded and circular proof-theory of the modal mu-calculus and to that of extensions of linear logic with fixed points.Contrarily to Girard's linear logic which is equipped with a rich proof ...
Bauer, Esaïe, Saurin, Alexis
core