A Fast Splitting Method for efficient Split Bregman Iterations

In this paper we propose a new fast splitting algorithm to solve the Weighted Split Bregman minimization problem in the backward step of an accelerated Forward-Backward algorithm. Beside proving the convergence of the method, numerical tests, carried out on different imaging applications, prove the accuracy and computational efficiency of the proposed algorithm

Towards Distributed Model Transformations with LinTra

Performance and scalability of model transformations are becoming prominent topics in Model-Driven Engineering. In previous works we introduced LinTra, a platform for executing model transformations in parallel. LinTra is based on the Linda model of a coordination language and is intended to be used as a middleware where high-level model transformation languages are compiled. In this paper we present the initial results of our analyses on the scalability of out-place model-to-model transformation executions in LinTra when the models and the processing elements are distributed over a set of machines.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Teaching Model Views with UML and OCL

The specification of any non-trivial system is normally composed of a set of models. Each model describes a different view of the system, focuses on a particular set of concerns, and uses its own notation. For example, UML defines a set of diagrams for modelling the structure and behavior of any software system. One of the problems we perceived with our students is that they are able to understand each one of these diagrams, but they have problems understanding how they are related, and how the overall system specifications work when composed of a set of views. This paper presents a simple case study that we have developed and successfully used in class, which permits students developing the principal views of a system, simulate them, and check their relations.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Concurrent Model Transformations with Linda

Nowadays, model transformations languages and engines use a sequential execution model. This is, only one execution thread deals with the whole transformation. However, model transformations dealing with very large models, such as those used in biology or aerospace applications, require concurrent solutions in order to speed up their performance. In this ongoing work we explore the use of Linda for implementing a set of basic mechanisms to enable concurrent model transformations, and present our initial results.Proyectos TIN2011-23795, TIN2011-15497-E y Andalucía Tech Campus de Excelencia

A Linda-based Platform for the Parallel Execution of Out-place Model Transformations

Context: The performance and scalability of model transformations is gaining interest as industry is progressively adopting model-driven techniques and multicore computers are becoming commonplace. However, existing model transformation engines are mostly based on sequential and in-memory execution strategies, and thus their capabilities to transform large models in parallel and distributed environments are limited. Objective: This paper presents a solution that provides concurrency and distribution to model transformations. Method: Inspired by the concepts and principles of the Linda coordination language, and the use of data parallelism to achieve parallelization, a novel Javabased execution platform is introduced. It offers a set of core features for the parallel execution of out-place transformations that can be used as a target for high-level transformation language compilers. Results: Significant gains in performance and scalability of this platform are reported with regard to existing model transformation solutions. These results are demonstrated by running a model transformation test suite, and by its comparison against several state-of-the-art model transformation engines. Conclusion: Our Linda-based approach to the concurrent execution of model transformations can serve as a platform for their scalable and efficient implementation in parallel and distributed environments.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

FAKTOR-FAKTOR YANG MEMPENGARUHI KUALITAS PELAPORAN KEUANGAN DAERAH (STUDI PADA SATUAN KERJA PERANGKAT KABUPATEN ACEH TENGAH)

ABSTRAKPenelitian ini bertujuan untuk menguji pengaruh kualitas aparatur daerah, pemanfaatan teknologi informasi, dan pengawasan keuangan daerah baik secara bersama-sama maupun secara terpisah terhadap kualitas pelaporan keuangan daerah pada Satuan Kerja Perangkat Daerah di Kabupaten Aceh Tengah. Populasi dalam penelitian ini adalah seluruh institusi/lembaga yang meliputi kantor, dinas dan badan pada Kabupaten Aceh Tengah. Sebanyak 28 SKPK (Satuan Kerja Perangkat Kabupaten) dan untuk masing-masing SKPKterdiri dari 3 orang yang terdiri dari kepala SKPK atau Pengguna Anggaran, kepala bagian akuntansi dan staf bagian akuntansi sebagai responden penelitian. Sumber data dalam penelitian ini menggunakan data primer yaitu hasil perolehan kuesioner dari responden penelitian. Sedangkan teknik pengumpulan data penelitian dilakukan dengan teknik penyebaran kuesioner. Metode analisis yang digunakan yaitu Analisis Regresi Linear Berganda. Hasil penelitian menunjukkan bahwa kualitas aparatur daerah, pemanfaatan teknologi informasi, dan pengawasan keuangan daerah baik secara bersama-sama maupun secara terpisah berpengaruh terhadap kualitas pelaporan keuangan daerah pada Satuan Kerja Perangkat Daerah di Kabupaten Aceh Tengah.Kata kunci: Kualitas Aparatur Daerah, Pemanfaatan Teknologi Informasi, Pengawasan Keuangan Daerah, Kualitas Pelaporan Keuangan Daerah

PERUBAHAN MODEL MENTAL SISWA KELAS V MELALUI PENERAPAN STRATEGI PREDICT OBSERVE EXPLAIN (POE) PADA MATERI CAHAYA

Model mental adalah penyimpanan pengetahuan awal atau dasar yang belum akurat dan lengkap yang muncul berdasarkan pengalaman sebelumnya kemudian dapat berkembang apabila seseorang dapat meningkatkan pengetahuannya melalui proses kognisi. Model mental seseorang dapat diubah atau dimodifikasi melalui proses pembelajaran. Oleh sebab itu tujuan dari penelitian ini yaitu untuk mengujicobakan strategi Predict Observe Explain (POE) terhadap perubahan model mental siswa kelas V pada materi cahaya. Penelitian ini menggunakan metode penelitian kuantitatif dengan desain kuasi eksperimen. Populasi penelitian ini ialah siswa kelas V segugus Jayagiri Kecamatan Lembang. Sementara itu, sampel penelitian ialah siswa kelas V di salah satu sekolah dasar di gugus Jayagiri kecamatan Lembang. Adapun teknik pengambilan sampel dilakukan secara purposive. Teknik pengumpulan data dalam penelitian ini menggunakan tes objektif. Sementara itu, instrumen yang digunakan berupa two tier test yang telah divalidasi secara empiris. Data dalam penelitian dianalisis dengan statistik deskriptif dan inferensi. Hasil penelitian menunjukkan bahwa strategi Predict Observe Explain (POE) berpengaruh terhadap perubahan model mental siswa kelas V pada materi cahaya.;--- A mental model is an inaccurate and complete storage of basic or incomplete knowledge that arises from previous experience and can then develop if one can increase knowledge through the process of cognition. A person's mental model can be changed or modified through the learning process. Therefore, the purpose of this research is to test Predict Observe Explain (POE) strategy to change the mental model of fifth grade in material of "Cahaya" or light. This research used quantitative research method with quasi experimental design. Population in this research were fifth grade of Jayagiri village, Lembang Subdistrict. The sample of this research was class V students in one of the elementary schools of Lembang sub-district. The sampling technique was done purposively. Data collection techniques in this study were objective tests. Meanwhile, the instrument used was a two tier test that has been empirically validated. The data in the study was analyzed with descriptive and inference statistic. Result in this research shows that Predict Observe Explain (POE) strategy has effect on the change of mental model of fifth grade in material of "Cahaya" or "Light"

Analysis of the scientific production of the Spanish Software Engineering Community

Our group has been working on a report for the Spanish Society of Software Engineering and Software Development Technologies (SISTEDES) to provide a general overview of the Spanish scientific production and its contributions worldwide in the field of Software Engineering. Although a Database solution could have been used, we decided to employ Model-Driven Development (MDD) techniques in order to evaluate their applicability, suitability and fitness for these kinds of purposes, and to learn from the experience in this domain, which combines data integration, large scale models, and complex queries.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Analysis of the Scientific Production of the Spanish Software Engineering Community

Our group has been working on a report for the Spanish Society of Software Engineering and Software Development Technologies (SISTEDES) to provide a general overview of the Spanish scientific production and its contributions worldwide in the field of Software Engineering. Although a Database solution could have been used, we decided to employ Model-Driven Development (MDD) techniques in order to evaluate their applicability, suitability and fitness for these kinds of purposes, and to learn from the experience in this domain, which combines data integration, large scale models, and complex queries.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech