Results 141 to 150 of about 8,599,368 (169)

Verifying Neural Networks with SMT: An Experimental Evaluation

IEEE International Conference on e-Science, 2023
The popularity of neural networks has grown significantly in various domains, however their use in safety-critical areas has been restricted due to reliability concerns.
Dario Guidotti, L. Pandolfo, Luca Pulina
semanticscholar   +1 more source

Desenvolvimento de um sistema de controle multivariável para monitoramento e regulação de temperatura e umidade com módulo experimental em Arduino

Cuadernos de Educación y Desarrollo
Utilizamos um módulo experimental para aplicação dos conhecimentos em controle de processo, para o processo de aprendizagem da disciplina de controle. Através do tratamento de variáveis utilizadas nas indústrias, como temperatura, umidade do ar e vazão ...
Alisson Luan Daga, Thiago Dalgalo de Quadros, M. K. Lenzi   +2 more
semanticscholar   +1 more source

Bounded Sub-optimal Multi-Robot Path Planning Using Satisfiability Modulo Theory (SMT) Approach

IEEE/RJS International Conference on Intelligent RObots and Systems, 2020
Multi-robot path planning (MRPP) is a task of planning collision free paths for a group of robots in a graph. Each robot starts in its individual starting vertex and its task is to reach a given goal vertex. Existing techniques for solving MRPP optimally
Pavel Surynek
semanticscholar   +1 more source

Exact and Practical Modulo Scheduling for High-Level Synthesis

ACM Transactions on Reconfigurable Technology and Systems, 2019
Loop pipelining is an essential technique in high-level synthesis to increase the throughput and resource utilisation of field-programmable gate array--based accelerators.
Julian Oppermann, Melanie Reuter-Oppermann, Lukas Sommer, A. Koch, O. Sinnen   +4 more
semanticscholar   +1 more source

On the Design of RNS Inter-Modulo Processing Units for the Arithmetic-Friendly Moduli Sets {2n+k, 2n - 1, 2n+1 - 1}

Computer/law journal, 2018
Inter-modulo arithmetic operations, such as reverse conversion and scaling, are important but difficult operations in the RNS domain. This paper proposes efficient arithmetic units to perform this hard class of RNS operations for a new family of ...
A. Hiasat, L. Sousa
semanticscholar   +1 more source

Mathematical Programming Modulo Strings

Formal Methods in Computer-Aided Design, 2021
Ankit Kumar, P. Manolios
semanticscholar   +1 more source

An interdisciplinary experimental evaluation on the disjunctive temporal problem

Constraints, 2023
Matteo Zavatteri, Alice Raffaele, Dario Ostuni, Romeo Rizzi   +3 more
semanticscholar   +1 more source

MÓDULO EXPERIMENTAL – TANQUE AQUECIDO, SINTONIA DO CONTROLADOR

, 2018
Roberto N. Koespel, Victor Hugo Silva Barlatti, Marcos de Souza, Cid Marcos Gonçalves Andrade   +3 more
semanticscholar   +1 more source

Integrative oncology: Addressing the global challenges of cancer prevention and treatment

Ca-A Cancer Journal for Clinicians, 2022
Jun J Mao,, Msce, Lorenzo Cohen, Karen M Mustian   +2 more
exaly  

Obesity and adverse breast cancer risk and outcome: Mechanistic insights and strategies for intervention

Ca-A Cancer Journal for Clinicians, 2017
Cynthia Morata-Tarifa, Joyce M Slingerland   +1 more
exaly