Results 181 to 190 of about 3,597,563 (258)

Synaptic Plasticity Engineering for Neural Precision, Temporal Learning, and Scalable Neuromorphic Systems. [PDF]

Nanomicro Lett
Liu Z, Fang Y, Liu Q, Tian B, Zhao C.
europepmc   +1 more source

Beyond the black box: why algorithms cannot replace the unconscious or the psychodynamic therapist. [PDF]

Front Psychiatry
Govrin A.
europepmc   +1 more source

A waterproof and ultra-elastic thermoelectric foam for underwater human signal detection. [PDF]

Nat Commun
Liu W, Shi XL, He X, Zhu S, Li Z, Li C, Zhang D, Li M, Wu X, Zhang H, Wang L, Qin X, Chen ZG.   +12 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Fuzzy Logic and the Resolution Principle

Journal of the ACM, 1972
ABSTRACT The relationship between fuzzy logic and two-valued logic in the context of the first order predicate calculus is discussed. It is proved that if every clause in a set of clauses is something more than a “half-truth” and the most reliable clause has truth-value a and the most unreliable clause has truth-value b , then we are guaranteed ...
Richard C. T. Lee
openaire   +3 more sources

Conflict resolution using logic programming

IEEE Transactions on Knowledge and Data Engineering, 2003
This paper addresses issues involved in applying the event-condition-action (ECA) rule paradigm of active databases to policies-collections of general principles specifying the desired behavior of a system. We use a declarative policy description language, PDL, in which policies are formulated as sets of ECA rules. The main contribution of the paper is
J. Chomicki, J. Lobo, S. Naqvi
openaire   +2 more sources

Resolution in Modal, Description and Hybrid Logic

Journal of Logic and Computation, 2001
A resolution-based proof procedure for modal, description and hybrid logic is provided. Modern modal theorem provers are generally based on tableau methods, and resolution is used for modal logic by translating modal languages to languages of first-order logic.
Areces, C.E., de Nivelle, J.M.G.G., de Rijke, M.   +2 more
openaire   +8 more sources

Partitioned branch condition resolution logic

Proceedings 13th Symposium on Integrated Circuits and Systems Design (Cat. No.PR00843), 2002
A. Farooqui, K.W. Current, V.G. Oklobdzija   +2 more
openaire   +2 more sources

High Resolution Soft and Stretchable Circuits with PVA/Liquid‐Metal Mediated Printing

Advanced Materials & Technologies, 2020
A novel technique that permits, for the first time, fabrication of stretchable traces with linewidths as low as 20 µm and line‐spacing of 30 µm, based on simple coating and printing techniques, performed entirely at ambient condition, is demonstrated. By
André F. Silva, Hugo Paisana, Tânia F. Fernandes, Joana Góis, A. Serra, J. Coelho, A. T. Almeida, C. Majidi, M. Tavakoli   +8 more
semanticscholar   +1 more source

Ordered Resolution for Coalition Logic

2015
In this paper we introduce a calculus based on ordered resolution for Coalition Logic (CL), improving our previous approach based on unrefined resolution, and discuss the problems associated with imposing an ordering refinement in the context of CL. The calculus operates on ‘coalition problems’, a normal form for CL where we use coalition vectors that ...
Hustadt, U., Gainer, P., Dixon, C., Nalon, C., Zhang, L.   +4 more
openaire   +1 more source