UB Paderborn / Katalog / Suche / in CDI

Global variations in online privacy concerns across 57 countries

Computers in human behavior, 2023-03, Vol.9, p.100268, Article 100268

2023

Volltextzugriff (PDF)

Occam's Razor applied to the Petri net coverability problem

Theoretical computer science, 2018-11, Vol.750, p.38-52

2018

Volltextzugriff (PDF)

From user needs to system specifications: Multi-disciplinary thematic seminars as a collaborative design method for development of health information systems

Journal of biomedical informatics, 2008-08, Vol.41 (4), p.557-569

2008

Volltextzugriff (PDF)

Warp effects on calculating interval probabilities

International journal of approximate reasoning, 2009, Vol.50 (9), p.1360-1368

2009

Volltextzugriff (PDF)

Efficient memory management for concurrent programs that use message passing

Science of computer programming, 2006-10, Vol.62 (2), p.98-121

2006

Volltextzugriff (PDF)

Declarative modeling of the operational behavior of logic languages

Theoretical computer science, 1989-12, Vol.69 (3), p.289-318

1989

Volltextzugriff (PDF)

Some decision problems about controlled rewriting systems

Theoretical computer science, 1990, Vol.71 (3), p.281-346

Sénizergues, G.

1990

Volltextzugriff (PDF)

A generalization of the concept of sketch

Theoretical computer science, 1990-01, Vol.70 (1), p.159-178

Wells, Charles

1990

Volltextzugriff (PDF)

Topological invariants of classification problems

Theoretical computer science, 1990-04, Vol.72 (1), p.3-26

Budach, Lothar

1990

Volltextzugriff (PDF)

Logical systems for structured specifications

Theoretical computer science, 2002-09, Vol.286 (2), p.197-245

Borzyszkowski, Tomasz

2002

Volltextzugriff (PDF)

The Lovelace–De Morgan mathematical correspondence: A critical re-appraisal

Historia mathematica, 2017-08, Vol.44 (3), p.202-231

2017

Volltextzugriff (PDF)

Identification of function distinguishable languages

Theoretical computer science, 2003-01, Vol.290 (3), p.1679-1711

Fernau, Henning

2003

Volltextzugriff (PDF)

Hypergraph coloring complexes

Discrete mathematics, 2012-08, Vol.312 (16), p.2407-2420

2012

Volltextzugriff (PDF)

Pointed drawings of planar graphs

Computational geometry : theory and applications, 2012-11, Vol.45 (9), p.482-494

2012

Volltextzugriff (PDF)

The kernel-based nonlinear multivariate grey model

Applied Mathematical Modelling, 2018-04, Vol.56, p.217-238

2018

Volltextzugriff (PDF)

Ontology-guided feature engineering for clinical text classification

Journal of biomedical informatics, 2012-10, Vol.45 (5), p.992-998

2012

Volltextzugriff (PDF)

Free surface lattice Boltzmann with enhanced bubble model

Computers & mathematics with applications (1987), 2014-02, Vol.67 (2), p.331-339

2014

Volltextzugriff (PDF)

Closed choice and a Uniform Low Basis Theorem

Annals of pure and applied logic, 2012-08, Vol.163 (8), p.986-1008

2012

Volltextzugriff (PDF)

Simulation of floating bodies with the lattice Boltzmann method

Computers & mathematics with applications (1987), 2013-03, Vol.65 (6), p.901-913

2013

Volltextzugriff (PDF)

Identification of rare HIV-1 Group N, HBV AE, and HTLV-3 strains in rural South Cameroon

Virology (New York, N.Y.), 2017-04, Vol.504, p.141-151

2017

Volltextzugriff (PDF)

The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma

Annals of pure and applied logic, 2012-06, Vol.163 (6), p.623-655

2012

Volltextzugriff (PDF)

Spatially adaptive sparse grids for high-dimensional data-driven problems

Journal of Complexity, 2010-10, Vol.26 (5), p.508-522

2010

Volltextzugriff (PDF)

Using reciprocity for relating the simulation of transcranial current stimulation to the EEG forward problem

NeuroImage (Orlando, Fla.), 2016-10, Vol.140, p.163-173

2016

Volltextzugriff (PDF)

Lessons Learned from Applying Model-Driven Engineering in 5 Domains: The Success Story of the MontiGem Generator Framework

Science of computer programming, 2024-01, Vol.232, p.103033, Article 103033

2024

Volltextzugriff (PDF)

Portable automatic text classification for adverse drug reaction detection via multi-corpus training

Journal of biomedical informatics, 2015-02, Vol.53, p.196-207

2015

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Global variations in online privacy concerns across 57 countries

Occam's Razor applied to the Petri net coverability problem

From user needs to system specifications: Multi-disciplinary thematic seminars as a collaborative design method for development of health information systems

Warp effects on calculating interval probabilities

Efficient memory management for concurrent programs that use message passing

Declarative modeling of the operational behavior of logic languages

Some decision problems about controlled rewriting systems

A generalization of the concept of sketch

Topological invariants of classification problems

Logical systems for structured specifications

The Lovelace–De Morgan mathematical correspondence: A critical re-appraisal

Identification of function distinguishable languages

Hypergraph coloring complexes

Pointed drawings of planar graphs

The kernel-based nonlinear multivariate grey model

Ontology-guided feature engineering for clinical text classification

Free surface lattice Boltzmann with enhanced bubble model

Closed choice and a Uniform Low Basis Theorem

Simulation of floating bodies with the lattice Boltzmann method

Identification of rare HIV-1 Group N, HBV AE, and HTLV-3 strains in rural South Cameroon

The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma

Spatially adaptive sparse grids for high-dimensional data-driven problems

Using reciprocity for relating the simulation of transcranial current stimulation to the EEG forward problem

Lessons Learned from Applying Model-Driven Engineering in 5 Domains: The Success Story of the MontiGem Generator Framework

Portable automatic text classification for adverse drug reaction detection via multi-corpus training

Aktive Filter

Suchergebnisse filtern