Sciweavers

Share
235 search results - page 1 / 47
» A Brief Overview of HOL4
Sort
View
TPHOL
2008
IEEE
10 years 2 months ago
A Brief Overview of HOL4
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
Konrad Slind, Michael Norrish
QI
2015
Springer
7views Physics» more  QI 2015»
4 years 4 months ago
Contextuality-by-Default: A Brief Overview of Ideas, Concepts, and Terminology
This paper is a brief overview of the concepts involved in measuring the degree of contextuality and detecting contextuality in systems of binary measurements of a finite number o...
Ehtibar N. Dzhafarov, Janne V. Kujala, Víct...
ISMVL
1998
IEEE
105views Hardware» more  ISMVL 1998»
10 years 13 days ago
A Review of Multiple-Valued Memory Technology
This paper provides a brief overview of semiconductor memory design from the perspective of the impact multiplevalued circuit techniques are making on modern day implementations. ...
P. Glenn Gulak
ADBIS
2000
Springer
135views Database» more  ADBIS 2000»
10 years 16 days ago
Database Research Activities in Russia: a Brief Overview
The paper provides brief analysis of recent research activities in database area in Russia. Activities of the Moscow ACM SIGMOD Chapter are characterized, emphasizing organization ...
Leonid A. Kalinichenko, Mikhail R. Kogalovsky, Ser...
UML
2001
Springer
10 years 18 days ago
Agile Modeling: A Brief Overview
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...
Scott W. Ambler
books