Results 211 to 220 of about 12,913 (267)
Endovascular aortic repair with iliac branch endoprosthesis for short common iliac aneurysm. [PDF]
Sakakibara S +5 more
europepmc +1 more source
The Effects of Graphene Oxide Nanoparticles on the Cryopreservation of Angora Buck Sperm. [PDF]
Öztürk AE +7 more
europepmc +1 more source
Preliminary Evaluation of a Tris-Based Extender for the Semen Examination Procedure in a Hybrid Falcon (<i>Falco rusticolus × Falco cherrug</i>). [PDF]
Govoni M +6 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Cycle Extendability in Extended Tournaments
Graphs and Combinatorics, 2022zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yuzhen Qi +3 more
openaire +2 more sources
Extended–-and Extending–-Literacies
Journal of Education, 2016We examine the impact of Becoming a Nation of Readers: The Report of the Commission on Reading (BNR) (Anderson, Hiebert, Scott, & Wilkinson, 1985) with the idea of extending literacy learning beyond the early grades, describing present-day conceptions of secondary-school literacy learning, and calling to further extend the concept of extended ...
Elizabeth Birr Moje, Tisha Lewis Ellison
openaire +1 more source
Graphs and Combinatorics, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ronald J. Gould, Thor Whalen
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ronald J. Gould, Thor Whalen
openaire +2 more sources
2004
There has been a growing interest in detecting whether a logic specification holds in the system vacuously. For example, a specification “every request is eventually followed by an acknowledgment” holds vacuously on those systems that never generate requests. In a recent paper, Armoni et al.
Arie Gurfinkel, Marsha Chechik
openaire +1 more source
There has been a growing interest in detecting whether a logic specification holds in the system vacuously. For example, a specification “every request is eventually followed by an acknowledgment” holds vacuously on those systems that never generate requests. In a recent paper, Armoni et al.
Arie Gurfinkel, Marsha Chechik
openaire +1 more source
ACM SIGCAS Computers and Society, 1998
We review the argument made by Clark and Chalmers in Analysis for a limited externalism and extend their argument from declarative knowledge to procedural knowledge.
openaire +1 more source
We review the argument made by Clark and Chalmers in Analysis for a limited externalism and extend their argument from declarative knowledge to procedural knowledge.
openaire +1 more source
An extended OBDD representation for extended FSMs
Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC, 2002This paper presents a subset of the predicate calculus, called the case calculus, which is suitable for describing Extended Finite State Machines (EFSMs). EFSMs can be used as abstract models of combined datapath and control systems. Case expressions can be represented using Extended Ordered Binary Decision Diagrams (EOBDDs) that are compact, allow an ...
Michel Langevin, Eduard Cerny
openaire +1 more source

