Results 1 to 10 of about 8,599,368 (169)
MODULO: A software for Multiscale Proper Orthogonal Decomposition of data [PDF]
SoftwareX, 2020 In the era of the Big Data revolution, methods for the automatic discovery of regularities in large datasets are becoming essential tools in applied sciences. This article presents an open software package, named MODULO (MODal mULtiscale pOd), to perform
Davide Ninni, Miguel A. Mendez
doaj +2 more sources
Tecnología y Ciencia, 2021 En este trabajo se compara el valor del módulo de elasticidad local obtenido experimentalmente con el determinado a partir del módulo de elasticidad global de acuerdo a tres criterios reconocidos internacionalmente (UNE-EN 384 2016, INTI-CIRSOC 2016 y ...
Alfredo Aníbal Guillaumet +3 more
doaj +2 more sources
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
Revista Principia, 2022 Os compósitos madeira-cimento são formados por uma mistura de cimento Portland, água e resíduos de madeira em fibras ou partículas, aplicando-se principalmente em painéis, obtendo-se um destino aos resíduos da indústria madeireira. Fatores como a espécie,
Heloiza Candeia Ruthes +5 more
doaj +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
Utilização de biorreator anaeróbio de membrana dinâmica no tratamento de esgoto doméstico para uso agrícola [PDF]
Revista DAE, 2021 Recentemente, a tecnologia dos Biorreatores Anaeróbios de Membrana Dinâmica tem sido uma abordagem adotada como uma alternativa promissora para resolver os problemas encontrados nos processos dos Biorreatores Anaeróbios de Membranas Convencionais, devido
Juanne Nogueira Nascimento +6 more
doaj +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
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