Results 221 to 230 of about 1,089 (246)
Some of the next articles are maybe not open access.
Translating Discrete-Time Simulink to Lustre
2003We present a method of translating discrete-time Simulink models to Lustre programs. Our method consists of three steps: type inference, clock inference and hierarchical bottom-up translation. In the process, we formalise typing and timing mechanisms of Simulink. The method has been implemented in a prototype tool called S2L.
Paul Caspi +4 more
openaire +1 more source
Crystal Spacetimes with Discrete Translational Symmetry
2019The aim of this work is to construct exact solutions of Einstein–Maxwell(-dilaton) equations possessing a discrete translational symmetry. We present two approaches to the problem. The first one is to solve Einstein–Maxwell equations in 4D, the second one relies on dimensional reduction from 5D.
Jiří Ryzner, Martin Žofka
openaire +1 more source
Translation invariant quantum walks with discrete symmetries
2018Quantenwalks sind diskrete Zeitentwicklungen von Einteilchen-Gittersystemen, die Konzepte klassischer Random Walks in die Quantentheorie übertragen. Topologische Isolatoren versprechen Randzustände für Transport an Grenzflächen, die topologisch geschützt sind.
openaire +1 more source
Disjoint Hypercyclicity and Weighted Translations on Discrete Groups
Canadian Mathematical Bulletin, 2017Let 1 ≤ p < ∞, and let G be a discrete group. We give a sufficient and necessary condition for weighted translation operators on the Lebesgue space ℓp(G) to be densely disjoint hypercyclic. The characterization for the dual of a weighted translation to be densely disjoint hypercyclic is also obtained.
openaire +1 more source
Translation-invariant data visualization with orthogonal discrete wavelets
IEEE Transactions on Signal Processing, 1998Orthogonal discrete wavelet transforms can be made translation-invariant by adding redundant wavelet coefficients through repeated shifting operations. Orthogonality is lost, but isometry and compact time support can be preserved. The practical application to data visualization of scalograms based on such transforms is discussed and illustrated with ...
openaire +1 more source
The nonlinear characteristics of the pulsations, translations and the secondary Bjerknes force
Chaos, Solitons and Fractals, 2021Weizhong Chen
exaly
Translating Discrete Time SIMULINK to SIGNAL
2014As Cyber Physical Systems (CPS) are getting more complex and safety critical, Model Based Design (MBD), which consists of building formal models of a system in order to be used in verification and correct-by-construction code generation, is becoming a promising methodology for the development of the embedded software of such systems.
openaire +1 more source
Lost in Translation: Legislative Drafting and Judicial Discretion
SSRN Electronic Journal, 2023Madhav Goel, Renuka Sane
openaire +1 more source
Readiness for Change and Good Translations
Journal of Change Management, 2020Olaug Øygarden, Aslaug Mikkelsen
exaly