Search results for " Software"
showing 10 items of 1178 documents
Efficacy and cost-effectiveness of guided and unguided internet- and mobile-based indicated transdiagnostic prevention of depression and anxiety (ICa…
2019
Background Depression and anxiety are highly prevalent and often co-occur. Several studies indicate the potential of disorder-specific psychological interventions for the prevention of each of these disorders. To treat comorbidity, transdiagnostic treatment concepts seem to be a promising approach, however, evidence for transdiagnostic concepts of prevention remains inconclusive. Internet- and mobile-based interventions (IMIs) may be an effective means to deliver psychological interventions on a large scale for the prevention of common mental disorders (CMDs) such as depression and anxiety. IMIs have been shown to be effective in treating CMDs, e.g. in reducing symptoms of depression and an…
A generalized transitive closure for relational queries
1988
We augment relational algebra with a generalized transitive closure operator that allows for the efficient evaluation of a subclass of recursive queries. The operator is based on a composition operator which is as general as possible when the operator is required to be associative and when only relational algebra operators are used in its definition. The closure of such a composition can be computed using the well-known efficient algorithms designed for the computation of the usual transitive closure. Besides the case in which complete materialization of recursive relations are required, our strategy also yields an efficient solution in the case in which a selection is applied to the closur…
On solving separable block tridiagonal linear systems using a GPU implementation of radix-4 PSCR method
2018
Partial solution variant of the cyclic reduction (PSCR) method is a direct solver that can be applied to certain types of separable block tridiagonal linear systems. Such linear systems arise, e.g., from the Poisson and the Helmholtz equations discretized with bilinear finite-elements. Furthermore, the separability of the linear system entails that the discretization domain has to be rectangular and the discretization mesh orthogonal. A generalized graphics processing unit (GPU) implementation of the PSCR method is presented. The numerical results indicate up to 24-fold speedups when compared to an equivalent CPU implementation that utilizes a single CPU core. Attained floating point perfor…
Fast Poisson solvers for graphics processing units
2013
Two block cyclic reduction linear system solvers are considered and implemented using the OpenCL framework. The topics of interest include a simplified scalar cyclic reduction tridiagonal system solver and the impact of increasing the radix-number of the algorithm. Both implementations are tested for the Poisson problem in two and three dimensions, using a Nvidia GTX 580 series GPU and double precision floating-point arithmetic. The numerical results indicate up to 6-fold speed increase in the case of the two-dimensional problems and up to 3- fold speed increase in the case of the three-dimensional problems when compared to equivalent CPU implementations run on a Intel Core i7 quad-core CPU…
Domēnspecifisku rīku konfigurācijas valoda un tās realizācija
2014
Promocijas darbā ir izstrādāts konfigurators plaša profila DSML rīku definēšanai. Konfigurators balstās uz ideju, ka DSML definīciju var uzdot ar universālu metamodeli (UML klašu diagrammas formā), kura pēc tam konfiguratorā tiek apstrādāta, lai nodrošinātu rīka darbību. Turklāt nestandarta gadījumiem, kad esošās metamodeļa iespējas ir nepietiekošas, metamodelī ir realizēts paplašinājuma punktu mehānisms, kas ļauj pievienot rīkam specifiski transformāciju valodā noprogrammētu funkcionalitāti. Izstrādātais konfigurators ir pārbaudīts vairākos praktiskos lietojumos un apliecinājis savu efektivitāti.
Framework for Evaluating the Version Management Capabilities of a Class of UML Modeling Tools from the Viewpoint of Multi-site, Multi-partner Product…
2009
UML models are widely used in software product line engineering for activities such as modeling the software product line reference architecture, detailed design, and automation of software code generation and testing. But in high-tech companies, modeling activities are typically distributed across multiple sites and involve multiple partners in different countries, thus complicating model management. Today’s UML modeling tools support sophisticated version management for managing parallel and distributed modeling. However, the literature does not provide a comprehensive set of industrial-level criteria to evaluate the version management capabilities of UML tools. This article’s contributio…
Framework for Evaluating the Version Management Capabilities of a Class of UML Modeling Tools from the Viewpoint of Multi-Site, Multi-Partner Product…
2010
UML models are widely used in software product line engineering for activities such as modeling the software product line reference architecture, detailed design, and automation of software code generation and testing. But in high-tech companies, modeling activities are typically distributed across multiple sites and involve multiple partners in different countries, thus complicating model management. Today's UML modeling tools support sophisticated version management for managing parallel and distributed modeling. However, the literature does not provide a comprehensive set of industrial-level criteria to evaluate the version management capabilities of UML tools. This article's contributio…
A Notation for Modeling Jason-Like BDI Agents
2012
The design and development of a large Multi Agent System (MAS) is a complex and difficult activity where a proper modeling notation may offer a significant contribution to the formulation of the best solution. The support provided by a specific CASE tool can significantly contribute to make the chosen approach technically valid and it is also a fundamental element of a feasible development strategy. The present work reports a UML profile and the related graphical notation for describing a MAS based on the Jason meta model. Moreover a specific CASE tool has been developed for supporting MASs design and automatic code generation. The proposed notation is shown in details using a classical exa…
Reduction of UML Class Diagrams
2002
One and the same “real world” can be modeled by different UML class diagrams, which in such a case can be considered “intuitively equivalent”. A formalization of this “intuitive equivalence” of class diagrams is proposed. An algorithm is constructed that for two class diagrams determines if they model the same “real world”. This algorithm can be used in CASE tools to compare alternative models of a system, and for diagram “compression” to facilitate understanding of large diagrams.
Evaluación de experiencias de innovación docente en el Grado de Ingeniería Telemática de la Universitat de València
2019
Desde el punto de vista de la investigación estamos acostumbrados a diseñar experimentos, realizar medidas, analizar los resultados y difundirlos al resto de la comunidad científica. Pero en el ámbito docente no es tan frecuente completar todo ese ciclo hasta la difusión de los resultados. El objetivo de esta presentación es dedicar unos minutos a la reflexión, al intercambio de experiencias docentes y a la evaluación de su impacto en el aprendizaje de la Ingeniería Telemática. En el presente trabajo se pretende presentar el planteamiento seguido y los resultados obtenidos, para evaluar el beneficio de introducir nuevas prácticas en el laboratorio de Fundamentos de Sistemas de Comunicacione…