Catálogo de publicaciones - libros
Human Cell Culture
John R. Masters ; Bernhard O. Palsson ; James A. Thomson (eds.)
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Laboratory Medicine
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2007 | SpringerLink |
Información
Tipo de recurso:
libros
ISBN impreso
978-1-4020-5982-7
ISBN electrónico
978-1-4020-5983-4
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2007
Información sobre derechos de publicación
© Springer Netherlands 2007
Cobertura temática
Tabla de contenidos
Pancreatic Cell Differentiation
Bettina Fishman; Hanna Segev; Joseph Itskovitz-Eldor
In this work we describe a system for determining of disjunctive datalog programs under the stable model semantics. The problem is tackled by reducing it to the unsatisfiability problem of first-order formulas in the Bernays-Schönfinkel fragment. We then employ a tableaux-based theorem prover, which (unlike most other currently available provers) is guaranteed to terminate for these formulas. To the best of our knowledge, this is the first strong equivalence tester for disjunctive non-ground datalog.
Pp. 189-209
Cardiomyocyte Differentiation
Dinender K. Singla; Shreeya Jayaraman; Jianhua Zhang; Timothy J. Kamp
In this work we describe a system for determining of disjunctive datalog programs under the stable model semantics. The problem is tackled by reducing it to the unsatisfiability problem of first-order formulas in the Bernays-Schönfinkel fragment. We then employ a tableaux-based theorem prover, which (unlike most other currently available provers) is guaranteed to terminate for these formulas. To the best of our knowledge, this is the first strong equivalence tester for disjunctive non-ground datalog.
Pp. 211-234
Human Embryonal Carcinoma (EC) Cells: Complementary Tools for Embryonic Stem Cell Research
Peter D. Tonge; Peter W. Andrews
In this work we describe a system for determining of disjunctive datalog programs under the stable model semantics. The problem is tackled by reducing it to the unsatisfiability problem of first-order formulas in the Bernays-Schönfinkel fragment. We then employ a tableaux-based theorem prover, which (unlike most other currently available provers) is guaranteed to terminate for these formulas. To the best of our knowledge, this is the first strong equivalence tester for disjunctive non-ground datalog.
Pp. 235-253
Quality Control of Human Stem Cell Lines
Glyn N. Stacey
In this work we describe a system for determining of disjunctive datalog programs under the stable model semantics. The problem is tackled by reducing it to the unsatisfiability problem of first-order formulas in the Bernays-Schönfinkel fragment. We then employ a tableaux-based theorem prover, which (unlike most other currently available provers) is guaranteed to terminate for these formulas. To the best of our knowledge, this is the first strong equivalence tester for disjunctive non-ground datalog.
Pp. 255-275