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
492009
Comparing various types of limiting synthesis and prediction of functions
K Podnieks
Scientific Proceedings of Latvia State University 210, 68-81, 1974
46*1974
Towards a theory of inductive inference
J Barzdins, K Podnieks
Proceedings of 2nd Symposium and Summer School on Mathematical Foundations …, 1973
401973
Towards semantic Latvia
PK Barzdins Janis, Barzdins Guntis, Balodis Rihards
Proceedings of 7th International Baltic Conference on Databases and …, 2006
35*2006
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
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), 52, 2007
282007
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
172012
Probabilistic synthesis of enumerated classes of functions
K Podnieks
Sov. Math. Dokl 16 (4), 1042-1045, 1975
171975
Introduction to Mathematical Logic (Edition 2017)
K Podnieks
16*2017
Around Goedel’s theorem, 2nd edition (in Russian)
K Podnieks
Zinatne Publishers, Riga, 1992
15*1992
Towards Model-Based Model of Cognition
K Podnieks
The Reasoner 3 (6), 5-6, 2009
122009
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
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
101996
Probabilistic synthesis of programs
K Podnieks
Theory of Algorithms and Programs 3, 57-88, 1977
10*1977
Computational complexity of prediction strategies
K Podnieks
Theory of Algorithms and Programs 3, 89-102, 1977
101977
Modeling languages and tools: state of the art
A Kalnins, J Barzdins, K Podnieks
Proceedings of the 2nd international conference “Simulation, Gaming …, 2000
92000
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
Comparing various concepts of function prediction. Part 2.
K Podnieks
Latvia State University, 1975
81975
Introduction to Mathematical Logic University of Latvia. 2011.(Edition 2014).
V Detlovs, K Podnieks
52014
The system can't perform the operation now. Try again later.
Articles 1–20