Now showing items 1-5 of 5

    • Thumbnail

      An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction 

      Chen, Hubert; Müller, Moritz (Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig, 2013-03-29)
      We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define ...
    • Thumbnail

      Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction 

      Chen, Hubert Ming (Technische Universität Braunschweig, Institute of Theoretical Computer Science, 2014)
      We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether ...
    • Thumbnail

      Robust speed control for a variable speed wind turbine 

      Barambones Caramazana, Oscar ORCID; González de Durana García, José María; De la Sen Parte, Manuel ORCID (ICIC International, 2012-11)
      Modern wind turbines are designed in order to work in variable speed opera-tions. To perform this task, these turbines are provided with adjustable speed generators, like the double feed induction generator (DFIG). One of ...
    • Thumbnail

      Sliding mode position control for real-time control of induction motors 

      Barambones Caramazana, Oscar ORCID; Alkorta Egiguren, Patxi; González de Durana García, José María (ICIC International, 2013-07)
      A sliding mode position control for high-performance real-time applications of induction motors in developed in this work. The design also incorporates a simple flux estimator in order to avoid the flux sensors. Then, the ...
    • Thumbnail

      Virtual Reconstruction of the Ancient State of a Ruined Church 

      Gkintzou, Christina; Georgopoulos, Andreas; Valle Melón, José Manuel ORCID; Rodriguez-Miranda, Alvaro (Springer Berlin Heidelberg, 2012-11)
      [EN] Three dimensional virtual models can represent both the existing and the already destroyed architectural heritage. This project deals with the 3D reconstruction and representation of the church of San Prudencio's ...