Results 11 to 20 of about 8,824,973 (236)
Análise teórico-experimental do módulo dinâmico de compósitos asfálticos com argila calcinada
Cerâmica, 2016 Resumo Na análise mecanicista das misturas asfálticas, o módulo complexo é um parâmetro de importância fundamental para formulação de modelos constitutivos de sua estrutura, pois retrata tanto a parcela do comportamento elástico, decorrente dos agregados,
A. C. L. da Silva, C. A. da Frota
doaj +2 more sources
Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version) [PDF]
International Joint Conference on Artificial Intelligence, 2022 This paper studies Linear Temporal Logic over Finite Traces (LTLf) where proposition letters are replaced with first-order formulas interpreted over arbitrary theories, in the spirit of Satisfiability Modulo Theories.
Luca Geatti +2 more
semanticscholar +1 more source
IEEE Access, 2023 Image reversible data hiding (RDH) using interpolation technology (IT) provides high single-layer embedding capacity and has become a research hotspot.
Mengting Fan +2 more
semanticscholar +1 more source
Inf., 2023 Interest in machine learning and neural networks has increased significantly in recent years. However, their applications are limited in safety-critical domains due to the lack of formal guarantees on their reliability and behavior.
Dario Guidotti, L. Pandolfo, Luca Pulina
semanticscholar +1 more source
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models
ACM Transactions on Programming Languages and Systems, 2023 Automatically verifying multi-threaded programs is difficult because of the vast number of thread interleavings, a problem aggravated by weak memory consistency.
Hongyu Fan, Zhihang Sun, Fei He
semanticscholar +1 more source
, 2020 El objetivo del presente trabajo es evaluar experimentalmente el desempeño térmico de un Módulo Experimental de Vivienda (MEV), construido en la región Alto Andina, mediante la evaluación sistemática de doce configuraciones de operatividad diferentes ...
Juan Omar Molina Fuertes +2 more
semanticscholar +1 more source
Energy-Efficient Residue-to-Binary Conversion Based on a Modulo-Adder-Free Architecture
2022 30th International Conference on Electrical Engineering (ICEE), 2022 This paper proposes a novel residue-to-binary converter for residue number system (RNS) based on the moduli set $\{2^{n+\mathrm{k}},\ 2^{2_{n}+1}-1,2^{n}+1,2^{n}-1\}$. By adopting the new Chinese Remainder Theorem II (CRT II) and the properties of modulo
Kamalaldin Mozaffari Majd +1 more
semanticscholar +1 more source
Hardware acceleration of number theoretic transform for zk‐SNARK
Engineering Reports, EarlyView., 2023 An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source
, 2020 espanolEn base a simulaciones termicas dinamicas con el software EnergyPlus se propone un modulo experimental de un espacio habitable para el poblado de Imata, Peru, a 4519 msnm, con condiciones climaticas severas de muy bajas temperaturas.
J. O. Molina +3 more
semanticscholar +1 more source
IEEE Access, 2022 Information hiding techniques are used to hide confidential data in digital carriers. It is difficult for malicious users to detect the existence of confidential data within the digital carriers.
Hung-Jui Ko +3 more
semanticscholar +1 more source