|
||||
|
Faculty |
avg
@ cs.ucsc.edu Office: E2-355 (831)459-4611 |
ALLEN VAN GELDER
Professor of Computer Science Education: B.S., Mathematics, Massachusetts Institute of Technology Ph.D., Computer Science, Stanford University |
![]() |
Office Hours, Fall 2022: avg @ cs.ucsc.eduMW 4:00 -- 5:00 plus appt. or drop-in
CSE016 Fall22 web page
|
||
|
||
sat2013-prefilled-lncs-copyright.pdf
CMPS 201 Fall 2012 web page Analysis of Algorithms |
Information on
Winter 2013 CMPS 132
Robots meta tag and robots.txt
According to
https://support.google.com/webmasters/answer/6062596?hl=en&ref_topic=6061961
robots.txt must be at the root of the website host.
We do not have privileges for that directory, so we should use meta tags
on school computer systems to avoid search engines.
See
https://developers.google.com/search/reference/robots_meta_tag
I think one puts the following in index.html in the "head" section
to ask robots not to search the directory in which index.html resides.
So do not put it in your primary web directory (PUBLIC_HTML usually).
<meta name="robots" content="noindex" />
c-adt.ps
c-adt.pdf
For information about
Computer Algorithms, Third Edition
by Sara Baase and myself,
please click here to see
Supplements
(including errata, clarifications, sample code, javaToC hints)
or shift-click to download
Supplements.tar
(about 320 KB)
or visit these links to other servers,
and use the Back button on your browser if you want to return to this page.
Prof. Baase's web site:
http://www-rohan.sdsu.edu/faculty/baase
AWL
Publisher's information
ISBN-13: 97802016124481612448
OBSOLETE Publisher's information
Prof. Ben Choi's web site at Louisiana Tech University for
PowerPoint slides to accompany the text.
He offered to make them available to other instructors.
http://www2.latech.edu/~choi/Bens/Teaching/Csc520/
Please click here to see
TPTPparser
(lex/yacc sources, linux/intel binary, sample input, README, tarball)
Please click here to see
http://jsat.ewi.tudelft.nl
(Journal of Satisfiability home page)
Information on dbx for C programs on Solaris machines
student-dbx-guide Text file,
basics of using dbx. See CASE 3 for why to use cc/dbx
rather than gcc/gdb.
student.dbxrc Sample dbx startup file,
text for Solaris, hopefully self-explanatory.
Please click here to see
Poster
directory with some examples of using latex to make a poster.
Please click here to see
CRA Best Practices Memo on Tenure Review (1999)
My Erdös number is 3, e.g. through the path AVG - Jeff Ullman - Ron Graham - PE. Also, my Erdös number of the second kind (where only two-authored papers count) is (at most) 7, through the path AVG - Jeff Ullman - John Hopcroft - Robert Tarjan - Andrew Yao - Nick Pippenger - Joel Spencer - PE. Thanks to Jan Johannsen for publicizing how to figure this out. Don't miss other interesting stuff on his home page, such as the Proof Complexity Theme Song.
Sixteenth International Conference on THEORY AND APPLICATIONS OF SATISFIABILITY TESTING --- SAT 2013 --- Helsinki, Finland, July 8-12, 2013
Visit this page of Raj Rajkumar to find out:
http://users.ece.cmu.edu/~raj/mars.html
Read the story of how a priority inversion problem in the
onboard software of the Mars Pathfinder was diagnosed and solved
while Pathfinder was on Mars.
Personality_rights.txt