Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Simon Brock"'
Autor:
Ji Qi, Zi‐Qiang Zhu, Geraint Wyn Jewell, Luocheng Yan, Chengwei Gan, Yuan Ren, Simon Brockway, Chris Hilton
Publikováno v:
IET Electric Power Applications, Vol 17, Iss 5, Pp 628-655 (2023)
Abstract The influences of slot/pole number combinations on electromagnetic performances, including flux linkage, inductance, and torque ripple harmonic components etc., resulting from unbalanced characteristics between north and south poles in conce
Externí odkaz:
https://doaj.org/article/96bc2c82383447e6a51caf34cd57f0bd
Autor:
Carla Harkin, Diego Cobice, Joanne Watt, Mary Jo Kurth, Simon Brockbank, Stephanie Bolton, Frances Johnston, Anna Strzelecka, John V. Lamont, Tara Moore, Peter Fitzgerald, Mark W. Ruddock
Publikováno v:
Frontiers in Nutrition, Vol 9 (2023)
IntroductionDiabetes is a major public health issue that is approaching epidemic proportions globally. Diabetes mortality is increasing in all ethnic groups, irrespective of socio-economic class. Obesity is often seen as the main contributor to an in
Externí odkaz:
https://doaj.org/article/86f893464bb6447c99bdc2096402a0c7
Autor:
Simon Brock, P. Gibson
Publikováno v:
Formal Aspects of Computing. 7:469-472
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef19c1376496a6e8d8796fde05573cb8
https://doi.org/10.1007/bf01211219
https://doi.org/10.1007/bf01211219
Autor:
Simon Brock, Duncan Shand
Publikováno v:
Electronic Notes in Theoretical Computer Science. 2:260-267
This note introduces a method of representing and reasoning about the actions of a class of proof procedures. A graph-like structure, called a proof diagram, is introduced in which conclusions of inferences can be shared. A version of Kruskal's Tree
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21364cd3b89dfa5a0ff1d620ffb023c6
https://doi.org/10.1016/s1571-0661(05)80204-x
https://doi.org/10.1016/s1571-0661(05)80204-x
Autor:
Simon Brock, Gerald Ostheimer
Publikováno v:
Electronic Notes in Theoretical Computer Science. 2:29-35
The semantics of lazy functional programming languages is usually presented in two different ways: a semantics based on trees which is used to reason about a program; and a semantics based on graphs which is used to implement a program. The link betw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bcb8366f71b6e1bf794d22058cc85bae
https://doi.org/10.1016/s1571-0661(05)80178-1
https://doi.org/10.1016/s1571-0661(05)80178-1
Autor:
Carla Harkin, Diego Cobice, Simon Brockbank, Stephanie Bolton, Frances Johnston, Anna Strzelecka, Joanne Watt, Mary Jo Kurth, John V. Lamont, Peter Fitzgerald, Tara Moore, Mark W. Ruddock
Publikováno v:
Frontiers in Endocrinology, Vol 13 (2022)
IntroductionCurrently there are no biomarkers that are predictive of when patients with type-2 diabetes (T2D) will progress to more serious kidney disease i.e., diabetic nephropathy (DN). Biomarkers that could identify patients at risk of progression
Externí odkaz:
https://doaj.org/article/51b60a61330c4a0cbffc919d8317b0e8
Autor:
Ji Qi, Ziqiang Zhu, Luocheng Yan, Geraint W. Jewell, Chengwei Gan, Yuan Ren, Simon Brockway, Chris Hilton
Publikováno v:
Energies, Vol 16, Iss 4, p 1982 (2023)
Consequent pole permanent magnet (CPPM) machines can improve the ratio of average torque to PM volume, but suffer from more serious armature reactions. In this paper, the variations of electromagnetic performance of surface-mounted PM (SPM), conventi
Externí odkaz:
https://doaj.org/article/435426b2d63945e6a527c3c5d6bfa595
Autor:
SIMON BROCK
Publikováno v:
Journal of Logic and Computation. 3:688-690
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a79e81417e38945ebcc71e199fc1c667
https://doi.org/10.1093/logcom/3.6.688
https://doi.org/10.1093/logcom/3.6.688
Autor:
Simon Brock, Gerald Ostheimer
Publikováno v:
CONCUR '95: Concurrency Theory ISBN: 9783540602187
CONCUR
CONCUR
This paper introduces an encoding of λ-terms in a subset of the π-calculus which mimics the graph reduction of the λ-terms. The encoding is sufficiently general to incorporate multiple reduction strategies, cycles and constants. As such it provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1615e5220750625575a8e86568976b0f
https://doi.org/10.1007/3-540-60218-6_36
https://doi.org/10.1007/3-540-60218-6_36
Publikováno v:
CAAP '92 ISBN: 9783540552512
CAAP
CAAP
This paper introduces a notion of partial type assignment on left linear applicative term rewriting systems that is based on the extension defined by Mycroft of Curry's type assignment system. The left linear applicative TRS we consider are extension
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34a9057fb28b3d834f053036c49eb9dc
https://doi.org/10.1007/3-540-55251-0_17
https://doi.org/10.1007/3-540-55251-0_17