next up previous
Next: About this document ...

batchmode documentclass[12pt,apalike,final,here]report makeatletter par setlengthtextheight21cm setlengthoddsidemargin0.3cm setlengthtopmargin-0.2cm setlengthtextwidth15.2cm par usepackagerotating usepackagehtml usepackageepsfig usepackageapalike usepackagelongtable usepackagefancybox usepackagefloat par setcountertocdepth3 pagestylemyheadings par begintex2html_deferredrenewedcommandbaselinestretch1.2endtex2html_deferred par begintex2html_deferredprovidedcommandmat[1]mboxboldmath#1 endtex2html_deferred newfontbgcmr10 scaledmagstep4 begintex2html_deferredprovidedcommandbigzerolsmashhboxbg 0endtex2html_deferred begintex2html_deferredprovidedcommandbigzerousmashlower1.7exhboxbg 0endtex2html_deferred begintex2html_deferredprovidedcommandmb[1]makebox[#1pt]endtex2html_deferred begintex2html_deferredprovidedcommandsubt[1]_mboxtiny #1endtex2html_deferred begintex2html_deferredprovidedcommandsupt[1]^mboxtiny #1endtex2html_deferred begintex2html_deferredprovidedcommandHead[1] parindent 0pt bf #1 endtex2html_deferred par newfontsttcmtt8 par titleDeepForest ver.1.0 Manual par authorbf Satoshi OOta
vspace*2.3cm
small Department of Genetics
small School of Life Science
small The Graduate University for Advanced Studies par usepackage[dvips]color pagecolor[gray].7 par makeatletter count@=thecatcode`_ catcode`_=8 catcode`_=count@ makeatother letmathon= letmathoff=ifxAtBeginDocument undefined newedcommandAtBeginDocument[1]fi newboxsizebox setlengthhoffset0ptsetlengthvoffset0pt addtolengthtextheightfootskipsetlengthfootskip0pt addtolengthtextheighttopmarginsetlengthtopmargin0pt addtolengthtextheightheadheightsetlengthheadheight0pt addtolengthtextheightheadsepsetlengthheadsep0pt setlengthtextwidth451pt newwritelthtmlwrite makeatletter letrealnormalsize=normalsize globaltopskip=2sp letreal@float=float letrealend@float=end@float letreal@dbflt=dbflt letend@dblfloat=end@float letlargefloatcheck=relax newedcommandlthtmlhboxmathAadjustnormalsize setboxsizebox=hboxbgroup newedcommandlthtmlvboxmathAadjustnormalsize setboxsizebox=vboxbgroup letifinner=iffalse newedcommandlthtmlboxmathZnextnext currlist boxnext egroup newedcommandlthtmlmathtype[1] newedcommandlthtmllogmathlthtmltypeout l2hSize :lthtmlmathenv :thehtsizebox::thedpsizebox::thewdsizebox.preveqno newedcommandlthtmlfigureA[1]letsavefreelistfreelist lthtmlmathtype#1lthtmlvboxmathA newedcommandlthtmlfigureZlthtmlboxmathZlthtmllogmathcopysizebox globalletfreelistsavefreelist newedcommandlthtmldisplayA[1]lthtmlmathtype#1lthtmlvboxmathA newedcommandlthtmldisplayB[1]edefpreveqno (theequation) lthtmldisplayA#1leteqnnumrelax newedcommandlthtmldisplayZlthtmlboxmathZlthtmllogmathlthtmlsetmath newedcommandlthtmlinlinemathA[1]lthtmlmathtype#1lthtmlhboxmathA vrule height1.5ex width0pt newedcommandlthtmlinlineA[1]lthtmlmathtype#1lthtmlhboxmathA newedcommandlthtmlinlineZegroupifdimdpsizebox>0pt centerinlinemath filthtmllogmathhboxvrule width.1emvtopvbox kern.1emcopysizeboxifdimdpsizebox>0ptkern.1emelsekern.3ptfi ifdimhsize>wdsizebox hrule depth1ptfi newedcommandlthtmlinlinemathZegroupifdimdpsizebox>0pt centerinlinemath filthtmllogmathlthtmlsetmath par makeatletter tracingstats = 1 par begindocument pagestyleemptythispagestyleempty lthtmltypeout latex2htmlLength hsize=thehsize lthtmltypeout latex2htmlLength vsize=thevsize lthtmltypeout latex2htmlLength hoffset=thehoffset lthtmltypeout latex2htmlLength voffset=thevoffset lthtmltypeout latex2htmlLength topmargin=thetopmargin lthtmltypeout latex2htmlLength topskip=thetopskip lthtmltypeout latex2htmlLength headheight=theheadheight lthtmltypeout latex2htmlLength headsep=theheadsep lthtmltypeout latex2htmlLength parskip=theparskip lthtmltypeout latex2htmlLength oddsidemargin=theoddsidemargin makeatletter if@twosidelthtmltypeout latex2htmlLength evensidemargin=theevensidemargin elselthtmltypeout latex2htmlLength evensidemargin=theoddsidemarginfi makeatother newpageclearpage lthtmlinlinemathAtex2html_wrap_inline1961 1,2,mathinner cdotp cdotp cdotp ,20 lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par setcountertocdepth3 setcounterchapter-1 stepcounterchapter par begintex2html_deferredrenewedcommandbaselinestretch1.5endtex2html_deferred stepcountersection newpageclearpage lthtmlfigureAfigure153 beginfigure begincenter epsfxsize=15.0cm epsffiledeepforest_struct.epsendcenter endfigure lthtmlfigureZ hfilllthtmlcheckvsize clearpage par stepcountersubsection stepcountersubsection newpageclearpage lthtmldisplayAdisplaymath179 begindisplaymathpredicate(argument,cdots) :- guard | body, enddisplaymath lthtmldisplayZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmldisplayAdisplaymath182 begindisplaymathpredicate(argument,cdots) :- body, enddisplaymath lthtmldisplayZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlinlinemathAtex2html_wrap_inline679 leftarrow lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmldisplayAdisplaymath189 begindisplaymathforall o A([],o,o) enddisplaymath lthtmldisplayZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmldisplayAdisplaymath192 begindisplaymathforall m,i_1,i_2,o A(i_1,i_2,o) rightarrow A([m|i_1],i_2,[m|o]) enddisplaymath lthtmldisplayZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmldisplayAdisplaymath202 begindisplaymathforall l neg A([1,2],[3,4,5],l) rightarrow A([m|i_1],i_2,[m|o]) enddisplaymath lthtmldisplayZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlinlinemathAtex2html_wrap_inline711 forall l neg A([1,2],[3,4,5],l) lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlinlinemathAtex2html_wrap_inline715 exists l A([1,2],[3,4,5],l) lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par stepcountersubsection stepcountersubsubsection stepcountersubsubsection stepcountersubsubsection stepcountersection newpageclearpage lthtmldisplayAdisplaymath737 begindisplaymathfbox enddisplaymath lthtmldisplayZ hfilllthtmlcheckvsize clearpage par stepcountersubsection stepcountersubsection newpageclearpage lthtmlinlinemathAtex2html_wrap_inline739 Ai = sums=1n pis Ls(i) Ls(j) lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlinlinemathAtex2html_wrap_inline741 Bi = sumsi=1n pisi Lsi(i) sumsj=1n pisj Lsj(j) lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlinlinemathAtex2html_wrap_inline743 pis lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlinlinemathAtex2html_wrap_inline753 1 leq x leq n lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par stepcountersubsection stepcountersection newpageclearpage lthtmlinlinemathAtex2html_wrap_inline325 lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmldisplayAdisplaymath328 begindisplaymathl_s_k^(k) = [sum_s_i P_s_k s_i(v_i) l_s_i^(i)][ sum_s_j P_s_k s_j(v_j) l_s_j^(j)], enddisplaymath lthtmldisplayZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlfigureAfigure346 beginfigure begincenter epsfxsize=10.0cm epsffile09.epsendcenter endfigure lthtmlfigureZ hfilllthtmlcheckvsize clearpage par stepcountersection newpageclearpage lthtmlfigureAtable365 begintable par begincenter shadowbox beginminipage15cm begintex2html_preformbegintex2html_preform ["TROC","MEL","MRL","MHC","ACT"]. % Names of genes [ %Troponin C (Definition of topology) [0,"Vck","At"], %Myosin essential light chain (Definition of topology) [0,"Us",[["Vs","Vn"],"Vck"]], %Myosin regulatory light chain (Definition of topology) [0,["Vck","Us"],[["Vs","Vn"],"An"]], %Myosin heavy chain (Definition of topology) [0,["Vck","At"],[["Vs","Vn"],"An"]], %Actin (1) (Definition of topology) [0,"Ut",["Vs","Vck"]], %Actin (2) (Definition of topology) [0,"Un",[["An","At"],"Vn"]] ]. [12]. % No. of sorted results to be shown endtex2html_preformendtex2html_preform endminipage endcenterendtable lthtmlfigureZ hfilllthtmlcheckvsize clearpage par stepcountersection stepcountersubsection stepcountersubsection stepcountersection stepcountersubsection stepcountersubsection newpageclearpage lthtmldisplayAdisplaymath445 begindisplaymathd_ij = log (|l_i -l_j|+1), enddisplaymath lthtmldisplayZ hfilllthtmlcheckvsize clearpage par stepcountersubsection newpageclearpage lthtmldisplayAdisplaymath460 begindisplaymathd(a,b) = log(sum_i=1^20 (a_i - b_i)^2 + 1), enddisplaymath lthtmldisplayZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlinlinemathAtex2html_wrap_inline815 sumi=120 (ai - bi)2 lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlfigureAfigure479 beginfigure begincenter epsfysize=18.5cm epsffilefd.epsendcenter endfigure lthtmlfigureZ hfilllthtmlcheckvsize clearpage par stepcountersection stepcountersection newpageclearpage lthtmldisplayAdisplaymath503 begindisplaymathfracmbox(best sequential time)mbox(number of processors) leq mbox(parallel time) enddisplaymath lthtmldisplayZ hfilllthtmlcheckvsize clearpage par stepcountersubsection stepcountersubsection newpageclearpage lthtmlinlinemathAtex2html_wrap_inline817 2.2times1020 lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmldisplayAdisplaymath526 begindisplaymath1 times 3 times 5 times cdots times (2n-5)=frac(2n-5)!(n-3)!2^n-3. enddisplaymath lthtmldisplayZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlfigureAfigure534 beginfigure begincenter epsfxsize=12cm epsffilesite.epsendcenter endfigure lthtmlfigureZ hfilllthtmlcheckvsize clearpage par stepcountersubsection newpageclearpage lthtmlinlinemathAtex2html_wrap_inline827 1,2,cdots,20 lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlfigureAfigure552 beginfigure begincenter epsfxsize=13.5cm epsffileefficient.epsendcenter endfigure lthtmlfigureZ hfilllthtmlcheckvsize clearpage par stepcountersubsection newpageclearpage lthtmlinlinemathAtex2html_wrap_inline839 epsilon lthtmlinlinemathZ hfilllthtmlcheckvsize clearpage par stepcountersubsection newpageclearpage lthtmlfigureAfigure566 beginfigure begincenter epsfxsize=9.5cm epsffilespeed.epsendcenter endfigure lthtmlfigureZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlfigureAfigure575 beginfigure begincenter epsfxsize=12.0cm epsffilemyod1_10.epsendcenter endfigure lthtmlfigureZ hfilllthtmlcheckvsize clearpage par stepcountersubsection stepcountersubsubsection stepcountersubsection newpageclearpage lthtmlfigureAfigure594 beginfigure begincenter epsffilemerger.epsendcenter endfigure lthtmlfigureZ hfilllthtmlcheckvsize clearpage par newpageclearpage lthtmlfigureAfigure605 beginfigure begincenter epsffiletree_merger.epsendcenter endfigure lthtmlfigureZ hfilllthtmlcheckvsize clearpage par stepcountersection par enddocument


 
next up previous
Next: About this document ...
Satoshi OOta
1999-02-22