Results 81 to 90 of about 765,429 (244)
A Distinguishable Model Theorem for the minimal US-tense logic
, 1995 A new concept of model for the US-tense logic is introduced, in which ternary relations of betweenness are adjoined to the usual early-later relation. The class of these new models, which contains the class of Kripke models, satisfies, contrary to that ...
Bucalo A., Bellissima F.
core +1 more source
Advanced Science, EarlyView.A versatile framework integrates addressable electrothermal actuation and strain‐constraint mechanisms to construct programmable shape‐morphing soft matter systems. By combining an analytical inverse design strategy for high‐fidelity 3D surface reconstruction with deep learning‐based closed‐loop control, this approach enables zero‐energy shape locking,
Kai Liu +5 more
wiley +1 more source
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
Bulletin of the Section of LogicThis paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuitionistic logic, conditional logics, and bunched logics. After providing an
Tim S. Lyon +7 more
doaj +1 more source
Dellalat Adawat AL.Shart in Sorat AL-AMRAN
الأستاذ, 2018 The research aims to highlight the style of the Arabic language methods, a condition, and was allocated to speak with him in Surat Al-Imran, the most important findings of the research :
Dr. Nada Suham Ismail
doaj +1 more source
Advanced Science, EarlyView.Geometric constraint reconfiguration enables a rigid–foldable kirigami‐inspired mechanism to switch between twisting, directional translation, and self‐locking states. By encoding multifunctionality directly into its architecture, the mechanism achieves multimodal motion and passive locking without reassembly, providing a compact platform for adaptive ...
Jianlin Wang, Zhongmin Song, Ketao Zhang
wiley +1 more source
Advanced Science, EarlyView.An attention‐based multimodal deep learning framework is developed to predict the creep life of Ni‐based superalloys by fusing processing parameters with microstructural micrographs. The model achieves high accuracy (R2 = 0.92), aligns with metallurgical principles by capturing δ‐phase influence, and incorporates uncertainty quantification, offering a ...
Haopeng Lv +10 more
wiley +1 more source
Mathematical Symbolism in Yann Martel’s Novel Life of Pi (2001) [PDF]
Литература двух АмерикThe article identifies and investigates the semiotic and aesthetic nature of a specific type of artistic images, which can be called mathematical. In the theoretical part, based on known works of Russian and World literature, an analytical justification ...
Aleksei N. Nikulin
doaj +1 more source
Advanced Science, EarlyView.Given that PEEK chest wall implants induce shear force at the soft tissue‐implant interface due to respiratory motion in the early in vivo post‐implantation stage. We confirmed that this mechanical stimulus triggers the PIEZO1/ITGB1/YAP1 signalling axis in L929 and the STAT6/p‐STAT6 pathway in RAW264.7, which in turn mediates adhesion and migration of ...
Rou Huang +14 more
wiley +1 more source
Advanced Science, EarlyView.As CMOS technology approaches fundamental energy limits, new paradigms for low‐power information processing are required. Magnetic systems are attractive for their spin transport, yet current‐induced magnetization control is energy inefficient. Multiferroic heterostructures enable energy‐efficient electric field manipulation of magnetism.
Donghyeon Lee +3 more
wiley +1 more source
Retrogradation of Truth and Omniscience
PhilosophiesTodd and Rabern have argued that assuming future contingents are untrue, together with accepting the principle of the retrogradation of truth (p→PF(p)), implies that it is metaphysically impossible that an omniscient entity exists.
Ciro De Florio, Aldo Frigerio
doaj +1 more source