Electronics Weekly

TI’s easier-to-use precision voltage reference

TI has remained remarkably quiet about its latest precision voltage reference IC: REF81. It is a modified form of the equally quietly released REF80, which is a temperature-controlled buried Zener ...
IEEE

Accelerated Iterative Learning Control of Stochastic Discrete Linear Systems With Switching of the Dynamics and Reference Trajectory

Abstract: Iterative learning control (ILC) applies to systems that repeat the same finite-duration task repeatedly, where each repetition is termed a trial and the finite duration is termed the trial ...
GitHub

Extracting a FASTA from a Graph

Graph references often contain linear references within them, which you might want copies of for, for example, calling variants with a linear-reference-based caller like Google's DeepVariant. If you ...
SciELO

Pore pressure prediction based on rock stress applied to Marmousi seismic data

This paper focuses on the modeling of a sedimentary basin where the exploration of oil and gas takes place. In the modeling, we calculate the vertical variation of pore and rock pressure, which serve ...
GitHub

Formal Verification with VC Formal

This project is licensed under the GNU General Public License v3.0 (GPL-3.0). You are free to use, study, modify, and distribute this software under the terms of the GPL-3.0 license. Any derivative ...