Results 111 to 120 of about 1,881,310 (251)

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

Zagadnienia Filozoficzne w Nauce, 2011
The article is devoted to the problem of status of mathematical proofs, in particular it tries to capture the relationship between the real, „semantic” notion of mathematical proof, and its formal (algorithmic) counterpart.
Krzysztof Wójtowicz
doaj  

Combining logical and distributional methods in type-logical grammars

Journal of Language Modelling, 2019
We propose a low-level way of combining distributional and logical ideas into a single formal system. This will be an instantiation of a more general system, adding weights to proof rules. These weights will not measure some sort of "confidence the proof
Richard Moot
doaj   +1 more source

Harnessing Ultrafast Optical Pulses for 3D Microfabrication by Selective Tweezing and Immobilization of Colloidal Particles in an Integrated System

Advanced Photonics Research, Volume 6, Issue 5, May 2025.
Microfabrication using nano‐ to micron‐sized blocks has transformative potential for next‐gen electronics, optoelectronics, and materials. Traditional methods are limited by scalability and precision. STIC, a single‐laser system for precise colloid manipulation and immobilization using femtosecond lasers, is introduced that enables efficient 3D ...
Krishangi Krishna, Jieliyue Sun, Wenyu Liu, Robert H. Hurt, Kimani C. Toussaint Jr.   +4 more
wiley   +1 more source

3D Printing of Soft Robotic Systems: Advances in Fabrication Strategies and Future Trends

Advanced Robotics Research, EarlyView.
Collectively, this review systematically examines 3D‐printed soft robotics, encompassing material selections, function integration, and manufacturing methodologies. Meanwhile, fabrication strategies are analyzed in order of increasing complexity, highlighting persistent challenges with proposed solutions.
Changjiang Liu, Bin Cui, Xumin Huang, Xiaoyu (Rayne) Zheng, T. Thang Vo‐Doan, Ruirui Qiao   +5 more
wiley   +1 more source

Research on formal security policy model specification and its formal analysis

Tongxin xuebao, 2006
Formal method is one of the kernel technologies of developing high security level computer system.But by current formal development method,assurance of security policy model correctness cannot be provided directly using machine proof which is stricter ...
LI Li-ping1, QING Si-han1, ZHOU Zhou-yi1, HE Jian-bo1, WEN Hong-zi3   +4 more
doaj   +2 more sources

LLM‐Integrated Human–Robot Interaction System for Microrobots

Advanced Robotics Research, EarlyView.
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley   +1 more source

Engineered Mesenchymal Stem Cell–NK Cell Complexes for Spatially Targeted and Functionally Revitalized Cancer Immunotherapy

Advanced Science, EarlyView.
IL‐15‐engineered stem cell–NK cell complexes, assembled via bioorthogonal chemistry, enable effective lung cancer immunotherapy. Abstract Natural killer (NK) cells represent a powerful immunotherapeutic strategy due to their intrinsic cytotoxicity and ability to target tumor cells independently of antigen presentation.
Qian Zhang, Bo Yin, Munaiwaier Sabier, Youlan Yang, Mengling Wu, Zhouping Zhao, Xuanzhi Luo, Yuehong Zhong, Xiuming Zhu, Jie Zhang, Jing Wang, Kai Chen, Fei Ruan, Wei Zhang, Zhimin Lu, Jiong Wang   +15 more
wiley   +1 more source

Streams and strings in formal proofs

Theoretical Computer Science, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Functional Analysis of Ligand‐Gated Chloride Channels in a Cnidarian Sheds Light on the Evolution of Inhibitory Signaling

Advanced Science, EarlyView.
We uncover a large variety of putative inhibitory ligand‐gated ion channels (LGICs) in the phylum Cnidaria, the sister group to all bilaterian animals. Phylogenetic analysis suggests a complex evolutionary history of inhibitory LGICs with diverse neurotransmitter ligands.
Abhilasha Ojha, Linda Kloss, Juan D. Montenegro, Simone Albani, Audrey Ortega‐Ramírez, Mihaela Raycheva, Sylvia Joussen, Sabrina Kaul, Michèle Bachmann, Lisa Huf, Günther Schmalzing, Alison G. Cole, Ulrich Technau, Stefan Gründer   +13 more
wiley   +1 more source

A Rocq-Based Formalization of Hilbert’s Geometry: Building a Reusable Foundation for 3D Perpendicularity Theory and Verification

Mathematical and Computational Applications
Hilbert’s axiom system for geometry is a landmark in formal methods. This paper presents a complete formalization of spatial perpendicularity—a theory not fully developed in Hilbert’s original work—using the Rocq proof assistant.
Qimeng Zhang, Wensheng Yu
doaj   +1 more source