@article{journals/bioinformatics/LaraWDK08,
	title = {Artificial neural network for prediction of antigenic activity for a major conformational epitope in the hepatitis C virus NS3 protein.},
	author = {James Lara and Robert M. Wohlhueter and Zoya Dimitrova and Yuri Khudyakov},
	journal = {Bioinformatics},
	number = {17},
	pages = {1858-1864},
	url = {http://dblp.uni-trier.de/db/journals/bioinformatics/bioinformatics24.html#LaraWDK08},
	volume = {24},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/24c5973836f356ea022a6459d0064eb74/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1093/bioinformatics/btn339}, date = {2008-08-25},
	keywords = {dblp }
}

@article{alcock2005csa,
	title = {Convergence of sequences and series 2: interactions between nonvisual reasoning and the learner's beliefs about their own role},
	author = {Lara Alcock and Adrian Simpson},
	journal = {Educational studies in mathematics},
	number = {1},
	pages = {77-100},
	url = {http://www.springerlink.com/content/r160603466274361},
	volume = {58},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2fe121d90558b8bb25ee67a717437332a/yish},
	abstract = {This paper examines the work of students who, when reasoning about real analysis, do so almost exclusively by means of verbal and algebraic reasoning, and tend not to incorporate visual images into their work. It examines the work of students from two parallel courses of introductory real analysis, whose reasoning ranges from those who introduce definitions appropriately and work with them competently, to those who cannot recall definitions and appear to manipulate notation without regard for its reference. It presents a theory that relates the differences to studentsrsquo expectations regarding their role as learners of mathematics. Throughout, the argument is illustrated with interview data from which the theory was inductively generated.},
	keywords = {advanced analysis beliefs convergence definitions learning limit limits mathematical mathematics postviva proof real reasoning representations sequences series symbolic thinking }
}

@article{alcock2004csa,
	title = {Convergence of Sequences and Series: Interactions between Visual Reasoning and the Learner},
	author = {Lara Alcock and Adrian Simpson},
	journal = {Educational Studies in Mathematics},
	number = {1},
	pages = {1-32},
	publisher = {Springer. 233 Spring Street, New York, NY 10013. Tel: 800-777-4643; Tel: 212-460-1500; Fax: 212-348-4505; e-mail: service-ny@ springer. com; Web site: http://www. springerlink. com.},
	url = {http://www.springerlink.com/content/p8231k6886243545},
	volume = {57},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/24691381ea82a27763273e81658b8bad5/yish},
	abstract = {This paper examines part of a set of students who were followed during their first-term, first-year studies in formal definition-based real analysis at a British university. It explores the approaches to problems about convergence of sequences and series made by students who have a tendency to include visual imagery in their reasoning. We explore links between the students' mathematical behavior in solving these problems and their perception of their roles as learners. We develop a theory in which the tendency to visualize, coupled with the students' view of their role, can be used to account for their mathematical behavior.},
	keywords = {advanced analysis beliefs convergence definitions grounded learning limit limits mathematical mathematics postviva proof real representations sequences theory thinking visualization }
}

@inproceedings{conf/huc/SohnVLCCSCHGL06,
	title = {Mobility Detection Using Everyday GSM Traces.},
	author = {Timothy Sohn and Alex Varshavsky and Anthony LaMarca and Mike Y. Chen and Tanzeem Choudhury and Ian Smith and Sunny Consolvo and Jeffrey Hightower and William G. Griswold and Eyal de Lara},
	booktitle = {Ubicomp},
	crossref = {conf/huc/2006},
	editor = {Paul Dourish and Adrian Friday},
	pages = {212-224},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/huc/ubicomp2006.html#SohnVLCCSCHGL06},
	volume = {4206},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/264139ad58a07bccbf39a47a8aab664df/skasey},
	description = {dblp},
	date = {2006-10-27}, ee = {http://dx.doi.org/10.1007/11853565_13}, isbn = {3-540-39634-9},
	keywords = {behaviour }
}

@inproceedings{conf/huc/MiklasGCSGL07,
	title = {Exploiting Social Interactions in Mobile Systems.},
	author = {Andrew G. Miklas and Kiran K. Gollu and Kelvin K. W. Chan and Stefan Saroiu and P. Krishna Gummadi and Eyal de Lara},
	booktitle = {Ubicomp},
	crossref = {conf/huc/2007},
	editor = {John Krumm and Gregory D. Abowd and Aruna Seneviratne and Thomas Strang},
	pages = {409-428},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/huc/ubicomp2007.html#MiklasGCSGL07},
	volume = {4717},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2c5c2c5180f6c9f1f4f9e0e88125d2e50/skasey},
	description = {dblp},
	date = {2007-09-17}, ee = {http://dx.doi.org/10.1007/978-3-540-74853-3_24}, isbn = {978-3-540-74852-6},
	keywords = {Social }
}

@inproceedings{conf/huc/DearmanVLT07,
	title = {An Exploration of Location Error Estimation.},
	author = {David Dearman and Alex Varshavsky and Eyal de Lara and Khai N. Truong},
	booktitle = {Ubicomp},
	crossref = {conf/huc/2007},
	editor = {John Krumm and Gregory D. Abowd and Aruna Seneviratne and Thomas Strang},
	pages = {181-198},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/huc/ubicomp2007.html#DearmanVLT07},
	volume = {4717},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/24328a9e5523345d34ad0282130960758/skasey},
	description = {dblp},
	date = {2007-09-17}, ee = {http://dx.doi.org/10.1007/978-3-540-74853-3_11}, isbn = {978-3-540-74852-6},
	keywords = {location }
}

@inproceedings{conf/icmt/CabotCGL08,
	title = {Analysing Graph Transformation Rules through OCL.},
	author = {Jordi Cabot and Robert Clarisó and Esther Guerra and Juan de Lara},
	booktitle = {ICMT},
	crossref = {conf/icmt/2008},
	editor = {Antonio Vallecillo and Jeff Gray and Alfonso Pierantonio},
	pages = {229-244},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/icmt/icmt2008.html#CabotCGL08},
	volume = {5063},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2bfdeb7844d083852c9ecf6c12ebcb5df/dblp},
	description = {dblp},
	date = {2008-08-14}, ee = {http://dx.doi.org/10.1007/978-3-540-69927-9_16}, isbn = {978-3-540-69926-2},
	keywords = {dblp }
}

@inproceedings{conf/ACMdis/PiccoloB08,
	title = {Understanding iDTV in a developing country and designing a T-gov application prototype.},
	author = {Lara Schibelsky G. Piccolo and Maria Cecília Calani Baranauskas},
	booktitle = {Conference on Designing Interactive Systems},
	crossref = {conf/ACMdis/2008},
	editor = {Johann van der Schijff and Gary Marsden},
	pages = {379-385},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/ACMdis/ACMdis2008.html#PiccoloB08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/296e535c0d30fe2a3506ac7372fb25d2d/dblp},
	description = {dblp},
	date = {2008-08-14}, ee = {http://doi.acm.org/10.1145/1394445.1394486}, isbn = {978-1-60558-002-9},
	keywords = {dblp }
}

@inproceedings{conf/webist/GuerraLM07,
	title = {Model Driven Formal Development of Digital Libraries.},
	author = {Esther Guerra and Juan de Lara and Alessio Malizia},
	booktitle = {WEBIST (Selected Papers)},
	crossref = {conf/webist/2007sp},
	editor = {Joaquim Filipe and José A. Moinhos Cordeiro},
	pages = {169-183},
	publisher = {Springer},
	series = {Lecture Notes in Business Information Processing},
	url = {http://dblp.uni-trier.de/db/conf/webist/webist2007sp.html#GuerraLM07},
	volume = {8},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2b9fdf7eab3dc98dd29c633206a8d0f2f/dblp},
	description = {dblp},
	date = {2008-08-13}, ee = {http://dx.doi.org/10.1007/978-3-540-68262-2_13}, isbn = {978-3-540-68257-8},
	keywords = {dblp }
}

@inproceedings{conf/euroitv/FurtadoKPB08,
	title = {Prospecting the Appropriation of the Digital TV in a Brazilian Project.},
	author = {Elizabeth Furtado and Thais Kampf and Lara Schibelsky G. Piccolo and Maria Cecília Calani Baranauskas},
	booktitle = {EuroITV},
	crossref = {conf/euroitv/2008},
	editor = {Manfred Tscheligi and Marianna Obrist and Artur Lugmayr},
	pages = {293-302},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/euroitv/euroitv2008.html#FurtadoKPB08},
	volume = {5066},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/239ef9048dc5fc6657bd7b6e67e63302e/dblp},
	description = {dblp},
	date = {2008-08-12}, ee = {http://dx.doi.org/10.1007/978-3-540-69478-6_39}, isbn = {978-3-540-69477-9},
	keywords = {dblp }
}