SUGIISHI, Tsuyuka IMS Fellow MORITA, Yuki Post-Doctoral Fellow KUMAR, Selva Post-Doctoral Fellow PANDIT, Palash Post-Doctoral Fellow MAITY, Prasenjit Post-Doctoral Fellow DHITAL, Raghu Nath Post-Doctoral Fellow KAMONSATIKUL, Choavarit Visiting Scientist JINASAN, Atchaleeya Visiting Scientist TSAI, I-Chang Visiting Scientist MANNA, Sudipta Kumar Visiting Scientist PONGPIPATT, Paweena Visiting Sc...

1 Phenoconversion of CYP2C9 in epilepsy limits the predictive value of 2 CYP2C9 genotype in optimizing valproate therapy 3 4 Katalin Tóth*, Tamás Bűdi*, Ádám Kiss, Manna Temesvári, Edit Háfra, Andrea Nagy, 5 Zsuzsa Szever, Katalin Monostory 6 7 1 Research Centre for Natural Sciences, Hungarian Academy of Sciences 8 Magyar Tudósok 2, H-1117 Budapest, Hungary 9 2 2 Department of Pediatrics, Semme...

The hierarchy of properties as overviewed by Manna and Pnueli 23] relates language, topology, !-automata, and linear temporal logic classiications of properties. We provide new characterisations of this hierarchy in terms of automata with B uchi, coB uchi, and Streett acceptance condition and in terms of LTL i and LTL i hierarchies. Afterwards, we analyse the complexity of the model checking pr...

A river network is a typical completely open system formed by interconnected river channels. The interactions between the imports of a river (water and sediment) and the channel will cause the change of the channel patterns. This is actually a feedback between the erosion and the sedimentation states of the channel via an adjustment of the sedimentcarrying capability of the stream. This feedbac...

Work on theorem-proving-based automatic program synthesis (see Lee, e t ai.,1 for example) has been neglected iately. In their 1971 paper, Manna and Waldinger8 covered one of the main reasons why-the difficulty of synthesizing program loops within the current state of the art of automatic theorem-proving.· However, there is a great deal of continuing work in theorem-proving, and it is important...