Search results for "S PROCESS"
showing 10 items of 716 documents
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
Integrated Tool for Assisted Predictive Analytics
2021
Organizations use predictive analysis in CRM (customer relationship management) applications for marketing campaigns, sales, and customer services, in manufacturing to predict the location and rate of machine failures, in financial services to forecast financial market trends, predict the impact of new policies, laws and regulations on businesses and markets, etc. Predictive analytics is a business process which consists of collecting the data, developing accurate predictive model and making the analytics available to the business users through a data visualization application. The reliability of a business process can be increased by modeling the process and formally verifying its correctn…
Reengineering an Approach to Model-Driven Development of Business Apps
2015
Despite a perceived convergence in mobile application development, platforms such as Android and iOS remain largely incompatible. Supporting multiple platforms currently requires either separate native development (for each system) or utilization of a cross-platform development framework. While many such frameworks have been developed, only few are mature and even less are used widely, let alone commercially. Moreover, they typically are limited with regard to performance and to preserving a native look & feel. Worst of all, their usefulness for business apps is limited due to their low level of abstraction. In this paper, we take a closer look at an academic prototype that employs model-dr…
Real-Time Monocular Segmentation and Pose Tracking of Multiple Objects
2016
We present a real-time system capable of segmenting multiple 3D objects and tracking their pose using a single RGB camera, based on prior shape knowledge. The proposed method uses twist-coordinates for pose parametrization and a pixel-wise second-order optimization approach which lead to major improvements in terms of tracking robustness, especially in cases of fast motion and scale changes, compared to previous region-based approaches. Our implementation runs at about 50–100 Hz on a commodity laptop when tracking a single object without relying on GPGPU computations. We compare our method to the current state of the art in various experiments involving challenging motion sequences and diff…
Sākumskolas bērnu darbības motivācija ārpusstundu nodarbībās
2019
Izstrādātā bakalaura darba temats ir „Sākumskolas skolēna darbības motivācija ārpusstundu nodarbībās”. Bakalaura darba mērķis ir teorētiski izzināt dažādu autoru atziņas, noskaidrot, kas ir motivācija, noteikt pedagoģiskos paņēmienus un metodes bērnu darbības veicināšanai ārpusstundu nodarbībās. Pētījums sastāv no 2 daļām – teorētiskās un praktiskās. Teorētiskajā daļā analizēti tādi jautājumi kā, kas ir motivācija, vajadzības, mērķi, intereses un motīvi. Bērni ir motivēti, ja viņiem ir motīvs, un arī, ja ir mērķi. Tika analizēti tādu autoru pētījumi dotajā virzienā kā V. Zelmenis, V. Reņģe, E. Iļjins u.c. Plaši pētīta darbības motivācijas attīstība sākumskolas vecuma bērniem, orientējoties …
Accelerating collision detection for large-scale crowd simulation on multi-core and many-core architectures
2013
The computing capabilities of current multi-core and many-core architectures have been used in crowd simulations for both enhancing crowd rendering and simulating continuum crowds. However, improving the scalability of crowd simulation systems by exploiting the inherent parallelism of these architectures is still an open issue. In this paper, we propose different parallelization strategies for the collision check procedure that takes place in agent-based simulations. These strategies are designed for exploiting the parallelism in both multi-core and many-core architectures like graphic processing units (GPUs). As for the many-core implementations, we analyse the bottlenecks of a previous G…
Temporal variability analysis reveals biases in electronic health records due to hospital process reengineering interventions over seven years
2019
[EN] Objective To evaluate the effects of Process-Reengineering interventions on the Electronic Health Records (EHR) of a hospital over 7 years. Materials and methods Temporal Variability Assessment (TVA) based on probabilistic data quality assessment was applied to the historic monthly-batched admission data of Hospital La Fe Valencia, Spain from 2010 to 2016. Routine healthcare data with a complete EHR was expanded by processed variables such as the Charlson Comorbidity Index. Results Four Process-Reengineering interventions were detected by quantifiable effects on the EHR: (1) the hospital relocation in 2011 involved progressive reduction of admissions during the next four months, (2) th…
Modelling systemic price cojumps with Hawkes factor models
2015
Instabilities in the price dynamics of a large number of financial assets are a clear sign of systemic events. By investigating a set of 20 high cap stocks traded at the Italian Stock Exchange, we find that there is a large number of high frequency cojumps. We show that the dynamics of these jumps is described neither by a multivariate Poisson nor by a multivariate Hawkes model. We introduce a Hawkes one factor model which is able to capture simultaneously the time clustering of jumps and the high synchronization of jumps across assets.
Vērtēšana sporta stundās 5. klasē kompetenču pieejas kontekstā
2019
Diplomdarbs “Vērtēšana sporta stundās 5. klasē kompetencēs balstītā pieejā” izstrādāts, lai noskaidrotu vērtēšanas atšķirības un tās pielietojumu dzīvē. Diplomdarba teorētiskā daļa sastāv no piecām nodaļām. Tajās tiek apskatītas mācību priekšmeta “Sports” un “Sports un veselība" organizatoriskās formas, raksturīgākās pazīmes un prasības, analizēta un salīdzināta pieejamos literatūras avotos iegūtā informācija par mācību priekšmetu “Sports” un “Sports un veselība” saturu un vērtēšanu. Praktiski pētnieciskajā daļā tika veikts pētījums, kā ietvaros tika intervēti sporta skolotāji, izstrādāti un aprobēti stundu konspekti, kā arī novērotas sporta stundas. Apkopojot teorētiskajā un praktiskajā pē…
Ķirurģiskās aprūpes māsas loma pacientu aprūpē ar traheostomiju
2019
Bakalaura darba tēma „Ķirurģiskās aprūpes māsas loma pacientu aprūpē ar traheostomiju” ir izvēlēta, lai izprastu māsas nozīmi aprūpes procesā pacientiem ar traheostomu, jo Latvijā nav definēti aprūpes procesi traheostomētiem pacientiem. Pētījuma mērķis: Noskaidrot, kāda ir ķirurģiskās aprūpes māsas loma pacientu aprūpē ar traheostomiju. Mērķa sasniegšanai ir izvirzīti pētījuma uzdevumi, analizēti literatūras avoti par traheostomiju, tās indikācijām un aprūpi, tika analizēta Virdžīnijas Hendersones pamatvajadzību teorija. Pētījuma jautājums: Kāda ir ķirurģiskās māsas loma traheostomētu pacientu aprūpē? Pēc pētījuma veikšanas ir redzams, ka aprūpe konkrētajā pētījuma vietā tiek organizēta vie…