المؤلفون: María E Aguilar Aldrete, Perla M MadrigalRuiz, Luis Javier FloresAlvarado, Rosalba Ruiz Mejia, Felipe Parada Luna, and Sergio AlbertoRamirez-Garcia

مصطلحات موضوعية: Aging, Vascular dementias, Neurodegenerative diseases, Parkinson's disease, Parkinson plus syndromes, Candidate genes, Blood-brain barrier, Pathogenesis, Polymorphisms, Nucleotide changes, Pathogenic effect, Epistasia, Donor region

وصف الملف: application/pdf

العلاقة: http://medcraveonline.com/MOJGG/MOJGG-03-00084.pdfTest

الإتاحة: http://medcraveonline.com/MOJGG/MOJGG-03-00084.pdfTest

المؤلفون: Blanchette, Jasmin Christian, Weber, Tjark, Batty, Mark, Owens, Scott, Sarkar, Susmit

المصدر: Blanchette , J C , Weber , T , Batty , M , Owens , S & Sarkar , S 2011 , Nitpicking C plus plus Concurrency . in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING . ASSOC COMPUTING MACHINERY , NEW YORK , pp. 113-123 , 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming , Odense , Denmark , 20/07/11 .

مصطلحات موضوعية: SAT solving, JAVA MEMORY MODEL, Isabelle/HOL, higher-order logic, concurrency, C plus plus memory model, Nitpick, Kodkod, model finding

الإتاحة: https://risweb.st-andrews.ac.uk/portal/en/researchoutput/nitpicking-cTest-plus-plus-concurrency(2c735c22-5c95-4a8d-aa53-ce608f097569).html

المؤلفون: Etemadi, Leila, Vaezi, Gholamhasan, Fereidoni, Masoud, Oryan, Shahrbanoo, Manafi, Fereshte

المصدر: Journal of Physiological Sciences; 59(Suppl. 1), pp 472-472 (2009) ; ISSN: 1880-6546

مصطلحات موضوعية: Neurosciences, Elevated Plus-Maze, Inhalation, Harmaline, Peganum harmala, Fear

العلاقة: https://lup.lub.lu.se/record/1567873Test; wos:000271023103271

الإتاحة: https://lup.lub.lu.se/record/1567873Test