Michal Grabowski - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2024

Improving prediction of computational job execution times with machine learningBartosz Balis, Tomasz Lelek, Jakub Bodera, Michal Grabowski, Costin Grigoras. concurrency, 36(2), 2024. [doi]

2022

Evaluation of Machine Learning Techniques for Predicting Run Times of Scientific Workflow JobsBartosz Balis, Michal Grabowski. ppam 2023: 197-208 [doi]

2019

New Heuristics for TCP Retransmission TimersRobert Janowski, Michal Grabowski, Piotr Arabas. cores 2020: 117-129 [doi]

Support for High-Level Quantum Bayesian InferenceMarcin Przewiezlikowski, Michal Grabowski, Dariusz Kurzyk, Katarzyna Rycerz. iccs 2019: 764-770 [doi]

2018

Embedding of the Hamming space into a sphere with weighted quadrance metric and c-means clustering of nominal-continuous dataAleksander Denisiuk, Michal Grabowski. ida, 22(6):1297-1314, 2018. [doi]

2017

Low Distortion Embedding of the Hamming Space into a Sphere with Quadrance Metric and k-means Clustering of Nominal-continuous DataAleksander Denisiuk, Michal Grabowski. FUIN, 153(3):221-233, 2017. [doi]

2015

A Variant of the K-Means Clustering Algorithm for Continuous-Nominal DataAleksander Denisiuk, Michal Grabowski. cores 2016: 17-26 [doi]

Numerical Coding of Nominal DataZenon Gniazdowski, Michal Grabowski. Zeszyty Naukowe WWSI, 9(12):53-61, 2015. [doi]

2005

A Technique for Learning Similarities on Complex Structures with Applications to Extracting OntologiesMichal Grabowski, Andrzej Szalas. awic 2005: 183-189 [doi]

2003

Towards a Framework for Approximate OntologiesPatrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas. FUIN, 57(2-4):147-165, 2003. [doi]

1993

On the Status of Proving Program Properties in Effective InterpretationsMichal Grabowski. TCS, 120(1):69-81, 1993.

1989

Open Problems Related to Axiomatic Descriptions of ProgramsMichal Grabowski. eik, 25(11/12):619-624, 1989.

1988

Arithmetical completeness versus relative completenessMichal Grabowski. sLogica, 47(3):213-220, 1988. [doi]

On the Existence of Effective Hoare LogicsMichal Grabowski, Hardi Hungar. lics 1988: 428-435

1985

On Relative Completeness of Hoare LogicsMichal Grabowski. iandc, 66(1/2):29-44, July/August 1985.

On the Relative Incompleteness of Logics for Total CorrectnessMichal Grabowski. lop 1985: 118-127

1984

On Relative Completeness of Programming LogicsMichal Grabowski. POPL 1984: 258-261

Non-uniformity of dynamic logic - Extended abstractMichal Grabowski. sct 1985: 91-97 [doi]

1980

Some model-theoretical properties of logic for programs with random controlMichal Grabowski. lop 1983: 148-155

1978

Dynamic Theories of Real and Complex NumbersMichal Grabowski, Antoni Kreczmar. mfcs 1978: 239-249

1976

A Remark on Equivalence of Mazurkiewicz s Finite-Control Algorithms over NetsMichal Grabowski. mfcs 1976: 311-316

Sign in or sign up to see more results.

runs on WebDSL