Results 251 to 260 of about 3,702,791 (303)

Rate-Dependent Hysteresis Modeling and Hybrid Inverse Compensation Control for Piezoelectric Actuators. [PDF]

Sensors (Basel)
Guo Q, Yu Z, Zhou J.
europepmc   +1 more source

A coumarin-appended pyridine dicarbohydrazide-based chemosensor for the highly sensitive and selective colorimetric recognition of Ni²⁺ ions. [PDF]

RSC Adv
Tonger Y, Chaudhary P, Dua A, Sonkar AK, Kumar R.   +4 more
europepmc   +1 more source

Dephosphorylation-regulated MNAzyme-PER cascade as a programmable converter for multi-task molecular actuation. [PDF]

J Nanobiotechnology
Zhang Y, Zhang Y, Jiang J, Bai D, Zhang L, Wang L, Hu X, Pu J, He Y, Han X, Wang W, Yin N, Lin X, Liu X, Chen T, Guo Y, Xie G.   +16 more
europepmc   +1 more source

Reasoning about Knowledge in Linear Logic: Modalities and Complexity

, 2003
Sadrzadeh, Mehrnoosh, Marion, Mathieu
core  

Some of the next articles are maybe not open access.

Related searches:

Linear Logic and Exceptions

Journal of Logic and Computation, 1994
Reasoning about hierarchical structures, where a simple inheritance could be complicated by possible exceptions, is an interesting research topic in artificial intelligence. The fundamental problems in this area are of a formal nature and they are solved using proper formalization.
Vauzeilles, Jacqueline, Fouqueré, Christophe   +1 more
openaire   +3 more sources

Linear logic

Communications of the ACM, 2010
A novel approach to computational logic is reaching maturity, opening up opening up new vistas in programming languages, proof nets, and security applications.
openaire   +2 more sources

Linearization of the BCK-logic

Studia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Francisco Miguel García-Olmedo, Antonio J. Rodríguez Salas   +1 more
openaire   +1 more source