Instituto Federal do Rio de Janeiro

Nonlocal Hamilton–Jacobi Equations on a network with Kirchhoff type conditions

In this article, we consider nonlocal Hamilton–Jacobi Equations on networks with Kirchhoff type conditions for the interior vertices and Dirichlet boundary conditions for the boundary ones: we provide general existence and comparison results in the case when the nonlocal operator...

Evaluation of sulfide stress corrosion cracking resistance of supermartensitic stainless steel UNS S41426: comparison between forged and hot rolled tube

Purpose This research aims to evaluate how manufacturing processes influence stress-corrosion cracking in two supermartensitic stainless steels (SMSSs) classified as UNS S41426. The samples were manufactured by forging and hot rolling process. Design/methodology/approach The micr...

An Equational and Graphical Fixed-Point Calculus (Functional Pearl)

The fixed-point calculus is a toolbox of theorems for reasoning equationally about fixed points. However, the underlying concepts of the calculus are not defined equationally, including the central definition, that of least fixed point. Thus, although the key theorems of the fixe...