1.
|
A Categorical Framework for the Specification and the Verification of Aspect
Oriented Systems Sabas, Arsène
|
2.
|
Factors associated with the use of hypoglycemic and antihypertensive drugs among the elderly, living in a south-eastern capital city of Brazil Gontijo, Mônica F. - Ribeiro, Andréia Q. - Klein, Carlos H. - Rozenfeld, Suely - Acurcio, Francisco de A.
|
3.
|
3-round weak zero-knowledge proofs for [Nu] [Rho], Three-round weak ZK proofs for [Nu] [Rho] Lim, Dah-Yoh, 1978-
|
4.
|
Induced technical change and the cost of climate policy Sue Wing, Ian.
|
5.
|
A framework for low-complexity iterative interference cancellation in communication systems Chan, Albert M. (Albert Michael), 1975-
|
6.
|
High-throughput genomic phenotyping Ericksen, Daniel S. (Daniel Southwick), 1977-
|
7.
|
Study of cox1 trans-splicing in Diplonema papillatum mitochondria Yan, Yifei
|
8.
|
The Discourse of Home Recording : Accessibility, Exclusion and Power Tomaz de Carvalho, Alice
|
9.
|
Inuit ethnobotany and ethnoecology in Nunavik and Nunatsiavut, northeastern Canada Clark, Courtenay
|
10.
|
Web2.0, knowledge sharing and privacy in E-learning Hage, Hicham
|