Results 21 to 30 of about 53,013 (201)

Comunicação alternativa e suas contribuições pedagógicas

Revista Sítio Novo, 2020
O texto apresentado tem por objetivo refletir sobre o uso de softwares de comunicação alternativa, buscando enfatizar a sua relevância na aprendizagem e comunicação dos alunos com algum tipo de defasagem ou necessidade de comunicação e escrita funcional.
Bruna Letícia Santos de Oliveira
doaj   +1 more source

Theory Propagation and Reification [PDF]

, 2015
SAT Modulo Theories (SMT) is the problem of determining the satisfiability of a formula in which constraints, drawn from a given constraint theory T, are composed with logical connectives.
Howe, J. M., Howe, Jacob M., King, A., Robbins, E., King, Andy, Robbins, Ed   +5 more
core   +1 more source

Generating galaxy clusters mass density maps from mock multiview images via deep learning [PDF]

EPJ Web of Conferences
Galaxy clusters are composed of dark matter, gas and stars. Their dark matter component, which amounts to around 80% of the total mass, cannot be directly observed but traced by the distribution of diffused gas and galaxy members. In this work, we aim to
de Andres Daniel, Cui Weiguang, Yepes Gustavo, De Petris Marco, Aversano Gianmarco, Ferragamo Antonio, De Luca Federico, Muñoz A. Jiménez   +7 more
doaj   +1 more source

Systematic Framework for Reflectarray Synthesis Based on Phase Optimization

International Journal of Antennas and Propagation, 2012
A new systematic synthesis framework for reflectarray antennas is discussed. Optimization based on the Levenberg-Marquardt algorithm is used to obtain the phase distribution of the reflection coefficients required on the reflectarray surface, in order to
J. Álvarez, M. Arrebola, R. G. Ayestarán, F. Las-Heras   +3 more
doaj   +1 more source

Period Lengths of the Incomplete Fibonacci and Incomplete Lucas Sequences Modulo m

Mathematics
In this paper, we investigate the periodic behavior of incomplete Fibonacci and Lucas numbers modulo a positive integer m. Let L(F,k,m) and L(L,k,m) denote the least positive periods of the incomplete Fibonacci and incomplete Lucas sequences modulo m ...
Nazmiye Yilmaz
doaj   +1 more source

High-Performance Computational Electromagnetic Methods Applied to the Design of Patch Antenna with EBG Structure

International Journal of Antennas and Propagation, 2012
In this contribution High-Performance Computing electromagnetic methods are applied to the design of a patch antenna combined with EBG structure in order to obtain bandwidth enhancement.
R. C. Hadarig, M. E. de Cos, F. Las-Heras   +2 more
doaj   +1 more source

Abstract Model Counting: A Novel Approach for Quantification of Information Leaks [PDF]

, 2014
acmid: 2590328 keywords: model checking, quantitative information flow, satisfiability modulo theories, symbolic execution location: Kyoto, Japan numpages: 10acmid: 2590328 keywords: model checking, quantitative information flow, satisfiability modulo ...
Quoc-Sang Phan, Phan, Q-S, Malacaria, P, ASIA CCS '14 Proceedings of the 9th ACM symposium on Information, computer and communications security, Pasquale Malacaria   +4 more
core   +1 more source

High-Speed Binary-to-Residue Converter Design Using 2-Bit Segmentation of the Input Word

Scientific Journal of Gdynia Maritime University, 2022
In this paper a new approach to the design of the high-speed binary-to-residue converter is proposed that allows the attaining of high pipelining rates by eliminating memories used in modulo m generators. The converter algorithm uses segmentation of the
Robert Smyk, Maciej Czyżak
doaj   +1 more source

Epidural Anesthesia for Cesarean Section in a Pregnant Woman with Marfan Syndrome and Dural Ectasia

Case Reports in Obstetrics and Gynecology, 2017
Marfan syndrome (MFS) is a genetic disorder of connective tissue, characterized by variable clinical features and multisystem complications. The anesthetic management during delivery is debated.
Franco Pepe, Mariagrazia Stracquadanio, Francesco De Luca, Agata Privitera, Elisabetta Sanalitro, Puccio Scarpinati   +5 more
doaj   +1 more source

Analytical Error Evaluation and Hardware Implementation of Approximate Negation Circuits

IEEE Access
Inexact arithmetic units trade precision for improvements in energy efficiency, silicon area, and speed. Most existing designs focus on non-negative numbers and, when used in real applications, rely on Sign and Magnitude (SM) transformations to deal with
Ettore Napoli, Efstratios Zacharelos, Davide de Caro, Gennaro Di Meo, Antonio G. M. Strollo   +4 more
doaj   +1 more source