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...

Analysing Snapshot Isolation

Journal of the ACM, 2018-03, Vol.65 (2), p.1-41

2018

Volltextzugriff (PDF)

Modelling MAC-Layer Communications in Wireless Systems

Logical methods in computer science, 2015-03, Vol.11, Issue 1

2015

Volltextzugriff (PDF)

Modelling Probabilistic Wireless Networks

Logical methods in computer science, 2013-09, Vol.9, Issue 3

2013

Volltextzugriff (PDF)

Process Behaviour: Formulae vs. Tests (Extended Abstract)

Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.31-45

2010

Volltextzugriff (PDF)

Characterising Testing Preorders for Broadcasting Distributed Systems

Trustworthy Global Computing, 2015, Vol.8902, p.67-81

2015

Volltextzugriff (PDF)

Transaction Chopping for Parallel Snapshot Isolation

Distributed Computing, 2015, Vol.9363, p.388-404

2015

Volltextzugriff (PDF)

Parameterised Linearisability

Automata, Languages, and Programming, 2014, Vol.8573, p.98-109

2014

Volltextzugriff (PDF)

Modelling Probabilistic Wireless Networks: Extended Abstract

Formal Techniques for Distributed Systems, 2012, p.135-151

2012

Volltextzugriff (PDF)

Modelling MAC-Layer Communications in Wireless Systems: Extended Abstract

Coordination Models and Languages, 2013, p.16-30

2013

Volltextzugriff (PDF)

Running speed changes the distribution of excitation within the biceps femoris muscle in 80 m sprints

Scandinavian journal of medicine & science in sports, 2023-07, Vol.33 (7), p.1104-1115

2023

Volltextzugriff (PDF)

Comparing deep and shallow neural networks in forecasting call center arrivals

Soft computing (Berlin, Germany), 2023-09, Vol.27 (18), p.12943-12957

2023

Volltextzugriff (PDF)

Dynamic Surface Electromyography Using Stretchable Screen-Printed Textile Electrodes

IEEE transactions on neural systems and rehabilitation engineering, 2021, Vol.29, p.1661-1668

2021

Volltextzugriff (PDF)

Running speed changes the distribution of excitation within the biceps femoris muscle in 80m sprints

Scandinavian journal of medicine & science in sports, 2023-07, Vol.33 (7), p.1104-1115

2023

Volltextzugriff (PDF)

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

Software Engineering and Formal Methods, 2018, Vol.10729, p.300-314

2018

Volltextzugriff (PDF)

The Exchange Reamed Nailing technique in the treatment of aseptic tibial nonunion. A literature review of 371 cases

Lo scalpello, 2021-12, Vol.35 (3), p.139-145

2021

Volltextzugriff (PDF)

Towards a Reference Dataset of Microservice-Based Applications

Software Engineering and Formal Methods, 2018, Vol.10729, p.219-229

2018

Volltextzugriff (PDF)

Multisocieties position paper: Microbiological surveillance on flexible endoscopes

Digestive and liver disease, 2021-09, Vol.53 (9), p.1105-1111

2021

Volltextzugriff (PDF)

Bisimulation Congruences in the Calculus of Looping Sequences

Lecture notes in computer science, 2006, p.93-107

2006

Volltextzugriff (PDF)

A spectrum of LMX1B mutations in Nail-Patella syndrome: New point mutations, deletion, and evidence of mosaicism in unaffected parents

Genetics in medicine, 2010-07, Vol.12 (7), p.431-439

2010

Volltextzugriff (PDF)

Are the forearm muscles excited equally in different, professional piano players?

PloS one, 2022-01, Vol.17 (3), p.e0265575

2022

Volltextzugriff (PDF)

The Italian Registry of Endovascular Treatment in Acute Stroke: rationale, design and baseline features of patients

Neurological sciences, 2015-06, Vol.36 (6), p.985-993

2015

Volltextzugriff (PDF)

Telomerase and neuronal marker status of differentiated NT2 and SK-N-SH human neuronal cells and primary human neurons

Journal of neuroscience research, 2007-01, Vol.85 (1), p.83-89

2007

Volltextzugriff (PDF)

Time-based expressivity of time Petri nets for system specification

Theoretical computer science, 1999-03, Vol.216 (1), p.1-53

1999

Volltextzugriff (PDF)

Erratum to: The Italian Registry of Endovascular Treatment in Acute Stroke: rationale, design and baseline features of patients

Neurological sciences, 2015-10, Vol.36 (10), p.1975-1978

2015

Volltextzugriff (PDF)

Early-onset Combined Methylmalonic Aciduria and Homocystinuria: Neuroradiologic Findings

American journal of neuroradiology, 2001-03, Vol.22 (3), p.554-563

2001

Volltextzugriff (PDF)

1 – 25 von 33

Suche als RSS-Feed

Aktive Filter

KollektionTaylor & Francis Online

ThemaPhysical Sciences

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(27)
Mit Volltextzugriff
(30)

Publikationsform

Sprache

Englisch
(32)
Spanisch
(1)

Erscheinungsjahr

n.n

Thema

Science & Technology
(21)
Technology
(13)
Computer Science
(11)
Computer Science, Theory & Methods
(10)
Life Sciences & Biomedicine
(9)
Humans
(7)
Computer Science, Software Engineering
(4)
Female
(4)
Male
(4)
Neurosciences & Neurology
(4)
Clinical Neurology
(3)
Engineering
(3)
Neurology
(3)
Neurosciences
(3)
Applied Sciences
(2)
Biological And Medical Sciences
(2)
Brain - Pathology
(2)
Child
(2)
Computer Science - Logic In Computer Science
(2)
Computer Science, Hardware & Architecture
(2)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Analysing Snapshot Isolation

Modelling MAC-Layer Communications in Wireless Systems

Modelling Probabilistic Wireless Networks

Process Behaviour: Formulae vs. Tests (Extended Abstract)

Characterising Testing Preorders for Broadcasting Distributed Systems

Transaction Chopping for Parallel Snapshot Isolation

Parameterised Linearisability

Modelling Probabilistic Wireless Networks: Extended Abstract

Modelling MAC-Layer Communications in Wireless Systems: Extended Abstract

Running speed changes the distribution of excitation within the biceps femoris muscle in 80 m sprints

Comparing deep and shallow neural networks in forecasting call center arrivals

Dynamic Surface Electromyography Using Stretchable Screen-Printed Textile Electrodes

Running speed changes the distribution of excitation within the biceps femoris muscle in 80m sprints

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

The Exchange Reamed Nailing technique in the treatment of aseptic tibial nonunion. A literature review of 371 cases

Towards a Reference Dataset of Microservice-Based Applications

Multisocieties position paper: Microbiological surveillance on flexible endoscopes

Bisimulation Congruences in the Calculus of Looping Sequences

A spectrum of LMX1B mutations in Nail-Patella syndrome: New point mutations, deletion, and evidence of mosaicism in unaffected parents

Are the forearm muscles excited equally in different, professional piano players?

The Italian Registry of Endovascular Treatment in Acute Stroke: rationale, design and baseline features of patients

Telomerase and neuronal marker status of differentiated NT2 and SK-N-SH human neuronal cells and primary human neurons

Time-based expressivity of time Petri nets for system specification

Erratum to: The Italian Registry of Endovascular Treatment in Acute Stroke: rationale, design and baseline features of patients

Early-onset Combined Methylmalonic Aciduria and Homocystinuria: Neuroradiologic Findings

Aktive Filter

Suchergebnisse filtern