Results 51 to 60 of about 3,981 (217)

Flexible semantic service execution [PDF]

, 2012
Zusammenfassung: Die vorliegende Arbeit widmet sich einer wichtigen Aufgabenstellung, die im Umfeld verteilter und dienstbasierter Architekturen auftritt: Die korrekte, zuverlässige und effiziente Ausführung softwarebasierter Dienste.
Möller, Thorsten
core   +1 more source

Drop‐Shaped Optical Microfiber Enabled Biomechanical Sensor

Advanced Science, EarlyView.
A novel microforce sensor based on a drop‐shaped optical microfiber is presented herein, designed to characterize the biomechanical properties of single cells and microscale living organisms, achieving a force resolution of 24 nN. Leveraging its high sensitivity, facile miniaturization, excellent flexibility, and robust mechanical stability, this ...
Yan Xu, Xitao Tu, Haochen Jiang, Jun Mo, Xinyue Zhang, Xiaomin Yue, Limin Tong, Lei Zhang   +7 more
wiley   +1 more source

An Approach to Identifying Inconsistencies in Model-based Systems Engineering

, 2014
A typical way of managing the inherent complexity of contemporary technical systems is to study them from different viewpoints. Such viewpoints are defined by a variety of factors, including the concerns of interest, level of abstraction, observers and ...
Herzig, Sebastian J.I., Paredis, Christiaan J.J., Christiaan J.J. Paredis, Ahsan Qamar, Sebastian J.I. Herzig, Qamar, Ahsan   +5 more
core   +1 more source

Hierarchical Ordering Induced Ultrahigh Cryogenic Strength and Strain Hardening in a Ni2CoFeV Medium‐Entropy Alloy

Advanced Science, EarlyView.
A tri‐phase Ni2CoFeV medium‐entropy alloy with fcc, κ, and L12 phases achieves exceptional cryogenic strength‐ductility synergy at 77 K. It delivers a yield strength of 1.4 GPa, an ultimate tensile strength of 2.07 GPa and a tensile ductility of 28%.
Lei Gu, Wei Jiang, Qingzhong Mao, Xiang Chen, Yonghao Zhao   +4 more
wiley   +1 more source

Characterizing Production Systems using Logic Programming and Situation Calculus

, 2007
In this paper we characterize production systems using logic programs and situation calculus notation. Our characterization is different from the earlier attempts [3, 6, 7, 2] and unlike them does not define a new semantics.
Chitta Baral, Jorge Lobo
core  

Understanding the Catalytic Determinant role of Diaphorase‐Like Subunit in Formate Dehydrogenases via Redox Couples

Advanced Science, EarlyView.
A unique mechanism of catalytic bias regulated by diaphorase‐like subunit in formate dehydrogenase from Rhodobacter aestuarii is revealed. The diaphorase‐like subunit functions act as a biological “voltage rheostat” that controls the slow release of NADH to regulate redox balance, biasing the enzyme's catalytic preference toward CO2 reduction over ...
Kuncheng Zhang, Weisong Liu, Hao Su, Huijuan Cui, Yuanming Wang, Zhiguang Zhu, Chun You, Lingling Zhang   +7 more
wiley   +1 more source

Prediction of Structural Stability of Layered Oxide Cathode Materials: Combination of Machine Learning and Ab Initio Thermodynamics

Advanced Energy Materials, EarlyView.
In this work, we developed a phase‐stability predictor by combining machine learning and ab initio thermodynamics approaches, and identified the key factors determining the favorable phase for a given composition. Specifically, a lower TM ionic potential, higher Na content, and higher mixing entropy favor the O3 phase.
Liang‐Ting Wu, Milica Zdravković, Dijana Milosavljević, Konstantin Köster, Olivier Guillon, Jyh‐Chiang Jiang, Payam Kaghazchi   +6 more
wiley   +1 more source

Tractable Reasoning in Knowledge Representation Systems

, 1995
This document addresses some problems raised by the well-known intractability of deductive reasoning in even moderately expressive knowledge representation systems.
Dalal, Mukesh
core   +2 more sources

Logical consequence in modal logic II: Some semantic systems for S4 [PDF]

, 1974
: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain
Weaver, George
core   +1 more source

On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics

, 2010
In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core