Auflistung nach Schlagwort "Linearization"

Sortiert nach: Sortierung: Ergebnisse:

  • Adapting the range of validity for the Carleman linearization 
    Weber, Harry; Mathis, Wolfgang (Göttingen : Copernicus GmbH, 2016)
    In this contribution, the limitations of the Carleman linearization approach are presented and discussed. The Carleman linearization transforms an ordinary nonlinear differential equation into an infinite system of linear ...
  • Canonical models and the complexity of modal team logic 
    Lück, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2018)
    We study modal team logic MTL, the team-semantical extension of classical modal logic closed under Boolean negation. Its fragments, such as modal dependence, independence, and inclusion logic, are well-understood. However, ...
  • Multi-task deep learning with incomplete training samples for the image-based prediction of variables describing silk fabrics 
    Dorozynski, M.; Clermont, D.; Rottensteiner, F. (Göttingen : Copernicus GmbH, 2019)
    This paper presents a method for the classification of images of silk fabrics with the aim to predict properties such as the placeand time of origin and the production technique. The proposed method was developed in the ...
  • Stability and Instability of Equilibria in Age-Structured Diffusive Populations 
    Walker, Christoph (New York, NY [u.a.] : Springer Science + Business Media B.V., 2024)
    The principle of linearized stability and instability is established for a classical model describing the spatial movement of an age-structured population with nonlinear vital rates. It is shown that the real parts of the ...
  • A van Benthem theorem for modal team semantics 
    Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
    The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an exact analogue of this theorem in the framework ...