Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Zhong, Ning"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computability aspects for 1st-order partial differential equations via characteristics
Shu-Ming Sun
,
Ning Zhong
Theoretical Computer Science
583
, 2015, pp. 27-39
The connection between computability of a nonlinear problem and its linearization: The Hartman-Grobman theorem revisited
Daniel S. Graça
,
Ning Zhong
,
H.S. Dumas
Theoretical Computer Science
457
, 2012, pp. 101-110
Computable analysis of a boundary-value problem for the Korteweg-de Vries equation
Ning Zhong
Theory of Computing Systems
41
(1), 2007, pp. 155-175
Computing Schrödinger propagators on type-2 Turing machines
Klaus Weihrauch
,
Ning Zhong
Journal of Complexity
22
(6), 2006, pp. 918-935
An algorithm for computing fundamental solutions
Klaus Weihrauch
,
Ning Zhong
SIAM Journal on Computing
35
(6), 2006, pp. 1283-1294
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines
Klaus Weihrauch
,
Ning Zhong
Theoretical Computer Science
332
(1-3), 2005, pp. 337-366
Computability theory of generalized functions
Ning Zhong
,
Klaus Weihrauch
Journal of the ACM
50
(4), 2003, pp. 469-505
Representation and construction of ontologies for Web intelligence
Ning Zhong
International Journal of Foundations of Computer Science
13
(4), 2002, pp. 555-570
A highly efficient algorithm to determine bicritical graphs
Dingjun Lou
,
Ning Zhong
Lecture Notes in Computer Science
2108
, 2001, pp. 349-356
Turing computability of a nonlinear Schrödinger propagator
Klaus Weihrauch
,
Ning Zhong
Lecture Notes in Computer Science
2108
, 2001, pp. 596-599
The wave propagator is Turing computable
Klaus Weihrauch
,
Ning Zhong
Lecture Notes in Computer Science
1644
, 1999, pp. 697-706
Computability structure of the Sobolev spaces and its applications
Ning Zhong
Theoretical Computer Science
219
(1-2), 1999, pp. 487-510
Recursively enumerable subsets of
R^q
in two computing models - Blum-Shub-Smale machine and Turing machine
Ning Zhong
Theoretical Computer Science
197
(1-2), 1998, pp. 79-94
Managing/refining structural characteristics discovered from databases
Ning Zhong
,
Setsuo Ohsuga
Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences, HICSS-28. Vol.~III: Information Systems - Decision Support and Knowledge-Based Systems (Kihei, Hawaii, January 3-6, 1995)
, 1995, pp. 283-292