You are here
Research seminaries
23 October 2013
NextGen ecology and genomics will require much greater collaboration between biologists computer...
23 October 2013
As electronic applications are supposed to be compact, fast and at the same time use as little...
16 October 2013
Many diseases may cause renal insufficiency, including diabetes and hypertension. Patients with...
24 September 2013
During the last years, we have developed a multiparadigm unified framework to present all the...
18 September 2013
In this talk, we will explore a connection between the fields of modal logics, Horn theories, and...
16 September 2013
Alias analysis, which determines whether two expressions in a program may reference to the same...