Opin vísindi

Fletta eftir efnisorði "Stærðfræðigreining"

Fletta eftir efnisorði "Stærðfræðigreining"

Röðun: Raða: Niðurstöður:

  • Icon
    Expedited Design Closure of Antenna Input Characteristics by Trust Region Gradient Search and Principal Component Analysis 
    Tomasson, Jon Atli; Koziel, Slawomir; Pietrenko-Dabrowska, Anna (Institute of Electrical and Electronics Engineers (IEEE), 2020)
    Optimization-based parameter tuning has become an inherent part of contemporary antenna design process. For the sake of reliability, it is typically conducted at the level of full-wave electromagnetic (EM) simulation models. This may incur considerable ...
  • Icon
    Rule Formats for Nominal Process Calculi 
    Aceto, Luca; Fabregas, Ignacio; Garcia-Perez, Alvaro; Ingolfsdottir, Anna; Ortega-Mallen, Yolanda (2019-10-14)
    The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications ...