Results 71 to 80 of about 1,033,736 (302)

Many-Valued Modal Logic

Electronic Proceedings in Theoretical Computer Science
We combine the concepts of modal logics and many-valued logics in a general and comprehensive way. Namely, given any finite linearly ordered set of truth values and any set of propositional connectives defined by truth tables, we define the many-valued minimal normal modal logic, presented as a Gentzen-like sequent calculus, and prove its soundness and
Karniel, Amir, Kaminski, Michael
openaire   +2 more sources

Cold Atmospheric Plasma Selectively Disrupts Breast Cancer Growth in a Bioprinted 3D Tumor‐Stroma Co‐Culture Model

Advanced Healthcare Materials, EarlyView.
This research introduces a cold plasma‐based platform for treating breast cancer bone metastases. Using a novel bioprinted 3D tumor‐stroma model, it highlights the selective antitumor effects of plasma‐generated reactive species. The platform aims to advance non‐invasive therapeutic strategies, offering potential clinical applications in controlling ...
Laura M. Bouret, Jean‐Baptiste Billeau, Michael H. Weber, Derek H. Rosenzweig, Stephan Reuter   +4 more
wiley   +1 more source

Novel Bioconjugate Materials: Synthesis, Characterization and Medical Applications

Advanced Healthcare Materials, EarlyView.
This review discusses the bioconjugation of novel materials grouped under “biological”, “hybrid” and “synthetic” categories. Medical applications ranging from cancer therapy and diagnostics to optogenetics and tissue engineering are explored, and conjugation trends are highlighted as a general guide. The review concludes with a comparison of techniques
Ellie Martin, Sean P. Doidge, Eiman Aleem, Suela Kellici, Steven Dunn, Claire Atkinson, Philip D. Howes   +6 more
wiley   +1 more source

Membrane Fusion‐Inspired Nanomaterials: Emerging Strategies for Infectious Disease and Cancer Diagnostics

Advanced Healthcare Materials, EarlyView.
Membrane fusion‐inspired nanomaterials offer transformative potential in diagnostics by mimicking natural fusion processes to achieve highly sensitive and specific detection of disease biomarkers. This review highlights recent advancements in nanomaterial functionalization strategies, signal amplification systems, and stimuli‐responsive fusion designs,
Sojeong Lee, Khulan Nyamzaya, Jueun Han, Yejin Song, Jihee Lee, Jung Hyun Jo, Seungmin Bang, Eun‐Kyung Lim, Seungjoo Haam, Eunjung Kim   +9 more
wiley   +1 more source

Seeing inside the Body Using Wearable Sensing and Imaging Technologies

Advanced Healthcare Materials, EarlyView.
This review explores wearable technologies for noninvasive internal health monitoring. It categorizes approaches into indirect sensing (e.g., bioelectrical and biochemical signals) and direct imaging (e.g., wearable ultrasound and EIT), highlighting multimodal integration and system‐level innovation toward personalized, continuous healthcare.
Sumin Kim, Seunghun Han, Sehwan Park, Jahyun Koo   +3 more
wiley   +1 more source

A five-valued logic and a system

Journal of Computer Science and Technology, 2004
The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known
Ulisses Ferreira
doaj  

Progressive Insights into 3D Bioprinting for Corneal Tissue Restoration

Advanced Healthcare Materials, EarlyView.
This review explores the potential of 3D bioprinting to replicate the complex structure and function of the human cornea. It highlights key advances in bioink development, printing modalities, and in vivo performance, while addressing current challenges and emerging strategies. The review emphasizes bioprinting's promise to overcome donor shortages and
Ilayda Namli, Deepak Gupta, Yogendra Pratap Singh, Pallab Datta, Muhammad Rizwan, Mehmet Baykara, Ibrahim T. Ozbolat   +6 more
wiley   +1 more source

A simple proof of functional completeness in many-valued logics based on Ł ukasiewicz's $C$ and $N$. [PDF]

, 1962
Robert E. Clay
openalex   +1 more source

DNA‑Directed Assembly of Photonic Nanomaterials for Diagnostic and Therapeutic Applications

Advanced Materials, EarlyView.
DNA‐directed assembly offers a powerful strategy for constructing structured photonic nanomaterials with precise spatial control. This review provides a comprehensive overview of recent advancements in DNA‐assembled photonic nanomaterials for diagnostics and therapeutics, highlighting key design principles, functionalization strategies, and optical ...
Longjiang Ding, Bing Liu, Andreas Peil, Sisi Fan, Jie Chao, Na Liu   +5 more
wiley   +1 more source

Designing Physical Unclonable Functions From Optically Active Materials

Advanced Materials, EarlyView.
Assigning unforgeable “fingerprints” to manufactured goods is a key strategy to fight global counterfeiting. Optical physical unclonable functions (PUFs) are chemically generated random patterns of optically active materials serving as unique authenticators.
Maxime Klausen, Junfang Zhang, Molly M. Stevens   +2 more
wiley   +1 more source