Sökning: "Ingemar Söderquist"

Hittade 2 avhandlingar innehållade orden Ingemar Söderquist.

1. 1. CMOS circuits for digital RF systems

   Författare :Ingemar Söderquist; Linköpings universitet; []
   Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP;

   Sammanfattning : This thesis describes some high performance CMOS circuits and architectures developed for digital signal processing of Radio Frequency (RF) signals. Experimental results are demonstrated in a generic radar jammer architecture. LÄS MER

3. 2. Formal Verification of Tree Ensembles in Safety-Critical Applications

   Författare :John Törnblom; Simin Nadjm-Tehrani; Ingemar Söderquist; Joao Marques-Silva; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Machine learning; Tree ensembles;

   Sammanfattning : In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of learning complicated pattern recognition tasks and sophisticated decision policies, two key capabilities in autonomous cyber-physical systems. LÄS MER