scholarly journals On the Computational Complexity of Spatial Logics with Connectedness Constraints

Author(s):  
Roman Kontchakov ◽  
Ian Pratt-Hartmann ◽  
Frank Wolter ◽  
Michael Zakharyaschev
1970 ◽  
Vol 6 (1) ◽  
Author(s):  
Muskinul Fuad

The education system in Indonesia emphasize on academic intelligence, whichincludes only two or three aspects, more than on the other aspects of intelligence. For thatreason, many children who are not good at academic intelligence, but have good potentials inother aspects of intelligence, do not develop optimally. They are often considered and labeledas "stupid children" by the existing system. This phenomenon is on the contrary to the theoryof multiple intelligences proposed by Howard Gardner, who argues that intelligence is theability to solve various problems in life and produce products or services that are useful invarious aspects of life.Human intelligence is a combination of various general and specific abilities. Thistheory is different from the concept of IQ (intelligence quotient) that involves only languageskills, mathematical, and spatial logics. According to Gardner, there are nine aspects ofintelligence and its potential indicators to be developed by each child born without a braindefect. What Gardner suggested can be considered as a starting point to a perspective thatevery child has a unique individual intelligence. Parents have to treat and educate theirchildren proportionally and equitably. This treatment will lead to a pattern of education that isfriendly to the brain and to the plurality of children’s potential.More than the above points, the notion that multiple intelligences do not just comefrom the brain needs to be followed. Humans actually have different immaterial (spiritual)aspects that do not refer to brain functions. The belief in spiritual aspects and its potentialsmeans that human beings have various capacities and they differ from physical capacities.This is what needs to be addressed from the perspective of education today. The philosophyand perspective on education of the educators, education stakeholders, and especially parents,are the first major issue to be addressed. With this step, every educational activity andcommunication within the family is expected to develop every aspect of children'sintelligence, especially the spiritual intelligence.


Author(s):  
Nico Potyka

Bipolar abstract argumentation frameworks allow modeling decision problems by defining pro and contra arguments and their relationships. In some popular bipolar frameworks, there is an inherent tendency to favor either attack or support relationships. However, for some applications, it seems sensible to treat attack and support equally. Roughly speaking, turning an attack edge into a support edge, should just invert its meaning. We look at a recently introduced bipolar argumentation semantics and two novel alternatives and discuss their semantical and computational properties. Interestingly, the two novel semantics correspond to stable semantics if no support relations are present and maintain the computational complexity of stable semantics in general bipolar frameworks.


Author(s):  
Nguyen N. Tran ◽  
Ha X. Nguyen

A capacity analysis for generally correlated wireless multi-hop multi-input multi-output (MIMO) channels is presented in this paper. The channel at each hop is spatially correlated, the source symbols are mutually correlated, and the additive Gaussian noises are colored. First, by invoking Karush-Kuhn-Tucker condition for the optimality of convex programming, we derive the optimal source symbol covariance for the maximum mutual information between the channel input and the channel output when having the full knowledge of channel at the transmitter. Secondly, we formulate the average mutual information maximization problem when having only the channel statistics at the transmitter. Since this problem is almost impossible to be solved analytically, the numerical interior-point-method is employed to obtain the optimal solution. Furthermore, to reduce the computational complexity, an asymptotic closed-form solution is derived by maximizing an upper bound of the objective function. Simulation results show that the average mutual information obtained by the asymptotic design is very closed to that obtained by the optimal design, while saving a huge computational complexity.


2009 ◽  
Vol 20 (9) ◽  
pp. 2344-2351 ◽  
Author(s):  
He JIANG ◽  
Yan HU ◽  
Qiang LI ◽  
Hong YU

Sign in / Sign up

Export Citation Format

Share Document