Buscar
Mostrando ítems 11-20 de 123
A methodology and a tool to design of mixed-signal technology
(2007-12-01)
This paper presents a tool box developed to read files describing a SIMULINK® model and translates it into a structural VHDL-AMS description. In translation process, all files and directory structures to simulate the ...
Aplicativo android para divulgação e organização de processos seletivos, concursos e afins
(Universidade Tecnológica Federal do ParanáPato BrancoBrasilDepartamento Acadêmico de InformáticaTecnologia JavaUTFPR, 2017-12-19)
The objective of this work was to develop a solution for the recruitment, selection, sorting, routing, training and communication process involved in the control of remunerated seasonal events (competitions, selective ...
Protótipo de aplicativo para controle de gestantes pelos seus obstetras em dispositivos móveis
(Universidade Tecnológica Federal do ParanáCuritibaDepartamento Acadêmico de Informática, 2012-08-27)
This project presents a system implemented in JAVA, to run on Android platform. Introduces the concepts of cloud storage and synchronization of data entered. As target audience, the physicians in the area of Obstetrics and ...
A novel electronic chip detection method using deep neural networks
(2022)
Electronic chip detection is widely used in electronic industries. However, most existing
detection methods cannot handle chip images with multiple classes of chips or complex backgrounds,
which are common in real applications. ...
A Semi-Automated Approach for Recognizing Moving Targets Using a Global Vision System
(Institute of Electrical and Electronics Engineers Inc., 2016)
Global vision system works with processes of sorting, recognition and identification through some external characteristics as: color, shape and size depending of specific targets. In this paper we propose a semi-automated ...
Rewriting modulo SMT and open system analysis
(Elsevier, 2016)
This paper proposes rewriting modulo SMT, a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability ...
Phishing Detection Using URL-based XAI Techniques
(2021-01-01)
The Internet has been growing exponentially and expanding facilities, such as payments and online purchases. Likewise, the number of criminals using electronic devices to commit theft or hijacking of information has ...
Tool Interoperability in the Maude Formal Environment
(SpringerBerlín, 2011)
We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the ...
Synchronous set relations in rewriting logic
(Elsevier, 2014)
This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract ...