Efficient implementations of expressive modelling languages

QR Code

Efficient implementations of expressive modelling languages

This thesis is concerned with modelling languages aimed at assisting with modelling and simulation of systems described in terms of differential equations. These languages can be split into two classes: causal languages, where models are expressed using directed equations; and non-causal languages,...

Full description

Bibliographic Details
Main Author:	Chupin, Guerric
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2022
Subjects:	Modelling languages Modular compilation Automatic differentiation Functional reactive programming
Online Access:	https://eprints.nottingham.ac.uk/68980/

Similar Items

Funky grooves: declarative programming of full-fledged musical applications
by: Nilsson, Henrik, et al.
Published: (2016)

The arpeggigon: declarative programming of a full-fledged musical application
by: Nilsson, Henrik, et al.
Published: (2016)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

Towards safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)

Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)

Incorporating Software Measurement Into a Compiler
by: Jamil Al Qutaish, Rafa Elayyan
Published: (1998)

Partitioning techniques and their parallelization for stiff system of ordinary differential equations
by: Othman, Khairil Iskandar
Published: (2007)

Extensible and robust functional reactive programming
by: Perez Dominguez, Ivan
Published: (2018)

Bridging the GUI gap with reactive values and relations
by: Perez, Ivan, et al.
Published: (2015)

Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016)

Testing and debugging functional reactive programming
by: Perez, Ivan, et al.
Published: (2017)

Use of an Attribute Grammar for Software Process Measurement
by: Atan, Rodziah
Published: (2005)

A review and critique of UK housing stock energy models, modelling approaches and data sources
by: Sousa, Gustavo, et al.
Published: (2017)

Automated self-assembly programming paradigm
by: Li, Lin
Published: (2008)

Flexible self-locking intermodular connection for prefabricated modular steel buildings
by: Gohar, Nadeem
Published: (2022)

Design and Simulation of Differential Protective Relay (DPR) to 33/11kv Delta-Wye Transformer Using Saber Software Simulator
by: Othman, Muhammad Murtadha
Published: (2000)

Direct Integration Block Method for Solving Higher Order Ordinary Differential Equations
by: Azmi, Nurul Asyikin
Published: (2010)

Abstract modelling: towards a typed declarative language for the conceptual modelling phase
by: Legatiuk, Dmitrii, et al.
Published: (2017)

Modelling multidrug resistance driven by efflux pump expression in Gram-negative bacteria
by: Youlden, George
Published: (2021)

A survey of the number theoretic properties of real analytic modular forms
by: Drewitt, Joshua
Published: (2021)

Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)

A framework for relating, implementing and verifying argumentation models and their translations
by: van Gijzel, Bas
Published: (2016)

Efficiency three ways: tested, verified, and formalised
by: Handley, Martin AT
Published: (2020)

Adsorption of reactive red120 using calcine and uncalcine Mg-Al-C0₃ layered double hydoxide from aqueous solution / Oumar Moechtar Mohammad Hashim
by: Mohammad Hashim, Oumar Moechtar
Published: (2009)

Uptake of reactive red 2 by zinc aluminium- nitrate hydrotalcite / Abu Hurairah Mohd Tahir
by: Mohd Tahir, Abu Hurairah
Published: (2008)

Control of grain drying process using self-tuning quantitative feedback theory
by: Mansor, Hasmah
Published: (2011)

All meromorphic solutions for two forms of odd order algebraic differential equations and its applications
by: Yuan, W., et al.
Published: (2014)

All meromorphic solutions of an auxiliary ordinary differential equation and its applications
by: Yuan, W., et al.
Published: (2015)

Separate compilation of structured documents
by: Groves, Michael J., et al.
Published: (1993)

Robust tracking control system for longitudinal manoeuvre of large aircraft
by: Mohmad Rouyan, Nurhana
Published: (2023)

A hyper-heuristic approach to automated generation of mutation operators for evolutionary programming
by: Hong, Libin, et al.
Published: (2017)

Interaction between inclined and curved cracks problems in plane elasticity
by: Aridi, Mohd Radzi
Published: (2014)

Thermo-physical properties and high-temperature durability of reactive powder concrete (RPC)
by: Helmi, Masdar
Published: (2016)

Studies on preservation of natural dye / Nursharina Mat Dahan
by: Mat Dahan, Nursharina
Published: (2009)

Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)

Distributive laws in programming structures
by: Rypacek, Ondrej
Published: (2010)

A modular co-simulation approach for urban energy systems
by: Wang, Kunpeng
Published: (2022)

Agent-Based Logics in Dependent Type Theory
by: Baston, Colm
Published: (2025)

Design and implementation of an open-loop dual-axis active solar tracking system with precision angle controller
by: Ahmad, Salsabila
Published: (2012)