The idea of a Kripke semantics endowed with possibility/plausibility information is not new; in fact there are different approaches for that; see: [6], [13], [16], [19]. This paper follows the approach found in [6], b...
详细信息
The idea of a Kripke semantics endowed with possibility/plausibility information is not new; in fact there are different approaches for that; see: [6], [13], [16], [19]. This paper follows the approach found in [6], but whereas [6] provides a fixed interpretation for connectives into [0,1] here we provide a characterization of a fuzzy semantics for connectives in such a way that the resulting fuzzy frames: K, T and D, are described precisely by the set of statements which also describes, respectively, the usual modal systems K, T and D.
This paper describes a co-evolutionary algorithm for generating simple spatially oriented tactics and considers whether students can learn better by playing against co-evolved opponents or by playing against an expert...
详细信息
Business processes modeling projects are increasingly widespread in organizations. Companies have several processes to be identified and modeled. They usually invest much in hiring expert consultants to do such job. H...
详细信息
ISBN:
(纸本)9789898425065
Business processes modeling projects are increasingly widespread in organizations. Companies have several processes to be identified and modeled. They usually invest much in hiring expert consultants to do such job. However, they still find no guidelines to help them estimate how much a process modeling project will cost or how long this will take. We propose an approach to estimate the effort required to conduct a BPM project and discuss results obtained from over 50 projects in a large Brazilian company.
In this paper,an equivalency condition of nonsingularity in nonlinear semidefinite programming,which can be viewed as a generalization of the equivalency condition of nonsingularity for linearsemidefinite programming,...
详细信息
In this paper,an equivalency condition of nonsingularity in nonlinear semidefinite programming,which can be viewed as a generalization of the equivalency condition of nonsingularity for linearsemidefinite programming,is established under certain conditions of convexity.
In recent years,much attention has been given to the increase in the Earth-Sun distance,with the modern rate reported as 5-15 m/cy on the basis of astronomical ***,traditional methods cannot measure the ancient leavin...
详细信息
In recent years,much attention has been given to the increase in the Earth-Sun distance,with the modern rate reported as 5-15 m/cy on the basis of astronomical ***,traditional methods cannot measure the ancient leaving rates,so a myriad of research attempting to provide explanations were met with unmatched *** this paper we consider that the growth patterns on fossils could reflect the ancient Earth-Sun *** mechanical analysis of both the Earth-Sun and Earth-Moon systems,these patterns confirmed an increase in the Earth-Sun *** a large number of well-preserved specimens and new technology available,both the modern and ancient leaving rates could be measured with high precision,and it was found that the Earth has been leaving the Sun over the past 0.53 billion *** Earth's semi-major axis was 146 million kilometers at the beginning of the Phanerozoic Eon,equating to 97.6% of its current *** modern leaving rates are 5-14 m/cy,whereas the ancient rates were much *** results indicate a special expansion with an average expansion coefficient of 0.57H0 and deceleration in the form of Hubble *** the basis of experimental results,the Earth's semi-major axis could be represented by a simple formula that matches fossil measurements.
Complexity and dynamism of day-to-day activities in organizations are inextricably linked, one impacting the other, increasing the challenges for constant adaptation of the way to organize work to address emerging dem...
详细信息
ISBN:
(纸本)9789898425065
Complexity and dynamism of day-to-day activities in organizations are inextricably linked, one impacting the other, increasing the challenges for constant adaptation of the way to organize work to address emerging demands. In this scenario, there are a variety of information, insight and reasoning being processed between people and systems, during process execution. We argue that process variations could be decided in real time, using context information collected. This paper presents a proposal for a business process line cycle, with a set of activities encapsulated in the form of components as central artefact. We explain how composition and adaptation of work may occur in real time and discuss a scenario for this proposal.
Computational energy consumption of the processing elements (PEs) of a NoC can be significantly reduced by scaling down their voltage levels. This creates clusters of adjacent PEs operating at the same voltage level, ...
详细信息
Power consumption can be significantly reduced in systems-on-Chip (SoC) by scaling down the voltage levels of the Processing Elements (PEs). The power efficiency of this Voltage Islanding technique comes at the cost o...
详细信息
ISBN:
(纸本)9783981080162
Power consumption can be significantly reduced in systems-on-Chip (SoC) by scaling down the voltage levels of the Processing Elements (PEs). The power efficiency of this Voltage Islanding technique comes at the cost of energy and area overhead due to the level shifters between voltage islands. Moreover, from the physical design perspective it is not desirable to have an excessive number of voltage islands on the chip. Considering voltage islanding at an early phase of design as during floorplanning of the PEs can address various of these issues. In this paper, we propose a new cost function for the floorplanning objective different from the traditional floorplanning objective. The new cost function not only includes the overall area requirement, but also incorporates the overall power consumption and the design constraint imposed on the maximum number of voltage islands. We propose a greedy heuristic based on the proposed cost function for the floorplanning of the PEs with several voltage islands. Experimental results using benchmark data study the effect of several parameters on the outcome of the heuristic. It is evident from the results that power consumption can be significantly reduced using our algorithm without significant area overhead. The area obtained from the heuristic is also compared with the optimal, and found to be within 4% of the optimal on average, when area minimization is given the priority.
Particle Swarm Optimization (PSO) algorithms have been proposed to solve engineering problems that require to find an optimal point of operation. However, the PSO algorithm suffers from premature convergence and high ...
详细信息
In recent years, the semidefinite relaxation (SDR) technique has been at the center of some of very exciting developments in the area of signal processing and communications, and it has shown great significance and re...
详细信息
暂无评论