作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

作者：Rachel Thompson M.Chem. (1)
Louise Johnston Ph.D. (1)
Domenica Taruscio PhD ; M.D. (2)
Lucia Monaco Ph.D. (3)
Christophe B茅roud PharmD ; Ph.D. (4)
Ivo G. Gut Ph.D. (5)
Mats G. Hansson Ph.D. (6)
Peter-Bram A. 鈥檛 Hoen Ph.D. (7)
George P. Patrinos PhD (8)
Hugh Dawkins Ph.D. (9)
Monica Ensini Ph.D. (1)
Kurt Zatloukal M.D. (10)
David Koubi Ph.D. (11)
Emma Heslop M.Sc. (1)
Justin E. Paschall M.A. (12)
Manuel Posada Ph.D. (13)
Peter N. Robinson M.D. ; Ph.D. (14)
Kate Bushby M.D. ; F.R.C.P. (1)
Hanns Lochm眉ller Ph.D. ; M.D. (1)

1. Institute of Genetic Medicine ; MRC Centre for Neuromuscular Diseases ; Newcastle University ; London ; UK
2. Istituto Superiore di Sanit脿 ; Rome ; Italy
3. Fondazione Telethon ; Milan ; Italy
4. Aix Marseille Universit茅 ; INSERM ; GMGF UMR_S 910 ; 13385 ; Marseille ; France
5. Centre Nacional d鈥橝n脿lisi Gen貌mica ; Barcelona ; Spain
6. Uppsala University ; Uppsala ; Sweden
7. Leiden University Medical Centre ; Leiden ; Netherlands
8. University of Patras ; Patras ; Greece
9. Office of Population Health Genomics ; Department of Health Western Australia ; Perth ; Australia
10. Medical University of Graz ; Graz ; Austria
11. Finovatis ; Lyon ; France
12. European Molecular Biology Laboratory ; European Bioinformatics Institute (EMBL-EBI) ; Hinxton ; UK
13. Instituto de Salud Carlos III ; Instituto de Investigaci贸n de Enfermedades Raras ; CIBERER ; Madrid ; Spain
14. Institute for Medical Genetics and Human Genetics ; Charit茅-Universit盲tsmedizin ; Berlin ; Germany

关键词：genetics ; medical informatics ; databases ; clinical trials ; Electronic health records

刊名：Journal of General Internal Medicine

出版年：2014

作者：D Taruscio (23)
C Morciano (23)
P Laricchiuta (23)
P Mincarone (24)
F Palazzo (24)
CG Leo (24)
S Sabina (24)
R Guarino (24)
J Auld (25)
T Sejersen (26)
D Gavhed (26)
K Ritchie (27)
M Hilton-Boon (27)
J Manson (27)
PG Kanavos (28)
D Tordrup (28)
V Tzouma (28)
Y Le Cam (29)
J Senecat (29)
G Filippini (30)
S Minozzi (30)
C Del Giovane (30)
H Sch眉nemann (31)
JJ Meerpohl (31)
B Prediger (31)
L Schell (31)
R Stefanov (32)
G Iskrov (32)
T Miteva-Katrandzhieva (32)
P Serrano-Aguilar (33)
L Perestelo-Perez (33)
MM Trujillo-Mart铆n (33)
J P茅rez-Ramos (33)
A Rivero-Santana (33)
A Brand (34)
H van Kranen (34)
K Bushby (35)
A Atalaia (35)
J Ramet (36)
L Siderius (36)
M Posada (37)
I Abaitua-Borda (37)
V Alonso Ferreira (37)
M Hens-P茅rez (37)
FJ Manzanares (37)

23. National Centre for Rare Diseases ; Istituto Superiore di Sanit脿 ; Rome ; Italy
24. National Research Council ; Rome ; Italy
25. Jamarau ; London ; UK
26. Karolinska Institutet ; Stockholm county ; Sweden
27. Healthcare Improvement Scotland ; Edinburgh ; Scotland
28. London School of Economics and Political Science ; London ; UK
29. EURORDIS ; European Organisation for Rare Diseases ; Paris ; France
30. Associazione per la Ricerca sull鈥橢fficacia dell鈥橝ssistenza Sanitaria Centro Cochrane Italiano ; Milan ; Italy
31. University of Freiburg ; Freiburg ; Germany
32. Bulgarian Association for Promotion of Education and Science ; Plovdiv ; Bulgaria
33. Fundaci贸n Canaria de Investigaci贸n y Salud ; Las Palmas de Gran Canaria ; Canary Islands
34. Universiteit Maastricht ; Maastricht ; the Netherlands
35. University of Newcastle Upon Tyne ; Newcastle ; UK
36. The European Academy of Paediatrics ; Geneva ; Switzerland
37. Institute of Rare Diseases Research ; Instituto de Salud Carlos III ; Madrid ; Spain

刊名：Orphanet Journal of Rare Diseases

出版年：2014

作者：Ian C. Doidge (1) csiand@swansea.ac.uk
Mark W. Jones (1) m.w.jones@swansea.ac.uk
Benjamin Mora (1) b.mora@swansea.ac.uk

关键词：Global illumination – ; Monte Carlo integration – ; Path tracing – ; Photon mapping

刊名：The Visual Computer

出版年：2012

作者：Pierre Del Moral (1) Pierre.Del-Moral@inria.fr
Arnaud Doucet (2) adoucet@stats.ox.ac.uk
Ajay Jasra (3) staja@nus.edu.sg

关键词：Approximate Bayesian computation – ; Markov chain Monte Carlo – ; Sequential Monte Carlo

刊名：Statistics and Computing

出版年：2012

作者：Edmund K. Burke (1) ekb@cs.nott.ac.uk
Graham Kendall (1) gxk@cs.nott.ac.uk
Mustafa M?s?r (2) mmisir@cse.yeditepe.edu.tr
Ender ?zcan (1) exo@cs.nott.ac.uk

关键词：Hyper ; heuristics – Simulated annealing – Meta ; heuristics – Examination timetabling – Reinforcement learning

刊名：Annals of Operations Research

出版年：2012

作者：Ernest Edifor (1) e.e.edifor@2007.hull.ac.uk
Martin Walker (1) martin.walker@hull.ac.uk
Neil Gordon (1) n.a.gordon@hull.ac.uk

关键词：Safety – ; Fault Trees – ; Dynamic Fault Trees – ; Markov Chains – ; Monte Carlo – ; Pandora

刊名：Lecture Notes in Computer Science

出版年：2012

作者：Carlos Martinez-Ortiz (1) C.Martinez@ex.ac.uk
Jovi?a ?uni? (12) J.Zunic@ex.ac.uk

关键词：3D shape – Shape descriptors – Cubeness measure – Shape classification – Image processing

刊名：Machine Vision and Applications

出版年：2012

作者：William P. L. Cully (1)
Simon L. Cotton (1)
William G. Scanlon (12) w.scanlon@qub.ac.uk

关键词：Localisation – ; Wearable – ; RSSI – ; Personnel – ; Monte Carlo – ; Body centric – ; Shadowing – ; Off ; body – ; Tracking

刊名：International Journal of Wireless Information Networks

出版年：2012

作者：Marcelo Carlos (1) marcelo.carlos.2009@rhul.ac.uk
Geraint Price (1) geraint.price@rhul.ac.uk

关键词：human ; protocol interaction – ; human factors – ; usable security

刊名：Lecture Notes in Computer Science

出版年：2012