Anita Wasilewska

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018

Logics for Computer Science - Classical and Non-Classical

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-319-92590-5, 2018

2013

From Logic to Computer Science - A Personal Experience.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013

2010

Global Mobile Applications For Monitoring Health.

[BibT_eX]

[DOI]

Tapsie Giridher

Jennifer L. Wong

Proceedings of the International Multiconference on Computer Science and Information Technology, 2010

Descriptive Granularity.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Granular Computing, 2010

2009

Granular Model for Data Mining.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Learning and detecting emergent behavior in networks of cardiac myocytes.

[BibT_eX]

[DOI]

Commun. ACM, 2009

Template mobile applications for social and educational development.

[BibT_eX]

[DOI]

Jennifer L. Wong

Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

A model for teaching mobile application development for social changes: Implementation and lessons learned in senegal.

[BibT_eX]

[DOI]

Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

Mobile applications for informal economies.

[BibT_eX]

[DOI]

Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

2008

Data Preprocessing and Data Mining as Generalization.

[BibT_eX]

[DOI]

Proceedings of the Data Mining: Foundations and Practice, 2008

2007

A Model PM for Preprocessing and Data Mining Proper Process.

[BibT_eX]

[DOI]

Christelle Scharff

Trans. Rough Sets, 2007

2006

Data Mining as Generalization: A Formal Model.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Novel Approaches in Data Mining, 2006

2005

A Classification Model: Syntax and Semantics for Classification.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets, 2005

2004

Bayesian network multi-classifiers for protein secondary structure prediction.

[BibT_eX]

[DOI]

Víctor Robles

Pedro Larrañaga

José M. Peña

María S. Pérez

Vanessa Herves

Juan Francisco Martínez Sarrías

Artif. Intell. Medicine, 2004

2002

Extension of Relational Management Systems with Data Mining Capabilities.

[BibT_eX]

[DOI]

Covadonga Fernández

María C. Fernández-Baizán

Proceedings of the Rough Sets and Current Trends in Computing, 2002

Data mining - a semantic model.

[BibT_eX]

[DOI]

Proceedings of the 2002 IEEE International Conference on Fuzzy Systems, 2002

1998

A Model of RSDM Implementation.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 1998

1996

Automating Algebraic Proofs in Algebraic Logic.

[BibT_eX]

[DOI]

Jieh Hsiang

Fundam. Informaticae, 1996

1993

Interactive Inductive Learning.

[BibT_eX]

[DOI]

Int. J. Man Mach. Stud., 1993

Application of a Rough Set-Based Inductive Learning System.

[BibT_eX]

Fundam. Informaticae, 1993

1992

Rough Sets-Based Study of Voter Preference in 1988 U.S.A. Presidential Election.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Decision Support, 1992

1989

Syntactic Decision Procedures in Information Systems.

[BibT_eX]

[DOI]

Int. J. Man Mach. Stud., 1989

1988

Knowledge Representation Systems: Syntactic Methods.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty and Intelligent Systems, 1988

1986

Deterministic Algorithms, Simple Languages And One-to-One Gentzen Type Formalizations.

[BibT_eX]

[DOI]

Math. Log. Q., 1986

1985

Trees and diagrams of decomposition.

[BibT_eX]

[DOI]

Stud Logica, 1985

Programs and logics.

[BibT_eX]

[DOI]

Stud Logica, 1985

Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them.

[BibT_eX]

[DOI]

Math. Log. Q., 1985

1980

On the Gentzen Type Formalizations.

[BibT_eX]

[DOI]