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