Results 281 to 290 of about 823,326 (291)

Predicting recycling behaviour: Comparison of a linear regression model and a fuzzy logic model

Waste Management, 2016
Christian Andreas Klöckner, Mirko Dohnal   +1 more
exaly  

Control of systems integrating logic, dynamics, and constraints

Automatica, 1999
Alberto Bemporad, Manfred Morari
exaly  

A novel graphene oxide-based fluorescent nanosensor for selective detection of Fe3+ with a wide linear concentration and its application in logic gate

Biosensors and Bioelectronics, 2015
John H Xin
exaly  

Improved sensitivity based linear learning method for permeability prediction of carbonate reservoir using interval type-2 fuzzy logic system

Applied Soft Computing Journal, 2014
Ali Selamat, So Olatunji
exaly  

Linear logic as a logical framework

2017
Logical frameworks have seen three decades of design, theory, implementation , and applications. An early example of such a framework was LF (Honsell, Harper, & Plotkin, LICS 1987): that dependently typed λ-calculus provided a framework for defining the syntax of terms and formulas as well as natural deduction proofs in various intuitionistic logics ...
openaire   +1 more source

Combining linear-time temporal logic with constructiveness and paraconsistency

Journal of Applied Logic, 2010
Norihiro Kamide, Heinrich Wansing
exaly  

Piecewise linear classification using seniority logic committee methods, with application to remote sensing

Pattern Recognition, 1984
Xiuping Jia
exaly  

Optimization solar site selection by fuzzy logic model and weighted linear combination method in arid and semi-arid region: A case study Isfahan-IRAN

Renewable and Sustainable Energy Reviews, 2017
Mahmood Zoghi, Sepideh Karimi
exaly  

Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications

IEEE Transactions on Automatic Control, 2004
Shengbing Jiang, Ratnesh
exaly  

Soft linear logic and polynomial time

Theoretical Computer Science, 2004
exaly