Results 41 to 50 of about 28,906 (283)

Holographic Whole‐Object Photopolymerization Preserving Director Alignment in Liquid Crystalline Actuators

Advanced Materials, EarlyView.
Holographic microlithography enables the fabrication of fully connected 3D liquid crystalline structures in a single exposure. The process maintains precise control over the director orientation within the entire object, preventing local director distortions typically observed in sequential printing.
Lovish Gulati, Junhee Lee, Reza Norouzikudiani, Jianfeng Li, Carlos Sánchez Somolinos, Antonio DeSimone, Kai Melde, Alexander Song, Peer Fischer   +8 more
wiley   +1 more source

Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots

Advanced Robotics Research, EarlyView.
A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun, Liang Zhang, Jianwen Zeng, Xuefeng Wang   +3 more
wiley   +1 more source

Capillary Dynamics Analysis of Millimetric Tubes for Anti‐Slip Surfaces: A Phase‐Field Based Finite Element Approach and Experimental Validation

Advanced Theory and Simulations, EarlyView.
Phase‐field method based numerical modelling of the capillary rise in millimeter‐sized tubes, aiming for anti‐slip applications. The experimental validation was performed through capillary assays in polyethylene oxide (PEO) bulk modified polydimethylsiloxane (PDMS) channels.
Shivam Sharma, Vipin Richhariya, Diana Pinho, Óscar Carvalho, Filipe S. Silva, Ashis Tripathy, Nuno Dourado, Susana O. Catarino   +7 more
wiley   +1 more source

Computable embedding of classes of algebraic structures with congruence relation

Учёные записки Казанского университета: Серия Физико-математические науки, 2018
It has been shown in the paper that there is an intermediate notion of embedding, which is based on the use of non-injective presentations of algebraic structures, between the computable embedding of classes of algebraic structures based on the ...
S. Vatev, H. Ganchev, I.Sh. Kalimullin
doaj  

Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination [PDF]

Logical Methods in Computer Science, 2012
This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties.
Assia Mahboubi, Cyril Cohen
doaj   +1 more source

Genome‐Wide by Lifetime Environment Interaction Studies of Brain Imaging Phenotypes

Advanced Science, EarlyView.
This study explores genome‐wide by lifetime environment interactions on brain imaging phenotypes. Gene‐environment interactions explain more phenotypic variance than main effects, pinpoint regulatory variants, and reveal exposure‐specific biological pathways.
Sijia Wang, Meiyun Wang, Peng Zhang, Jingliang Cheng, Longjiang Zhang, Wenzhen Zhu, Shijun Qiu, Zuojun Geng, Guangbin Cui, Yongqiang Yu, Weihua Liao, Xi‐Nian Zuo, Hui Zhang, Bo Gao, Xiaojun Xu, Tong Han, Zhenwei Yao, Quan Zhang, Feng Liu, Qiang Xu, Jiayuan Xu, Jilian Fu, Nana Liu, Yuan Ji, Jie Tang, Lining Guo, Mengge Liu, Xiaoxiao Xiao, Xiaoxuan Liu, Wei Li, Caihong Wang, Wei Wei, Dapeng Shi, Su Lui, Zhihan Yan, Feng Chen, Jing Zhang, Wen Shen, Yanwei Miao, Dawei Wang, Jia‐Hong Gao, Yunjun Yang, Kai Xu, Junfang Xian, Bing Zhang, Xiaochu Zhang, Zhaoxiang Ye, Le Yu, Wen Qin, Meng Liang, Chunshui Yu, the CHIMGEN Consortium   +51 more
wiley   +1 more source

Cocientes algebraicos y Teoría de Invariantes Geométricos

Selecciones Matemáticas, 2020
The quotient of an algebraic variety by action of an algebraic group does not always has a variety structure. The aim of this work is to describe a methodfor constructing good quotients, in the sense of Geometric invariant theory, in algebraicgeometry.
Nélida Medina García
doaj   +1 more source

Smarandache Algebraic Structures

, 2004
A few notions are introduced in algebra in order to better study the congruences. Especially the Smarandache semigroups are very important for the study of congruences.
openaire   +2 more sources

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source