We propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from ...

The design of full programmable type-2 membership function circuit is presented in this paper. This circuit is used to implement the fuzzifier block of Type-2 Fuzzy Logic Controller chip. In this paper the type-2 fuzzy set ...

The design of full programmable type-2 membership function circuit is presented in this paper. This circuit is used to implement the fuzzifier block of Type-2 Fuzzy Logic Controller chip. In this paper the type-2 fuzzy set ...

© 2019, Associacao Iberica de Sistemas e Tecnologias de Informacao. All rights reserved. In the assembly industry, there is a high degree of uncertainty when identifying operational problems, due to limited resources and ...

We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...

We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...

There is increasing evidence of the shortage of solver-based models for solving logically-constrained AC optimal power flow problem (LCOPF). Although in the literature the heuristic-based models have been widely used to ...

A tecnologia semicondutora tem sido a base dos circuitos lógicos digitais da computação moderna. O uso de portas lógicas dos padrões AND e NAND tem direcionado o projeto e implementação destes circuitos. Recentes pesquisas ...