Results 111 to 120 of about 92,076 (301)

Mathematical Libraries as Proof Assistant Environments

, 2004
In this paper we analyse the modifications on logical operations --- as proof checking, type inference, reduction and convertibility --- that are required for the identification of a proof assistant environment with a distributed mathematical library ...
SACERDOTI COEN, CLAUDIO, Claudio Sacerdoti Coen   +1 more
core   +1 more source

Adsorption of Forever Chemical Pollutants: The Physical Chemistry of PFAS Near Surfaces

Advanced Science, EarlyView.
Current adsorption‐based remediation techniques for removing per‐ and polyfluoroalkyl substances (PFAS) from water are limited by knowledge gaps on PFAS behavior near solid surfaces. This review provides a state of the art on theoretical and experimental aspects of PFAS adsorption.
Nada Ben Amor, Daniela Bauer, Benjamin Braconnier, Benoit Coasne   +3 more
wiley   +1 more source

Electrocatalytic Coupling Conversion of Methane by Dual‐Site Control in Nickel Oxyhydroxide

Advanced Science, EarlyView.
Electrocatalytic coupling conversion of methane (CH4) is accomplished on the nickel oxyhydroxide (NiOOH), wherein the Ni─O dual‐site is triggered via the proper electronic interaction, synergistically promoting the C─H activation and C─C formation, enabling a selective and efficient C2 product generation route under ambient conditions. ABSTRACT Methane
Kailong Lu, Yangshen Chen, Junhao Wang, Yi Zhang, Sunyang He, Huimin Xu, Hui Liu, Jiao Deng   +7 more
wiley   +1 more source

CauFinder: Steering Cell‐State and Phenotype Transitions by Causal Disentanglement Learning

Advanced Science, EarlyView.
CauFinder combines causal disentanglement modeling and network control to prioritize causal drivers of cell‐state transitions from observational transcriptomic data. The framework separates transition‐relevant signals from spurious associations, nominates intervention targets across biological and disease contexts, and identifies DAAM1 as an actionable
Chengming Zhang, Zexi Chen, Yuanxiang Miao, Zuolin Shen, Deyu Cai, Shijie Tang, Yun Xue, Weifeng Guo, Hongbin Ji, Jian Liu, Kazuyuki Aihara, Luonan Chen   +11 more
wiley   +1 more source

The structure of logical consequence : proof-theoretic conceptions

, 2010
The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of inference takes center stage ...
Hjortland, Ole T.
core  

A Portable Soft Robotic Glove with Fully Functional Thumb Assistance for Complex Dexterous Fine Motor Skills

Advanced Science, EarlyView.
A portable, sensorized, and controlled dexterous thumb‐enhanced glove helps stroke survivors swipe phones, twist caps, and perform other tasks. It is based on a powerful continuously, segmented origami dual chamber actuator to achieve active thumb CMC and MCP joint assistance and passively extend the IP joint.
Disheng Xie, Zhen Wang, Zhongping Ye, Minghao Liu, Xiangqian Shi, Shuk Fan Tong, Jianbin Liu, Chuanbin Mao, Thomas W. Leung, Haitao Liu, Raymond Kai‐yu Tong   +10 more
wiley   +1 more source

Understanding mathematical proof

, 2014
Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and ReasoningIntroduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and ...
Garnier, Rowan, Taylor, John
core  

ORBIT‐AMD: Ordinal Risk, Bilateral Imaging, and Trajectory Learning for Age‐Related Macular Degeneration in Multi‐Cohorts

Advanced Science, EarlyView.
Eligibility flow and real‐world AMD burden in the UKB retinal imaging cohort and TMUEH external‐validation cohort. Overview of the ORBIT‐AMD architecture, integrating retinal representation pretraining, bilateral eye‐graph modeling and concept bottleneck learning to support ordered risk, bilateral context, interpretable lesion concepts, longitudinal ...
Xuehao Cui, Dejia Wen, Patrick Yu‐Wai‐Man, Xiaorong Li   +3 more
wiley   +1 more source

Radiation Resilient Synthetic Antiferromagnets‐Based Neuromorphic Device for Sea Surface Temperature Reconstruction

Advanced Science, EarlyView.
By leveraging strong antiferromagnetic coupling, radiation‐tolerant synthetic antiferromagnetic synaptic devices are developed. Their intrinsic nonlinearity emulates neuronal activation, while linear and symmetric conductance modulation mimics synaptic plasticity.
Mingxu Song, Jiahao Liu, Ruisheng Hu, Teng Xu, Aihua Tang, Zhihong Zhu   +5 more
wiley   +1 more source

Dowód matematyczny – argumentacja czy derywacja? – część II

Zagadnienia Filozoficzne w Nauce, 2011
In the first part of the paper, Azzouni’s derivation–indicator view was presented. In the second part it is analyzed in a detailed way. It is shown, that many problems arise, which cannot be explained in a satisfactory way in Azzouni’s theory, in ...
Krzysztof Wójtowicz
doaj