Filters








3,044,166 Hits in 8.4 sec

On the Use of Higher-Order Model Transformations [chapter]

Massimo Tisi, Frédéric Jouault, Piero Fraternali, Stefano Ceri, Jean Bézivin
2009 Lecture Notes in Computer Science  
This is possible because transformations can be translated into transformation models and given as objects to a different class of model transformations, called Higher-Order Transformations (HOT).  ...  The uniformity and flexibility of the model-driven paradigm allows this class of applications to make use of the same transformation infrastructure.  ...  A survey of Higher-Order Transformations The next sections are an overview of the literature on model transformations that involve the use of HOTs for specific tasks.  ... 
doi:10.1007/978-3-642-02674-4_3 fatcat:dn4nns7tcjdqhcssgkobht5ezy

Using Meta-code Generation to Realize Higher-order Model Transformations
english

Thomas Buchmann, Felix Schwägerl
2013 Proceedings of the 8th International Joint Conference on Software Technologies  
While most of the existing model-to-model tools and languages are tailored towards batch transformations for specific model instances, they lack support for generic transformation problems, where the metamodel  ...  The approach has been successfully applied to the problem of product derivation in model-driven software product lines.  ...  Acknowledgements The authors want to thank Bernhard Westfechtel for his valuable comments on the draft of this paper.  ... 
doi:10.5220/0004522305360541 dblp:conf/icsoft/BuchmannS13 fatcat:e3w5yd2djrhurimftoyfigomqm

On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets

Susann Gottmann, Nico Nachtigall, Kathrin Hoffmann
2012 Electronic Communications of the EASST  
of the communicationin UCSs by using Algebraic Higher Order Nets with Individual Tokens andgraph transformation.  ...  Moreover components can join and leave the system at any time.In order to guarantee high quality systems, the use of models is inevitable especiallyat an early stage of the development process where models  ...  Several tools exist for the modelling, simulation and analysis of Petri nets and graph transformation systems, e.g., the RON editor [BM08] for a subset of Algebraic Higher Order Nets with Collective  ... 
doi:10.14279/tuj.eceasst.51.778 dblp:journals/eceasst/GottmannNH12 fatcat:uiwhny5xirekfn7qz6xdwiehui

The Effectiveness of Higher Order Thinking Skill (HOTS) Based Learning Model Through Using E-Learning and Interactive Multimedia on ICT Learning

R. Mursid Mursid
2017 Proceedings of the 2nd Annual International Seminar on Transformative Education and Educational Leadership (AISTEEL 2017)   unpublished
This study aims to determine the differences in the effectiveness of the use of HOTS-based learning model using elearning and HOTS-based learning model by using interactive multimedia in ICT learning.  ...  The implementation of HOTS-based learning model using e-learning in ICT learning is more effective than HOTSbased learning model application using interactive multimedia and also on student activity and  ...  DISCUSSION The results of research on the use of HOTS-based learning model on ICT learning is closely related to the existence of elearning and interactive multimedia.  ... 
doi:10.2991/aisteel-17.2017.46 fatcat:xxdnkr6qpjgy7kyets5wsbpug4

The importance of teaching english as a second language in Uzbekistan

N Jumamuratova
2022 Ренессанс в парадигме новаций образования и технологий в XXI веке  
It is the second language in the most countries of the world. The Republic of Uzbekistan can be a clear proof to it.  ...  English language started to gain its popularity from the beginning of 18th century. More and more people over the world are learning English.  ...  dialogue, playing it in pairs and compiling a similar one; answers to questions according to the model; retelling with transformation (which allows you to work out the skills of using grammatical forms  ... 
doi:10.47689/innovations-in-edu-vol-iss1-pp176-177 fatcat:ad6knjkcorhulplnsj2wc4ilxi

HyperNets and their application to learning spatial transformations [article]

Alexey Potapov, Oleg Shcherbakov, Innokentii Zhdanov, Sergey Rodionov, Nikolai Skorobogatko
2018 arXiv   pre-print
The idea of higher-order networks arises naturally when a model is required to learn some group of transformations, every element of which is well-approximated by a traditional feedforward network.  ...  Thus the group as a whole can be represented as a hyper network. One of typical examples of such groups is spatial transformations.  ...  Hence, we can rewrite our expression for a higher-order model using a slightly redundant notation: ( | ) ≈ ( ), ( ), (5) where θ´ denotes the parameters of the model g that are not affected by higher-order  ... 
arXiv:1807.09226v1 fatcat:oiynkwmsejejlltwljptru72oy

Minimizing sparse higher order energy functions of discrete variables

Carsten Rother, Pushmeet Kohli, Wei Feng, Jiaya Jia
2009 2009 IEEE Conference on Computer Vision and Pattern Recognition  
In this paper, we address the problem of minimizing such sparse higher order energy functions. Our method works by transforming the problem into an equivalent quadratic function minimization problem.  ...  We observed that higher order functions encountered in computer vision are very often "sparse", i.e. many labelings of a higher order clique are equally unlikely and hence have the same high cost.  ...  General Higher-order Potentials The method used to transform the simple potential function (1) can also be used to transform any higher order function into a quadratic one.  ... 
doi:10.1109/cvpr.2009.5206739 dblp:conf/cvpr/RotherKFJ09 fatcat:pyyllqxv3zb5vdpzfa6pjxadea

Minimizing sparse higher order energy functions of discrete variables

C. Rother, P. Kohli, Wei Feng, Jiaya Jia
2009 2009 IEEE Conference on Computer Vision and Pattern Recognition  
In this paper, we address the problem of minimizing such sparse higher order energy functions. Our method works by transforming the problem into an equivalent quadratic function minimization problem.  ...  We observed that higher order functions encountered in computer vision are very often "sparse", i.e. many labelings of a higher order clique are equally unlikely and hence have the same high cost.  ...  General Higher-order Potentials The method used to transform the simple potential function (1) can also be used to transform any higher order function into a quadratic one.  ... 
doi:10.1109/cvprw.2009.5206739 fatcat:a6j7xczk3vdthjs2ak2quopwym

Transformation Language Integration Based on Profiles and Higher Order Transformations [chapter]

Pieter Van Gorp, Anne Keller, Dirk Janssens
2009 Lecture Notes in Computer Science  
The approach is based on executable transformation modeling using a small UML pro- le and on higher order transformations.  ...  In that case, the higher order transformations may be used for checking the correctness of the optimized code.  ... 
doi:10.1007/978-3-642-00434-6_14 fatcat:fegzlhdulffnla3e5js3f4slhe

Transformations' Study Between Requirements Models and Business Process Models in MDA Approach

Nassim Kharmoum, Karim El Bouchti, Naziha Laaz, Wajih Rhalem, Yassine Rhazali
2020 Procedia Computer Science  
Most of these models' transformation are made between one or many abstraction levels (higher level, average level, or lower level).  ...  Most of these models' transformation are made between one or many abstraction levels (higher level, average level, or lower level).  ...  In this contribution, we will shed more light on the transformations between Requirements models and Business Process models in the MDA approach for the higher and average levels of abstraction because  ... 
doi:10.1016/j.procs.2020.03.150 fatcat:5pbctu2aq5gmxihy35obv4jt7q

Modeling Deep Temporal Dependencies with Recurrent "Grammar Cells"

Vincent Michalski, Roland Memisevic, Kishore Reddy Konda
2014 Neural Information Processing Systems  
To this end we show how a bi-linear model of transformations, such as a gated autoencoder, can be turned into a recurrent network, by training it to predict future frames from the current one and the inferred  ...  transformation using backprop-through-time.  ...  Acknowledgments This work was supported by the German Federal Ministry of Education and Research (BMBF) in project 01GQ0841 (BFNT Frankfurt), by an NSERC Discovery grant and by a Google faculty research  ... 
dblp:conf/nips/MichalskiMK14 fatcat:vv4bmx66c5fvdl4cmc3gv7xkge

Scenario Integration via the Transformation and Manipulation of Higher-order Graphs

Hongzhi Liang
2007 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In the paper, we propose a framework based on mathematical category theory machinery of algebraic operations with higher-order graphs that provides a formalization and a generic pattern for scenario integration  ...  The integration of different models, such as scenarios, is an important component of the requirements engineer's work.  ...  By visualizing the generated higher-order graphs, this editor would be very useful to help us validate the correctness of our SD2HG Transformer, Mapping Editor and HG Merger.  ... 
dblp:conf/models/Liang07 fatcat:fywkvjdlr5cdzocuwpfnddn76m

Agile Validation of Higher Order Transformations Using F-Alloy

Loic Gammaitoni, Pierre Kelsen, Qin Ma
2016 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)  
In this paper, we show how the F-Alloy approach can be extended to also support efficient validation of higher order transformations.  ...  The relational logic based specification language Alloy and its accompanying tool the Alloy Analyzer have been used in the past to validate properties of model transformations.  ...  HYBRID ANALYSIS OF (HIGHER ORDER) MODEL TRANSFORMATIONS Instead of pure analysis based validation, F-Alloy has the potential to speed up the validation of model transformations, basic ones and higher order  ... 
doi:10.1109/tase.2016.21 dblp:conf/tase/GammaitoniK016 fatcat:6q3xgdkofjewbeg5g36t2lylum

Symmetry and integration methods for differential equations

2004 Computers and Mathematics with Applications  
Reduction of order using point symmetries in characteristic form. 3.5.4. Reduction of order using contact symmetries and higher order symmetries. 3.6.  ...  Local transformations. 2.7.1. Point transformations. 2.7.2 Contact and higher-order transformations. 2.7.3. Examples of local transformation. 2.8. Discussion. 3.  ... 
doi:10.1016/s0898-1221(04)90108-3 fatcat:yklrmrjbivhqjahavaeaum2h4i

Effective Lagrangians with higher derivatives and equations of motion

Carsten Grosse Knetter
1994 Physical Review D, Particles and fields  
considered because the equations of motion may be used to eliminate all higher order time derivatives from the effective interaction term.  ...  Using the Hamiltonian formalism for higher order Lagrangians (Ostrogradsky formalism), Lagrangians that are related by such transformations are shown to be physically equivalent (at the classical and at  ...  Acknowledgement I like to thank Reinhart Kögerler for many helpful discussions and for reading the manuscript of this paper.  ... 
doi:10.1103/physrevd.49.6709 pmid:10016995 fatcat:l5zphhyakjabnnb6g5bh5toai4
« Previous Showing results 1 — 15 out of 3,044,166 results