A Provenance Tracking Model for Data Updates

For data-centric systems, provenance tracking is particularly important when the system is open and decentralised, such as the Web of Linked Data. In this paper, a concise but expressive calculus which models data updates is presented. The calculus is used to provide an operational semantics for a system where data and updates interact concurrently. The operational semantics of the calculus also tracks the provenance of data with respect to updates. This provides a new formal semantics extending provenance diagrams which takes into account the execution of processes in a concurrent setting. Moreover, a sound and complete model for the calculus based on ideals of series-parallel DAGs is provided. The notion of provenance introduced can be used as a subjective indicator of the quality of data in concurrent interacting systems.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432

On the Distributability of Mobile Ambients

Modern society is dependent on distributed software systems and to verify them different modelling languages such as mobile ambients were developed. To analyse the quality of mobile ambients as a good foundational model for distributed computation, we analyse the level of synchronisation between distributed components that they can express. Therefore, we rely on earlier established synchronisation patterns. It turns out that mobile ambients are not fully distributed, because they can express enough synchronisation to express a synchronisation pattern called M. However, they can express strictly less synchronisation than the standard pi-calculus. For this reason, we can show that there is no good and distributability-preserving encoding from the standard pi-calculus into mobile ambients and also no such encoding from mobile ambients into the join-calculus, i.e., the expressive power of mobile ambients is in between these languages. Finally, we discuss how these results can be used to obtain a fully distributed variant of mobile ambients.Comment: In Proceedings EXPRESS/SOS 2018, arXiv:1808.08071. Conference version of arXiv:1808.0159

Convexity adjustments \`a la Malliavin

In this paper, we develop a novel method based on Malliavin calculus to find an approximation for the convexity adjustment for various classical interest rate products. Malliavin calculus provides a simple way to get a template for the convexity adjustment. We find the approximation for Futures, OIS Futures, FRAs, and CMSs under a general family of the one-factor Cheyette model. We have also seen the excellent quality of the numerical accuracy of the formulas obtained

Pengembangan Perangkat Pembelajaran Kalkulus Untuk Mencapai Ketuntasan Dan Kemandirian Belajar Siswa

This research aims to: (1) develop a calculus teaching package consisting of syllabus, lesson plan, worksheet, and test of Islamic high school to achieve mastery and self-regulated learning; (2) describe the quality of the calculus teaching in Islamic high school to achieve mastery and self-regulated learning. This research is a developmental research which develops calculus teaching package using the development model adapted from Thiagarajan, Semmel, and Semmel. The steps to get valid, practical, and effective calculus teaching package are: (1) definition step, (2) planning step, and (3) development step. The try out consisted of expert judgment, small group try out, and field try out. The field try out was held in MA PK Ma'arif 01 Kebumen at two classes of XI IPS. The research produces a calculus teaching package for class XI IPS students of MA consisting of the syllabus, lesson plan, worksheet, and test which are qualified and suitable for the teaching and learning process. Each teaching package component is valid, practical, and effective to achieve students'mastery learning and self-regulated learning

Development of a preliminary design tool for microsatellites structure in a concurrent engineering facility

This project deals with the work done in a Concurrent Design Facility environment in order to develop a new Matlab calculus tool for the structure subsystem of microsatellites. This tool is based on another simple Excel document which was able to do some calculus for a preliminary design of the main structure of a satellite, but then it has been improved in term of versatility and quality, type and number of results. Its capabilities have been compared with some FEM models created in Nastranope

MARKETING EVOLUTION: E-MARKETING - QUALITATIVE AND QUANTITATIVE RESEARCH TECHNIQUES

E-marketing is a generally accepted concept, due to its advantages compared to other marketing mechanisms: it is faster, more efficient, more intelligent and less expensive. The option for e-marketing is also enforced by its flexibility with which it addresses potential clients. Moreover, e-marketing is the environment which leads to quick results, allowing complex calculus in order to analyze request and market evolution as pertinent as possible. Access to new market segments and gaining the existing clients’ trust and loyalty through the products’ quality and price is mostly due to the e-marketing campaigns.e-marketing, market research, Internet, e-marketing campaigns