Zobrazeno 1 - 10
of 199
pro vyhledávání: '"S Jeavons"'
In this paper we describe our system for automatically extracting "correct" programs from proofs using a development for the Curry-Howard process. Although program extraction has been developed by many authors (see [5,?,?]), our system has a number o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6eb9dd21bd706524283dcc6e93fcb2c8
Autor:
A. Parsons, Philip E.F. Collins, Giuliano Punzo, A. Tagg, Martin Mayfield, S. Jeavons, G. Brighty, Jonathan M. Pearson
Flood resilience has been rising up the political, economic and social agendas. Taking an integrated systems approach, using the right design guidance and tools, and ensuring that education is in place for all stakeholders, are three themes which are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04879886bd7d2dea944c2a2ba5065759
http://bura.brunel.ac.uk/handle/2438/17115
http://bura.brunel.ac.uk/handle/2438/17115
Autor:
Olivia M Dean, Ashley I. Bush, Michael Berk, S Jeavons, Jason Thompson, David L. Copolov, Kristy Kohlmann
Publikováno v:
Human Psychopharmacology: Clinical and Experimental. 26:609-613
A significant proportion of subjects drop out of medium to long-term clinical studies prior to trial completion. This may bias reported study outcomes and reduce the statistical power of analyses. There is therefore a need for researchers to better u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9544e93547056867a79a666590dce36
https://doi.org/10.1002/hup.1253
https://doi.org/10.1002/hup.1253
Autor:
David L. Copolov, Michael Berk, Ian Schapkaitz, Renée Otmar, Barbara Hanna, Fiona Katz, Kristy Kohlmann, Felicity Ng, Gin S Malhi, Olivia M Dean, Ahmed Munib, Philippe Conus, Murray Anderson-Hunt, Ashley I. Bush, S Jeavons
Publikováno v:
The Journal of clinical psychiatry
OBJECTIVE The pharmacokinetic profile of a drug often gives little indication of its potential therapeutic application with many therapeutic uses of drugs being discovered serendipitously while being studied for different indications. As hypothesis d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::72f6026305d00621a88d33eeb856ba85
https://doi.org/10.4088/jcp.09m05741yel
https://doi.org/10.4088/jcp.09m05741yel
Autor:
H. Cobb, Karen Hewitt, Clarissa Severino Gama, Flávio Kapczinski, Michael Berk, Gin S Malhi, Brisa Simoes Fernandes, Ashley I. Bush, S Jeavons, D. Copolov, Olivia M Dean
Publikováno v:
The International Journal of Neuropsychopharmacology. 13:1-268
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::39630d96c605db4450596abe9a539ead
https://doi.org/10.1017/s1461145710000635
https://doi.org/10.1017/s1461145710000635
Publikováno v:
Studia Logica. 61:223-235
In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75dae217d81bafc36e4efba1aecfd0c9
https://doi.org/10.1023/a:1005025414656
https://doi.org/10.1023/a:1005025414656
Publikováno v:
Monash University
In this paper we (1) provide a natural deduction system for full first-order linear logic, (2) introduce Curry-Howard-style terms for this version of linear logic, (3) prove strong normalization for the system, and (4). prove that given a proof of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4090ce76200cc244dd55d101815a8679
https://doi.org/10.1016/s0304-3975(97)00044-3
https://doi.org/10.1016/s0304-3975(97)00044-3
Autor:
John S. Jeavons
Publikováno v:
Annals of Pure and Applied Logic. 84(1):3-16
Cerrito (1990) has proposed a declarative semantics for allowed logic programs using Girard's (1987) linear logic, with weakening. We propose an alternative semantics using pure linear logic. The main difference between our approach and that of Cerri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70990dc7616a0667567f1c5f9b7a7dae
Autor:
Kirsteen Moss, Kristy Kohlmann, JoAnne Robbins, Olivia M Dean, H. Cobb, Ashley I. Bush, Seetal Dodd, Karen Hewitt, S Jeavons, Michael Berk, Sue M. Cotton, Michelle Tanious, Gin S Malhi, Ian Schapkaitz, Christine Allwang
Publikováno v:
African Journal of Psychiatry; Vol 16, No 4 (2013); 236-242
238The known pharmacokinetic profile of a medication doesnot always point to its therapeutic potential. Manytreatments were discovered serendipitously as aconsequence of careful clinical observation, often in thecontext of treatment of apparently unr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ed7be1199f50d3aa6aed8de5e580656
https://doi.org/10.4314/ajpsy.v16i4.31
https://doi.org/10.4314/ajpsy.v16i4.31