Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Marko Krznaric

dblp:10/494 · DBLP profile ↗
← Back
4ranked-venue papers
0as first author
0since 2021 · last 2008
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2Applied, interdisciplinary, general and emerging computing · 2Software engineering, systems software and programming languages · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Algorithms and data structures · 67% Mathematical optimization · 33%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Algorithms and data structures › symbolic computation
exact real arithmetic
0.011999
Numerical Integration with Exact Real Arithmetic · ICALP 1999
Algorithms and data structures
numerical algorithms
0.011999
Numerical Integration with Exact Real Arithmetic · ICALP 1999
Mathematical optimization › numerical analysis
numerical integration
0.011999
Numerical Integration with Exact Real Arithmetic · ICALP 1999

Methods — techniques the papers use, named apart from their topics

computable analysis · 0.0
YearPublicationVenuePosition
2008 EMAAS: An extensible grid-based Rich Internet Application for microarray data analysis and management
abstract
BACKGROUND: Microarray experimentation requires the application of complex analysis methods as well as the use of non-trivial computer technologies to manage the resultant large data sets. This, together with the proliferation of tools and techniques for microarray data analysis, makes it very challenging for a laboratory scientist to keep up-to-date with the latest developments in this field. Our aim was to develop a distributed e-support system for microarray data analysis and management. RESULTS: EMAAS (Extensible MicroArray Analysis System) is a multi-user rich internet application (RIA) providing simple, robust access to up-to-date resources for microarray data storage and analysis, combined with integrated tools to optimise real time user support and training. The system leverages the power of distributed computing to perform microarray analyses, and provides seamless access to resources located at various remote facilities. The EMAAS framework allows users to import microarray data from several sources to an underlying database, to pre-process, quality assess and analyse the data, to perform functional analyses, and to track data analysis steps, all through a single easy to use web portal. This interface offers distance support to users both in the form of video tutorials and via live screen feeds using the web conferencing tool EVO. A number of analysis packages, including R-Bioconductor and Affymetrix Power Tools have been integrated on the server side and are available programmatically through the Postgres-PLR library or on grid compute clusters. Integrated distributed resources include the functional annotation tool DAVID, GeneCards and the microarray data repositories GEO, CELSIUS and MiMiR. EMAAS currently supports analysis of Affymetrix 3' and Exon expression arrays, and the system is extensible to cater for other microarray and transcriptomic platforms. CONCLUSION: EMAAS enables users to track and perform microarray data management and analysis tasks through a single easy-to-use web application. The system architecture is flexible and scalable to allow new array types, analysis algorithms and tools to be added with relative ease and to cope with large increases in data volume.
Geraint Barton, J. C. Abbott, Norie Chiba, D. W. Huang, Marko Krznaric, J. Mack-Smith, A. Saleem, B. T. Sherman, Brijesh Tiwari, Christopher Tomlinson, Timothy J. Aitman, John Darlington, Laurence Game, Michael J. E. Sternberg, Sarah A. Butcher
BMC Bioinform.6
2006 Running a Production Grid Site at the London e-Science Centre
abstract
This paper describes how the London e-Science Centre cluster MARS, a production 400+ Opteron CPU cluster, was integrated into the production Large Hadron Collider Compute Grid. It describes the practical issues that we encountered when deploying and maintaining this system, and details the techniques that were applied to resolve them. Finally, we provide a set of recommendations based on our experiences for grid software development in general that we believe would make the technology more accessible.
David McBride, Marko Krznaric, Olivier van der Aa, Mona Aggarwal, John Darlington, Dave Colling
e-Science2
2003 Domain-theoretic Solution of Differential Equations (Scalar Fields)
abstract
We provide an algorithmic formalization of ordinary differential equations in the framework of domain theory. Given a Scott continuous, interval-valued and time-dependent scalar field and a Scott continuous initial function consistent with the scalar field, the domain-theoretic analogue of the classical Picard operator, whose fix-points give the solutions of the differential equation, acts on the domain of continuously differentiable functions by successively updating the information about the solution and the information about its derivative. We present a linear and a quadratic algorithm respectively for updating the function information and the derivative information on the basis elements of the domain. In the generic case of a classical initial value problem with a continuous scalar field, which is Lipschitz in the space component, this provides a novel technique for computing the unique solution of the differential equation up to any desired accuracy, such that at each stage of computation one obtains two continuous piecewise linear maps which bound the solution from below and above, thus giving the precise error. When the scalar field is continuous and computable but not Lipschitz, it is known that no computable classical solution may exist. We show that in this case the interval-valued domain-theoretic solution is computable and contains all classical solutions. This framework also allows us to compute an interval-valued solution to a differential equation when the initial value and/or the scalar field are interval-valued, i.e. imprecise.
Abbas Edalat, Marko Krznaric, André Lieutier
MFPS2
1999 Numerical Integration with Exact Real Arithmetic
Abbas Edalat, Marko Krznaric
ICALP2