UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 332

Sortiert nach

Formal Verification: An Essential Toolkit for Modern VLSI Design

Second edition, 2023

Link zum Volltext

Verfügbarkeit prüfen

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings

1995

Link zum Volltext

Verfügbarkeit prüfen

Formal Verification: An Essential Toolkit for Modern VLSI Design

Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar

1, 2015

Link zum Volltext

Verfügbarkeit prüfen

Adult type granulosa cell tumor of the testis with a heterologous sarcomatous component: case report and review of the literature

Diagnostic pathology, 2014-06, Vol.9 (1), p.107-107, Article 107

2014

Link zum Volltext

Verfügbarkeit prüfen

In vivo development and long-term survival of engineered adipose tissue depend on in vitro precultivation strategy

Tissue engineering. Part A, 2008-02, Vol.14 (2), p.275

2008

Link zum Volltext

Verfügbarkeit prüfen

Preventive usage of broad spectrum chemokine inhibitor NR58-3.14.3 reduces the severity of pulmonary and hepatic graft-versus-host disease

International journal of hematology, 2009-04, Vol.89 (3), p.383-397

2009

Link zum Volltext

Verfügbarkeit prüfen

A patient with arthritis, severe back pain, impaired wound healing, and perforated sigmoid colon

The Lancet (British edition), 2006-06, Vol.367 (9527), p.2032-2032

2006

Link zum Volltext

Verfügbarkeit prüfen

Preponderance of sensory versus sympathetic nerve fibers and increased cellularity in the infrapatellar fat pad in anterior knee pain patients after primary arthroplasty

Journal of orthopaedic research, 2008-03, Vol.26 (3), p.342-350

2008

Link zum Volltext

Verfügbarkeit prüfen

Hypoferraemia during the early inflammatory response is dependent on tumour necrosis factor activity in a murine model of protracted peritonitis

Molecular medicine reports, 2012-10, Vol.6 (4), p.838-842

2012

Link zum Volltext

Verfügbarkeit prüfen

Low viscosity histidine‐tryptophan‐ketoglutarate graft flush improves subsequent extended cold storage in University of Wisconsin solution in an extracorporeal rat liver perfusion and rat liver transplantation model

Liver transplantation, 2006-12, Vol.12 (12), p.1841-1849

2006

Link zum Volltext

Verfügbarkeit prüfen

p38MAPK mediates IL-1-induced down-regulation of aggrecan gene expression in human chondrocytes

International journal of molecular medicine, 2006-04, Vol.17 (4), p.661-668

2006

Link zum Volltext

Verfügbarkeit prüfen

The Histopathological and Clinical Relevance of Apoptotic Cell Death in Medulloblastomas

Journal of neuropathology and experimental neurology, 1998-01, Vol.57 (1), p.14-15

1998

Link zum Volltext

Verfügbarkeit prüfen

Pulmonary Function Changes in Experimental Graft-versus-Host Disease of the Lung

Biology of blood and marrow transplantation, 2008-09, Vol.14 (9), p.1004-1016

2008

Link zum Volltext

Verfügbarkeit prüfen

Interleukin-10 does not affect IL-1-induced interleukin-6 and metalloproteinase production in human chondrosarcoma cells, SW1353

International journal of molecular medicine, 2006-02, Vol.17 (2), p.377-383

2006

Link zum Volltext

Verfügbarkeit prüfen

Failure of interferon-gamma and tumor necrosis factor in mediating anemia of chronic disease in a mouse model of protracted septic peritonitis

International journal of molecular medicine, 2005-10, Vol.16 (4), p.753

2005

Link zum Volltext

Verfügbarkeit prüfen

Differential loss of sympathetic nerves and increase of substance P positive nerves in the colon in Crohn’s disease: A role for the nerve repellent factor semaphorin 3C

Brain, behavior, and immunity, 2006-05, Vol.20 (3), p.29-29

2006

Link zum Volltext

Verfügbarkeit prüfen

The histopathological and clinical relevance of apoptotic cell death in medulloblastomas

Journal of neuropathology and experimental neurology, 1998, Vol.57 (1), p.10-15

1998

Link zum Volltext

Verfügbarkeit prüfen

A hybrid model for reasoning about composed hardware systems

Computer Aided Verification, 2005, p.260-272

Schubert, E. Thomas

2005

Link zum Volltext

Verfügbarkeit prüfen

5221902 NMR neck coil with passive decoupling

Magnetic resonance imaging, 1994, Vol.12 (3), p.X-XI

1994

Link zum Volltext

Verfügbarkeit prüfen

Verification Of Composed Hardware Systems Using CCS

1991 International Workshop on the HOL Theorem Proving System and Its Applications, 1991, p.88-95

Schubert, E.T.

1991

Link zum Volltext
Volltext

Verification Of Integrated Subsystems

1991 International Workshop on the HOL Theorem Proving System and Its Applications, 1991, p.38-51

Schubert, E.T.

1991

Link zum Volltext
Volltext

Correlates of Health-Protective Behavior During the Initial Days of the COVID-19 Outbreak in Norway

Frontiers in psychology, 2020-10, Vol.11, p.564083-564083

2020

Link zum Volltext

Verfügbarkeit prüfen

Designing 3D Multihierarchical Heteronanostructures for High-Performance On-Chip Hybrid Supercapacitors: Poly(3,4-(ethylenedioxy)thiophene)-Coated Diamond/Silicon Nanowire Electrodes in an Aprotic Ionic Liquid

ACS applied materials & interfaces, 2016-07, Vol.8 (28), p.18069-18077

2016

Link zum Volltext

Verfügbarkeit prüfen

Nanoporous ceramic supported ionic liquid membranes for CO2 and SO2 removal from flue gas

Chemical engineering journal (Lausanne, Switzerland : 1996), 2017-04, Vol.313, p.777-790

2017

Link zum Volltext

Verfügbarkeit prüfen

Solubility and Diffusivity of CO2 in the Ionic Liquid 1‑Butyl-3-methylimidazolium Tricyanomethanide within a Large Pressure Range (0.01 MPa to 10 MPa)

Journal of chemical and engineering data, 2015-06

2015

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 332

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(296)
Mit Volltextzugriff
(293)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(2)
... seit 90 Tagen
(4)

Menü

Weitere Dienste

Einstellungen

Formal Verification: An Essential Toolkit for Modern VLSI Design

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings

Formal Verification: An Essential Toolkit for Modern VLSI Design

Adult type granulosa cell tumor of the testis with a heterologous sarcomatous component: case report and review of the literature

In vivo development and long-term survival of engineered adipose tissue depend on in vitro precultivation strategy

Preventive usage of broad spectrum chemokine inhibitor NR58-3.14.3 reduces the severity of pulmonary and hepatic graft-versus-host disease

A patient with arthritis, severe back pain, impaired wound healing, and perforated sigmoid colon

Preponderance of sensory versus sympathetic nerve fibers and increased cellularity in the infrapatellar fat pad in anterior knee pain patients after primary arthroplasty

Hypoferraemia during the early inflammatory response is dependent on tumour necrosis factor activity in a murine model of protracted peritonitis

Low viscosity histidine‐tryptophan‐ketoglutarate graft flush improves subsequent extended cold storage in University of Wisconsin solution in an extracorporeal rat liver perfusion and rat liver transplantation model

p38MAPK mediates IL-1-induced down-regulation of aggrecan gene expression in human chondrocytes

The Histopathological and Clinical Relevance of Apoptotic Cell Death in Medulloblastomas

Pulmonary Function Changes in Experimental Graft-versus-Host Disease of the Lung

Interleukin-10 does not affect IL-1-induced interleukin-6 and metalloproteinase production in human chondrosarcoma cells, SW1353

Failure of interferon-gamma and tumor necrosis factor in mediating anemia of chronic disease in a mouse model of protracted septic peritonitis

Differential loss of sympathetic nerves and increase of substance P positive nerves in the colon in Crohn’s disease: A role for the nerve repellent factor semaphorin 3C

The histopathological and clinical relevance of apoptotic cell death in medulloblastomas

A hybrid model for reasoning about composed hardware systems

5221902 NMR neck coil with passive decoupling

Verification Of Composed Hardware Systems Using CCS

Verification Of Integrated Subsystems

Correlates of Health-Protective Behavior During the Initial Days of the COVID-19 Outbreak in Norway

Designing 3D Multihierarchical Heteronanostructures for High-Performance On-Chip Hybrid Supercapacitors: Poly(3,4-(ethylenedioxy)thiophene)-Coated Diamond/Silicon Nanowire Electrodes in an Aprotic Ionic Liquid

Nanoporous ceramic supported ionic liquid membranes for CO2 and SO2 removal from flue gas

Solubility and Diffusivity of CO2 in the Ionic Liquid 1‑Butyl-3-methylimidazolium Tricyanomethanide within a Large Pressure Range (0.01 MPa to 10 MPa)

Suchergebnisse filtern