Strong equivalence of logic programs under the infinite-valued semantics

We consider the notion of strong equivalence [V. Lifschitz, D. Pearce, A. Valverde, Strongly equivalent logic programs, ACM Transactions on Computational Logic 2 (4) (2001) 526-541] of normal propositional logic programs under the infinite-valued semantics [P. Rondogiannis, W.W. Wadge, Minimum model semantics for logic programs with negation-as-failure, ACM Transactions on Computational Logic 6 (2) (2005) 441-467] (which is a purely model-theoretic semantics that is compatible with the well-founded one). We demonstrate that two such programs are strongly equivalent under the infinite-valued semantics if and only if they are logically equivalent in the corresponding infinite-valued logic. In particular, we show that strong equivalence of normal propositional logic programs is decidable, and more specifically coNP-complete. Our results have a direct implication for the well-founded semantics since, as we demonstrate, if two programs are strongly equivalent under the infinite-valued semantics, then they are also strongly equivalent under the well-founded semantics.     

Optimal Influence Strategies in Social Networks

This paper suggests a modeling framework to investigate the optimal strategy followed by a monopolistic firm aiming to manipulate the process of opinion formation in a social network. The monopolist and a set of consumers communicate to form their beliefs about the underlying product quality. Since the firm’s associated optimization problem can be analytically solved only under specific assumptions, we rely on the sequential quadratic programming computational approach to characterize the equilibrium. When consumers’ initial beliefs are uniform, the firm’s optimal influence strategy always involves targeting the most influential consumer. For the case of non-uniform initial beliefs, the monopolist might target the less influential consumer if the latter’s initial opinion is low enough. The probability of investing more in the consumer with the lower influence increases with the distance between consumers’ initial beliefs and with the degree of trust attributed on consumers by the firm. The firm’s profit is minimized when consumers’ influences become equal, implying that the firm benefits from the presence of consumers with divergent strategic locations in the network. In the absence of a binding constraint on total investment, the monopolist’s incentives to manipulate the network decrease with consumers’ initial beliefs and might either increase or decrease with the trust put in consumers’ opinion by the firm. Finally, the firm’s strategic motivation to communicate persistently high beliefs during the opinion formation process is positively associated with the market size, with the available budget and with the direct influence of the most influential consumer on the other but negatively associated with consumers’ initial valuation of the good.     

Wireless Channel State-Aware and Adaptive Epidemic Dissemination in Ad Hoc Networks

Ad hoc networks are characterized by limited resources (e.g. energy, bandwidth). Efficient information dissemination while avoiding excessive energy cost can be achieved through the suitable design of a network. To this end we propose an information dissemination scheme which couples epidemic dissemination with adaptive modulation and coding (AMC). The proposed scheme tunes the message forwarding probability and the coding and modulation mode in order to achieve a balance between maximum coverage over the network and minimum energy expenditure. We achieve this based on the evaluation of suitably defined indicators related to the lower network layers and exploiting information on the current status of the wireless medium. Building on established previous AMC-related work, our simulation results indicate that our scheme brings significant improvement over non-adaptive approaches, comparable with other adaptive epidemic dissemination schemes. Our findings are quite promising for adaptive epidemic-based information dissemination schemes with a strong cross-layer component.     

A multicriteria methodology for equity selection using financial analysis

In this article we present a multiple criteria methodology for supporting decisions that concern the selection of equities, on the basis of financial analysis. The ELECTRE Tri outranking classification method is employed for selecting the attractive equities, through the evaluation of the overall corporate performance of the corresponding firms. The crucial importance issue of the industry/sectoral accounting particularities was strongly taken into account. An elaborate review of coherent research studies is also provided. Finally, the validity of the proposed methodology is tested through a large scale application on the Athens Stock Exchange.     

Energy research and technology development data collection strategies: The case of Greece

The European Union (EU) from the beginning of 2007 has focused its emphasis on the development of a new policy that puts energy back at the heart of EU action. Indeed, it has very often been stated that the difficulty and complexity of achieving green energy targets in the EU will require strengthened measures to promote implementation of new energy technologies (NET), as well as measures to support the related energy Research and Technology Development (R&TD). Often forgotten is the fact, that most of all, a European-wide co-ordinated forum is needed to continuously develop and sophisticate the monitoring and methodology results, bringing together specialised statisticians, energy researchers and experts on energy socio-economics. Today a nebulous picture prevails on the existence of categorized data with regards to energy Research and Technology Development (R&TD) expenditure. In this context, aim of this paper is the presentation of energy R&TD data collection strategies, as well as the related findings for the Greek energy market.     

FPGA-based architecture and implementation techniques of a low-complexity hybrid RAKE receiver for a DS-UWB communication system

In this paper, the architecture of a low-complexity Direct Sequence Ultra-Wideband (DS-UWB) receiver subsystem which incorporates a Channel Estimator (CE) and a novel hybrid Partial/Selective (HPS) maximal ratio combining (MRC) RAKE receiver is presented. Three different design techniques followed by FPGA implementation are investigated and compared and system performance results are provided. The proposed architectures combine the benefits of both partial and selective RAKE receiver algorithms and the obtained results demonstrate the trade-off between energy capture, performance and receiver complexity. All design approaches focus on a highly parallel, modular and optimized for high performance system which is necessary for demanding and low-cost applications of UWB communications.     

Optimization methodology of dynamic data structures based on genetic algorithms for multimedia embedded systems

Modern multimedia application exhibit high resource utilization. In order to efficiently run this kind of applications in embedded systems, the dynamic memory subsystem needs to be optimized. A key role in this optimization is played by the dynamic data structures that reside in every real-life application. This paper presents a novel and automated way to optimize dynamic data structures. The search space is pruned using genetic algorithms that converge to the best multilayered data structure implementation for the targeted applications.     

HAMMER: hierarchical attribute matching mechanism for elastic registration

A new approach is presented for elastic registration of medical images, and is applied to magnetic resonance images of the brain. Experimental results demonstrate very high accuracy in superposition of images from different subjects. There are two major novelties in the proposed algorithm. First, it uses an attribute vector, i.e., a set of geometric moment invariants (GMIs) that are defined on each voxel in an image and are calculated from the tissue maps, to reflect the underlying anatomy at different scales. The attribute vector, if rich enough, can distinguish between different parts of an image, which helps establish anatomical correspondences in the deformation procedure; it also helps reduce local minima, by reducing ambiguity in potential matches. This is a fundamental deviation of our method, referred to as the hierarchical attribute matching mechanism for elastic registration (HAMMER), from other volumetric deformation methods, which are typically based on maximizing image similarity. Second, in order to avoid being trapped by local minima, i.e., suboptimal poor matches, HAMMER uses a successive approximation of the energy function being optimized by lower dimensional smooth energy functions, which are constructed to have significantly fewer local minima. This is achieved by hierarchically selecting the driving features that have distinct attribute vectors, thus, drastically reducing ambiguity in finding correspondence. A number of experiments demonstrate that the proposed algorithm results in accurate superposition of image data from individuals with significant anatomical differences.     

Reactive oxygen species may influence the heat shock response and stress tolerance in the yeast Saccharomyces cerevisiae

Moderate levels of reactive oxygen species (ROS) have been implicated as second messengers in a number of biochemical pathways, and in animal cells have been associated with the activation of the heat shock response (HSR). Here, using an intracellular probe, we demonstrate that differential accumulation of ROS in the yeast Saccharomyces cerevisiae is strongly associated with differential induction of an HS reporter gene over a range of heat shock temperatures. There was a good correlation between cellular ROS levels and the levels of HS-induced reporter gene expression between 37 degrees C and 44 degrees C, both reaching maximal values at 41 degrees C. Furthermore, the addition of 150 microM H2O2 to the yeast cells during heat treatment resulted in a 3 degrees C decrease in the temperature required for maximal induction of the HS expression vector--an increased HS sensitivity that corresponded to a concomitant increase in ROS levels at these lower HS temperatures. Conversely, cells treated with 10 mM of the antioxidant ascorbic acid required a temperature that was 2 degrees C above that required in untreated controls for maximal induction of the HS expression vector. This decreased HS sensitivity corresponded to a decrease in ROS levels at these higher HS temperatures. Finally, cell viability assays reveal that intrinsic thermotolerance remains high in control cells despite concomitant decreases in HS-reporter gene expression and ROS accumulation between 41 degrees C and 44 degrees C. We conclude that the sensitivity of the yeast HSR is strongly associated with ROS accumulation, and suggest that ROS-mediated signalling ensures cooperation between the HS and the antioxidant responses.