the strong convergence properties of the projection method for convex feasibility problem are investigated in the frame of a real Hilbert space. the significant role of the regularity properties for strong convergence...
详细信息
ISBN:
(纸本)9780769530789
the strong convergence properties of the projection method for convex feasibility problem are investigated in the frame of a real Hilbert space. the significant role of the regularity properties for strong convergence of these methods is pointed out.
As in any other scientific field, the quality control (by peer reviewing), archiving and distribution of knowledge in mathematics is organized by journals. Currently, mathematical journals represent huge chunks of kno...
详细信息
ISBN:
(纸本)9780769530789
As in any other scientific field, the quality control (by peer reviewing), archiving and distribution of knowledge in mathematics is organized by journals. Currently, mathematical journals represent huge chunks of knowledge that sit passively on a shelf and wait for a human user to read or query them. In contrast, what we want to achieve in this project is the transformation of the knowledge contained in mathematical journals into formal mathematical knowledge bases that behave as active reasoning agents.
In [11], we have shown that implicit induction and saturation proof techniques share the same logic, witnessed by an inference system implementing the Fermat9;s 9;Descente Infinie9; induction principle. As a ...
详细信息
ISBN:
(纸本)9780769530789
In [11], we have shown that implicit induction and saturation proof techniques share the same logic, witnessed by an inference system implementing the Fermat's 'Descente Infinie' induction principle. As a case study, a simple paramodulation-based inference system has been proved as an instance of it. In this paper, we detail the instantiation method to treat general saturation-based systems and apply it to analyse a non-trivial resolution-based system. We also propose a methodology to build variants of existing systems, which preserve crucial properties like soundness and refutational completeness.
After identifying certain usage scenarios for a P2P wiki, we propose a generic model regarding a P2P wiki platform, that can be configured to adapt to several usage scenarios, from massively distributed wikis to small...
详细信息
ISBN:
(纸本)9780769530789
After identifying certain usage scenarios for a P2P wiki, we propose a generic model regarding a P2P wiki platform, that can be configured to adapt to several usage scenarios, from massively distributed wikis to small mobile collaborative tools. the platform is built as a XWiki plugin collection and consists of a set of loosely coupled components providing services to be used in the context of grid computing.
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.
暂无评论