Publicações - ciências exatas e da terra
|
HEINRICH, TIAGO;
WILL, NEWTON CARLOS;
OBELHEIRO, RAFAEL;
Carlos Alberto Maziero
Palavra-chave:
WebAssembly;
Detecção de intrusão;
Segurança de sistemas
Áreas do conhecimento:
Ciências Exatas e da Terra; Ciência da Computação; Sistemas de Computação; Arquitetura de Sistemas de Computação
resumo ...
The security of Web services for both users and developers is crucial; given that WebAssembly is an emerging format that has seen increasing attention in this environment over the years, new security measures are necessary. Despite this, intrusion detection solutions for WebAssembly applications are mostly confined to static binary analysis. We introduce an innovative method for dynamic WebAssembly intrusion detection through data categorization and machine learning. Our method analyzes communication data extracted from the WebAssembly sandbox to more effectively capture the behavior of applications. Our approach was validated through two strategies, both online and offline, to evaluate the effectiveness of categorical data for intrusion detection. The results obtained demonstrate that both strategies are viable for WebAssembly intrusion detection, showing a high detection rate with low false-negative and false-positive rates.
|
|
NASCIMENTO, LORENA SILVA;
Mauricio Almeida Noernberg
Palavra-chave:
Derrame de óleo;
monitoramento ambiental;
Vigilância costeira;
Rede Social
Áreas do conhecimento:
Ciências Exatas e da Terra; Oceanografia; Oceanografia Física; Oceanografia Costeira;
Ciências Exatas e da Terra; Oceanografia; Oceanografia Biológica; Interação entre os Organismos Marinhos e os Parâmetros Ambientais
resumo ...
ABSTRACT Oil spills cause extensive negative impacts on marine ecosystems. However, detecting...
|
|
D. KRAUSE;
JORGE, JUAN PABLO;
LOMBARDI, OLIMPIA
Palavra-chave:
Quasi-sets;
quantum ontology;
properties
Áreas do conhecimento:
Ciências Humanas; Filosofia; Filosofia da Física;
Ciências Exatas e da Terra; Física; Lógica da Mecânica Quântica
resumo ...
One of the main ontological challenges posed by quantum mechanics is the problem of the indistinguishability of so-called “identical” particles, that is, particles that share the same state-independent properties. In the framework of this philosophical problem, a quasi-set theory was formulated to provide a proper metalanguage to deal with quantum indistinguishability; this theory included certain Urelemente called m-atoms, representing essentially indistinguishable objects. In turn, over the last two decades, the Modal Hamiltonian Interpretation proposed an ontology of properties, totally devoid of objects, where quantum systems are bundles of instances of universal properties. Therefore, the original quasi-set theory, with its m-atoms, does not adequately reflect the structure of an ontology devoid of objects. The purpose to the present article is to introduce a new quasi-set theory that does not include atoms at all: elementary items correspond to properties and are also represented by quasi-sets, which can be only numerically different. The final aim is to apply this new quasi-set theory to the MHI ontology.
|
|
Ana Paula Yumi Nishimura;
Fernando Augusto Pedersen Voll;
KRIEGER, NADIA;
MITCHELL, DAVID ALEXANDER
Palavra-chave:
lipase;
seletividade;
cinética enzimática;
ping pong bi bi;
trimetilolpropano
Áreas do conhecimento:
Ciências Biológicas; Biotecnologia; Biotecnologia Industrial;
Ciências Biológicas; Bioquímica; cinética enzimática;
Ciências Exatas e da Terra; Química; Química Orgânica; Biocatálise
resumo ...
Kinetic models are important tools for guiding the design and optimization of lipase-catalyzed processes. These processes follow the Ping Pong bi bi mechanism, for which mechanistic kinetic equations can be derived. However, when there are several competing reactions, fully mechanistic models contain a large number of parameters, making it difficult to obtain reliable estimates, so simplified models are necessary. We present a two-step approach to developing semi-mechanistic models of such processes. The first step involves the estimation of the selectivities of the enzyme, using profiles for the reaction species plotted against the degree of reaction, while the second step involves empirical fitting to the same data, but plotted as a function of time. We demonstrate this two-step approach through four case studies based on the literature data for the lipase-catalyzed esterification of fatty acids with trimethylolpropane to produce biolubricants. The semi-mechanistic models were able to describe the data well. Our approach has the advantage of allowing selectivities to be estimated without confounding effects from phenomena such as enzyme denaturation and inhibition. It therefore provides a promising framework for developing models of enzyme-catalyzed processes that obey Ping Pong bi bi kinetics.
|
|
João Paulo M. Rodrigues;
Antônio S. N. Aguiar;
ALINE SILVA MUNIZ;
Maria Aparecida Ferreira César Oliveira;
ANGELO ROBERTO DOS SANTOS OLIVEIRA;
Hamilton B. Napolitano
ChemistrySelect,
v. 11,
p. n/a - n/a
2026
Palavra-chave:
phenolic compounds;
biofuels;
biofuel additives;
antioxidant additives
Áreas do conhecimento:
Ciências Exatas e da Terra; Química; Química;
Ciências Exatas e da Terra; Química; Química Orgânica; Síntese Orgânica
resumo ...
|
|
SANTOS, MÁRCIO F.;
MORAES, PEDRO IVO R.;
TAVARES, SÉRGIO R.;
MARTINS, A.S.;
CAPAZ, RODRIGO B.;
WYPYCH, FERNANDO;
Alexandre Amaral Leitão
Palavra-chave:
density-functional theory;
layered double hydroxide
Áreas do conhecimento:
Ciências Exatas e da Terra; Química; Físico-Química; Química Teórica
resumo ...
|
|
WIGGERS, VINICIUS;
ZANIN, SILVIO;
VASCONCELOS, GIOVANI L.;
Marcus W. Beims
Palavra-chave:
finite baths;
termalização
Áreas do conhecimento:
Ciências Exatas e da Terra; Física; Sistemas Complexos
resumo ...
This work investigates how correlated environments influence the relative ( $$T_{\mathrm{eff}}^{(r)}$$ ) and center-of-mass ( $$T_{\mathrm{eff}}^{(R)}$$ ) effective temperatures using the Langevin description. The procedure is to consider N-identical “independent” particles, each coupled to its own thermal bath at temperature $$T_i$$ ( $$i=1,2,\ldots ,N$$ ), where correlations among the baths mediate indirectly the coupling between particles. Using Jacobi coordinates, expressions for $$T_{\mathrm{eff}}^{(R)}$$ and $$T_{\mathrm{eff}}^{(r_i)}$$ are derived, and it is shown that $$T_{\mathrm{eff}}^{(R)}$$ can always be identified with the equilibrium temperature obtained from the first law of thermodynamics when N baths are put in thermal contact. The analysis demonstrates that cross correlations between the environments lead to fluctuations effects which are visible in the expression for $$T_{\mathrm{eff}}^{(R)}$$ , highlighting how microscopic noise correlations reshape macroscopic equilibration. Consequently, the procedure allows one to obtain the kind of bath cross-correlations between Langevin equations which correctly mimics the correlations involved in the first law of thermodynamics.
|
|
DO AMARAL, WANDERLEI;
MARINHO, EMMANUEL SILVA;
REBELO, RICARDO ANDRADE;
CARNEIRO, JOARA NÁLYDA PEREIRA;
DA SILVA, TAÍS GUSMÃO;
DE LIMA, LUCIENE FERREIRA;
MARINHO, MÁRCIA MACHADO;
DE OLIVEIRA, VICTOR MOREIRA;
BRAGA, MARIA FLAVIANA BEZERRA MORAIS;
Luiz Everson da Silva
Palavra-chave:
antifungal activity;
Lamiaceae;
docking
Áreas do conhecimento:
Ciências Exatas e da Terra; Química; Química de Produtos Naturais
resumo ...
|
|
ELEUTÉRIO, CÍNTIA L.;
MENDES, CARLOS F. O.;
Marcus W. Beims;
GALICEANU, MIRCEA;
FILIZOLA, NAZIANO P.
Palavra-chave:
extreme/rare events;
Artificial neural networks;
distance correlation
Áreas do conhecimento:
Ciências Exatas e da Terra; Física; Sistemas Complexos
resumo ...
We propose a novel multi-output convolutional neural network (CNN) framework with station-specific subnets to model and analyze historical low- and high-river stages in the Negro River basin, located in northern South America. The basin is largely covered by tropical forest and experiences strong spatial and seasonal variability in rainfall. The study addresses the challenge of reconstructing accurate waterlevel time series in regions with sparse hydrological observations. Using observed data from five gauging stations—Cucuí, Serrinha, Caracaraí, Santa Maria do Boiaçú, and Moura—the study successfully reconstructs historical waterlevel time series. Quantitative evaluation shows that the subnet-based architecture achieves very low errors (MSE $$\lesssim$$ 0.09) and high distance correlation metrics (DC $$\approx$$ 1.00) during the 2021 flood. We also compare modelling results from subnet-based models with those obtained from individually trained station-specific networks, demonstrating that subnetworks more effectively capture both system-level and station-specific hydrological dynamics. The model captures complex temporal patterns, including sudden decreases, gradual recoveries, and flood rises, demonstrating its ability to represent station-specific hydrological dynamics and system-level responses to extreme floods and droughts. The findings highlight the broader implications of the subnet framework for hydrological prediction under climate variability, particularly for improving early-warning systems and operational monitoring in data-scarce basins. By enhancing the reconstruction of extremes and supporting gap-filling and consistency checking, the method contributes to decision-support strategies for managing future flood and drought risks in the Amazon basin. This visual summary provides a concise overview of the study’s core findings and methodologies. Water level data were collected from five gauging stations in the Negro River basin, covering regions with strong spatial and seasonal variability in rainfall. The data were preprocessed using normalization and formatting suitable for 1D convolutional layers. The study employed CNN-based subnetwork architectures integrating features from all stations, alongside independently trained CNNs for comparison, to evaluate the benefits of spatially shared learning. The graphical abstract illustrates the model’s capability to accurately reconstruct complex temporal dynamics, including sudden decreases, progressive recoveries, and repiquetes, while demonstrating superior generalization relative to individual networks across heterogeneous hydrological regimes. These results underscore the potential of the approach as a data-driven tool for flood and drought monitoring, gap-filling, and consistency checking in regions with sparse hydrological data, supporting operational applications such as early warning systems and water resource management. By leveraging subnetwork architectures, this study addresses the challenges of monitoring large and hydrologically diverse regions like the Amazon, highlighting the importance of integrative models for capturing basin-scale dynamics. CNN-based subnetworks accurately reconstruct historical low- and high-river stages in the Negro River basin. The model captures complex temporal patterns, including sudden decreases, gradual recoveries, and repiquetes. The approach supports monitoring and gap-filling in regions with sparse hydrological data. Integration of multiple stations through subnetworks enhances generalization across heterogeneous hydrological regimes. Subnetworks demonstrate potential for operational use in early warning and water resource management.
|
|
SOARES FIGUEIREDO, ISAQUE;
SOARES FIGUEIRÊDO, ISAIAS;
Marco Andre Argenta
Palavra-chave:
Elementos Finitos
resumo ...
(en)
This systematic review examines methodologies for modeling connections between structural elements using the Finite Element Method (FEM) within structural engineering. The objective was to map and synthesize modeling methods, assessing their advantages, limitations, and computational efficiency. The review followed the PRISMA 2020 protocol, registered at osf.io/ny95g, and searched the Web of Science, Scopus, and Google Scholar databases for studies published from 1991 to December 2025. Eligible articles presented methodologies for modeling connections between structural elements using FEM across various construction systems. Article quality was assessed using the adapted 12-item Quality Assessment Tool for Studies with Diverse Designs (QATSDD), and results were synthesized narratively due to methodological heterogeneity. Of 14,179 articles identified, 58 were analyzed, covering construction systems in steel, concrete, masonry, and timber. The synthesis indicates that alternatives to conventional FEM—including nonlinear 3D FEM, surrogate modeling, and homogenization techniques—can effectively address connection-related limitations such as matrix ill-conditioning and high computational cost, while improving accuracy in modeling complex behaviors such as large deformations and progressive failure. The main limitations include methodological heterogeneity and a focus on specific structural types. These articles support the development of alternative connection modeling methods as viable approaches to enhance computational efficiency and accuracy in structural analysis, although further research is required for standardized validation and broader application.
(es)
Esta revisión sistemática examina metodologías para modelar conexiones entre elementos estructurales mediante el Método de los Elementos Finitos (MEF) en el ámbito de la ingeniería estructural. El objetivo fue mapear y sintetizar métodos de modelado, evaluando sus ventajas, limitaciones y eficiencia computacional. La revisión siguió el protocolo PRISMA 2020, con registro osf.io/ny95g, y realizó búsquedas en las bases de datos Web of Science, Scopus y Google Scholar de estudios publicados entre 1991 y diciembre de 2025. Los artículos elegibles presentaron metodologías para modelar la conexión entre elementos estructurales utilizando el MEF en diversos sistemas constructivos. La calidad de los artículos se evaluó mediante la herramienta adaptada Quality Assessment Tool for Studies with Diverse Designs (QATSDD) de 12 ítems, y los resultados se sintetizaron de forma narrativa debido a la heterogeneidad metodológica. De los 14.179 artículos identificados, se analizaron 58, que abarcan sistemas constructivos en acero, concreto, mampostería y madera. La síntesis indica que alternativas al MEF convencional—incluido el MEF no lineal 3D, el modelado sustituto (surrogate modeling) y las técnicas de homogeneización—pueden abordar eficazmente las limitaciones de las conexiones, como el mal condicionamiento de matrices y el alto costo computacional, al tiempo que mejoran la precisión en la modelización de comportamientos complejos, como grandes deformaciones y fallo progresivo. Las principales limitaciones incluyen la heterogeneidad metodológica y el enfoque en tipos estructurales específicos.
(pt-BR)
Esta revisão sistemática examina metodologias de como modelar conexões entre elementos estruturais pelo Método dos Elementos Finitos (MEF) no âmbito da engenharia de estruturas. O objetivo foi mapear e sintetizar métodos de modelagem, avaliando suas vantagens, limitações e eficiência computacional. A revisão seguiu um protocolo PRISMA 2020 com registro osf.io/ny95g e buscou nas bases Web of Science, Scopus e Google Scholar estudos de 1991 a dezembro de 2025. Artigos elegíveis apresentaram metodologias para modelar a conexão entre elementos estruturais usando o MEF em diversos sistemas constritivos. A qualidade dos artigos foi avaliada usando a ferramenta adaptada Quality Assessment Tool for Studies with Diverse Designs (QATSDD) de 12 itens, e os resultados foram sintetizados narrativamente devido à heterogeneidade metodológica. De 14.179 artigos identificados, 58 foram analisados, abrangendo sistemas construtivos em aço, concreto, alvenaria e madeira. A síntese indica que métodos alternativos ao MEF — incluindo MEF não linear 3D, modelagem substituta (surrogate modeling) e técnicas de homogeneização — podem tratar efetivamente as limitações das ligações, como o mal-condicionamento de matrizes e o alto custo computacional, ao mesmo tempo que melhoram a precisão na modelagem de comportamentos complexos, como grandes deformações e falha progressiva. As principais limitações incluem a heterogeneidade metodológica e o foco em tipos estruturais específicos. Esses artigos apoiam o desenvolvimento de métodos alternativos modelagem de conexão como abordagens viáveis para aprimorar a eficiência computacional e a precisão na análise estrutural, embora mais pesquisas sejam necessárias para validação padronizada e aplicação mais ampla.
|
