Zobrazeno 1 - 10
of 342
pro vyhledávání: '"Williams, Christian A."'
Autor:
Williams, Christian, Stay, Michael
Publikováno v:
EPTCS 372, 2022, pp. 116-132
Native type systems are those in which type constructors are derived from term constructors, as well as the constructors of predicate logic and intuitionistic type theory. We present a method to construct native type systems for a broad class of lang
Externí odkaz:
http://arxiv.org/abs/2102.04672
We introduce three general compositionality criteria over operational semantics and prove that, when all three are satisfied together, they guarantee weak bisimulation being a congruence. Our work is founded upon Turi and Plotkin's mathematical opera
Externí odkaz:
http://arxiv.org/abs/2010.07899
Autor:
Baez, John C., Williams, Christian
Publikováno v:
EPTCS 323, 2020, pp. 106-135
Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of each arity,
Externí odkaz:
http://arxiv.org/abs/1905.05636
Publikováno v:
In Bioprinting December 2022 28
Autor:
Eberhardt, Alyson L., Ward, Larry G., Morrison, Rachel C., Costello, Wellsley, Williams, Christian
Publikováno v:
In Continental Shelf Research 1 June 2022 242
Publikováno v:
Cognitive Therapy & Research; Oct2024, Vol. 48 Issue 5, p923-931, 9p
Autor:
Williams, Christian A. J.
The thesis deals with time series modelling of electricity demand data. Various techniques are used including ARIMA modelling, error correction modelling and cointegration analysis. Some forecasts have also been generated.
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.416602
Publikováno v:
In Medical Engineering and Physics December 2019 74:13-22