UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Semantics-based generation of verification conditions via program specialization

Science of computer programming, 2017-11, Vol.147, p.78-108

2017

Volltextzugriff (PDF)

Program verification via iterated specialization

Science of computer programming, 2014-12, Vol.95, p.149-175

2014

Volltextzugriff (PDF)

Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs

Theoretical computer science, 1995-05, Vol.142 (1), p.89-124

1995

Volltextzugriff (PDF)

Derivation of efficient programs for computing sequences of actions

Theoretical computer science, 1987, Vol.53 (1), p.151-167

Pettorossi, Alberto

1987

Volltextzugriff (PDF)

Transformation of logic programs: Foundations and techniques

The journal of logic programming, 1994-05, Vol.19, p.261-320

1994

Volltextzugriff (PDF)

Derivation of an O(k 2 log n) algorithm for computing order-k fibonacci numbers from the O(k 3log n) matrix multiplication method

Information processing letters, 1980-01, Vol.11 (4), p.172-179

Pettorossi, Alberto

1980

Volltextzugriff (PDF)

Synthesis and transformation of logic programs using unfold/fold proofs

The journal of logic programming, 1999-11, Vol.41 (2), p.197-230

1999

Volltextzugriff (PDF)

The loop absorption and the generalization strategies for the development of logic programs and partial deduction

The journal of logic programming, 1993, Vol.16 (1), p.123-161

1993

Volltextzugriff (PDF)

Neural 17β-estradiol facilitates long-term potentiation in the hippocampal CA1 region

Neuroscience, 2011-09, Vol.192, p.67-73

2011

Volltextzugriff (PDF)

Long-term potentiation of synaptic response and intrinsic excitability in neurons of the rat medial vestibular nuclei

Neuroscience, 2011-07, Vol.187, p.1-14

2011

Volltextzugriff (PDF)

The repetition timing of high frequency afferent stimulation drives the bidirectional plasticity at central synapses in the rat medial vestibular nuclei

Neuroscience, 2012-10, Vol.223, p.1-11

2012

Volltextzugriff (PDF)

Is it worth using low-cost glass ionomer cements for occlusal ART restorations in primary molars? 2-year survival and cost analysis of a Randomized clinical trial

Journal of dentistry, 2020-10, Vol.101, p.103446-103446, Article 103446

2020

Volltextzugriff (PDF)

Influence of testosterone on synaptic transmission in the rat medial vestibular nuclei: estrogenic and androgenic effects

Neuroscience, 2010-12, Vol.171 (3), p.666-676

2010

Volltextzugriff (PDF)

Effects of 17β-estradiol on glutamate synaptic transmission and neuronal excitability in the rat medial vestibular nuclei

Neuroscience, 2010-02, Vol.165 (4), p.1100-1114

2010

Volltextzugriff (PDF)

Knee flexion with quadriceps cocontraction: A new therapeutic exercise for the early stage of ACL rehabilitation

Journal of biomechanics, 2016-12, Vol.49 (16), p.3855-3860

2016

Volltextzugriff (PDF)

Asymmetric vestibular stimulation and unilateral neck muscle vibration or contraction induce long-term effects on self-motion perception

Clinical neurophysiology, 2016-03, Vol.127 (3), p.e1-e1

2016

Volltextzugriff (PDF)

17 beta-estradiol synthesis modulates cerebellar dependent motor memory formation in adult male rats

Neurobiology of learning and memory, 2018-11, Vol.155, p.276-286

2018

Volltextzugriff (PDF)

Low-cost GICs reduce survival rate in occlusal ART restorations in primary molars after one year: A RCT

Journal of dentistry, 2017-02, Vol.57, p.45-50

2017

Volltextzugriff (PDF)

Long-lasting effects of neck muscle vibration and contraction on self-motion perception of vestibular origin

Clinical neurophysiology, 2015-10, Vol.126 (10), p.1886-1900

2015

Volltextzugriff (PDF)

Synaptic plasticity in the medial vestibular nuclei: role of glutamate receptors and retrograde messengers in rat brainstem slices

Progress in neurobiology, 2001-08, Vol.64 (6), p.527-553

2001

Volltextzugriff (PDF)

Circulating extracellular vesicles and small non-coding RNAs cargo in idiopathic inflammatory myopathies reveal differences across myositis subsets

Journal of autoimmunity, 2024-07, Vol.147, p.103255, Article 103255

2024

Volltextzugriff (PDF)

Opposite long-term synaptic effects of 17β-estradiol and 5α-dihydrotestosterone and localization of their receptors in the medial vestibular nucleus of rats

Brain research bulletin, 2013-08, Vol.97, p.1-7

2013

Volltextzugriff (PDF)

Influence of sex and estrous cycle on synaptic responses of the medial vestibular nuclei in rats: Role of circulating 17β-estradiol

Brain research bulletin, 2012-02, Vol.87 (2), p.319-327

2012

Volltextzugriff (PDF)

Self-motion perception and vestibulo-ocular reflex during whole body yaw rotation in standing subjects: The role of head position and neck proprioception

Human movement science, 2011-04, Vol.30 (2), p.314-332

2011

Volltextzugriff (PDF)

Role of nitric oxide in long-term potentiation of the rat medial vestibular nuclei

Neuroscience, 2000-01, Vol.101 (1), p.157-164

2000

Volltextzugriff (PDF)

1 – 25 von 51

Suche als RSS-Feed

Aktive Filter

KollektionElsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(48)
Mit Volltextzugriff
(51)

Publikationsform

Artikel
(51)

Sprache

Erscheinungsjahr

n.n

Kollektion

Elsevier ScienceDirect Journals Complete
(48)
IngentaConnect
(47)
MEDLINE
(34)
IngentaConnect Journals
(12)
Journals@Ovid Complete
(10)
EZB Free E-Journals
(7)
Single Journals
(1)

2 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Semantics-based generation of verification conditions via program specialization

Program verification via iterated specialization

Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs

Derivation of efficient programs for computing sequences of actions

Transformation of logic programs: Foundations and techniques

Derivation of an O(k 2 log n) algorithm for computing order-k fibonacci numbers from the O(k 3log n) matrix multiplication method

Synthesis and transformation of logic programs using unfold/fold proofs

The loop absorption and the generalization strategies for the development of logic programs and partial deduction

Neural 17β-estradiol facilitates long-term potentiation in the hippocampal CA1 region

Long-term potentiation of synaptic response and intrinsic excitability in neurons of the rat medial vestibular nuclei

The repetition timing of high frequency afferent stimulation drives the bidirectional plasticity at central synapses in the rat medial vestibular nuclei

Is it worth using low-cost glass ionomer cements for occlusal ART restorations in primary molars? 2-year survival and cost analysis of a Randomized clinical trial

Influence of testosterone on synaptic transmission in the rat medial vestibular nuclei: estrogenic and androgenic effects

Effects of 17β-estradiol on glutamate synaptic transmission and neuronal excitability in the rat medial vestibular nuclei

Knee flexion with quadriceps cocontraction: A new therapeutic exercise for the early stage of ACL rehabilitation

Asymmetric vestibular stimulation and unilateral neck muscle vibration or contraction induce long-term effects on self-motion perception

17 beta-estradiol synthesis modulates cerebellar dependent motor memory formation in adult male rats

Low-cost GICs reduce survival rate in occlusal ART restorations in primary molars after one year: A RCT

Long-lasting effects of neck muscle vibration and contraction on self-motion perception of vestibular origin

Synaptic plasticity in the medial vestibular nuclei: role of glutamate receptors and retrograde messengers in rat brainstem slices

Circulating extracellular vesicles and small non-coding RNAs cargo in idiopathic inflammatory myopathies reveal differences across myositis subsets

Opposite long-term synaptic effects of 17β-estradiol and 5α-dihydrotestosterone and localization of their receptors in the medial vestibular nucleus of rats

Influence of sex and estrous cycle on synaptic responses of the medial vestibular nuclei in rats: Role of circulating 17β-estradiol

Self-motion perception and vestibulo-ocular reflex during whole body yaw rotation in standing subjects: The role of head position and neck proprioception

Role of nitric oxide in long-term potentiation of the rat medial vestibular nuclei

Aktive Filter

Suchergebnisse filtern