Results 51 to 60 of about 45,874 (260)

Origami‐Inspired Structural Design for Aquatic‐Terrestrial Amphibious Robots

Advanced Robotics Research, EarlyView.
This work presents a lightweight amphibious origami robot actuated by a single shape memory alloy wire. A rigid foldable origami structure with displacement amplification enables efficient terrestrial crawling and aquatic swimming. The addition of fan‐shaped units allows controllable turning in both environments.
Weiqi Liu, Chunlong Wang, Xiaohang Sun, Hongwei Guo, Jiayao Ma, Yan Chen   +5 more
wiley   +1 more source

A Rule-Based Approach to Analyzing Database Schema Objects with Datalog

, 2017
Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a given schema, a rule-based approach for analyzing the respective dependencies
A Behrend, A Calì, AC Klug, AC Klug, AM Boehm, AV Aho, C Delobel, D Maier, JR Paramá, JR Paramá, K Wang, NR Brisaboa, S Brass, W Fan   +13 more
core   +1 more source

A Plug‐and‐Play Volume Minimizing Micromixer

Advanced Science, EarlyView.
ABSTRACT Microscale fluid mixing has numerous applications where rapid and efficient mixing is required, including drug discovery, bio‐analysis and point‐of‐care diagnostics. Conventional soft lithography processes, however, make the integration of robust and reliable mixing difficult to implement in practice, especially across different flow rates ...
Kirill Kolesnik, Philipp Segeritz, Daniel J. Scott, David J. Collins   +3 more
wiley   +1 more source

First-order composition-nominative logics with predicates of weak equality and of strong equality

PROBLEMS IN PROGRAMMING, 2019
Development of the new software-oriented logical formalisms is a topical problem. The paper introduces lo­gics of partial predicates with predicate complement and equality predicates, we denote them LCE. They ex­tend logics of quasiary predicates with equality and logics with predicate complement.
openaire   +4 more sources

Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs

, 2019
A cyclic proof system, called CLKID-omega, gives us another way of representing inductive definitions and efficient proof search. The 2005 paper by Brotherston showed that the provability of CLKID-omega includes the provability of LKID, first order ...
Berardi, Stefano, Tatsuta, Makoto
core   +1 more source

DCAF13 Safeguards Hematopoietic Stem Cells via RRS1‐Regulated Ribosome Biogenesis

Advanced Science, EarlyView.
This study establishes DCAF13 as an essential regulator for hematopoietic stem cell (HSC) function. Its deletion in mice causes lethal pancytopenia and HSC depletion. Mechanistically, DCAF13 interacts with RRS1 and mediates its non‐degradative K27‐linked ubiquitination, thereby stabilizing RRS1 to maintain ribosome biogenesis and protein translation ...
Mengke Li, Yuxin Wu, Shuai Zhou, Peipei Tang, Jiaming Wei, Ling Liu, Zhenyi Wang, Deyang Shi, Shengnan Yuan, Qingyu Zhang, Shihui Wang, Qing Zhang, Huan Zhao, Rui Zhang, Yingying Wang, Shiwei Yang, Xiangli Chen, Xiaojing Shi, Guangzhi Liu, Yuwei Zhang, Jinming Li, Xu Dong Zhang, Rick F Thorne, Dongping Wei, Zumin Zhu, Song Chen   +25 more
wiley   +1 more source

Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames

, 2023
The paper investigates algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames or classes of finite Kripke frames. Precise complexity bounds for monadic logics of classes of Kripke frames with finitely many possible worlds are obtained.
Agadzhanian, I., Rybakov, M., Shkatov, D.   +2 more
openaire   +2 more sources

A High‐Performance and Fully Recyclable Supramolecular Nanofibrous Membrane for Multifunctional Air Filtration

Advanced Science, EarlyView.
A green, thermoreversible self‐assembly strategy yields a multifunctional and recyclable supramolecular nanofibrous membrane. Graphene oxide (GO) nanosheet acts as a heterogeneous nucleation‐templating agent, simultaneously modulating the supramolecular crystal packing while tailoring the nanofibrous architecture for elite performance.
Wenjing Sun, Ding Yuan, Jiaqi Wan, Junyu Chen, Zhen Yan, Yinuo Yan, Senjie Dong   +6 more
wiley   +1 more source

An Improved Proof-Theoretic Compilation of Logic Programs

, 2012
In prior work, we showed that logic programming compilation can be given a proof-theoretic justification for generic abstract logic programming languages, and demonstrated this technique in the case of hereditary Harrop formulas and their linear variant.
Cervesato, Iliano
core   +1 more source

Soft Robotics and Advanced Technologies for Minimally Invasive Bioprinting: The Future of Internal Organ Repair

Advanced Science, EarlyView.
This review examines the evolution of bioprinting toward minimally invasive in situ strategies for internal organ regeneration. It defines the technological roadmap from handheld systems to advanced minimally invasive bioprinting platforms, positioning soft robotics as a core enabler.
Duc Tu Vu, Nhu An Phan, Sy Trung Ngo, Minh Tri Phan, Thanh‐An Truong, Chi Cong Nguyen, Phuoc Thien Phan, Hoang‐Phuong Phan, Thanh Nho Do, Mai Thanh Thai   +9 more
wiley   +1 more source