The mathematical foundation of informatics [[electronic resource] ] : proceedings of the conference, Hanoi, Vietnam, 25-28 October 1999 / / editors, Do Long Van, M. Ito |
Pubbl/distr/stampa | Singapore ; ; New Jersey, : World Scientific, c2005 |
Descrizione fisica | 1 online resource (215 p.) |
Disciplina | 004.01/51 |
Altri autori (Persone) |
DoLong Van <1941->
ItōMasami <1941-> |
Soggetto topico |
Information technology - Mathematics
Information science - Mathematics |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-37286-2
9786611372866 981-270-311-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Preface; Contents; On Growth Function of Petri Net and its Applications Pham Tra An; On an Infinite Hierarchy of Petri Net Languages Pham Tra A n and Pham Van Thao; Algorithms to Test Rational w-Codes Xavier Augros and Igor Litovsky; Distributed Random Walks for an Efficient Design of a Random Spanning Tree Hichem Baala and Marc Bui; Formal Concept Analysis and Rough Set Theory in Clustering Ho Tu Bao; A Simple Heuristic Method for the Min-Cut k-Balanced Partitioning Problem Lelia Blin and Ivan Lavallee; Longest Cycles and Restgraph in Maximal Non-Hamiltonian Graphs Vu Dinh Hoa
Deterministic and Nondeterministic Directable Automata Masami ItoWorst-Case Redundancy of Solid Codes Helmut Jiirgensen and Stavros Konstantinidis; Maximal Independent Sets in Certain Subword Orders Nguyen Huong Lam; Strong Recognition of Rational w-Languages Bertrand Le Saec, V. R. Dare and R. Siromoney; Some Results Concerning Covers in the Class of Multivalued Positive Boolean Dependencies Le Duc Minh, Vu Ngoc Loan and Nguyen Xuan Huy; A New Measure for Attribute Selection Do Tan Phong, Ho Thuan and Ha Quang Thuy The Complexity of Problems Defined by Boolean Circuits Steffen Reith and Klaus W. WagnerThe Rational Skimming Theorem Jacques Sakarovitch; A New Classification of Finite Simple Groups Wujie Shi and Seymour Lapschutz; Connectedness of Tetravalent Metacirculant Graphs with Non-Empty First Symbol Ngo Dac Tan and Tran Minh Tuoc; On the Relation between Maximum Entropy Principle and the Condition Independence Assumption in the Probabilistic Logic Ha Dang Cao Tung |
Record Nr. | UNINA-9910451486403321 |
Singapore ; ; New Jersey, : World Scientific, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The mathematical foundation of informatics [[electronic resource] ] : proceedings of the conference, Hanoi, Vietnam, 25-28 October 1999 / / editors, Do Long Van, M. Ito |
Pubbl/distr/stampa | Singapore ; ; New Jersey, : World Scientific, c2005 |
Descrizione fisica | 1 online resource (215 p.) |
Disciplina | 004.01/51 |
Altri autori (Persone) |
DoLong Van <1941->
ItōMasami <1941-> |
Soggetto topico |
Information technology - Mathematics
Information science - Mathematics |
ISBN |
1-281-37286-2
9786611372866 981-270-311-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Preface; Contents; On Growth Function of Petri Net and its Applications Pham Tra An; On an Infinite Hierarchy of Petri Net Languages Pham Tra A n and Pham Van Thao; Algorithms to Test Rational w-Codes Xavier Augros and Igor Litovsky; Distributed Random Walks for an Efficient Design of a Random Spanning Tree Hichem Baala and Marc Bui; Formal Concept Analysis and Rough Set Theory in Clustering Ho Tu Bao; A Simple Heuristic Method for the Min-Cut k-Balanced Partitioning Problem Lelia Blin and Ivan Lavallee; Longest Cycles and Restgraph in Maximal Non-Hamiltonian Graphs Vu Dinh Hoa
Deterministic and Nondeterministic Directable Automata Masami ItoWorst-Case Redundancy of Solid Codes Helmut Jiirgensen and Stavros Konstantinidis; Maximal Independent Sets in Certain Subword Orders Nguyen Huong Lam; Strong Recognition of Rational w-Languages Bertrand Le Saec, V. R. Dare and R. Siromoney; Some Results Concerning Covers in the Class of Multivalued Positive Boolean Dependencies Le Duc Minh, Vu Ngoc Loan and Nguyen Xuan Huy; A New Measure for Attribute Selection Do Tan Phong, Ho Thuan and Ha Quang Thuy The Complexity of Problems Defined by Boolean Circuits Steffen Reith and Klaus W. WagnerThe Rational Skimming Theorem Jacques Sakarovitch; A New Classification of Finite Simple Groups Wujie Shi and Seymour Lapschutz; Connectedness of Tetravalent Metacirculant Graphs with Non-Empty First Symbol Ngo Dac Tan and Tran Minh Tuoc; On the Relation between Maximum Entropy Principle and the Condition Independence Assumption in the Probabilistic Logic Ha Dang Cao Tung |
Record Nr. | UNINA-9910783915703321 |
Singapore ; ; New Jersey, : World Scientific, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The mathematical foundation of informatics : proceedings of the conference, Hanoi, Vietnam, 25-28 October 1999 / / editors, Do Long Van, M. Ito |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Singapore ; ; New Jersey, : World Scientific, c2005 |
Descrizione fisica | 1 online resource (215 p.) |
Disciplina | 004.01/51 |
Altri autori (Persone) |
DoLong Van <1941->
ItōMasami <1941-> |
Soggetto topico |
Information technology - Mathematics
Information science - Mathematics |
ISBN |
1-281-37286-2
9786611372866 981-270-311-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Preface; Contents; On Growth Function of Petri Net and its Applications Pham Tra An; On an Infinite Hierarchy of Petri Net Languages Pham Tra A n and Pham Van Thao; Algorithms to Test Rational w-Codes Xavier Augros and Igor Litovsky; Distributed Random Walks for an Efficient Design of a Random Spanning Tree Hichem Baala and Marc Bui; Formal Concept Analysis and Rough Set Theory in Clustering Ho Tu Bao; A Simple Heuristic Method for the Min-Cut k-Balanced Partitioning Problem Lelia Blin and Ivan Lavallee; Longest Cycles and Restgraph in Maximal Non-Hamiltonian Graphs Vu Dinh Hoa
Deterministic and Nondeterministic Directable Automata Masami ItoWorst-Case Redundancy of Solid Codes Helmut Jiirgensen and Stavros Konstantinidis; Maximal Independent Sets in Certain Subword Orders Nguyen Huong Lam; Strong Recognition of Rational w-Languages Bertrand Le Saec, V. R. Dare and R. Siromoney; Some Results Concerning Covers in the Class of Multivalued Positive Boolean Dependencies Le Duc Minh, Vu Ngoc Loan and Nguyen Xuan Huy; A New Measure for Attribute Selection Do Tan Phong, Ho Thuan and Ha Quang Thuy The Complexity of Problems Defined by Boolean Circuits Steffen Reith and Klaus W. WagnerThe Rational Skimming Theorem Jacques Sakarovitch; A New Classification of Finite Simple Groups Wujie Shi and Seymour Lapschutz; Connectedness of Tetravalent Metacirculant Graphs with Non-Empty First Symbol Ngo Dac Tan and Tran Minh Tuoc; On the Relation between Maximum Entropy Principle and the Condition Independence Assumption in the Probabilistic Logic Ha Dang Cao Tung |
Record Nr. | UNINA-9910812475203321 |
Singapore ; ; New Jersey, : World Scientific, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|