Buscar
Mostrando ítems 1-10 de 1667
Proposição de testes para FlatSat da Missão FloripaSat utilizando dispositivo programável
(Joinville, SC., 2022)
ParaQuantumSAT: um algoritmo SAT solver distribuído
(Florianópolis, SC., 2016)
Implementação de problemas SAT no algoritmo de Grover
(Florianópolis, SC, 2021)
Este trabalho explorou a relação entre problemas SAT e o algoritmo quântico de Grover. Para isso foi feita uma exploração de como funciona o algoritmo de Grover, analisando como funciona a criação de suas partes utilizando ...
Uso de imagem de sat??lite para determinar extens??o da zona de mistura estuarina no estado da Bahia, Brasil
(Instituto de Geoci??nciasUFBAbrasil, 2018-10-23)
Desarrollo de un prototipo de Nanosatélite basado en el estándar Cubesat 1U.
(Universidad de Guayaquil. Facultad de Ciencias Matemáticas y Físicas. Carrera de Ingeniería en Sistemas Computacionales., 2020-09)
Los satélites son cada vez más importantes para el día a día de las personas, nos permiten saber nuestra posición en todo momento, predecir el clima, etc. Históricamente su desarrollo ha sido un proceso largo, complejo y ...
Verificación del Sistema de Alerta Temprana por Temperaturas Extremas Calor (SAT-TE Calor)
(Servicio Meteorológico Nacional. Dirección Nacional de Ciencia e Innovación en Productos y Servicios. Dirección Central de Monitoreo del Clima., 2022)
Evaluation of immune responses of stabilised SAT2 antigens of foot-and-mouth disease in cattle
(Elsevier, 2017-04-18)
Foot-and-mouth disease (FMD) vaccines with improved stability and less reliant on a cold-chain are needed to improve the longevity of immune responses elicited in animals. This is especially so for serotypes O and SAT2 ...
Projeto e desenvolvimento de uma plataforma de FlatSat para testes de subsistemas de CubeSats
(Florianópolis, SC., 2022)
Un algoritmo numérico para problemas de satisfacción booleana sin álgebra
(Universidad Inca Garcilaso de la Vega, 2016-09)
Con un método novedoso de resolución para el clásico problema de decisión de Satisfacción Booleana
(SAT) formulado con cláusulas CNF se describen algoritmos que permiten determinar cuando una formula pertenece al lenguaje ...