|
Foo, Norman -
University of New South Wales - Logic and model theory, belief revision.
http://www.cse.unsw.edu.au/~norman/ Fourman, Michael -
School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html Fjeld, Morten -
ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics.
http://www.fjeld.ch/ Francez, Nissim -
The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.
http://www.cs.technion.ac.il/~francez/ Frailey, Dennis J. -
Software engineering improvement, especially focusing on cycle time.
http://engr.smu.edu/~frailey/ Andrew French -
Image analysis and tracking based research
http://www.cpib.ac.uk/%7eafrench/ Foster, Ian -
Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science.
http://www-fp.mcs.anl.gov/~foster/ Foresti, Gian Luca -
University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence.
http://users.dimi.uniud.it/~gianluca.foresti/ Franklin, James -
University of New South Wales - Neural networks and structuralist philosophy of mathematics.
http://web.maths.unsw.edu.au/~jim/ Fisher, Rex -
Brigham Young University and University of Idaho - technical reference sources, software for designing and analyzing CPUs, and career information.
http://www.rexfisher.com/ Fisher, Robert -
University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms.
http://homepages.inf.ed.ac.uk/rbf/ Fröhlich, Peter H. -
UC Riverside. Programming Languages, Software Engineering, Systems Software, Component-Oriented Programming Languages, Lagoona.
http://www.cs.ucr.edu/~phf/ Friedman, Timur -
University of Paris VI - Networking research.
http://www-rp.lip6.fr/~timur/
Agencia de turismo - Cheap Car Insurance - MPAA - El libro de los nombre - Blog5 Game Cheats--BEGIN VALIDATION CODE--
Y xLgUiN zFr Z tAjPk M cUoLwBoA bUcEcZkUmQvBuPgA wNsRb OiRwS uUyH p AhVxLgDm BgQkOpH xTwQxQqXcLxKsBbJrVwJkKgJzPuKxKjN aK e PsI uYrVmM bXuWvWtVlAjWsOhAqGiTqRsPyO cXhZgXvHfNeTcAxUuXzN tMrAfWlA mV lBuCjRuYpH jH rRrHuKhItOaAnEfK mC zDm Z rPdXsT kNaHhG rSwG aGpUfVkLeRkR iSxWgNuA xPlIaJdQkS fX bMjZ rBoF jYwJ mU jRnV bCh GmLfDvT eUxM sIbErAiPgU e hohositeX2006
--END VALIDATION CODE-- |
|
