Results 61 to 70 of about 39,214 (275)

Lyra: Orchestrating Dual Correction in Automated Theorem Proving [PDF]

, 2023
Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li   +8 more
openalex   +1 more source

From Droplet to Diagnosis: Spatio‐Temporal Pattern Recognition in Drying Biofluids

Advanced Intelligent Systems, EarlyView.
This article integrates machine learning (ML) with the spatio‐temporal evolution of biofluid droplets to reveal how drying and self‐assembly encode distinctive compositional fingerprints. By leveraging textural features and interpretable ML, it achieves robust classification of blood abnormalities with over 95% accuracy.
Anusuya Pal, Amalesh Gope, Miho Yanagisawa   +2 more
wiley   +1 more source

A Review of Trans‐Dimensional Kirigami: From Compliant Mechanism to Multifunctional Robot

Advanced Intelligent Systems, EarlyView.
This review outlines recent advancements in the geometric design and mechanical properties of kirigami. The kirigami is classified into two categories from a compliant mechanism perspective, highlighting their applications in metamaterials and robotic systems. Finally, the future research directions, is explored focusing on the potential of integrating
Yang Yu, Jinyao Zhang, Dengchen Wang, Yanqi Yin, Yehui Wu, Ruiyu Bai, Jiaqiang Yao, Yupei Zhang, Jingwen Yin, Chao Tang, Alexey S. Fomin, Wenjie Sun, Chen Liu, Bo Li, Guimin Chen   +14 more
wiley   +1 more source

On the calculus of positively constructed formulas for authomated theorem proving

Моделирование и анализ информационных систем, 2010
The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov, A. A. Larionov, E. A. Cherkashin   +2 more
doaj  

Explaining the undecidability of first-order logic

Zagadnienia Filozoficzne w Nauce
Turing proved the unsolvability of the decision problem for first-order logic (Entscheidungsproblem) in his famous paper On Computable Numbers, with an Application to the Entscheidungsproblem.
Timm Lampert, Anderson Nakano
doaj   +1 more source

The natural algorithmic approach of mixed trigonometric-polynomial problems

Journal of Inequalities and Applications, 2017
The aim of this paper is to present a new algorithm for proving mixed trigonometric-polynomial inequalities of the form ∑ i = 1 n α i x p i cos q i x sin r i x > 0 $$\sum_{i=1}^{n}\alpha _{i}x^{p_{i}} \cos ^{q_{i}} x\sin ^{r_{i}} x>0 $$ by reducing them ...
Tatjana Lutovac, Branko Malešević, Cristinel Mortici   +2 more
doaj   +1 more source

A Guide to Bayesian Optimization in Bioprocess Engineering

Biotechnology and Bioengineering, EarlyView.
ABSTRACT Bayesian optimization has become widely popular across various experimental sciences due to its favorable attributes: it can handle noisy data, perform well with relatively small data sets, and provide adaptive suggestions for sequential experimentation.
Maximilian Siska, Emma Pajak, Katrin Rosenthal, Antonio del Rio Chanona, Eric von Lieres, Laura M. Helleckes   +5 more
wiley   +1 more source

Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction

Journal of Computational Algebra
Recent work by Shehper et al. (2024) [13] proposed that the well-known Akbulut–Kirby presentation AK(3) is stably Andrews–Curtis (AC) equivalent to the trivial presentation, based on a reduction to a previously studied presentation P.
Alexei Lisitsa
doaj   +1 more source

Sustainability‐Linked Trade Credit and Inventory Strategies in Supply Chains: An Integrated Modeling Approach

Business Strategy and the Environment, EarlyView.
ABSTRACT Despite the growing research on sustainability, exactly how sustainability and trade credits are linked in the supply chain (SC) is still unclear. Therefore, this study aims to bridge this gap by examining how both supplier and retailer sustainability‐linked strategies and investment decisions influence trade credit terms, inventory decisions,
Vandana, Roberto Cerchione
wiley   +1 more source

New Andrews–Curtis trivializations for Miller–Schupp group presentations

Examples and Counterexamples
We present recent developments in the applications of automated theorem proving in the investigation of the Andrews–Curtis conjecture. We demonstrate previously unknown trivializations of group presentations from a parametric family MSn(w∗) of trivial ...
Alexei Lisitsa
doaj   +1 more source