We propose a new type of quantum computer which is used to prove a spectral representation for a class S of computable sets. When S. S codes the theorems of a formal system, the quantum computer produces through measu...
详细信息
ISBN:
(纸本)9783642390746;9783642390739
We propose a new type of quantum computer which is used to prove a spectral representation for a class S of computable sets. When S. S codes the theorems of a formal system, the quantum computer produces through measurement all theorems and proofs of the formal system. We conjecture that the spectral representation is valid for all computably enumerable sets. The conjecture implies that the theorems of a general formal system, like Peano Arithmetic or ZFC, can be produced through measurement;however, it is unlikely that the quantum computer can produce the proofs as well, as in the particular case of S. The analysis suggests that showing the provability of a statement is different from writing up the proof of the statement.
This paper presents a novel, biologically-inspired, approach for an efficient management of computational resources for visual processing. In particular, we modulate a visual "attentional landscape" with the...
详细信息
ISBN:
(纸本)9781479926190
This paper presents a novel, biologically-inspired, approach for an efficient management of computational resources for visual processing. In particular, we modulate a visual "attentional landscape" with the motor plans of a robot. The attentional landscape is a more recent, general and a more complex concept of an arrangement of spatial attention than a simple "attentional spotlight" or a "zoom-lens" model of attention. A higher attention priority for visual processing must be given to manipulation-relevant parts of the visual field, in contrast with other, manipulation-irrelevant, parts. Hence, in our model visual attention is not exclusively defined in terms of visual saliency in color, texture or intensity cues, it is rather modulated by motor (manipulation) programs. This computational model is supported by recent experimental findings in visual neuroscience and physiology. We show how this approach can be used to efficiently distribute limited computational resources devoted to visual processing, which is very often the computational bottleneck in a robot system. The model offers a view on the well-known concept of visual saliency that has not been tackled so far, thus this approach can offer interesting alternative prospects not only for robotics, but also for computer vision, physiology and neuroscience. The proposed model is validated in a series of experiments conducted with the iCub robot, both using the simulator and with the real robot.
Almost every information system is built assuming that it is to be modified during operation. It costs very much to transplant the system to change requirement specifications or implementing technologies. For this pur...
详细信息
Many large datasets associated with modern predictive data mining applications are quite complex and heterogeneous, possibly involving multiple relations, or exhibiting a dyadic nature with associated side-information...
详细信息
The study of transform coefficients brought a question of a useful tool for signal evaluation and comparison. The application should use a database storage system for fast inserting and selecting data and should be al...
详细信息
There are some problems in researches on supply chain control of pharmaceutical chain enterprises under dynamic environment. The authors establish a new paradigm of computer simulation analysis and adaptive control, t...
详细信息
Matrix diffusion is a phenomenon in which tracer particles convected along a flow channel can diffuse into porous walls of the channel, and it causes a delay and broadening of the breakthrough curve of a tracer pulse....
详细信息
ISBN:
(纸本)9783642368035
Matrix diffusion is a phenomenon in which tracer particles convected along a flow channel can diffuse into porous walls of the channel, and it causes a delay and broadening of the breakthrough curve of a tracer pulse. Analytical and numerical methods exist for modeling matrix diffusion, but there are still some features of this phenomenon, which are difficult to address using traditional approaches. To this end we propose to use the lattice-Boltzmann method with point-like tracer particles. These particles move in a continuous space, are advected by the flow, and there is a stochastic force causing them to diffuse. This approach can be extended to include particle-particle and particle-wall interactions of the tracer. Numerical results that can also be considered as validation of the LBM approach, are reported. As the reference we use recently-derived analytical solutions for the breakthrough curve of the tracer.
Adequate metrics of object-oriented software enable to determine the complexity of a system, estimate the effort needed for testing and even locate some parts in the design that could be error prone or should be redes...
详细信息
The technical system that gains heat from deep in the ground by heat pump is complicated and any attempt to implement innovative solutions requires a comprehensive analysis. The developed computer program had to predi...
详细信息
ISBN:
(纸本)9788021323889
The technical system that gains heat from deep in the ground by heat pump is complicated and any attempt to implement innovative solutions requires a comprehensive analysis. The developed computer program had to predict the effects of design changes in the system: the lower source - heat pump - buffer tank - heaters - the greenhouse and its environment. The goal of this paper is to present the method to verify and determine the directions of model improvement (Vogelgesang et al., 2010). The verification process consists of two stages. First, a computer model with logical and some other tests was experienced to check the behavior of desired quality features. In this model, the fiction experiences were implemented changing about 20 input variables, and their results to logic and expert analysis were subjected. No unexpected program behaviors were occurred, also in limit situations. In this analysis the expected and known quality relations were confirmed as "increase", "decrease". Next, an experiment in the real object was carried, to calibrate the model and to determine the numerical values of some parameters, in particular related to environmental variables, including coefficient of heat transfer. After obtaining adjusted values, the model was experimentally verified conducting a series of experiments, similarly to the quality verification, but this time expecting confirmation of the simulated values with these obtained in the real object. Due to technical limitations, experiments included only variables related with the buffer tank operation. In this scope, the satisfactory quality of applied model was stated. Obtained consistency of results allows choose an optimal size of the buffer tank in the technical system with heat pump having a model as a base including expected time of its use, the object type and the projected weather scenario. There was found that further development requires modeling of thermal processes in the greenhouse, in particular the internal hea
The proceedings contain 28 papers. The topics discussed include: a spatio-anatomical medical ontology and automatic plausibility checks;experimentally studying progressive filtering in presence of input imbalance;sema...
ISBN:
(纸本)9783642297632
The proceedings contain 28 papers. The topics discussed include: a spatio-anatomical medical ontology and automatic plausibility checks;experimentally studying progressive filtering in presence of input imbalance;semantic web search system founded on case-based reasoning and ontology learning;early warning and decision support in critical situations of opinion formation within online social networks;a connection between extreme learning machine and neural network kernel;visually summarizing semantic evolution in document streams with topic table;a clinical application of feature selection: quantitative evaluation of the locomotor function;inference based query expansion using user's real time implicit feedback;a quantitative knowledge measure and its applications;a model-driven development method for applying to management information systems;and automated reasoning support for ontology development.
暂无评论