Results 121 to 130 of about 92,095 (302)

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

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

Exact Discrete Stochastic Simulation With Deep‐Learning‐Scale Gradient Optimization

Advanced Science, EarlyView.
A 203,796‐parameter gene regulatory network classifies handwritten digits with 98.4% accuracy using exact stochastic dynamics. The framework decouples forward simulation from backward differentiation, making continuous‐time Markov chain models compatible with deep‐learning optimization.
Jose M. G. Vilar, Leonor Saiz
wiley   +1 more source

Mathematical Libraries as Proof Assistant Environments [PDF]

, 2008
. 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 ...
Claudio Sacerdoti Coen
core  

Deep Learning Network‐Tailored Microenvironment Matching of 4D Bioprinting Bioactive Scaffolds for Bone Regeneration

Advanced Science, EarlyView.
A DLN dataset was built to analyze MABS composition versus in vitro/in vivo osteogenesis and angiogenesis. An MLP neural network, taking BG morphological parameters as input, extracts bioactive features from these datasets. A rabbit tibial defect model then validates 4D‐printed MABS for adaptability and bone regeneration in critical defects.
Xiongjie Liang, Yuechi Zhang, Weifeng Hu, Shiyan Lv, Fan Jia, Yan Zhang, Feng Wu, Changjiang Yang, Guanqi Zhen, Jinglong Yan, Xu Cui, Wei Zhao, Guanghua Chen   +12 more
wiley   +1 more source

Mathematical Reasoning: Writing and Proof [PDF]

, 2013
Mathematical Reasoning: Writing and Proof is designed to be a text for the first course in the college mathematics curriculum that introduces students to the processes of constructing and writing proofs and focuses on the formal development of mathematics.
Sundstrom, Ted
core   +1 more source

Acerca de la enseñanza y el aprendizaje de la demostración en matemáticas

Revista Integración, 2013
En el presente documento realizamos una recopilación bibliográfi- ca de las principales investigaciones acerca de la enseñanza y el aprendizaje de la demostración, con el ánimo de aportar fuentes de consulta a la comunidad de educadores en matemáticas
Jorge Fiallo, Leonor Camargo, Ángel Gutiérrez   +2 more
doaj  

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

Improving mathematical proof based on computational thinking components for prospective teachers in abstract algebra courses

Infinity
Understanding and constructing mathematical proofs is fundamental for students in abstract algebra courses. The computational thinking approach can aid the process of compiling mathematical proofs.
Elah Nurlaelah, Aneu Pebrianti, Muhammad Taqiyuddin, Jarnawi Afgani Dahlan, Dian Usdiyana   +4 more
doaj   +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