Where results make sense

About us   |   Why use us?   |   Reviews   |   PR   |   Contact us

Topic: Category:Computer science

    Note: these results are not from the primary (high quality) database.

Ads by Google

In the News (Wed 30 May 12)

EXECUTIVE POWER

Iran

ANALYSIS

Pakistan

Family compact

category:computer_science Easily expand your search for category computer science at HighBeam Research, a collection of thousands of magazines, journals, newspapers and more. Read about category computer science in the free online encyclopedia and dictionary. Research category computer science in over 34 million articles www.articlesgalore.com /documents/Category:Computer_science

eBay — Computers Networking, Apple Macintosh Computers and Desktop PC Components items on eBay.com The eBay Computers & Networking category is the best place to outfit your office or home with the latest computers and gadgets at the best prices. Whether you are looking to upgrade your current computer system, build one from scratch, or purchase another system, eBay's Computers & Networking category is the ideal location. Whatever you use your computer for - schoolwork, gaming, internet surfing or work - you will appreciate a flat panel / LCD monitor. computers.listings.ebay.com /Technology-Books_Wholesale-Lots_W0QQfro...

Computer science - Wikipedia, the free encyclopedia Early computer science was strongly influenced by the work of mathematicians such as Kurt Gödel and Alan Turing, and there continues to be a useful interchange of ideas between the two fields in areas such as mathematical logic, category theory, domain theory, and algebra. Computer science is the study of the theoretical foundations of information and computation and their implementation and application in computer systems. Computer science began to be established as a distinct academic discipline in the 1960s, with the creation of the first computer science departments and degree programs (Denning 2000). en.wikipedia.org /wiki/Computer_science   (1318 words)

Category:Computer science - Wikipedia, the free encyclopedia The main article for this category is Computer science. Computer science is the study of the theoretical foundations of information and computation, and their implementation and application in computer systems. In practice, computer science includes a variety of topics relating to computers, which range from the abstract analysis of algorithms, formal grammars, etc. to more concrete subjects like programming languages, software, and computer hardware. en.wikipedia.org /wiki/Category:Computer_science   (181 words)

" + "NKU CS Dept: " + CATEGORY + " " + LINKTITLE + " Computer science students have the privilege of being on the inside of one of the most profound intellectual and creative developments in human history. Computer science is the study of the structure, transformation, and limits of information. In their final year computer science majors take a capstone project course in software engineering, in which teams of students compete to build a single complex software application. www.nku.edu /~csc/aboutcs.html   (452 words)

Category Computer science - the free encyclopedia In its most general sense, computer science (CS or compsci) is the study of computer engineering, although there are significant overlaps and no clear demarcation. computers, which range from the abstract analysis of algorithms, formal grammars, etc. to more concrete subjects like www.aaez.biz /?t=Category:Computer_science   (79 words)

University of Houston Computer Science Department The Department of Computer Science is proud to announce that in the 2006 UH Sigma Xi competition, Sean O'Malley and George Toderici of the Computational Biomedicine Laboratory (www.cbl.uh.edu), led by Dr. Ioannis A. Kakadiaris, have each won a poster award in the category of Graduate Computer/Computational Sciences and Math. Rakesh Verma moderated a panel on ``Automata Theory – Its Relevance to Computer Science Students and Course Contents’’ at the ACM SIGCSE 2006 symposium (March 1 – 4, 2006) in Houston. The Department of Computer science at the University of Houston is conducting a 10-week Research Experience for Undergraduates (REU) program this summer, funded by the National Science Foundation (NSF). www.cs.uh.edu   (481 words)

B.S. in Computer Science If permitted by the minor or second major department, courses taken in satisfaction for the minor or second major may also count toward any category other than Computer Science. The B.S. curriculum in Computer Science requires a minimum of 360 units and can be divided into the following sections: Four engineering or science courses are required, of which at least one must have a laboratory component and at least two must be from the same department. www.csd.cs.cmu.edu /education/bscs/currreq.html   (337 words)

University of Houston Computer Science Department The Department of Computer Science is proud to announce that in the 2006 UH Sigma Xi competition, Sean O'Malley and George Toderici of the Computational Biomedicine Laboratory (www.cbl.uh.edu), led by Dr. Ioannis A. Kakadiaris, have each won a poster award in the category of Graduate Computer/Computational Sciences and Math. The Department of Computer science at the University of Houston is conducting a 10-week Research Experience for Undergraduates (REU) program this summer, funded by the National Science Foundation (NSF). The Department of Computer Science Open House will introduce high school and community college students to the exciting opportunities available at the University of Houston. www.cs.uh.edu   (481 words)

spl’s soaplog » Science You are currently browsing the archives for the Science category. Or at least attempting to do so is extremely impractical or excessively far-fetched science — the amount of extra mass that would have to be added to Mars to fix the gravity is colossal, akin to moving the planet Mercury out of its orbit and crashing it into Mars, which is ofcourse ridiculous. They are also NOT computer or electrically controlled. spl.haxial.net /weblog/index.php?cat=11   (2687 words)

Employment Information This course is the senior level core programming course for the Computer Science program. The UNM Department of Computer Science also had me assist in teaching Computer Science 451, Programming Paradigms (Comparative Programming Languages). A previous version of the computer software and hardware inventory program, this one was developed first and then later adapted ot be web enabled. www.cs.unm.edu /~storm/Employment   (2687 words)

Effective Ways of Teaching Computer Science 1 using Java Computer Science 1 using Java (CS1) is a large course taught in the first semester for students entering the Science and Engineering Departments at the University of Iceland (UnIs). In category one, three questions were asked; whether or not the students had a computer at home ("yes" 86%), whether they thought large lectures effective ("no" 65%), and what they expected their final grade in the course to be (average 6,9 out of 10). Computing Science has 108 entering students and Electrical and Computer Engineering 59. www.hi.is /~oddur/publicat/98/cs1article.html   (1350 words)

Carleton University - School of Computer Science Congratulations to Loreto Bravo, Ph.D. Candidate of School of Computer Science, who won the best student presentation award (theoretical category) at the OCE-CITO Innovators Showcase. The School of Computer Science is proud to announce an agreement with Microsoft Canada for direct student software download of many Microsoft products ( XP,.Net, Visio, etc). Course offered in the winter term to improve a students competence in written oral and communication in computer science. www.scs.carleton.ca   (1350 words)

EduResources Portal - Advanced Search Results View the Site Map to picture the overall organization of the Portal and to navigate the resources by clicking on the category labels for the different types of resources. No login is required to Browse or Search the resources, to view the Full Record on each resource (with user ratings and comments), and to read Forum postings--just jump in and explore the navigation tools in the right hand column under the EOU logo. sage.eou.edu /SPT/SPT--AdvancedSearch.php?vn=Audience&vv=%22Undergradu...   (389 words)

BRICS Logic in Computer Science Seminar BRICS Logic Seminars.The seminars are the meeting point for the logic group at BRICS and for people interested in category theory and semantics. Logic of proofs formulated in the format `t is a proof of F' was found by S.Artemov in 1995. It turns out that the computational strength (in terms of provably total programs) of UWKL crucially depends on the amount of extensionality which is available in the underlying base system. www.brics.dk /Activities/lics   (1104 words)

Categorical Logic in Computer Science II The new formalisms and logic systems which result from the project should contribute to future developments in high-level programming language design and in mechanised checking or derivation of proofs of correctness of computer systems. category theory, logic, domain theory, linear logic, programming language semantics & logics, concurrency, type theory, constructive mathematics The cooperation between partners will be organised around a number of specialised workshops focusing on specific themes: sequentiality and stability, duality in domain theory, logic of inductive and recursive datatypes, subtypes and polymorphism in higher-order languages, higher order modal program logics, monadic programming language semantics, applied linear logic, computational content of classical logic, symbolic computation. www.sts.tu-harburg.de /projects/Esprit-BR/Synopses/Projects/6811.html   (427 words)

Institute of Computer Science, Gdansk Branch Our group of Mathematical Methods of Programming, belongs to the Institute of Computer Science of the Polish Academy of Sciences located in Warsaw. Activities in the fields of theoretical computer science include: The techniques used include: logics, category theory, logics and theory of institutions, homotopy theory and type theory. www.ipipan.gda.pl   (140 words)

alphaWorks : Global Business Object : Overview She has a master's degree in computer science from Shanghai Jiaotong University. He has a master's degree in computer science from Shanghai Tongji University. She has a master's degree in computer science from Zhejiang University. alphaworks.ibm.com /tech/gbo?open&ca=drs-aw&S_TACT=105AGX21&S_CMP=AWRSS   (983 words)

College of Engineering - University of Illinois at Urbana-Champaign Calculators with built-in computer algebra systems: Prohibited calculators in this category include all calculators in all of the following series: Calculators that can communicate wirelessly with other calculators www.engr.uiuc.edu /wyse/old2004/coaches.html   (234 words)

Category:Unsolved problems in computer science - Wikipedia, the free encyclopedia Pages in category "Unsolved problems in computer science" For more information, see the article about List of open problems in computer science. Unsolved problems in : Note: Use the unsolved tag: {{unsolvedFX}}, where "F" is any field in the sciences: and "X" is a concise "explanation" with or without links. en.wikipedia.org /wiki/Category:Unsolved_problems_in_computer_science   (114 words)

CWI Research Program Mathematics & the Environment The mathematical and computer sciences belong to this category, since by the complexity of most of the environmental pollution problems they can only be investigated with the use of computer models based on mathematical techniques. CWI is the Dutch national research institute for mathematics and computer science. Mathematical models and computer simulation are being used more and more as the appropriate means to gain insight and their use in solving research problems in many different application fields is well acknowledged. homepages.cwi.nl /~gollum/MaE.html   (4592 words)

Applied Mathematics(B.S.) Mathematics (135 and/or F145)*, F150, 160; 212, 245, 255, 295, 308, 350, 407, 408, 412, and either 414 or 424 9 hours of 300 and 400-level mathematics courses excluding 303, 307, 415, 416 (for computer science option, 3 hours must be 403) Economics C101, C102; Computer Science 121 One of the following concentrations: Computer Science: Computer Science 122, 201, 251, 252, 312; Either Mathematics 418 or 428 (may not be used to satisfy math elective course); two electives from Computer Science 300-400 level courses (excluding 340). 2.0 average in all mathematics courses and also in all 300, 400-level mathematics courses Minimum of 30 hours of 300 and 400 level courses Electives to complete 128 hours *Mathematics sequence may begin with 135 and/or F145 rather than 150 depending on preparation. www.utc.edu /Academic/Mathematics/applied.html   (333 words)

Categories Home Page In conjunction with the Category Theory Symposium at the Canadian Mathematical Society's (Northern) Summer 1998 Meeting, there was a workshop on the Applications of Category Theory to Computer Science, directed towards graduate students and young researchers, held at Mount Allison University (home of categories and TAC) Sackville, New Brunswick, Canada. CTCS '02 was the 9th Conference on Category Theory and Computer Science. Category Theory and Computer Science (CTCS'97): 4-6 September 1997, S. Margherita Ligure (Genoa), Italy. www.mta.ca /~cat-dist/categories.html   (333 words)

Discount Shopping Online :: Books Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7-11, 1995 : Proceedings (Lecture Notes in Computer Science, 953) : : Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7-11, 1995 : Proceedings (Lecture Notes in Computer Science, 953) Books : Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7-11, 1995 : Proceedings (Lecture Notes in Computer Science, 953) Books and other discount products Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7-11, 1995 : Proceedings (Lecture Notes in Computer Science, 953) brought to you by Books Publications www.bookspublications.com /section/Books/Author/Biennial+Conference+on+Category+Theory+and+Computer+Science+1995++Camb   (333 words)

The Incredible Shrinking Pipeline As illustrated, the bulk of the degrees awarded are in the general computer science category, with information science and systems a distant second. The pipeline shrinkage problem concerning women in computer science is a known phenomenon; we illustrate the phenomenon in Figure 1. Many of us in computer science are aware of the pipeline shrinkage problem; the pipeline represents the ratio of women involved in computer science from high school to graduate school. www.mines.edu /fs_home/tcamp/cacm/paper.html   (4005 words)

Functor Categories and Two-Level Languages - Moggi (ResearchIndex) In M. Nivat and A. Arnold, editors, Foundations of Software Science and Computation Structures, FoSSaCS'98, Lecture Notes in Computer Science, Lisbon, Portugal, April 1998. @article{ moggi98functor, author = "Eugenio Moggi", title = "Functor Categories and Two-Level Languages", journal = "Lecture Notes in Computer Science", volume = "1378", pages = "211+", year = "1998", url = "citeseer.ist.psu.edu/moggi98functor.html" } Abstract: We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. citeseer.ist.psu.edu /moggi98functor.html   (495 words)

THE HISTORY OF COMPUTING This collection of materials relating to the history of computing is provided courtesy of the Department of Computer Science at Virginia Tech, and is sponsored in part by a grant from the National Science Foundation (CDA-9312611). The computer was named the Machine of the Year in 1982 by Time Magazine. Lee, until 1995 Editor-in-Chief of the IEEE Annals of the History of Computing, past chair of the IEEE Computer Society History of Computing Committee and current chair of the IFIP Working Group 9.7 (History of Computing). ei.cs.vt.edu /~history   (1377 words)

yourDictionary.com • Specialty Dictionaries Elsevier's Dictionary of Computer Science and Mathematics (CD-ROM) Elsevier's Dictionary of Computer Science and Mathematics (Book) A Glossary of Computer Oriented Abbreviations and Acronyms www.yourdictionary.com /diction4.html   (591 words)

Science studies Category:History of science Category:Philosophy of science Category:Sociology Category:Anthropology Science studies The prinicipal focus of the Science Library's collection, one of the largest among college science libraries, is the support of the curriculum in Astronomy, Biology, Chemistry, Computer Science, Exercise and Sport Studies, Geology, History of Science, Mathemaics, Physics, and Psychology. Its practitioners often come from a wide variety of disciplines, usually history of science and technology, sociology of science, philosophy of science, anthropology, but also sometimes literature, art history, cultural studies, gender studies, history of consciousness, medicine, and law. www.omniknow.com /common/wiki.php?in=en&term=Sociology_of_science_and_technology   (2151 words)

RFC 1837 (rfc1837) - Representing Tables and Subtrees in the X.500 Directo The table might be named as: CN=domain-nicknames, CN=Bells, OU=Computer Science, O=University College London, C=GB To represent a mapping in this table from "euclid" to "bloomsbury.ac.uk", the entry: CN=euclid, CN=domain-nicknames, CN=Bells, OU=Computer Science, O=University College London, C=GB will contain the attribute: TextTableValue=bloomsbury.ac.uk A second example, showing the use of DistinguishedNameEntry is now given. Consider again the MTA: CN=Bells, OU=Computer Science, O=University College London, C=GB Suppose that the MTA needs a table mapping from MTA Name to bilateral agreement information of that MTA. Using a non-standard notation, the Distinguished Name of the table entry is: DistinguishedNameTableValue=, CN=MTA Bilateral Agreements, CN=Bells, OU=Computer Science, O=University College London, C=GB 2. www.faqs.org /rfcs/rfc1837.html   (2151 words)

Try your search on: Qwika (all wikis)

About us   |   Why use us?   |   Reviews   |   Press   |   Contact us   Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.