Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Antti Puhakka"'
Autor:
Marina Kolkka, Satu K. Jääskeläinen, Heli Forssell, Arja Virtanen, Antti Puhakka, Ullamari Pesonen
Publikováno v:
European Journal of Pain. 23:1153-1161
BACKGROUND AND AIMS Neuropathic mechanisms are involved in burning mouth syndrome (BMS), and variation of the dopamine D2 receptor (DRD2) gene contributes to experimental pain perception. We investigated whether neurophysiologic findings differ in BM
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a633e549dfe24d0c3a150e1d7cd05ba7
https://doi.org/10.1002/ejp.1382
https://doi.org/10.1002/ejp.1382
Autor:
Lan Bo Chen, Jaana Suopanki-Lalowski, Thomas Dahl, Lauri Vuorilehto, Axel Meierjohann, Marju Valge, Hannu Mikola, Mika Scheinin, Thomas Roth, Antti Puhakka, Zsófia Lovró
Publikováno v:
Human Psychopharmacology: Clinical and Experimental. 34
OBJECTIVE The primary objective was to characterize the pharmacokinetics and pharmacodynamics of SM-1 after administration of a single oral dose to healthy volunteers in a placebo-controlled double-blind trial of daytime sedation. Secondary objective
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8f914ce51954c481ad3beed525df2449
https://doi.org/10.1002/hup.2716
https://doi.org/10.1002/hup.2716
Autor:
Satu K. Jääskeläinen, Olli Tenovuo, Tuija Teerijoki-Oksa, Matti Laine, Antti Puhakka, Heli Forssell, Matias Röyttä, Seppo Soinila, Arja Virtanen
Publikováno v:
Oral Diseases. 22(4):338-344
Objective The pathophysiology of primary burning mouth syndrome (BMS) has remained enigmatic, but recent studies suggest pathology within the nervous system at multiple levels. This study aimed to investigate in detail the contribution of either foca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a40e4e12bb4201b997183bc901e058db
http://juuli.fi/Record/0252790316
http://juuli.fi/Record/0252790316
Publikováno v:
European spine journal : official publication of the European Spine Society, the European Spinal Deformity Society, and the European Section of the Cervical Spine Research Society. 27(2)
This study was designed to evaluate the effect of preoperative pregabalin on intraoperative neurophysiological monitoring in adolescents undergoing surgery for spinal deformities. Thirty-one adolescents undergoing posterior spinal fusion were randomi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc1057f96e31827be31a7651c608ad51
https://pubmed.ncbi.nlm.nih.gov/29147795
https://pubmed.ncbi.nlm.nih.gov/29147795
Autor:
Satu K. Jääskeläinen, Heli Forssell, Antti Puhakka, Arja Virtanen, Ullamari Pesonen, Marina Kolkka-Palomaa
Publikováno v:
Clinical Neurophysiology. 128:e295-e296
Background and aims Neuropathic mechanisms are involved in burning mouth syndrome (BMS), and variation of dopamine D2 receptor (DRD2) gene may contribute to pain perception. We investigated whether the neurophysiologic findings differ in BMS patients
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b4356fe79305ef2797e9286e62eb0b6
https://doi.org/10.1016/j.clinph.2017.07.371
https://doi.org/10.1016/j.clinph.2017.07.371
Publikováno v:
Electronic Notes in Theoretical Computer Science. 66(2):194-210
An improvement to the so-called visual verification approach is presented. Visual verification is a method for checking the correctness of the behaviour of a reactive or concurrent system. It shares a great deal of common ground with ordinary formal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0cd111968b310f34602a24046c988cd
Publikováno v:
ACSD
We equip labelled transition systems (LTSs) with unidirectional counters (UCs) which can be initialised to an arbitrary positive value and decremented but not incremented. This formalism, called UCLTSs, enables one to express fairness properties of c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40f558389273dde992c5b08bc7a591d1
https://doi.org/10.1109/acsd.2012.21
https://doi.org/10.1109/acsd.2012.21
Autor:
Antti Puhakka
Publikováno v:
Theoretical Aspects of Computing – ICTAC 2005 ISBN: 9783540291077
ICTAC
ICTAC
Although liveness and fairness have been used for a long time in classical model checking, with process-algebraic methods they have seen far less use. One problem is that it is difficult to combine fairness constraints with the compositionality of pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c961162aca1daa2f928207f7a96b56f6
https://doi.org/10.1007/11560647_36
https://doi.org/10.1007/11560647_36
Autor:
Antti Puhakka
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540427360
TACS
TACS
In process algebras the weakest congruences that preserve interesting properties of systems are of theoretical and practical importance. A system can stop executing visible actions in two ways: by deadlocking or livelocking. The weakest deadlock-pres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d28b2b634756beeb93aa4015b5da7150
https://doi.org/10.1007/3-540-45500-0_20
https://doi.org/10.1007/3-540-45500-0_20
Autor:
Antti Puhakka, Antti Valmari
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540424970
CONCUR
CONCUR
Although liveness and fairness have been used for a long time in classical model checking, with process-algebraic methods they have seen far less use. One reason for this is that most well-known process-algebraic theories such as CSP and CCS have lim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f434d9020648ff1bd2f40fdbce9ab40
https://doi.org/10.1007/3-540-44685-0_14
https://doi.org/10.1007/3-540-44685-0_14