Follow
Karlis Podnieks
Title
Cited by
Cited by
Year
A system for information management in biomedical studies—SIMBioMS
M Krestyaninova, A Zarins, J Viksna, N Kurbatova, P Rucevskis, SG Neogi, ...
Bioinformatics 25 (20), 2768-2769, 2009
482009
Towards a theory of inductive inference
J Barzdins, K Podnieks
Proceedings of 2nd Symposium and Summer School on Mathematical Foundations …, 1973
431973
Comparing various types of limiting synthesis and prediction of functions
K Podnieks
Scientific Proceedings of Latvia State University 210, 68-81, 1974
42*1974
Towards semantic Latvia
PK Barzdins Janis, Barzdins Guntis, Balodis Rihards
Proceedings of 7th International Baltic Conference on Databases and …, 2006
39*2006
PASSIM–an open source software system for managing information in biomedical studies
J Viksna, E Celms, M Opmanis, K Podnieks, P Rucevskis, A Zarins, ...
BMC bioinformatics 8, 1-7, 2007
342007
Inductive inference of recursive functions: Complexity bounds
R Freivalds, J Bārzdiņš, K Podnieks
Baltic Computer Science, Lecture Notes in Computer Science 501, 111-155, 1991
341991
Introduction to Mathematical Logic (Edition 2017)
K Podnieks
22*2017
Integer Complexity: Experimental and Analytical results
J Iraids, K Balodis, J Čerņenoks, M Opmanis, R Opmanis, K Podnieks
Scientific Papers University of Latvia, Computer Science and Information …, 2012
202012
Around Goedel’s theorem, 2nd edition (in Russian)
K Podnieks
Zinatne Publishers, Riga, 1992
17*1992
Probabilistic synthesis of enumerated classes of functions
K Podnieks
Sov. Math. Dokl 16 (4), 1042-1045, 1975
16*1975
Modeling languages and tools: state of the art
A Kalnins, J Barzdins, K Podnieks
Proceedings of the 2nd international conference “Simulation, Gaming …, 2000
142000
Towards model-based model of cognition
K Podnieks
The Reasoner 3 (6), 5-6, 2009
132009
Business Modeling Language GRAPES-BM and Related CASE Tools
A Kalnins, J Barzdins, K Podnieks, A Zarins
Proceedings of Baltic DB&IS 96, 3-16, 1996
131996
The First Step Towards Generic Modelling Tool.
A Kalnins, J Barzdins, E Celms, L Lace, M Opmanis, K Podnieks, A Zarins
BalticDB&IS, 167-180, 2002
102002
Computational complexity of prediction strategies
K Podnieks
Theory of Algorithms and Programs 3, 89-102, 1977
101977
Comparing various concepts of function prediction. Part 2.
K Podnieks
Latvia State University, 1975
91975
Philosophy of Modeling in 1870s: A Tribute to Hans Vaihinger
K Podnieks
Baltic Journal of Modern Computing 9 (1), 67-110, 2021
82021
The Dappled World Perspective Refined
K Podnieks
The Reasoner 8 (1), 3-4, 2014
82014
Is Scientific Modeling an Indirect Methodology?
K Podnieks
The Reasoner 3 (1), 4-5, 2009
82009
Probabilistic synthesis of programs
K Podnieks
Theory of Algorithms and Programs 3, 57-88, 1977
7*1977
The system can't perform the operation now. Try again later.
Articles 1–20