Encontrados 29 documentos, a visualizar página 1 de 3
Partial models in formal verification of industrial automation discrete systems
Machado, José, 1963-; Campos, J. CreissacThe use of a plant model for formal verification of Industrial Automation systems controllers must be used in order to improve the obtained results. However, if there are some cases where the use of a plant model makes the formal verification results more realistic and robust, there are other cases where this does not always happen. The discussion presented in this paper is related with the need of using a Plan...
Data acquisition process for an intelligent decision support in gynecology and ...
Cabral, Alexandra; Pina, Carla; Machado, Humberto; Abelha, António; Salazar, Maria; Quintas, César; Portela, Filipe; Machado, José, 1963-; Neves, JoséManchester Triage System is a reliable system of triage in the emergency department of a hospital. This system when applied to a specific patients’ condition such the pregnancy has several limitations. To overcome those limitations an alternative triage IDSS was developed in the MJD. In this approach the knowledge was obtained directly from the doctors’ empirical and scientific experience to make the first vers...
Electronic health record in dermatology service
Duarte, Júlio; Portela, Filipe; Santos, Manuel; Abelha, António; Machado, José, 1963-In this paper we describe the implementation of an Electronic Health Record in the Dermatology service of a Portuguese hospital. This system must follow the principle of simplicity, enabling recording quality and analytical processing. Standards and norms were also followed and it is shown that interoperability has a key role in the whole process. This project is a good example of cooperation between academic a...
Knowledge discovery for pervasive and real-time intelligent decision support in...
Portela, Filipe; Gago, Pedro; Santos, Manuel Filipe; Silva, Álvaro; Rua, Fernando; Machado, José, 1963-; Abelha, António; Neves, JoséPervasiveness, real-time and online processing are important requirements included in the researchers’ agenda for the development of future generation of Intelligent Decision Support Systems (IDSS). In particular, knowledge discovery based IDSS operating in critical environments such of intensive care, should be adapted to those new requests. This paper introduces the way how INTCare, an IDSS deve...
Ensino-aprendizagem da matemática com recurso a software educativo : atitudes e...
Machado, José, 1963-; Almeida, Leandro S.; Silva, Bento Duarte daEste artigo descreve o impacto da utilização de um software educativo, mais concretamente centrado nas potencialidades gráficas, ao nível das atitudes, hábitos e frequência de uso dos computadores pelos alunos que o utilizaram tal software no processo de aprendizagem de conceitos matemáticos. Analisámos, também, de que modo essa utilização facilitou a relação entre a escrita algébrica e a gráfica. Foi considera...
Defects of the will in software agents contracting
Andrade, Francisco Carneiro Pacheco; Novais, Paulo; Machado, José, 1963-; Neves, JoséThe use of intelligent software agents brings along a lot of new issues in what contracting is concerned. Actually, to speak about contracts there must be two or more declarations of will, containing a consensual agreement, consisting of an offer and of an acceptance. But intelligent software agents operate in electronic commerce without any direct intervention of humans, and they have a control on their own ac...
Inter-organization cooperation for care of the elderly
Costa, Ricardo André Fernandes; Novais, Paulo; Machado, José, 1963-; Alberto, Carlos; Neves, JoséWith the growing numbers of the elderly population, the society is face to face with a set of new problems, namely the lack of resources to assist their living in a noble mode. Nevertheless, with the use of new computational technologies and novel methodologies for problem solving, some solutions to these problems are emerging (e.g., remote sensing/assistance/supervision). Therefore, it is our goal to show that...
Ambient intelligence in emotion based ubiquitous decision making
Marreiros, Goreti; Santos, Ricardo; Ramos, Carlos; Neves, José; Novais, Paulo; Machado, José, 1963-; Cruz, José BulasAs the time goes on, it is a question of common sense to involve in the process of decision making people scattered around the globe. Groups are cre- ated in a formal or informal way, exchange ideas or engage in a process of argumentation and counter- argumentation, negotiate, cooperate, collaborate or even discuss techniques and/or methodologies for problem solving. In this work it is proposed an agent-based a...
A web-based collaboration approach for teaching in medicine
Alves, Victor; Machado, José, 1963-; Abelha, António; Novais, Paulo; Analide, CésarTeaching medicine requires developing a vast range of manual, intellectual, visual and tactile skills as well as taking into account large amounts of factual information. Traditional medical teaching and individual learning in particular, can be complemented with electronic web based systems. One of the main impacts of e-Teaching in education resides in the fact that it provides opportunities to create resource...
Formal models in web based contracting
Analide, César; Neves, José; Novais, Paulo; Machado, José, 1963-; Andrade, Francisco Carneiro PachecoLegal principles have some difficulty to deal with software agents celebrating contracts and operating in e-commerce environments without direct human intervention. Autonomous intelligent agents have a control on their own actions and states, supporting or taking effective decisions. Therefore, some qualitative parameters such as trust, reputation and quality of information have to be taken under consideration ...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||