In this book the problem of station keeping is studied for orbits near libration points in the solar system. The main focus is on orbits near halo ones in the (Earth+Moon)–Sun system. Taking as ...
Abstract: Resilient fuzzy stabilization is capable of providing much less conservative results than conventional fuzzy stabilization while the alert threshold condition should be always satisfied at ...
Abstract: The formal verification of integer multipliers is one of the important but challenging problems in the verification community. Recently, the methods based on symbolic computer algebra (SCA) ...
Every fully connected multilayer perceptron (MLP) with ReLU activation can be written in terms of tropical algebra [1]. More precisely, any such MLP can be expressed as a tropical rational function, ...
Silver suffers biggest drop in 46 years, with 'every man and his dog rushing for the exit' Judge calls Justice Department's statements on slavery exhibit display 'dangerous' and 'horrifying' Enormous ...
A full-featured Julia interface to the Generalised Truncated Power Series Algebra library. GTPSA.jl is a full-featured Julia interface to the Generalised Truncated Power Series Algebra (GTPSA) library ...
As a teacher, one of the skills you have to help your students develop is the ability to identify monomials. Monomials are the simplest type of polynomial, and they are made of a single term. They are ...
Department of Mechanical and Industrial Engineering, Louisiana State University, Baton Rouge, LA, United States The passive, mechanical adaptation of slender, deformable robots to their environment, ...
We consider the question of 30-min prediction of blood glucose levels measured by continuous glucose monitoring devices, using clinical data. While most studies of this nature deal with one patient at ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results