Search results for " Programming language."
showing 10 items of 44 documents
Fire risk sub-module assessment under solvency II. Calculating the highest risk exposure
2021
The European Directive 2009/138 of Solvency II requires adopting a new approach based on risk, applying a standard formula as a market proxy in which the risk profile of insurers is fundamental. This study focuses on the fire risk sub-module, framed within the man-made catastrophe risk module, for which the regulations require the calculation of the highest concentration of risks that make up the portfolio of an insurance company within a radius of 200 m. However, the regulations do not indicate a specific methodology. This study proposes a procedure consisting of calculating the cluster with the highest risk and identifying this on a map. The results can be applied immediately by any insur…
Spatio-temporal modelling of COVID-19 incident cases using Richards’ curve: An application to the Italian regions
2021
Abstract We introduce an extended generalised logistic growth model for discrete outcomes, in which spatial and temporal dependence are dealt with the specification of a network structure within an Auto-Regressive approach. A major challenge concerns the specification of the network structure, crucial to consistently estimate the canonical parameters of the generalised logistic curve, e.g. peak time and height. We compared a network based on geographic proximity and one built on historical data of transport exchanges between regions. Parameters are estimated under the Bayesian framework, using Stan probabilistic programming language. The proposed approach is motivated by the analysis of bot…
Bayesian survival analysis with BUGS
2020
Survival analysis is one of the most important fields of statistics in medicine and biological sciences. In addition, the computational advances in the last decades have favored the use of Bayesian methods in this context, providing a flexible and powerful alternative to the traditional frequentist approach. The objective of this article is to summarize some of the most popular Bayesian survival models, such as accelerated failure time, proportional hazards, mixture cure, competing risks, multi-state, frailty, and joint models of longitudinal and survival data. Moreover, an implementation of each presented model is provided using a BUGS syntax that can be run with JAGS from the R programmin…
Another defence of enumerated types
1991
I claim that enumerations, while of course not strictly necessary, are an elegant and useful facility in modern programming languages. I try to show that arguments recently given against them are weak at best and bogus a t worst, for general-purpose programming. Some related issues on types in programming languages are touched as well. These make it even more questionable whether Oberon marks progress or regress in language design.
Programming languages and dynamic instructional tools: Addressing students’ knowledge base
1992
The chapter presents an instructional computer environment to be used in introductory Pascal programming classes. Traditional programming courses do not foster the kind of knowledge structures that are the trademark of expert programmers. These knowledge structures or programming templates provide programmers with a ready-to-use library of routines from which they draw when writing a new program. Developed as a hypertext tool, TAP (Template Assisted Programming) is an instructional environment to teach programming that emphasizes the development and use of such a library of routines by presenting students with a multiple representation of programming knowledge. In TAP students can (a) switc…
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.
Embedding the Remote Application Control: Visual API for PDA Programming
2009
PDAs are more and more used as advanced adaptive HEI (human-environment interaction) interfaces, thus enabling their users to easily operate applications remotely running in pervasive computing scenarios. Based on a previous implementation, in this paper we discuss the development of a new set of .NET-compliant Application Programming Interfaces to be used within the Visual Studio IDE. Our main goal is to provide programmers with a set of components to be used with the common drag-and-drop operation, in order to embed a remote application control within an application running on the PDA and vice-versa. The interaction relies on ad-hoc communication protocols over a framework devoted to pair…
LanguageLab - A Meta-modelling Environment
2015
In the LanguageLab language workbench, we build on a component-based approach to language specification that facilitates the specification of all aspects of a computer language in a consistent manner, taking into account best practices in meta-modelling and language design. The workbench allows operation on a suitable abstraction level, and also focuses on user-friendliness and a low threshold to getting started, in order to make it useful for teaching of meta-modelling and language design and specification. The platform is open for third party language modules and facilitates rapid prototyping of DSLs, re-use of language modules, and experiments with multiple concrete syntaxes. The platfor…
Rigal — a programming language for compiler writing
2005
A new programming language for compiler writing is described. The main data structures are atoms, lists and trees. The control structures are based on advanced pattern matching. All phases of compilation, including parsing, optimization and code generation, can be programmed in this language in short and readable form. Sample compiler written in RIGAL is presented.
Indeterminacy Reduction in Agent Communication Using a Semantic Language
2015
In recent years, the importance of vagueness and uncertainty in the messages exchanged between agents has been highlighted, mainly due to the ubiquitous nature of the (artificial or human) agents’ communication. The imprecision in the communication becomes more significant when the autonomy of the agents increases or the number of exchanged messages for a communicative goal is limited. In this paper we conjugate ideas drawn from situation semantics theory, human communication, and the multi-agent systems (MAS) field to reduce the impact of vagueness and uncertainty present in the communication. The main advances are achieved with the help of context information, collaboration and reinforcem…