the proceedings contain 67 papers. the topics discussed include: natural computation for business intelligence from web usage mining;membrane computing as a framework for modeling economic processes;theory and practic...
详细信息
ISBN:
(纸本)0769524532
the proceedings contain 67 papers. the topics discussed include: natural computation for business intelligence from web usage mining;membrane computing as a framework for modeling economic processes;theory and practice of programming applied to membrane systems;checking RSC criteria for extended dixon resultant by interpolation method;a connectivity analysis in geometric constraint solving;symbolic modeling of database representations;integrating role activity diagrams and hybrid IDEF for business process modeling using MDA;cryptanalysis of an authentication protocol;general secret sharing based on determinants;an algorithm for automated generation of invariants for loops with conditionals;specifications and verification of network protocols by process algebra;specification of coordinated objects and verification of their temporal properties;and a reinforcement learning algorithm for spiking neural networks.
Mathematics is characterized by its method of gaining knowledge, namely reasoning. the automation of reasoning has seen significant advances over the past decades and, thus, the expectation was that these advances wou...
详细信息
ISBN:
(纸本)9780769527406
Mathematics is characterized by its method of gaining knowledge, namely reasoning. the automation of reasoning has seen significant advances over the past decades and, thus, the expectation was that these advances would also have significant impact on the practice of doing mathematics. However, so far, this impact is small. We think that the reason for this is the fact that automated reasoning so far concentrated on the automated proof of individual theorems whereas, in the practice of mathematics, one proceeds by building up entire theories in a step-by-step process. this process of exploring mathematical theories consists of the invention of notions, the invention and proof of propositions (lemmas, theorems), the invention of problems, and the invention and verification of methods (algorithms) that solve problems.
After presenting the basic definition of spiking neural P systems (SN P systems), illustrated with two examples, we recall some results concerning the computing power and the size of universal SN P systems. We end thi...
详细信息
ISBN:
(纸本)9781479984480
After presenting the basic definition of spiking neural P systems (SN P systems), illustrated with two examples, we recall some results concerning the computing power and the size of universal SN P systems. We end this note with a couple of research topics.
We propose general preprocessing techniques to reshape dense multivariate polynomials over finite fields, in order to minimize the cost of memory accesses, while preserving sufficient parallelism, so as to reduce the ...
详细信息
ISBN:
(纸本)9781665465458
We propose general preprocessing techniques to reshape dense multivariate polynomials over finite fields, in order to minimize the cost of memory accesses, while preserving sufficient parallelism, so as to reduce the running time of polynomial multiplication in multi-threaded implementations.
暂无评论