Jan Rauch – författare & böcker

Mechanizing Hypothesis Formation

Principles and Case Studies

Inbunden, Engelska, 2022

2 647 kr

Skickas inom 10-15 vardagar

Mechanizing hypothesis formation is an approach to exploratory data analysis. Its development started in the 1960s inspired by the question “can computers formulate and verify scientific hypotheses?”. The development resulted in a general theory of logic of discovery. It comprises theoretical calculi dealing with theoretical statements as well as observational calculi dealing with observational statements concerning finite results of observation. Both calculi are related through statistical hypotheses tests. A GUHA method is a tool of the logic of discovery. It uses a one-to-one relation between theoretical and observational statements to get all interesting theoretical statements. A GUHA procedure generates all interesting observational statements and verifies them in a given observational data. Output of the procedure consists of all observational statements true in the given data. Several GUHA procedures dealing with association rules, couples of association rules, action rules, histograms, couples of histograms, and patterns based on general contingency tables are involved in the LISp-Miner system developed at the Prague University of Economics and Business. Various results about observational calculi were achieved and applied together with the LISp-Miner system.The book covers a brief overview of logic of discovery. Many examples of applications of the GUHA procedures to solve real problems relevant to data mining and business intelligence are presented. An overview of recent research results relevant to dealing with domain knowledge in data mining and its automation is provided. Firsthand experiences with implementation of the GUHA method in the Python language are presented.

Mechanizing Hypothesis Formation

Principles and Case Studies

AvJan Rauch,Milan Šimůnekm. fl.

Häftad, Engelska, 2024

934 kr

Skickas inom 10-15 vardagar

Mechanizing hypothesis formation is an approach to exploratory data analysis. Its development started in the 1960s inspired by the question “can computers formulate and verify scientific hypotheses?”. The development resulted in a general theory of logic of discovery. It comprises theoretical calculi dealing with theoretical statements as well as observational calculi dealing with observational statements concerning finite results of observation. Both calculi are related through statistical hypotheses tests. A GUHA method is a tool of the logic of discovery. It uses a one-to-one relation between theoretical and observational statements to get all interesting theoretical statements. A GUHA procedure generates all interesting observational statements and verifies them in a given observational data. Output of the procedure consists of all observational statements true in the given data. Several GUHA procedures dealing with association rules, couples of association rules, action rules, histograms, couples of histograms, and patterns based on general contingency tables are involved in the LISp-Miner system developed at the Prague University of Economics and Business. Various results about observational calculi were achieved and applied together with the LISp-Miner system.The book covers a brief overview of logic of discovery. Many examples of applications of the GUHA procedures to solve real problems relevant to data mining and business intelligence are presented. An overview of recent research results relevant to dealing with domain knowledge in data mining and its automation is provided. Firsthand experiences with implementation of the GUHA method in the Python language are presented.

Mechanizing Hypothesis Formation

Principles and Case Studies

AvPetr Masa,David Chudanm. fl.

E-bok

PDF, Engelska, 2022

1 107 kr

Läs direkt efter köp

Mechanizing hypothesis formation is an approach to exploratory data analysis. Its development started in the 1960s inspired by the question “can computers formulate and verify scientific hypotheses?”. The development resulted in a general theory of logic of discovery. It comprises theoretical calculi dealing with theoretical statements as well as observational calculi dealing with observational statements concerning finite results of observation. Both calculi are related through statistical hypotheses tests. A GUHA method is a tool of the logic of discovery. It uses a one-to-one relation between theoretical and observational statements to get all interesting theoretical statements. A GUHA procedure generates all interesting observational statements and verifies them in a given observational data. Output of the procedure consists of all observational statements true in the given data. Several GUHA procedures dealing with association rules, couples of association rules, action rules, histograms, couples of histograms, and patterns based on general contingency tables are involved in the LISp-Miner system developed at the Prague University of Economics and Business. Various results about observational calculi were achieved and applied together with the LISp-Miner system.

The book covers a brief overview of logic of discovery. Many examples of applications of the GUHA procedures to solve real problems relevant to data mining and business intelligence are presented. An overview of recent research results relevant to dealing with domain knowledge in data mining and its automation is provided. Firsthand experiences with implementation of the GUHA method in the Python language are presented.

Mechanizing Hypothesis Formation

Principles and Case Studies

AvPetr Masa,David Chudanm. fl.

E-bok

Engelska, 2022

1 107 kr

Läs direkt efter köp

Mechanizing hypothesis formation is an approach to exploratory data analysis. Its development started in the 1960s inspired by the question “can computers formulate and verify scientific hypotheses?”. The development resulted in a general theory of logic of discovery. It comprises theoretical calculi dealing with theoretical statements as well as observational calculi dealing with observational statements concerning finite results of observation. Both calculi are related through statistical hypotheses tests. A GUHA method is a tool of the logic of discovery. It uses a one-to-one relation between theoretical and observational statements to get all interesting theoretical statements. A GUHA procedure generates all interesting observational statements and verifies them in a given observational data. Output of the procedure consists of all observational statements true in the given data. Several GUHA procedures dealing with association rules, couples of association rules, action rules, histograms, couples of histograms, and patterns based on general contingency tables are involved in the LISp-Miner system developed at the Prague University of Economics and Business. Various results about observational calculi were achieved and applied together with the LISp-Miner system.

The book covers a brief overview of logic of discovery. Many examples of applications of the GUHA procedures to solve real problems relevant to data mining and business intelligence are presented. An overview of recent research results relevant to dealing with domain knowledge in data mining and its automation is provided. Firsthand experiences with implementation of the GUHA method in the Python language are presented.

Data Mining and Medical Knowledge Management

Cases and Applications

AvPetr Berka,Jan Rauchm. fl.

Inbunden, Engelska, 2009

2 940 kr

Skickas inom 5-8 vardagar

Data Mining and Medical Knowledge Management: Cases and Applications

AvDjamel Abdelkader Zighed,Jan Rauchm. fl.

E-bok

PDF, 2009

3 494 kr

Läs direkt efter köp

Giuseppe Spina, Ueli Rehsteiner, Jan Rauch, Hans Lozza, David Jenny, Sarah Hartmann, Ursina Haller, Heinrich Haller, Simon Engeli, Urs Breitenmoser, Norman Backhaus, Eric Aliberg, Andrea Hammerle, Maja Rapp, Rudolf Michael Haller - Am Puls der Natur, E-bok

Am Puls der Natur

Der Nationalpark und sein Direktor im Spannungsfeld zwischen Forschung, Management und Politik

AvGiuseppe Spina,Ueli Rehsteinerm. fl.

E-bok

PDF, Tyska, 2021

363 kr

Läs direkt efter köp

"Sein Herz schlägt für den Nationalpark. In seinen Adern pulsiert Forscherblut. [...] Getreu dem Titel dieser Festschrift agiert der scheidende Nationalparkdirektor "Am Puls der Natur". Als starke Persönlichkeit und kompetenter Wissenschaftler hat Heinrich Haller den Park im Spannungsfeld von Forschung, Management und Politik als Leuchtturm des Naturschutzes positioniert."Aus dem Vorwort von Doris Leuthard"Am Puls der Natur" handelt vom breiten Spektrum an Themen, Aufgaben und Konflikten, mit welchem der Schweizerische Nationalpark und sein Direktor im Lauf der Jahrzehnte konfrontiert war und ist. Der Band enthält Beiträge von Autorinnen und Autoren verschiedenster Disziplinen. Es geht um Wissenschaft und Forschung, Politik und Gesellschaft sowie um die Person des scheidenden Direktors.

Principles of Data Mining and Knowledge Discovery

Third European Conference, PKDD''99 Prague, Czech Republic, September 15-18, 1999 Proceedings

AvJan Rauch,Jan Zytkow

E-bok

PDF, Engelska, 2004

1 413 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the Third European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD''99, held in Prague, Czech Republic in September 1999.The 28 revised full papers and 48 poster presentations were carefully reviewed and selected from 106 full papers submitted. The papers are organized in topical sections on time series, applications, taxonomies and partitions, logic methods, distributed and multirelational databases, text mining and feature selection, rules and induction, and interesting and unusual issues.

Principles of Data Mining and Knowledge Discovery

Third European Conference, PKDD'99 Prague, Czech Republic, September 15-18, 1999 Proceedings

AvJan Zytkow,Jan Rauch

Häftad, Engelska, 1999

1 114 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the Third European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD'99, held in Prague, Czech Republic in September 1999.The 28 revised full papers and 48 poster presentations were carefully reviewed and selected from 106 full papers submitted. The papers are organized in topical sections on time series, applications, taxonomies and partitions, logic methods, distributed and multirelational databases, text mining and feature selection, rules and induction, and interesting and unusual issues.

Foundations of Intelligent Systems

18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009, Proceedings

AvJan Rauch,Zbigniew W. Rasm. fl.

Häftad, Engelska, 2009

1 114 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 18th International Symposium on Methodologies for Intelligent Systems, ISMIS 2009, held in Prague, Czech Republic, in September 2009. The 60 revised papers presented together with 4 plenary talks were carefully reviewed and selected from over 111 submissions. The papers are organized in topical sections on knowledge discovery and data mining, applications and intelligent systems in Medicine, logical and theoretical aspects of intelligent systems, text mining, applications of intelligent sysems in music, information processing, agents, machine learning, applications of intelligent systems, complex data, general AI as well as uncertainty.

Foundations of Intelligent Systems

18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009, Proceedings

AvTapio Elomaa,Petr Berkam. fl.

E-bok

PDF, Engelska, 2009

1 455 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 18th International Symposium on Methodologies for Intelligent Systems, ISMIS 2009, held in Prague, Czech Republic, in September 2009. The 60 revised papers presented together with 4 plenary talks were carefully reviewed and selected from over 111 submissions. The papers are organized in topical sections on knowledge discovery and data mining, applications and intelligent systems in Medicine, logical and theoretical aspects of intelligent systems, text mining, applications of intelligent sysems in music, information processing, agents, machine learning, applications of intelligent systems, complex data, general AI as well as uncertainty.

Observational Calculi and Association Rules

AvJan Rauch

Inbunden, Engelska, 2012

1 668 kr

Skickas inom 10-15 vardagar

Observational calculi were introduced in the 1960’s as a tool of logic of discovery. Formulas of observational calculi correspond to assertions on analysed data. Truthfulness of suitable assertions can lead to acceptance of new scientific hypotheses. The general goal was to automate the process of discovery of scientific knowledge using mathematical logic and statistics. The GUHA method for producing true formulas of observational calculi relevant to the given problem of scientific discovery was developed. Theoretically interesting and practically important results on observational calculi were achieved. Special attention was paid to formulas - couples of Boolean attributes derived from columns of the analysed data matrix. Association rules introduced in the 1990’s can be seen as a special case of such formulas. New results on logical calculi and association rules were achieved. They can be seen as a logic of association rules. This can contribute to solving contemporary challenging problems of data mining research and practice. The book covers thoroughly the logic of association rules and puts it into the context of current research in data mining. Examples of applications of theoretical results to real problems are presented. New open problems and challenges are listed. Overall, the book is a valuable source of information for researchers as well as for teachers and students interested in data mining.

Observational Calculi and Association Rules

AvJan Rauch

E-bok

PDF, Engelska, 2012

2 105 kr

Läs direkt efter köp

Observational calculi were introduced in the 1960’s as a tool of logic of discovery. Formulas of observational calculi correspond to assertions on analysed data. Truthfulness of suitable assertions can lead to acceptance of new scientific hypotheses. The general goal was to automate the process of discovery of scientific knowledge using mathematical logic and statistics. The GUHA method for producing true formulas of observational calculi relevant to the given problem of scientific discovery was developed. Theoretically interesting and practically important results on observational calculi were achieved. Special attention was paid to formulas - couples of Boolean attributes derived from columns of the analysed data matrix. Association rules introduced in the 1990’s can be seen as a special case of such formulas. New results on logical calculi and association rules were achieved. They can be seen as a logic of association rules. This can contribute to solving contemporary challenging problems of data mining research and practice. The book covers thoroughly the logic of association rules and puts it into the context of current research in data mining. Examples of applications of theoretical results to real problems are presented. New open problems and challenges are listed. Overall, the book is a valuable source of information for researchers as well as for teachers and students interested in data mining.

Del 469 - Studies in Computational Intelligence

Observational Calculi and Association Rules

AvJan Rauch

Häftad, Engelska, 2015

1 668 kr

Skickas inom 10-15 vardagar

Observational calculi were introduced in the 1960’s as a tool of logic of discovery. Formulas of observational calculi correspond to assertions on analysed data. Truthfulness of suitable assertions can lead to acceptance of new scientific hypotheses. The general goal was to automate the process of discovery of scientific knowledge using mathematical logic and statistics. The GUHA method for producing true formulas of observational calculi relevant to the given problem of scientific discovery was developed. Theoretically interesting and practically important results on observational calculi were achieved. Special attention was paid to formulas - couples of Boolean attributes derived from columns of the analysed data matrix. Association rules introduced in the 1990’s can be seen as a special case of such formulas. New results on logical calculi and association rules were achieved. They can be seen as a logic of association rules. This can contribute to solving contemporary challenging problems of data mining research and practice. The book covers thoroughly the logic of association rules and puts it into the context of current research in data mining. Examples of applications of theoretical results to real problems are presented. New open problems and challenges are listed. Overall, the book is a valuable source of information for researchers as well as for teachers and students interested in data mining.

Företag, bibliotek eller offentlig verksamhet?

Jan Rauch – författare

Mechanizing Hypothesis Formation

Mechanizing Hypothesis Formation

Mechanizing Hypothesis Formation

Mechanizing Hypothesis Formation

Data Mining and Medical Knowledge Management

Data Mining and Medical Knowledge Management: Cases and Applications

Am Puls der Natur

Principles of Data Mining and Knowledge Discovery

Principles of Data Mining and Knowledge Discovery

Foundations of Intelligent Systems

Foundations of Intelligent Systems

Observational Calculi and Association Rules

Observational Calculi and Association Rules

Observational Calculi and Association Rules

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration