Results 71 to 80 of about 118,373 (287)
Ultrasmall Platinum Nanoparticles for Radiation‐Enhanced Cancer Therapy
Advanced Functional Materials, EarlyView.This work proposes a nanomedicine‐based strategy to enhance X‐ray radiotherapy for cancer treatment. Ultrasmall Pt‐NPs exhibit catalase‐like activity that may contribute to modulation of the tumor microenvironment and amplify interactions between radiation and biological matter, leading to increased DNA damage.
Miguel Encinas‐Gimenez +8 more
wiley +1 more source
X‐Functionality–Driven Photocatalytic Hydrogen Evolution in 2D 4‐X‐PEA2SnI4 Perovskites
Advanced Functional Materials, EarlyView.We report a water‐based synthesis of 2D 4‐X‐PEA2SnI4 perovskite microcrystals with prominent photocatalytic (PC) activity for H2 production. The synergy between organic functionalization and HI‐derived iodide scavenges holes suppress octahedral distortion, and favor electron accumulation, enabling a PC H2 evolution ∼20 µmol·g−1 and long‐term stability ...
Taeyeon Kim +21 more
wiley +1 more source
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 A proof tableau of Hoare logic is an annotated program with pre- and post-conditions, which corresponds to an inference tree of Hoare logic. In this paper, we show that a proof tableau for partial correctness can be transformed into an inference sequence
Shinnosuke Mizutani, Naoki Nishida
doaj +1 more source
Surrealism Is Not an Alternative to Scientific Realism [PDF]
, 2019 Surrealism holds that observables behave as if T were true, whereas scientific realism holds that T is true. Surrealism and scientific realism give different explanations of why T is empirically adequate.
Park, Seungbae
core +4 more sources
Topological Separations in Inductive Inference
Theoretical Computer Science, 2013 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Case, J., Kötzing, T.
openaire +2 more sources
Advanced Healthcare Materials, EarlyView.The repair and regeneration of brain tissue faces both biological and technical challenges. Injectable bioscaffolds offer new opportunities to stimulate tissue regrowth in the brain by recruiting neural stem cells. Here, the translational issues are reviewed that need to be address to advance this promising new therapeutic approach from the bench to ...
Michel Modo, Alena Kisel
wiley +1 more source
On the functional origins of essentialism [PDF]
, 2001 This essay examines the proposal that psychological essentialism results from a history of natural selection acting on human representation and inference systems. It has been argued that the features that distinguish essentialist representational systems
Barrett, H. Clark
core +1 more source
Advanced Materials, EarlyView.Transition metal oxy/carbo‐nitrides show great promise as catalysts for sustainable processes. A Mn‐Mo mixed‐metal oxynitride attains remarkable performance for the direct synthesis of acetonitrile, an important commodity chemical, via sequential C─N and C─C coupling from syngas (C1) and ammonia (N1) feedstocks.
M. Elena Martínez‐Monje +7 more
wiley +1 more source
حکمت سینوی, 2019 The inference of the best explanation is a type of non-deductive inference that was coined by Charles Sanders Peirce in his work on the logic of science.
Reza Mohammad Alizadeh +1 more
doaj +1 more source
Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis [PDF]
, 2011 Even with impressive advances in automated formal methods, certain problems in system verification and synthesis remain challenging. Examples include the verification of quantitative properties of software involving constraints on timing and energy ...
Seshia, Sanjit A.
core +2 more sources