Results 181 to 190 of about 42,446 (219)
Some of the next articles are maybe not open access.
Zastosowanie mechanizmu CDB do rozwijania aliasów pocztowych
2011Studia Informatica, Vol 32, No 2B (2011)
Frydrych, Mariusz, Horzelski, Wojciech
openaire +1 more source
CDB-PV: A Constraint Database-Based Program Verifier
2007In this paper we present a new system called CDB-PV that uses constraint databases (CDBs) for program verification (PV). The CDB-PV system was implemented in C++ and tested on several sample programs that are difficult to verify using other methods. The CDB-PV system also runs efficiently for the sample programs.
Scot Anderson, Peter Revesz
openaire +1 more source
Endometrial actions of selective progesterone receptor modulator CDB-4124 (CDB)
Fertility and Sterility, 2012B.A. McAvey +3 more
openaire +1 more source
I/O-Efficient Algorithms for CDBs
2000In this chapter, we study the I/O aspects of constraint databases. The goal of this chapter is to show that for many problems arising in constraint databases, it is possible to design theoretically and practically efficient algorithms. In addition, we show that certain problems are provably hard with the result that no theoretically efficient ...
openaire +1 more source
Intrauterine administration of CDB-2914 (Ulipristal) suppresses the endometrium of rhesus macaques
Contraception, 2010Ov Daniel Slayden +2 more
exaly
Inheritance of a mitochondrial DNA defect and impaired glucose tolerance in BHE/Cdb rats
Diabetologia, 1999Clayton E Mathews
exaly
G2Cdb: the Genes to Cognition database
Nucleic Acids Research, 2009J Douglas Armstrong, Seth G Grant
exaly