How Emmy Noether's theorem uses the Lagrangian to provide a formula for calculating the quantity of symmetries in a ...

The Research Topic on Multiscale Lattices and Composite Materials (MLCM) is focused on the design, modeling, control and testing of unconventional lattices and composite materials at different scales, ...

The library aims to be a fast, compact and hardened library for elliptic curve cryptography needs, in particular for blockchain protocols and zero-knowledge proofs system. in C, some APIs not provided ...

Abstract: This letter introduces a novel approach that combines the use of exponential barrier functions and satisfiability modulo theories solving to the formal safety analysis of flight controllers.

This repository contains the set of Cairo (Cairo compiler version Zero) programs that implement the core EVM logic of Kakarot zkEVM. Kakarot is an EVM implementation in Cairo. Cairo being a high-level ...

Automated reasoning tools are used to find bugs and security vulnerabilities in hardware and software systems or to guarantee that there are none, making it crucial such tools be trustworthy. Having ...

School of Aeronautics and Astronautics, State Key Laboratory of Polymer Materials Engineering, Sichuan University, Chengdu 610065, P. R. China ...

Polythiourethane (PTU) can be synthesized by a type of click chemistry involving the reaction of thiols with isocyanates. To our knowledge, thiourethane dynamic chemistry has not been significantly ...

Investigated systems of acrylic-polyurethane coatings consisted of three kinds of coatings: base coat (acrylic), intermediate (polyurethane) and top coat (acrylic); each made up of two layers. Mean ...