1. 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.

2. 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

3. Welcome To The MIT Laboratory For Computer Science MIT Logo, MIT Laboratory for computer science (Now computer science and Artificial Intelligence Laboratory) The Stata Center, Building 32 32 Vassar Street 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 Silicon Physical Random Functions Jae W. Lee, Fae Ghodrat, Blaise Gassend, Dwaine Clarke, Daihyun Lim, and Srinivas Devadas A Physical Random Function or Physical Unclonable Function (PUF) is a function that is easy to evaluate but hard to characterize [1] [2]. PUFs can be implemented in different ways, one of which is using silicon integrated circuits. read more...

4. 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.....

5. 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 Celebrating Transitions: In Honor of James Morris, Randal Bryant, Jeannette Wing and Chuck Thorpe Friday, June 4, 3:30 p.m., The Perlis Atrium Newell-Simon Hall More News in: Carnegie Mellon News Carnegie Mellon Magazine SCS Interview Series: Guess who you might see on the Allegheny River early in the morning?

6. 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

7. 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.

8. 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

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

10. 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

11. 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/

12. Stanford Computer Science Department computer science Department. Printer Friendly Version. Hide Menu. computer science Department 353 Serra Mall Stanford University Stanford CA 943059025 USA, 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

13. 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:

14. 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.

15. 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.

16. Berkeley CS Division Home Page Home EE Admissions Help Search UC Berkeley. Computer Research Association. The computer science Division. computer science Division 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

17. University Of Washington Computer Science & Engineering University of Washington computer science Engineering includes roughly thirty five faculty members, forty staff members, two hundred seventy five graduate 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 Mt. Rainier includes roughly forty 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

18. Andreas R. Blass University of Michigan, Ann Arbor Set theory, finite combinatorics, theoretical computer science. http://www.math.lsa.umich.edu/~ablass/

Andreas R. Blass Office: 3830 East Hall Mathematics Department University of Michigan (2072 East Hall 525 East University Ave.) Ann Arbor, MI 48109-1109 U.S.A. Office phone: (734) 763-1183 Dept. fax: (734) 763-0937 e-mail: ablass@umich.edu Research My research is primarily in mathematical logic, especially set theory, but it extends into other areas, including finite combinatorics, category theory, and theoretical computer science. Here are some of the subjects I've worked in recently. Set theory Infinitary combinatorics, especially ultrafilters on the natural numbers Cardinal characteristics of the continuum Applied set theory, especially in abelian group theory Category theory Topoi and their internal logic Logic of geometric morphisms Finite combinatorics Theoretical computer science Complexity theory Applications of mathematical logic Linear logic Game semantics Connection with cardinal characteristics Teaching During the fall semester, 2004, I am scheduled to teach Math 681 (Mathematical Logic) and Math 481 (Introduction to Mathematical Logic).

19. ArXiv.org E-Print Archive Open eprint archive with over 100,000 articles in physics, 10,000 in mathematics, and 1,000 in computer science. (Formerly called xxx; free) http://arxiv.org/

arXiv.org e-Print archive Automated e-print archives nlin math cs q-bio physics 17 Jan 2004 Endorsement system introduced. 15 Sep 2003 Announcement of New Quantitative Biology archive. For more info, see cumulative "What's New" pages. Robots Beware: indiscriminate automated downloads from this site are not permitted Physics Astrophysics astro-ph new recent abs find ... Condensed Matter cond-mat new recent abs find includes: Disordered Systems and Neural Networks Materials Science Mesoscopic Systems and Quantum Hall Effect Other ... General Relativity and Quantum Cosmology gr-qc new recent abs find ... High Energy Physics - Experiment hep-ex new recent abs find ... High Energy Physics - Lattice hep-lat new recent abs find ... High Energy Physics - Phenomenology hep-ph new recent abs find ... High Energy Physics - Theory hep-th new recent abs find ... Mathematical Physics math-ph new recent abs find ... Nuclear Experiment nucl-ex new recent abs find ... Nuclear Theory nucl-th new recent abs find ... Physics physics new recent abs find includes (see detailed description Accelerator Physics Atmospheric and Oceanic Physics Atomic Physics ... Quantum Physics quant-ph new recent abs find Mathematics Mathematics math new recent abs find includes (see detailed description Algebraic Geometry Algebraic Topology Analysis of PDEs ... Symplectic Geometry Nonlinear Sciences Nonlinear Sciences nlin new recent abs find includes (see detailed description Adaptation and Self-Organizing Systems Cellular Automata and Lattice Gases Chaotic Dynamics ... Pattern Formation and Solitons Computer Science Computing Research Repository CoRR new recent abs find includes (see detailed description Architecture Artificial Intelligence Computation and Language ... Computational Engineering, Finance, and Science

20. Extremal Combinatorics With Applications in computer science by Stasys Jukna. http://www.thi.informatik.uni-frankfurt.de/~jukna/EC_Book/

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