## 34 Citations

On Structured System Identification and Nonparametric Frequency Response Estimation

- Engineering, Computer Science
- 2014

This thesis presents a novel signal generation method, called the Transient and Impulse Response Modeling Method (TRIMM), which is inspired by the local polynomial method, but uses more information about the known structure of the leakage error in the estimation of the frequency response.

J an 2 02 2 The solutions to single-variable polynomials , implemented and verified in Lean An experience report on learning how to use a computer proof assistant

- Computer Science, Mathematics
- 2022

This work describes the learning experience of a starting Lean user, including a detailed comparison between the authors' work in Lean and very closely related work in Coq, and describes the solutions of quadratic, cubic, and quartic polynomials over certain fields.

Time-domain study of the synchrotron radiation emitted from electron beams in plasma focusing channels

- PhysicsPhysical Review E
- 2022

This paper sheds light on the time structure of betatron radiation, emitted by electrons that undergo betatron oscillations as they accelerate under the action of plasma wakefields. It is a common…

De Diophanto a Mordell – um breve relato sobre mais um grande enigma da Teoria dos Números

- Matemática e Ciência: construção, conhecimento e criatividade
- 2021

O presente artigo se refere à exposição de um relato sem o rigor dos métodos utilizados em temas sobre História da Matemática e tem o objetivo de apresentar um caso da Teoria dos Números e seu…

Encounters with Cardano’s Method

- EducationMathematical Encounters and Pedagogical Detours
- 2021

Many people, including ourselves, have been intrigued when first introduced to a story of inventing a formula for solving cubic equations. We invite the reader to recall a sixteenth-century story, in…

Exploring the Geometry of One-Dimensional Signals

- MathematicsIEEE Transactions on Signal Processing
- 2021

This paper develops a robust algorithm to retrieve the sampling trajectory and estimate the laminar image that underlies the 1D samples and obtains predictive results that quantify the accuracy with which the frequencies found can be used to estimate the slope of the sampled trajectory.

Flow Dynamics of PTT and FENE-P Viscoelastic Fluids in Circular and Flat Ducts: An Analytical Study

- Engineering
- 2021

The main aim of this research work is to establish, under fully developed conditions, an analytical solution for viscoelastic fluids flow obeying the constitutive Phan–Thien–Tanner (PTT) and Finely…

On Taylor series of zeros of complex-exponent polynomials

- Mathematics
- 2021

We prove a factorization formula for the Taylor series coefficients of a zero of a polynomial as a function of the polynomial’s coefficients. This result extends to more general functions which we…

Analysis of Structural Vibrations of Vertical Axis Wind Turbine Blades via Hamilton’s Principle — Part 2: Exact and Approximate Solutions

- Mathematics
- 2020

In this part 2, we provide a detailed solution to the beam equations derived in Part 1 for a VAWT blade. The main results have been outlined in the abstract of Part 1 which includes the effects of ...

Bifurcation Curves of Two-Dimensional Quantum Walks

- Mathematics, PhysicsElectronic Proceedings in Theoretical Computer Science
- 2020

It is shown that in special cases the regions of polynomial decay are bounded by algebraic curves which can be explicitly computed and given examples of these bifurcation curves for a number of two-dimensional quantum walks.