In this paper we study the theoretical limits of finite constructive convex approximations of a given function in a Hilbert space using elements taken from a reduced subset. We also investigate the trade-off between the global error and the partial error during the iterations of the solution. These results are then specialized to constructive function approximation using sigmoidal neural networ...

The utilization of pneumatic muscles in the actuation of robotized systems is still in its early stages, hence the requirement of a study of such constructive solutions. Consequently the paper presents the constructive solution and performance of a robotized arm actuated by pneumatic muscles. This system is mounted on a wheelchair for persons with locomotive disabilities. The main reason underl...

Climate change poses a significant threat globally. Due to the heavy nature of issue, climate news tends be very negative. Overly negative can cause psychological disruption and make people avoid news. The media plays huge role in mitigation, adaptation, people’s perspectives on change, making it crucial for them communicate effectively. Constructive journalism may solution this issue. With con...

In this article we study the use of memory structures in both constructive and improvement methods. Typical tabu search applications employ short term memory structures to overcome local optimality. However, other memory structures, such as frequency-based constructions have often been ignored or implemented in naïve ways that disregard important elements of the original proposals. In this pape...

In this paper one anthropomorphic modular reconfigurable gripper for robots are described , including a prototype. For the first time the stages of synthesis, analysis design and functional simulation are presented. The structural synthesis of the anthropomorphic grippers for robots can be made regarding the following main criteria: the number of fingers, the number of phalanxes, the relative d...

In this paper one anthropomorphic modular gripper for robots are described. The stages of synthesis, analysis design and functional simulation are presented. The structural synthesis of the anthropomorphic grippers for robots can be made regarding the following main criteria: the number of fingers, the number of phalanxes, the relative dimensions of the phalanxes, the relative position of the f...

Trees carrying information stored in their nodes are a fundamental abstract data type. Approaching trees in a formal constructive environment allows us to realize properties of trees, inherent in their structure. Specifically we will look at the evidence provided by the predicates which operate on these trees. This evidence, expressed in terms of logical and programming languages, is realizable...

Intuitionistic Type Theory (also Constructive Type Theory or Martin-Löf Type Theory) is a formal logical system and philosophical foundation for constructive mathematics (link). It is a fullscale system which aims to play a similar role for constructive mathematics as Zermelo-Fraenkel Set Theory (link) does for classical mathematics. It is based on the propositions-as-types principle and clarif...