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.
Scientists increasingly rely on workflow management systems to perform large-scale computational scientific experiments. These systems often collect provenance information that is useful in the analysis and reproducti...
详细信息
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, we present two near-optimal methods to determine the real-time collision-free path for a mobile vehicle moving in a dynamically changing environment. The proposed designs are based on the polynomial par...
详细信息
Many Americans lack even a rudimentary understanding of the principles underlying the technology essential for daily life. engineering concepts are pervasive in decision making within industry, government, education, ...
详细信息
Many Americans lack even a rudimentary understanding of the principles underlying the technology essential for daily life. engineering concepts are pervasive in decision making within industry, government, education, and health care, yet most decisions in these sectors are made by people with little or no formal engineering education. This research will develop minors to be offered by engineering units as an approach to developing technological competence in non-engineers. A collaboration between Iowa State University, Ohio State University, Hope College, and Rice University is building on the promising results achieved in the Minor in engineering Studies program at Iowa State. The project goal is to develop the concepts and resources to support model minors which can be adopted efficiently and widely within American higher education. To facilitate adoption by other institutions, flexibility is a key objective of the intended guidelines. Since the appropriateness of using the name engineering in the context of a minor is subject to debate, the specific name of minor should be part of that flexibility. These degrees do not focus on teaching specific engineering technical content but on teaching students how to think like an engineer. The minor aims to develop the broad understanding and practical technological competence outlined by the National Academy of engineering in reports such as Technically Speaking. Thus decoupled from the engineering major, the Minor in engineering Studies at Iowa has attracted students majoring in business, communications, journalism, and design. Minors provide a recognized credential deemed attractive by many students. This work will develop a set of Technological Literacy Objectives and Outcomes for such a minor. These outcomes will be similar to the ABET a-k outcomes that are used for engineering degrees, but will be focused on developing technologically literate citizens. The anticipated use of a standard set of outcomes rather than a
Spectral constraints placed upon radar systems by regulatory agencies require the design of highly linear amplifiers. Spectral spreading in power amplifiers is a result of transistors operated in the nonlinear regime ...
详细信息
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.
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.
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.
暂无评论