P functions and Boolean Matrix Factorization

Author: André Thayse

Publisher: Springer Verlag

ISBN:

Category: Computers

Page: 248

View: 527


Mathematical Reviews

It also provides a definition of the nearness of other quasi - LU factorisations of
the form A = LŨ by means of the deviation ... In particular we shall consider the
problem of computing their roots by means of a family of iteration function having
a ... Furthermore , it turns out that a binary Boolean matrix is idempotent if and
only if it can be represented as a sum of line parts and rectangle parts of the
matrix . ... The paper is a continuation of the joint work of the author with C . P .
Kwong ( Math .

Author:

Publisher:

ISBN:

Category: Mathematics

Page:

View: 933


An Introduction to Semi tensor Product of Matrices and Its Applications

Superpolynomial growth in the number of attractors in Kauffman networks,
Physical Review Letters 90, 9, p. 98701. Sanchez ... On bi-decompositions of
logic functions, in Proc. ... P-functions and Boolean Matrix Factorization (Springer,
Berlin).

Author: Daizhan Cheng

Publisher: World Scientific

ISBN: 9814374687

Category: Mathematics

Page: 587

View: 267

Proposes a generalization of Conventional Matrix Product (CMP), called the Semi-Tensor Product (STP). This book offers a comprehensive introduction to the theory of STP and its various applications, including logical function, fuzzy control, Boolean networks, analysis and control of nonlinear systems, amongst others.

Petri Nets Central Models and Their Properties

Proceedings, 1984, Edited by C. Girault and M. Paul VI, 262 pages. ... 175: A.
Thayse, P-Functions and Boolean Matrix Factorization, Vil, 248 pages. 1984 ...
Edited by G. C. van der Veer, M.J. Tauber, T. R. G. Green and P. Gorny Vl, 269
pages.

Author: Wilfried Brauer

Publisher: Springer

ISBN: 3540479198

Category: Computers

Page: 481

View: 675

Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems such as office communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets. It reflects all major problem areas of concurrent distributed systems and covers many successfully applied principles and analysis techniques for systems organisation. Since the time that C. A. Petri has presented his original ideas, a rich body of knowledge has been developed-a recent bibliography (in Advances in Petri Nets 1981) includes more than 2000 entries. Already in 1979 an Advanced Course on Petri Nets was organized in Hamburg, West Germany, aiming at systematizing the existing knowledge and making it well accessible to a wide audience of computer scientists interested in theory and applications of concurrent systems. This course has turned out to be successful in the sense that it has initiated a lot of new research into applications and theory of Petri Nets. This had led to· another Advanced Course in 1986 in Bad Honnef, West Germany - where during two weeks more than 30 lectures were presented covering the most important current developments in the area of Petri Nets.

Intelligent Distributed Computing VIII

Miettinen, P., Vreeken, J.: Model Order Selection for Boolean Matrix Factorization.
In: 17th ACM SIGKDD ... Lu, H., Vaidya, J., Atluri, V.: Optimal Boolean Matrix
Decomposition: Application to Role Engineering. In: 24th IEEE International ...

Author: David Camacho

Publisher: Springer

ISBN: 3319104225

Category: Computers

Page: 476

View: 967

This book represents the combined peer-reviewed proceedings of the Eight International Symposium on Intelligent Distributed Computing - IDC'2014, of the Workshop on Cyber Security and Resilience of Large-Scale Systems - WSRL-2014, and of the Sixth International Workshop on Multi-Agent Systems Technology and Semantics- MASTS-2014. All the events were held in Madrid, Spain, during September 3-5, 2014. The 47 contributions published in this book address several topics related to theory and applications of the intelligent distributed computing and multi-agent systems, including: agent-based data processing, ambient intelligence, collaborative systems, cryptography and security, distributed algorithms, grid and cloud computing, information extraction, knowledge management, big data and ontologies, social networks, swarm intelligence or videogames amongst others.

Microprogrammed Systems

[ 43 ] A . THAYSE , P - Functions and Boolean Matrix Factorization , Springer -
Verlag , Berlin , 1984 . [ 44 ] A . THAYSE , P - Functions : A New Tool for the
Analysis and Synthesis of Binary Programs , IEEE Transactions on Computers ,
vol .

Author: Daniel Mange

Publisher:

ISBN:

Category: Bilgisayar yazılımı

Page: 393

View: 447


Bull Math de la Soc Sci Math de Roumanie

P - Functions and Boolean matrix factorization a unified approach for wired ,
programmed and microprogrammed implementations of discrete algorithms
ANDRE THAYSE , Lecture Notes in Computer Science vol . 175. Springer -
Verlag ...

Author:

Publisher:

ISBN:

Category: Mathematics

Page:

View: 896


Distributed Systems

175 : A . Thayse , P - Functions and Boolean Matrix Factorization , VII , 248 pages
. 1984 . Vol . 176 : Mathematical Foundations of Computer Science 1984 .
Proceedings , 1984 . Edited by M . P . Chytil and V . Koubek . XI , 581 pages .
1984 .

Author: M.W. Alford

Publisher: Springer

ISBN: 9783540152163

Category: Computers

Page: 576

View: 644


Advances in Petri nets 1986

175 : A . Thayse , P - Functions and Boolean Matrix Factorization , VII , 248 pages
. 1984 . Vol . 176 : Mathematical Foundations of Computer Science 1984 .
Proceedings , 1984 . Edited by M . P . Chytil and V . Koubek . XI , 581 pages .
1984 .

Author: Wilfried Brauer

Publisher:

ISBN:

Category: Machine theory

Page:

View: 525


Mathematical Foundations of Computer Science 1984

175 : A . Thayse , P - Functions and Boolean Matrix Factorization , VII , 248 pages
. 1984 . Vol . 176 : Mathematical Foundations of Computer Science 1984 .
Proceedings , 1984 . Edited by M . P . Chytil and V . Koubek . XI , 581 pages .
1984 .

Author: M.P. Chytil

Publisher: Springer

ISBN: 9783540133728

Category: Computers

Page: 586

View: 710


From Natural Language Processing to Logic for Expert Systems

[ Thayse 84 ] A . Thayse , P - Functions and Boolean Matrix Factorization , (
Lecture Notes in Computer Science ) , 175 , Springer , Berlin , 1984 . [ Tison 67 ]
P . Tison , Generalisation of consensus theory and application to the minimization
of ...

Author: Jean-Louis Binot

Publisher: John Wiley & Sons Incorporated

ISBN:

Category: Computers

Page: 535

View: 450

Covers some of the most significant applications of artificial intelligence, namely: natural language processing, speech understanding, expert system design, requirement engineering, machine learning, truth maintenance systems, advanced concepts and methods of logic programming. Together with the previous two volumes edited by Thayse, this completes a comprehensive exposition of the subject of logics applied to AI.

Mathematical Foundations of Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development TAPSOFT Berlin March 25 29 1985

175 : A . Thayse , P - Functions and Boolean Matrix Factorization , VII , 248 pages
. 1984 . Vol . 176 : Mathematical Foundations of Computer Science 1984 .
Proceedings , 1984 . Edited by M . P . Chytil and V . Koubek . XI , 581 pages .
1984 .

Author: Hartmut Ehrig

Publisher: Springer Verlag

ISBN:

Category: Computers

Page: 422

View: 520


Portal language description

Author:

Publisher:

ISBN:

Category:

Page:

View: 157


Analele tiin ifice ale Universit ii Al I Cuza din Ia i

Expunerea se remarcă prin claritate și originalitate . Aurel Bejancu A . THAYSE :
P - Functions and Boolean Matrix Factorization . A Unified Approach for Wired ,
Programmed and Microprogrammed Implementations of Discrete Algorithms ...

Author:

Publisher:

ISBN:

Category: Mathematics

Page:

View: 710


Philips Technical Review

Acta 39B P . R . Boudewijn , H . W . P . Akerboom & M . N . C . Kempeners 1567 -
1571 1984 A . Thayse B P - functions and Boolean matrix factorization ( Lect .
Notes Comput . Sci . , Vol . 175 ) Springer , Berlin 248 pp 1984 49 - 52 P ...

Author:

Publisher:

ISBN:

Category: Electrical engineering

Page:

View: 756

Includes section "Abstracts of recent scientific publications of the N.V. Philips' Gloeilampenfabrieken."

Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development TAPSOFT Berlin March 25 29 1985

1983. Vol. 150: Enduser Systems and Their Human Factors. ... 151; R. Piloty, M.
Barbacci, D. Borrione, D. Dietmeyer, F. Hill, and P Skelly, CONLAN Report. ... 175
: A. Thayse, P-Functions and Boolean Matrix Factorization, VII, 248 pages. 1984 ...

Author: Hartmut Ehrig

Publisher: Springer

ISBN: 9783540151999

Category: Computers

Page: 459

View: 781


How to Multiply Matrices Faster

175 : A. Thayse , P - Functions and Boolean Matrix Factorization , VII , 248 pages
. 1984 . Vol . 176 : Mathematical Foundations of Computer Science 1984 .
Proceedings , 1984. Edited by M.P. Chytil and V. Koubek . XI , 581 pages . 1984 .
Vol .

Author: V. Pan

Publisher: Springer

ISBN: 9783540138662

Category: Computers

Page: 214

View: 799


Advances in Petri Nets 1985

175 ; A . Thayse , P - Functions and Boolean Matrix Factorization , VII , 248 pages
. 1984 . Vol . 176 : Mathematical Foundations of Computer Science 1984 .
Proceedings , 1984 . Edited by M . P . Chytil and V . Koubek . XI , 581 pages .
1984 .

Author: Grzegorz Rozenberg

Publisher: Springer

ISBN:

Category: Machine theory

Page: 498

View: 556


Rewriting Techniques and Applications

Edited by C . Girault and M . Paul . VI . 262 pages . ... 175 : A . Thayse , P -
Functions and Boolean Matrix Factorization , VII , 248 pages . 1984 . Vol . ...
Edited by G . C . van der Veer , M . J . Tauber , T . R . G . Green and P . Gorny . VI ,
269 ...

Author: Jean-Pierre Jouannaud

Publisher: Springer

ISBN: 9783540159766

Category: Mathematics

Page: 444

View: 956

First International Conference on Rewriting Techniques and Applications

Interval Mathematics 1985

175 : A . Thayse , P - Functions and Boolean Matrix Factorization , VII , 248 pages
. 1984 . Vol . 176 : Mathematical Foundations of Computer Science 1984 .
Proceedings , 1984 . Edited by M . P . Chytil and V . Koubek . XI , 581 pages ,
1984 .

Author: International Symposium on Interval Mathematics

Publisher: Springer Verlag

ISBN: 9780387164373

Category: Mathematics

Page: 227

View: 231