This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=pdflatex 2011.11.21) 30 AUG 2013 10:42 entering extended mode %&-line parsing enabled. **sample (./sample.tex LaTeX2e <2005/12/01> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (./sig-alternate.cls (/usr/share/texmf-texlive/tex/latex/graphics/epsfig.sty Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR) (/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) (/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-texlive/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/etc/texmf/tex/latex/config/graphics.cfg File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: pdftex.def on input line 90. (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def File: pdftex.def 2007/01/08 v0.04d Graphics/color for pdfTeX \Gread@gobject=\count79 )) \Gin@req@height=\dimen102 \Gin@req@width=\dimen103 ) \epsfxsize=\dimen104 \epsfysize=\dimen105 ) (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \@emptytoks=\toks15 \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. )) (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip41 For additional information on amsmath, use the `?' option. (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks16 \ex@=\dimen106 )) (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen107 ) (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count80 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count81 \leftroot@=\count82 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count83 \DOTSCASE@=\count84 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen108 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count85 \c@MaxMatrixCols=\count86 \dotsspace@=\muskip10 \c@parentequation=\count87 \dspbrk@lvl=\count88 \tag@help=\toks17 \row@=\count89 \column@=\count90 \maxfields@=\count91 \andhelp@=\toks18 \eqnshift@=\dimen109 \alignsep@=\dimen110 \tagshift@=\dimen111 \tagwidth@=\dimen112 \totwidth@=\dimen113 \lineht@=\dimen114 \@envbody=\toks19 \multlinegap=\skip42 \multlinetaggap=\skip43 \mathdisplay@stack=\toks20 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) Document Class 'sig-alternate' <23rd. May '12>. Modified by G.K.M. Tobin/Gerry Murray Based in part upon document Style `acmconf' <22 May 89>. Hacked 4/91 by shivers@cs.cmu.edu, 4/93 by theobald@cs.mcgill.ca Excerpts were taken from (Journal Style) 'esub2acm.cls'. ****** Bugs/comments/suggestions/technicalities to Gerry Murray -- murray@hq.ac m.org ****** Questions on the style, SIGS policies, etc. to Adrienne Griscti griscti@acm.org \footheight=\dimen115 \@maxsep=\dimen116 \@dblmaxsep=\dimen117 \aucount=\count92 \originalaucount=\count93 \auwidth=\dimen118 \auskip=\dimen119 \auskipcount=\count94 \auskip=\dimen120 \allauboxes=\dimen121 \addauthors=\toks21 \addauflag=\count95 \subtitletext=\toks22 \savesection=\count96 \sectioncntr=\count97 \c@figure=\count98 \c@table=\count99 \titleboxnotes=\toks23 \titleboxnoteflag=\count100 Document Class: sig-alternate 2012/05/23 - V2.5 - based on acmproc.cls V1.3 (/usr/share/texmf-texlive/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup6 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 47. ) \@acmtitlebox=\box28 \titlenotecount=\count101 \tntoks=\toks24 \tntokstwo=\toks25 \tntoksthree=\toks26 \tntoksfour=\toks27 \tntoksfive=\toks28 \catcount=\count102 \copyrightnotice=\toks29 \conf=\toks30 \confinfo=\toks31 \c@part=\count103 \c@section=\count104 \c@subsection=\count105 \c@subsubsection=\count106 \c@paragraph=\count107 Using 'Abbrev' bibliography style LaTeX Info: Redefining \cite on input line 1211. \bibindent=\dimen122 \colcntr=\count108 \saveb@x=\box29 \copyrtyr=\toks32 \acmcopyr=\toks33 \boilerplate=\toks34 \copyrightetc=\toks35 (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty Package: fontenc 2005/09/27 v1.99g Standard LaTeX package (/usr/share/texmf-texlive/tex/latex/base/t1enc.def File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 43. ) LaTeX Font Info: Try loading font information for T1+aer on input line 100. (/usr/share/texmf-texlive/tex/latex/ae/t1aer.fd File: t1aer.fd 1997/11/16 Font definitions for T1/aer. ))) (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) ) (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty \Urlmuskip=\muskip11 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. ) (/usr/share/texmf-texlive/tex/latex/graphics/color.sty Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC) (/etc/texmf/tex/latex/config/color.cfg File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive ) Package color Info: Driver file: pdftex.def on input line 130. ) (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH) ) (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty Package: hyperref 2007/02/07 v6.75r Hypertext links for LaTeX \@linkdim=\dimen123 \Hy@linkcounter=\count109 \Hy@pagecounter=\count110 (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2007/02/07 v6.75r Hyperref: PDFDocEncoding definition (HO) ) (/etc/texmf/tex/latex/config/hyperref.cfg File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive ) (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty Package: kvoptions 2006/08/22 v2.4 Connects package keyval with LaTeX options ( HO) ) Package hyperref Info: Hyper figures OFF on input line 2288. Package hyperref Info: Link nesting OFF on input line 2293. Package hyperref Info: Hyper index ON on input line 2296. Package hyperref Info: Plain pages OFF on input line 2303. Package hyperref Info: Backreferencing OFF on input line 2308. Implicit mode ON; LaTeX internals redefined Package hyperref Info: Bookmarks ON on input line 2444. LaTeX Info: Redefining \url on input line 2599. \Fld@menulength=\count111 \Field@Width=\dimen124 \Fld@charsize=\dimen125 \Choice@toks=\toks36 \Field@toks=\toks37 Package hyperref Info: Hyper figures OFF on input line 3102. Package hyperref Info: Link nesting OFF on input line 3107. Package hyperref Info: Hyper index ON on input line 3110. Package hyperref Info: backreferencing OFF on input line 3117. Package hyperref Info: Link coloring OFF on input line 3122. Package hyperref Warning: Option `pdfpagelabels' is turned off (hyperref) because \thepage is undefined. \c@Item=\count112 \c@Hfootnote=\count113 ) *hyperref using driver hpdftex* (/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2007/02/07 v6.75r Hyperref driver for pdfTeX \Fld@listcount=\count114 ) Package hyperref Info: Option `bookmarksnumbered' set `true' on input line 20. Package hyperref Info: Option `colorlinks' set `true' on input line 20. Package hyperref Info: Option `breaklinks' set `true' on input line 20. (./sample.aux LaTeX Warning: Label `RelatedSection' multiply defined. LaTeX Warning: Label `FutureWorkSection' multiply defined. ) \openout1 = `sample.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Try loading font information for T1+ptm on input line 43. (/usr/share/texmf-texlive/tex/latex/psnfss/t1ptm.fd File: t1ptm.fd 2001/06/04 font definitions for T1/ptm. ) (/usr/share/texmf/tex/context/base/supp-pdf.tex [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count115 \scratchdimen=\dimen126 \scratchbox=\box30 \nofMPsegments=\count116 \nofMParguments=\count117 \everyMPshowfont=\toks38 \MPscratchCnt=\count118 \MPscratchDim=\dimen127 \MPnumerator=\count119 \everyMPtoPDFconversion=\toks39 ) Package hyperref Info: Link coloring ON on input line 43. (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty Package: nameref 2006/12/27 v2.28 Cross-referencing by name of section (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty Package: refcount 2006/02/20 v3.0 Data extraction from references (HO) ) \c@section@level=\count120 ) LaTeX Info: Redefining \ref on input line 43. LaTeX Info: Redefining \pageref on input line 43. (./sample.out) (./sample.out) \@outlinefile=\write3 \openout3 = `sample.out'. LaTeX Font Info: Try loading font information for U+msa on input line 76. (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 76. (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+lasy on input line 76. (/usr/share/texmf-texlive/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) Overfull \hbox (1.91823pt too wide) in paragraph at lines 135--137 []\T1/ptm/m/n/9 People-driven Web tech-nolo-gies, in-clud-ing crowd-sourcing, o pen [] (./game.tex Underfull \vbox (badness 2753) has occurred while \output is active [] LaTeX Font Info: Try loading font information for T1+pcr on input line 10. (/usr/share/texmf-texlive/tex/latex/psnfss/t1pcr.fd File: t1pcr.fd 2001/06/04 font definitions for T1/pcr. ) Overfull \hbox (8.39972pt too wide) in paragraph at lines 5--14 \T1/pcr/m/n/9 / / plato . stanford . edu / archives / sum2009 / entries / [] [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} Non-PDF special ignored! ]) (./crowd-sourcing.tex Overfull \hbox (5.57182pt too wide) in paragraph at lines 30--32 []\T1/ptm/m/n/9 In http://www.logic.rwth-aachen.de/pub/graedel/backandforth.pdf [] Overfull \hbox (1.64748pt too wide) in paragraph at lines 67--71 []\T1/ptm/m/n/9 There are two kinds of sub-stan-ti-a-tion games: ei-ther the tw o schol- [] LaTeX Font Info: Font shape `T1/ptm/bx/n' in size <9> not available (Font) Font shape `T1/ptm/b/n' tried instead on input line 89. Overfull \hbox (19.61166pt too wide) in paragraph at lines 85--91 \T1/ptm/m/n/9 RG(c,P1,P2). If P2 is the fal-si-fier, P2 is \T1/ptm/b/n/9 un-der test \T1/ptm/m/n/9 in RG(c,P1,P2). [] [2] LaTeX Warning: Citation `Y' on page 3 undefined on input line 162. LaTeX Warning: Citation `Z' on page 3 undefined on input line 162. [3] Overfull \hbox (9.2781pt too wide) in paragraph at lines 405--409 []\T1/ptm/m/n/9 Initially, all schol-ars $\OML/cmm/m/it/9 s$ \T1/ptm/m/n/9 have the same ini-tial rep-u-ta-tion $\OML/cmm/m/it/9 rep\OT1/cmr/m/n/9 (\OML/cmm/m /it/9 s\OT1/cmr/m/n/9 ) = [] Overfull \hbox (9.0186pt too wide) in paragraph at lines 435--443 []\T1/ptm/m/n/9 We de-fine the like-li-hood that a scholar s is strong: $\OML/c mm/m/it/9 strength\OT1/cmr/m/n/9 (\OML/cmm/m/it/9 s\OT1/cmr/m/n/9 )\OML/cmm/m/i t/9 :$ [] [4] Overfull \hbox (47.9699pt too wide) in paragraph at lines 638--639 []\T1/ptm/m/n/9 compare to: http://www.ccs.neu.edu/home/lieber/papers/SCG-Paper /main.pdf [] Overfull \hbox (14.04042pt too wide) in paragraph at lines 656--660 \T1/ptm/m/n/9 Sentz: http://www.sandia.gov/epistemic/Reports/SAND2002-0835.pdf [] Overfull \hbox (224.39948pt too wide) in paragraph at lines 667--667 []\T1/pcr/m/n/9 http://www.umiacs.umd.edu/labs/cvl/pirl/vikas/publications/rayk ar_JMLR_2010_crowds.pdf[] [] Overfull \hbox (8.39972pt too wide) in paragraph at lines 699--699 []\T1/pcr/m/n/9 4. Less Competition (to support brainstorming)[] [] Overfull \hbox (46.19968pt too wide) in paragraph at lines 699--699 []\T1/pcr/m/n/9 Ahmed proposes a good way to deal with implied games.[] [] Overfull \hbox (24.5997pt too wide) in paragraph at lines 699--699 []\T1/pcr/m/n/9 What is the difference between lab decompositions[] [] Overfull \hbox (40.79968pt too wide) in paragraph at lines 699--699 []\T1/pcr/m/n/9 Karl works out three examples of lab decompositions.[] [] Overfull \hbox (1.80057pt too wide) in paragraph at lines 707--709 []\T1/ptm/m/n/9 examples: see knowl-edge base of claims and his-tory of claims [] ) (./negation.tex [5]) (./standard-protocols.tex Overfull \hbox (7.48756pt too wide) in paragraph at lines 22--24 []\T1/ptm/m/n/9 Substantiation: P de-fends c against O, i.e., P wins re-fute(c, P,O). [] Overfull \hbox (4.98543pt too wide) in paragraph at lines 29--31 []\T1/ptm/m/n/9 Substantiation: P re-futes c against O, i.e., P wins re-fute(c, O,P). [] Overfull \hbox (7.48798pt too wide) in paragraph at lines 41--45 []\T1/ptm/m/n/9 Substantiation: P de-fends c against O, i.e., it wins re-fute(c ,P,O). [] Overfull \hbox (7.48798pt too wide) in paragraph at lines 50--54 []\T1/ptm/m/n/9 Substantiation: P de-fends c against O, i.e., it wins re-fute(c ,P,O). [] ) (./pattern-applications.tex Overfull \hbox (154.71721pt too wide) in paragraph at lines 23--25 []\T1/ptm/m/n/9 intrinsically mo-ti-vat-ing in-struc-tion by Tom Mal-one http:/ /mailer.fsu.edu/ jkeller/EDP5217/Library/Curiosity [] Overfull \hbox (9.40477pt too wide) in paragraph at lines 27--27 []\secfnt POSITIVE TER-MI-NOL-OGY AP-PROACH [] Overfull \hbox (2.98836pt too wide) in paragraph at lines 46--49 []\T1/ptm/m/n/9 Protocol with refu-ta-tion pred-i-cate (P,O,predicate) (O,P,!pr edicate) [] [6] Overfull \hbox (16.60538pt too wide) in paragraph at lines 73--74 \T1/ptm/m/n/9 whose role is ‘-fal-si-fier’ who moves for the to-kens of (?/?y 1,…,?yn) [] [7]) (./learning.tex Overfull \hbox (29.62318pt too wide) in paragraph at lines 1--1 []\secfnt LESS COM-PET-I-TIVE PAY-OFF FOR LEARN- [] File: for-paper2.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 6--7 [] [] File: SCGStructure.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 14--15 [] [] File: SCG-CSP.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 22--23 [] [] File: SCG-CSP-Learning.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 30--31 [] [] File: blame-payoff-opt.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 39--40 [] [] File: GameTreeTable.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 47--48 [] [] File: GameTreeTableOpt.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 55--56 [] [] File: SCG-CSP-FSC-OPT.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 63--64 [] [] File: WS13-figures-agree.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 71--72 [] [] File: WS13-Opt-justification.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 79--80 [] [] File: WS13-all-blame.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 87--88 [] [] File: WS13-GTTOpt-master.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 95--96 [] [] LaTeX Warning: Citation `1' on page 8 undefined on input line 101. Overfull \hbox (6.33698pt too wide) in paragraph at lines 103--105 []\T1/ptm/m/n/9 refute()? (pdsp,odsp):(parp,oarp) agree()? (paso,oaso):(pdro,od ro) [] [8 <./for-paper2.jpg> <./SCGStructure.jpg>] [9 <./SCG-CSP.jpg> <./SCG-CSP-Learn ing.jpg> <./blame-payoff-opt.jpg> <./GameTreeTable.jpg>] [10 <./GameTreeTableOp t.jpg> <./SCG-CSP-FSC-OPT.jpg> <./WS13-figures-agree.jpg> <./WS13-Opt-justifica tion.jpg>] Underfull \vbox (badness 1642) has occurred while \output is active [] ) (./problem-solving.tex Overfull \hbox (2.09683pt too wide) in paragraph at lines 30--37 []\T1/ptm/m/n/9 Incremental ap-proach A suc-cess-ful refu-ta-tion of claim c is viewed [] [11 <./WS13-all-blame.jpg> <./WS13-GTTOpt-master.jpg>]) (./convergence.tex) (./accidental-refutation) (./rules.tex Overfull \hbox (51.11076pt too wide) in paragraph at lines 3--4 []\T1/ptm/m/n/9 http://www.ccs.neu.edu/home/lieber/evergreen/specker/SCG-Teach/ teach.html [] Overfull \hbox (1.50856pt too wide) in paragraph at lines 5--5 []\secfnt RULES FOR REP-U-TA-TION COM-PU-TA- [] Underfull \vbox (badness 10000) has occurred while \output is active [] [12]) (./example.tex Overfull \hbox (121.79959pt too wide) in paragraph at lines 48--48 []\T1/pcr/m/n/9 the number of iterations of the while loop for preference p / n^2,[] [] Overfull \hbox (3.2593pt too wide) in paragraph at lines 50--52 []\T1/ptm/m/n/9 where n is the num-ber of men = num-ber of women. Gale-Shapley- [] Overfull \hbox (57.30424pt too wide) in paragraph at lines 55--59 []\T1/ptm/m/n/9 "n":3, "man-Pref" : [[2,1,0],[1,0,2],[0,1,2]], "wom-an-Pref : [ [2,1,0],[1,3,2],[3,1,2]] [] Underfull \hbox (badness 10000) in paragraph at lines 55--59 [] Overfull \hbox (95.99286pt too wide) in paragraph at lines 62--63 []\T1/ptm/m/n/9 http://www.ccs.neu.edu/home/lieber/courses/algorithms/cs4800/sp 12/lectures/GaleShapley [] Overfull \hbox (2.07176pt too wide) in paragraph at lines 101--103 []\T1/ptm/m/n/9 Landau(Name, NOT, M(k,q), O(exp)) mean-ing M(k,q) !in O(exp) [] ) (./related.tex Overfull \hbox (2.99747pt too wide) in paragraph at lines 16--17 \T1/ptm/m/n/9 puter gen-er-ated sim-u-la-tions of his-tor-i-cal events, ex-plor -ing and learn- [] Overfull \hbox (154.71721pt too wide) in paragraph at lines 25--27 []\T1/ptm/m/n/9 intrinsically mo-ti-vat-ing in-struc-tion by Tom Mal-one http:/ /mailer.fsu.edu/ jkeller/EDP5217/Library/Curiosity [] [13] Overfull \hbox (11.55719pt too wide) in paragraph at lines 98--104 []\T1/ptm/m/n/9 Logical Games [[][]26[][]], [[][]12[][]] have a long his-tory g o-ing back to Socrates. [] Overfull \hbox (2.05243pt too wide) in paragraph at lines 121--132 \T1/ptm/m/n/9 re-quires care-ful and time-consuming bal-anc-ing. [[][]14[][]] d e-scribes tech- [] Overfull \hbox (12.4194pt too wide) in paragraph at lines 135--141 \T1/ptm/m/n/9 http://www.coaste.org/. A socio-technical ecosys-tem sup-ports st raight- [] [14] Overfull \hbox (1.21544pt too wide) in paragraph at lines 237--241 \T1/ptm/m/n/9 en-tific Method into the cy-ber-in-fras-truc-ture and make it wid ely avail- [] ) (./related-ws.tex Overfull \hbox (2.34087pt too wide) in paragraph at lines 26--42 []\T1/ptm/m/n/9 The most suc-cess-ful course (us-ing [[][]19[][]] as text-book) was in Spring [] [15] Overfull \hbox (11.55719pt too wide) in paragraph at lines 198--204 []\T1/ptm/m/n/9 Logical Games [[][]26[][]], [[][]12[][]] have a long his-tory g o-ing back to Socrates. [] Overfull \hbox (2.05243pt too wide) in paragraph at lines 221--232 \T1/ptm/m/n/9 re-quires care-ful and time-consuming bal-anc-ing. [[][]14[][]] d e-scribes tech- [] Overfull \hbox (12.4194pt too wide) in paragraph at lines 235--241 \T1/ptm/m/n/9 http://www.coaste.org/. A socio-technical ecosys-tem sup-ports st raight- [] [16] Overfull \hbox (1.21544pt too wide) in paragraph at lines 403--407 \T1/ptm/m/n/9 en-tific Method into the cy-ber-in-fras-truc-ture and make it wid ely avail- [] ) (./sample.bbl Underfull \vbox (badness 10000) has occurred while \output is active [] [17]) [18 ] (./sample.aux) LaTeX Warning: There were multiply-defined labels. ) Here is how much of TeX's memory you used: 4557 strings out of 95086 60366 string characters out of 1183254 115739 words of memory out of 1500000 7431 multiletter control sequences out of 10000+50000 51647 words of font info for 65 fonts, out of 1200000 for 2000 28 hyphenation exceptions out of 8191 39i,11n,39p,1262b,399s stack positions out of 5000i,500n,6000p,200000b,5000s {/usr/share/texmf-texlive/fonts/enc/dvips/base/8r.enc} Output written on sample.pdf (18 pages, 1135582 bytes). PDF statistics: 721 PDF objects out of 1000 (max. 8388607) 173 named destinations out of 1000 (max. 131072) 821 words of extra memory for PDF output out of 10000 (max. 10000000)