1. Welcome To The MIT Laboratory For Computer Science MIT Laboratory for computer science ( Now computer science and Artificial Intelligence Laboratory http://www.lcs.mit.edu/

Search About LCS who we are, LCS timeline Research groups and projects Publications technical reports technical memos Events / News calendar, LCS in the news People last name beginning with: A-E, F-J, K-O, P-S ... Resources jobs available, FAQ , archives Contact LCS directions, contact information 2004 MIT IT Conference : The annual MIT Information Technology Conference will feature CSAIL faculty and researchers discussing ongoing research activities in areas such as artificial intelligence, human computer interfaces, computer architecture, networking, programming languages, software engineering, theory of computation, and computational biology. For More Information In The News: On July 1, 2003, the MIT AI Lab merged with LCS to become CSAIL. See the Press Release and News Articles . Visit the CSAIL web site Research Spotlight Fine-Grain Cache Resizing Michael Zhang and Krste Asanovi´c Energy dissipation has emerged as one of the primary constraints for microprocessor designers. In most microprocessor designs, caches dissipate a significant fraction of total power. read more...

2. Stanford Computer Science Department Groups/Clubs. Computer Facilities. Security Software. Expected Downtimes Commencement 2004. computer science Department. 353 Serra Mall http://www-cs.stanford.edu/

CS Home News Admissions Courses ... Research Printer Friendly Version General Information Administration Announcements Events Calendar Committees ... Jobs Degrees Undergraduate Masters PhD People Faculty Staff Students Undergrads ... Historical Displays Commencement 2004 Computer Science Department 353 Serra Mall Stanford University Stanford CA 94305-9025 USA Dept Info: Department Fax: Admissions Fax: CS Library: Chairman - Professor Hector Garcia-Molina Administrative Services Manager - Peche Turner Admissions - Kathi DiTommaso Directions to Stanford University Parking On Campus

3. SCHOOL OF COMPUTER SCIENCE/Carnegie Mellon University M. Wing, Professor CSD, and new head of the computer science Department (CSD) tells why she is known as Dragon Lady in this new interview by Women@SCS. http://www.cs.cmu.edu/

Admissions Areas Faculty Divisions ... Intranet Search SCS News and Events: Features: Jeannette M. Wing, Professor CSD, and new head of the Computer Science Department (CSD) tells why she is known as Dragon Lady in this new interview by Women@SCS. Wing is highly regarded for her outstanding contributions in research, teaching, and administrative service to the college. Full interview New director Todd Mowry takes the reins from Mahadev Satyanarayanan (Satya) at Intel Research Pittsburgh Lab going strong after two years of innovative research projects More information Workshops hosted by SCS ...The 20th Workshop on the Mathematical Foundations of Programming Semantics (MFPS) on campus May 22-26. ...in conjunction with the 2004 Annual Meeting of the Association for Symbolic Logic (ASL) on campus May 19-23.

4. Berkeley CS Division Home Page The computer science Division. computer science Division Office. University of California, Berkeley http://www.cs.berkeley.edu/

The Computer Science Division Computer Science Division Office University of California, Berkeley 387 Soda Hall #1776 Berkeley, CA 94720-1776 CS Brochure (pdf) 30th Anniversary Celebration View the Webcast Berkeley EECS Annual Research Symposium (BEARS) View the Webcast In the News: CITRIS Center for Information Technology Research in the Interest of Society People Rosters and Directories Faculty Addresses Photos Visiting Faculty Scholars Administrative Staff Alumni Home Pages ... E-mail Aliases Research Areas Projects Technical Reports Creating CS Tech Reports ... FTP archive Class and Student Info Classes Organizations Newsgroups CS Graduate Student Roster ... UCSEE Student Resume Service Information for: Prospective EECS Students Incoming Students Undergraduates Graduates CS Resource Guide Staff Directory Administrative Services Academic Student Services Emergency Information Seminars and Conferences Seminars and Colloquia Joint Colloquium Conferences EECS Event Calendar Administration Administrative Staff and Services Policies Forms Information for EECS Faculty ... EECS Administration Soda Hall Information Directions to Soda CS Roster Resource Guide Room Reservations ... The Software Warehouse (SWW) Service E-mail Aliases UC Berkeley Dialup Services Setting up a CS Home Page How To ... UC Berkeley Department of Electrical Engineering and Computer Sciences University of California, Berkeley

5. University Of Washington Computer Science & Engineering University of Washington computer science Engineering includes roughly thirty five faculty members, forty Allen Center for computer science Engineering at the center of the UW http://www.cs.washington.edu/

About Us Search Contact Info University of Washington College of Engineering College of Arts and Sciences Topics: News Events and Talks Education Research ... Support CSE! Information for: Prospective Students Current Students Alumni Faculty/Staff ... Visitors December sunrise from the Allen Center includes roughly thirty five faculty members, forty staff members, two hundred seventy five graduate majors (150 in the Doctoral program and 125 in the Professional Masters Program), and four hundred fifty undergraduate majors. Ranked among the top ten programs in the nation, we are active in most of the principal areas of the field, and are engaged in a broad range of interdisciplinary initiatives. We are located in the spectacular new at the center of the UW campus in Seattle, Washington a national and international technology center in software, biotech, the health sciences, and other fields. CSE Web Privacy University of Washington Box 352350 Seattle, WA 98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX [comments to webmaster@cs.washington.edu

6. Department Of Computer Science who got her undergraduate degree from our department, has accepted a position at Harvard University, as an assistant professor of computer science on the http://www.cs.umd.edu/

Public home page Local home page How to contact us Search Education Graduate program Undergraduate program Undergrad. research Undergrad. honors prog. ... University schedule Research Research areas Projects and labs Technical reports People Faculty Faculty/staff phone book Users' home pages University directory Student organizations Grad student exec council S.C.O.R.E. Student ACM Upsilon Pi Epsilon ... Women in Computing Location A.V. Williams Building CS Instructional Center Directions How to contact us Other things About this site College of CMPS Department history (pdf) High school prog. contest ... Ray Miller's memoirs Information for: prospective undergraduates prospective graduate students prospective faculty prospective industrial partners Colloquium series Schedule and abstracts Webcasts Upcoming events Summary Details Announcements Position available as Advisor/Consultant in our graduate office Here is our current list of graduating PhDs.

7. Computer Science computer science. Starting Points. Search Engines From the Open Directory Project, this Web page is a gateway to several dozen computer science research institutes http://library.albany.edu/subject/csci.htm

Computer Science Starting Points Search Engines Algorithm Collections Bibliographies/Pre-Prints/Technical Reports ... Style Guide Last Updated: May 21, 2004 This page is maintained by Michael Knee Starting Points The Ada Project (TAP) Named in honor of Ada Lovelace, TAP is a clearinghouse for information and resources related to women in computing. It includes publications, conferences, employment resources, fellowships and grants, news, organizations, plus projects and programs. AI Topics AI Topics is a starting point for finding information on artificial intelligence. This AAAI site links to basic information along with news, education resources, reference materials (dictionaries, encyclopedias, handbooks, and journals), courses, forums, and career information. Artificial Intelligence A WWW Virtual Library site containing links to research sites and projects, newsgroups, programming languages, journals, bibliographies, interactive demonstrations, and commercial sites and products. Artificial Intelligence Resources on the Web An AI Internet resources listing containing links to information on agents, artificial life, case-based reasoning, conferences, constraint programming, data mining, expert systems, fuzzy logic, genetic algorithms, journals, knowledge engineering, neural networks, SIGs, and university research groups. Cetus Links Cetus Links is portal to several thousand Internet sites about about object-orientation and component-orientation. It is divided into seven main areas: general information; distributed objects and components; Internet and intranets; architecture and design; languages and development environments; databases and repositories; and related topics. There is an overview page for each of the main area pages and an introductory statement on the individual subject pages. The individual subject pages contain a variety of links to articles, bibliographies, books and publications, conferences and meetings, FAQs, forums, glossaries, libraries, newsgroups, organizations, people, software, standards, starting points, tools; tutorials, and utilities. Cetus Links is also fully searchable.

8. The Collection Of Computer Science Bibliographies Home site of the largest bibliographic database in computer science in the world. The Collection of computer science Bibliographies. http://liinwww.ira.uka.de/bibliography/

The Collection of Computer Science Bibliographies - More than 1.4 Million references! - accesses per month - About FAQ Simple Search Advanced Search ... Statistics About the Collection This is a collection of bibliographies of scientific literature in computer science from various sources, covering most aspects of computer science. The bibliographies are updated monthly from their original locations such that you'll always find the most recent versions here. The collection currently contains more than 1.4 million references (mostly to journal articles, conference papers and technical reports), clustered in about 1400 bibliographies, and consists of 660 MBytes of BibTeX entries. More than 19,000 references contain crossreferences to citing or cited publications. More than 240,000 references contain URLs to an online version of the paper. Abstracts are available for more than 180,000 entries. There are more than 2000 links to other sites carrying bibliographic information. For more information on the contents of this collection have a look at the bibliographic statistics Introduction Search the bibliography collection Faster Advanced Search Browse the bibliography collection How to add bibliographies or references to the bibliography collection Manipulating BibTeX bibliographies ... Frequently asked questions about this bibliography collection.

9. Department Of Computer Science - University Of York Research and teaching department. Site includes details of the research programs and taught degrees, news, events and staff information. http://www.cs.york.ac.uk/

Text-only version Last updated 20 th May 2002 webmaster@cs.york.ac.uk

10. Gordon-Roberts, Nicholas About Dickenson College, the author's computer science classes, hobbies and games. http://www.dickinson.edu/~gordonrn

SITE UNDERCONSTRUCTION Please come back in the near future.....

11. KSU Department Of Mathematical Sciences: Welcome! Department of Mathematics and computer science. (Kent, OH, USA) http://www.math.kent.edu/

Site Search Directions Members Only About This Site Site Search Directions Members Only About This Site ... Unabridged Undergraduate Brochure

12. CSC: Consulting, Systems Integration And Outsourcing computer sciences Corporation provides consulting, systems integration and design, IT and business process outsourcing, applications software, and Web and http://www.csc.com/

Contact Us Careers Site Site Map CSC Portal ... Outsourcing From IT consulting to business process and technology services, our consulting services combine proven, disciplined approaches with real-world experience. Contact us about CSC's consulting services. When it comes to innovative, complex and mission-critical systems integration tasks, CSC’s experts have satisfied even the most demanding clients. Contact us about our global results-driven integration solutions and our proven industry expertise. Experience the results of outsourcing with CSC as your trusted partner. Contact us about CSC's end-to-end outsourcing solutions: Application Outsourcing Business Process Outsourcing IT Infrastructure Outsourcing There’s No Substitute for Experience. CSC’s global leadership in the information technology arena is founded on a 45-year record of delivering business results to clients worldwide. Our mission is to put IT to work in practical, bottom-line ways.

13. Bibliographies On Artificial Intelligence Part of the Collection of computer science Bibliographies, is searchable and browseable. http://liinwww.ira.uka.de/bibliography/Ai/

The Collection of Computer Science Bibliographies Up: Mirror of the Collection of Computer Science Bibliographies Home Bibliographies on Artificial Intelligence You can add bibliographies and references to this collection! See also the bibliographies on Logic Programming and Neural Networks Search all bibliographies in this section Query: Options case insensitive Case Sensitive partial word(s) exact online papers only Results Citation BibTeX Count Only Maximum of matches Help on: [ Syntax Options Improving your query Query examples Boolean operators: and and or . Use to group boolean subexpressions. Example: (specification or verification) and asynchronous #Refs Bibliography Date Bibliography of Work in Philosophy of Language, Semantics, Artificial Intelligence, and Assorted Related Topics Bibliography on Artificial Intelligence Bibliography on computational linguistics, systemic and functional linguistics, artificial intelligence and general linguistics Bibliography on Speech Recognition and Spoken Language Systems ... small bibliography on artificial intelligence Total number of references in this section Other Bibliographies on Artificial Intelligence liinwwwa@ira.uka.de

14. Sourcebank A collection of source code for various topics. http://www.devx.com/sourcebank/directorybrowse.asp?adType=&dir_id=653&sh

15. Networked Computer Science Technical Reference Library Networked computer science Technical Reference Library NCSTRL (Networked computer science Technical Reference Library) is a collection of legacy and current technical reports from over 100 http://rdre1.inktomi.com/click?u=http://www.ncstrl.org/&y=02DD48352F948907&a

16. Welcome To The Department Of Computer Science Read more. Logo, Department of computer science, Thomas M. Siebel Center for computer science, 201 N. Goodwin, Urbana, IL 618012302. http://www.cs.uiuc.edu/

This Week This month's calendar Announcements WCS Activities Distinguished Lectures Live and Archived web casts Siebel Center ... New floor plans Take a virtual walkthrough of Siebel Web cam Features Students //student content random_content(1); Faculty and Research //display research content random_content(2); In Memoriam : Michael Faiman 1935 Siebel Center Grand Opening and Dedication Festivities began Thursday night with the Cisco Distinguished Women in CS symposium, Tom Siebel "cut" the ribbon at the dedication , and the open house drew crowds watching the BFG competition and visiting the demos. Photos and videos now available. Read more Department of Computer Science, Thomas M. Siebel Center for Computer Science, 201 N. Goodwin, Urbana, IL 61801-2302. The Department is part of the College of Engineering at the University of Illinois at Urbana-Champaign Contact webmaster@cs.uiuc.edu with questions or comments on this page or academic@cs.uiuc.edu

17. Wolfram Burgard Professor of computer science at the University of Freiburg and head of the research lab for Autonomous Intelligent Systems. Areas of interest lie in Artificial Intelligence and mobile robots. http://www.informatik.uni-freiburg.de/~burgard/

18. Institute Of Mathematics And Computer Science Research topics, publications, news, links. http://www.math.md/imi-site/index_en

Institute of Mathematics and Computer Science of Academy of Sciences of Moldova Searching mode: "AND" "OR" Official information Institute structure Scientific researches Publications ... Design Visitors:

19. MIT Electrical Engineering And Computer Science About EECS. Admissions. Academics. Research. People. Corporate. Announcements. Calendar. seminars, lectures, events. Welcome to EECS. EECS News. Stata Center Opening. Muriel Medard wins Edgerton Award http://www-eecs.mit.edu/

About EECS history, facts, contact information Admissions how, where to apply Academics degree programs, courses Research labs, areas, supervisors People faculty, staff, students, alumni/ae Corporate industrial, affiliate programs Announcements faculty searches, awards, news Calendar seminars, lectures, events Welcome to EECS EECS News Stata Center Opening Muriel Medard wins Edgerton Award Goldwasser and Rivest elected to NAS membership 3336446 visits since Sep 15, 1994 Site Map this page this site Comments and inquiries welcome

20. FICS'2001 Fixed Points In Computer A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001. http://www.dsi.uniroma1.it/~labella/FICS.html

FICS'2001 Fixed Points in Computer Science FICS'2001 A Satellite Workshop to PLI'2001 September 8, 2001, Florence, Italy Program Committee J. Adamek(Braunschweig) R. Backhouse (Nottingham) S. Bloom (Hoboken NJ) R. De Nicola (Florence) Z. Esik (Szeged) I. Guessarian (Paris) W. Kuich (Vienna) A. Labella (Rome, chair) M. Mislove (Tulane) D. Niwinski (Warsaw) Invited speakers J. Adamek (Braunschweig) Z. Esik (Szeged) I. Guessarian (Paris) C. Stirling (Edinburgh) R. F. C. Walters (Sydney) Contact person Anna Labella dip. Scienze dell'Informazione Universita' La Sapienza via Salaria 113 00198, Rome, Italy labella@dsi.uniroma1.it phone: +39 06 49918355 fax: +39 06 8541842 Important Dates Submission: April 15, 2001 Notification: June 15, 2001 Aim : Fixed points play a fundamental role in several areas of computer science and logic by justifying induction and recursive definitions. The construction and properties of fixed points have been investigated in many different frameworks. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the fixed point operation in the different fields and formalisms.Previous workshops where held in 1998 in Brno and in 2000 in Paris. Topics :Construction and reasoning about properties of fixed points, categorical, metric and ordered fixed point models, continuous algebras, relation algebras, fixed points in process algebras and process calculi, regular algebras of finitary and infinitary languages, formal power series, tree automata and tree languages, infinite trees, the mu-calculus and other programming logics, fixed points in relation to dataflow and circuits, fixed points and the lambda calculus, fixed points in logic programming and data bases.

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 1     1-20 of 197    1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | 10  | Next 20