447 search results - page 23 / 90 » 'Openness' and the public airwaves |
CADE
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. This article describes the first public version of the satisfiability modulo theory (SMT) solver veriT. It is open-source, proof-producing, and complete for quantifier-fr...
ERCIMDL
2005
Springer
14 years 2 months ago
2005
Springer
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
DILS
2007
Springer
14 years 16 days ago
2007
Springer
Information about small genetic variations in organisms, known as single nucleotide polymorphism (SNPs), is crucial to identify candidate genes that have a role in disease suscepti...
LREC
2008
13 years 10 months ago
2008
A number of forensic studies published during the last 50 years report that intoxication with alcohol influences speech in a way that is made manifest in certain features of the s...
IMSA
2001
13 years 10 months ago
2001
Zebra is publicly available free routing software that is distributed under GNU General Public License. It supports the following IP routing protocols: BGP-4, RIPv1, RIPv2 and OSP...