1486 search results - page 267 / 298 » Mathematical Fuzzy Logics |
105
click to vote
AB
2008
Springer
15 years 6 months ago
2008
Springer
In the course of understanding biological regulatory networks (BRN), scientists usually start by studying small BRNs that they believe to be of particular importance to represent a...
FOCS
2005
IEEE
15 years 5 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
CHES
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
103
click to vote
CSL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
105
click to vote
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...