%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@sunburst.math.utah.edu on Fri Jul 24 08:22:34 MDT 2009 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1}~\cite{#2}} \fi \NAMECITE{$\Omega$}{% Autexier:2008:OTP% }. \NAMECITE{$\pi$}{% Bortolussi:2009:HDS% }. \NAMECITE{-Calculus}{% Bortolussi:2009:HDS% }. \NAMECITE{Algebra}{% Gu:2007:UCA% }. \NAMECITE{Algebraic}{% Romanovski:2007:BPP% }. \NAMECITE{Algorithmic}{% Tiskin:2008:SLS% }. \NAMECITE{Algorithms}{% Banerjee:2008:EAV% }. \NAMECITE{Allowing}{% Chan:2008:NOC% }. \NAMECITE{Analysis}{% Niu:2008:AAS% }. \NAMECITE{Analytic}{% vanderHoeven:2007:EAC% }. \NAMECITE{{AND/\penalty0{}OR}}{% Tamura:2009:ASA% }. \NAMECITE{Application}{% Ganzha:2008:ESH% }. \NAMECITE{Applications}{% Din:2007:TSC% }. \NAMECITE{Approach}{% Feinsilver:2007:IAF% }. \NAMECITE{Approaches}{% Niu:2008:AAS% }. \NAMECITE{Approximate}{% Sharma:2007:RAZ% }. \NAMECITE{Approximation}{% Ghosh:2007:ACS% }. \NAMECITE{Assignment}{% Banerjee:2008:EAV% }. \NAMECITE{{ATP}}{% Urban:2008:ABC% }. \NAMECITE{{ATP}-based}{% Urban:2008:ABC% }. \NAMECITE{Attractor}{% Tamura:2009:ASA% }. \NAMECITE{Automata}{% Beal:2008:UA% }. \NAMECITE{Automated}{% Boulier:2009:TAR% }. \NAMECITE{Automatic}{% Cohen:2008:APG% }. \NAMECITE{{Banach}}{% Sharma:2007:RAZ% }. \NAMECITE{based}{% Urban:2008:ABC% }. \NAMECITE{Bases}{% Zhou:2007:CGB% }. \NAMECITE{Behavior}{% Siebert:2009:DBB% }. \NAMECITE{Bifurcation}{% Sturm:2009:IAL% }. \NAMECITE{Bifurcations}{% Romanovski:2007:BPP% }. \NAMECITE{{Bill}}{% Plaice:2008:HBW% }. \NAMECITE{Biochemical}{% Boulier:2009:TAR% }. \NAMECITE{Biological}{% Niu:2008:AAS% }. \NAMECITE{Biology}{% Sturm:2009:IAL% }. \NAMECITE{Bioregulatory}{% Siebert:2009:DBB% }. \NAMECITE{Boolean}{% Siebert:2009:DBB,% Kosub:2008:DRF% }. \NAMECITE{Calculation}{% Pearson:2007:SSC% }. \NAMECITE{Calculus}{% Bortolussi:2009:HDS% }. \NAMECITE{Canonical}{% Feinsilver:2007:IAF% }. \NAMECITE{{Cartesian}}{% Plaice:2008:LTI% }. \NAMECITE{Certify}{% Gu:2007:UCA% }. \NAMECITE{Clocks}{% Orgun:2008:KRR% }. \NAMECITE{Cluster}{% Giancarlo:2008:TCC% }. \NAMECITE{Coefficients}{% Zhou:2007:CGB% }. \NAMECITE{Common}{% Chan:2008:NOC% }. \NAMECITE{Community}{% Chen:2008:CSN% }. \NAMECITE{Comparison}{% Tiskin:2008:SLS% }. \NAMECITE{Completely}{% Shemyakova:2007:PFS% }. \NAMECITE{Complex}{% Sekigawa:2007:LPC% }. \NAMECITE{Complexity}{% Ilie:2009:CCE% }. \NAMECITE{Computation}{% Richardson:2007:ZTC% }. \NAMECITE{Computational}{% Giancarlo:2008:TCC% }. \NAMECITE{Computations}{% Selivanov:2008:WRI% }. \NAMECITE{Computing}{% Trefethen:2007:CNF% }. \NAMECITE{Concept}{% Farago:2008:GTD% }. \NAMECITE{Conditions}{% Din:2007:TSC% }. \NAMECITE{Conic}{% Ghosh:2007:ACS% }. \NAMECITE{Constants}{% Richardson:2007:ZTC% }. \NAMECITE{Continuation}{% vanderHoeven:2007:EAC% }. \NAMECITE{Convergence}{% Gu:2007:UCA% }. \NAMECITE{{Cross}}{% Urban:2008:ABC% }. \NAMECITE{Data}{% Giancarlo:2008:TCC% }. \NAMECITE{Dataflow}{% Plaice:2008:LTI% }. \NAMECITE{Declarative}{% Orchard:2008:ILD% }. \NAMECITE{Degenerate}{% Iliopoulos:2008:NAP% }. \NAMECITE{Degrees}{% Finkel:2008:WDI% }. \NAMECITE{Density}{% Farago:2008:GTD% }. \NAMECITE{Deriving}{% Siebert:2009:DBB% }. \NAMECITE{Description}{% Youssef:2008:RRH% }. \NAMECITE{Detection}{% Tamura:2009:ASA% }. \NAMECITE{Dichotomy}{% Kosub:2008:DRF% }. \NAMECITE{Differential}{% Zhou:2007:CGB% }. \NAMECITE{Disambiguation}{% Coen:2008:SDE% }. \NAMECITE{Discovery}{% Giancarlo:2008:TCC% }. \NAMECITE{Disease}{% Kahoui:2009:SDF% }. \NAMECITE{Distributed}{% Iliopoulos:2008:NAP% }. \NAMECITE{{DNA}}{% Iliopoulos:2008:NAP% }. \NAMECITE{{DNA/\penalty0{}RNA}}{% Iliopoulos:2008:NAP% }. \NAMECITE{Documents}{% Aly:2008:ISS% }. \NAMECITE{Dynamical}{% Kosub:2008:DRF% }. \NAMECITE{Dynamics}{% Siebert:2009:DBB% }. \NAMECITE{Editorial}{% Wang:2007:E% }. \NAMECITE{Effective}{% vanderHoeven:2007:EAC% }. \NAMECITE{Efficient}{% Banerjee:2008:EAV% }. \NAMECITE{Elimination}{% Yoshida:2008:IPS% }. \NAMECITE{Epidemiological}{% Kahoui:2009:SDF% }. \NAMECITE{Epidemiology}{% McCaig:2009:IPS% }. \NAMECITE{Equations}{% Ganzha:2008:ESH% }. \NAMECITE{Equilibria}{% Kahoui:2009:SDF% }. \NAMECITE{Errors}{% Apostolico:2008:SUW% }. \NAMECITE{Exact}{% Ganzha:2008:ESH% }. \NAMECITE{Existence}{% Kosub:2008:DRF% }. \NAMECITE{Expanded}{% Altamimi:2008:MQL% }. \NAMECITE{Experiments}{% Urban:2008:ABC% }. \NAMECITE{Extend}{% Davenport:2008:FEO% }. \NAMECITE{Extrapolation}{% Ilie:2009:CCE% }. \NAMECITE{Factorable}{% Shemyakova:2007:PFS% }. \NAMECITE{Factorization}{% Chen:2008:LZF% }. \NAMECITE{Factorizations}{% Shemyakova:2007:PFS% }. \NAMECITE{First}{% Urban:2008:ABC% }. \NAMECITE{Fixed}{% Kosub:2008:DRF% }. \NAMECITE{Fixed-Point}{% Kosub:2008:DRF% }. \NAMECITE{Foreword}{% Yap:2007:F% }. \NAMECITE{Format}{% Kohlhase:2008:USM% }. \NAMECITE{{Fourth}}{% Shemyakova:2007:PFS% }. \NAMECITE{Free}{% Kahoui:2009:SDF% }. \NAMECITE{Freedom}{% Davenport:2008:FEO% }. \NAMECITE{Functional}{% Charalambidis:2008:EII% }. \NAMECITE{Functions}{% Trefethen:2007:CNF% }. \NAMECITE{General}{% Farago:2008:GTD% }. \NAMECITE{Get}{% Coen:2008:SDE% }. \NAMECITE{Global}{% Gu:2007:UCA% }. \NAMECITE{Graph}{% Cohen:2008:APG% }. \NAMECITE{Graphs}{% Farago:2008:GTD% }. \NAMECITE{{Gr{\"o}bner}}{% Zhou:2007:CGB% }. \NAMECITE{Historical}{% Orgun:2008:QHD% }. \NAMECITE{Hit}{% Youssef:2008:RRH% }. \NAMECITE{Honour}{% Plaice:2008:HBW% }. \NAMECITE{{Hopf}}{% Sturm:2009:IAL% }. \NAMECITE{Hybrid}{% Bortolussi:2009:HDS% }. \NAMECITE{Hyperbolic}{% Ganzha:2008:ESH% }. \NAMECITE{Identifying}{% Aly:2008:ISS% }. \NAMECITE{{IL}-System}{% Yoshida:2008:IPS% }. \NAMECITE{Implementation}{% Charalambidis:2008:EII% }. \NAMECITE{Individuals}{% McCaig:2009:IPS% }. \NAMECITE{Inference}{% Yoshida:2008:IPS% }. \NAMECITE{Infinitary}{% Finkel:2008:WDI% }. \NAMECITE{Infinite}{% Selivanov:2008:WRI% }. \NAMECITE{Instead}{% Trefethen:2007:CNF% }. \NAMECITE{Integrating}{% Orchard:2008:ILD% }. \NAMECITE{Integration}{% Orgun:2008:KRR% }. \NAMECITE{Intensional}{% Plaice:2008:LTI% }. \NAMECITE{Interval}{% Sekigawa:2007:LPC% }. \NAMECITE{Inversion}{% Feinsilver:2007:IAF% }. \NAMECITE{Investigating}{% Sturm:2009:IAL% }. \NAMECITE{Isolation}{% Zhang:2007:NMR% }. \NAMECITE{Iteration}{% Plaice:2008:LTI% }. \NAMECITE{Kinetic}{% Ganzha:2008:ESH% }. \NAMECITE{Knowledge}{% Orgun:2008:KRR% }. \NAMECITE{Language}{% Altamimi:2008:MQL% }. \NAMECITE{Languages}{% Charalambidis:2008:EII% }. \NAMECITE{{\LaTeX}}{% Kohlhase:2008:USM% }. \NAMECITE{Lazy}{% Charalambidis:2008:EII% }. \NAMECITE{{Lempel}}{% Chen:2008:LZF% }. \NAMECITE{Less}{% Chen:2008:LZF% }. \NAMECITE{Linear}{% Shemyakova:2007:PFS% }. \NAMECITE{Lines}{% Orgun:2008:QHD% }. \NAMECITE{local}{% Tiskin:2008:SLS% }. \NAMECITE{Location}{% Sekigawa:2007:LPC% }. \NAMECITE{Logic}{% Orgun:2008:KRR% }. \NAMECITE{Logical}{% Sturm:2009:IAL% }. \NAMECITE{{Lucid}}{% Plaice:2008:LTI% }. \NAMECITE{Maps}{% Romanovski:2007:BPP% }. \NAMECITE{Markup}{% Kohlhase:2008:USM% }. \NAMECITE{Matching}{% Iliopoulos:2008:NAP% }. \NAMECITE{Math}{% Altamimi:2008:MQL% }. \NAMECITE{Mathematical}{% Aly:2008:ISS% }. \NAMECITE{Matrix}{% Feinsilver:2007:IAF% }. \NAMECITE{{mega}}{% Autexier:2008:OTP% }. \NAMECITE{Method}{% Zhang:2007:NMR% }. \NAMECITE{Methods}{% Ilie:2009:CCE% }. \NAMECITE{Microarray}{% Giancarlo:2008:TCC% }. \NAMECITE{Mismatch}{% Apostolico:2008:SUW% }. \NAMECITE{{Mizar}}{% Urban:2008:ABC% }. \NAMECITE{Model}{% Ganzha:2008:ESH% }. \NAMECITE{Models}{% Boulier:2009:TAR% }. \NAMECITE{Multiple}{% Orgun:2008:QHD% }. \NAMECITE{Multivariate}{% Din:2007:TSC% }. \NAMECITE{Mutations}{% Chan:2008:NOC% }. \NAMECITE{Networks}{% Chen:2008:CSN% }. \NAMECITE{Non}{% Chan:2008:NOC% }. \NAMECITE{Non-overlapping}{% Chan:2008:NOC% }. \NAMECITE{Nonisomorphism}{% Cohen:2008:APG% }. \NAMECITE{Nonplanar}{% Tamura:2009:ASA% }. \NAMECITE{Numbers}{% Trefethen:2007:CNF% }. \NAMECITE{Numerical}{% Gu:2007:UCA% }. \NAMECITE{Numerically}{% Trefethen:2007:CNF% }. \NAMECITE{Object}{% Orchard:2008:ILD% }. \NAMECITE{Object-Orientation}{% Orchard:2008:ILD% }. \NAMECITE{{ODE}}{% Boulier:2009:TAR% }. \NAMECITE{{OpenMath}}{% Davenport:2008:FEO% }. \NAMECITE{Operators}{% Zhou:2007:CGB% }. \NAMECITE{Optimization}{% Gu:2007:UCA% }. \NAMECITE{{Order}}{% Shemyakova:2007:PFS% }. \NAMECITE{Organization}{% Autexier:2008:OTP% }. \NAMECITE{Orientation}{% Orchard:2008:ILD% }. \NAMECITE{overlapping}{% Chan:2008:NOC% }. \NAMECITE{Paradigm}{% Orchard:2008:ILD% }. \NAMECITE{Parametric}{% Shemyakova:2007:PFS% }. \NAMECITE{Partial}{% Shemyakova:2007:PFS% }. \NAMECITE{Pattern}{% Iliopoulos:2008:NAP% }. \NAMECITE{{\penalty0{}OR}}{% Tamura:2009:ASA% }. \NAMECITE{{\penalty0{}RNA}}{% Iliopoulos:2008:NAP% }. \NAMECITE{Periodic}{% Romanovski:2007:BPP% }. \NAMECITE{Perturbation}{% Ganzha:2008:ESH% }. \NAMECITE{Planar}{% Tamura:2009:ASA% }. \NAMECITE{Plane}{% Shemyakova:2007:PFS% }. \NAMECITE{Point}{% Kosub:2008:DRF% }. \NAMECITE{Points}{% Romanovski:2007:BPP% }. \NAMECITE{Polynomial}{% Din:2007:TSC% }. \NAMECITE{Polynomials}{% Feinsilver:2007:IAF% }. \NAMECITE{Populations}{% McCaig:2009:IPS% }. \NAMECITE{Possible}{% Mancilla:2008:PWV% }. \NAMECITE{Probabilities}{% Yoshida:2008:IPS% }. \NAMECITE{Problems}{% Kosub:2008:DRF% }. \NAMECITE{Process}{% Gu:2007:UCA% }. \NAMECITE{Programming}{% Plaice:2008:LTI% }. \NAMECITE{Proof}{% Cohen:2008:APG% }. \NAMECITE{Proofs}{% Urban:2008:ABC% }. \NAMECITE{Propagation}{% Autexier:2008:OTP% }. \NAMECITE{Pseudozero}{% Graillat:2007:PSR% }. \NAMECITE{Pseudozeros}{% Sekigawa:2007:LPC% }. \NAMECITE{Quantifier}{% Yoshida:2008:IPS% }. \NAMECITE{Query}{% Altamimi:2008:MQL% }. \NAMECITE{Querying}{% Orgun:2008:QHD% }. \NAMECITE{Random}{% Ganzha:2008:ESH% }. \NAMECITE{Ranking}{% Youssef:2008:RRH% }. \NAMECITE{Rational}{% Finkel:2008:WDI% }. \NAMECITE{Reaction}{% Boulier:2009:TAR% }. \NAMECITE{Real}{% Zhang:2007:NMR% }. \NAMECITE{Reasoning}{% Orgun:2008:KRR% }. \NAMECITE{Reduced}{% Nabeshima:2009:RGB% }. \NAMECITE{Reducibility}{% Selivanov:2008:WRI% }. \NAMECITE{Reduction}{% Boulier:2009:TAR% }. \NAMECITE{Relations}{% Finkel:2008:WDI% }. \NAMECITE{Relevance}{% Youssef:2008:RRH% }. \NAMECITE{Representation}{% Orgun:2008:KRR% }. \NAMECITE{Resultants}{% Pearson:2007:SSC% }. \NAMECITE{Results}{% Kosub:2008:DRF% }. \NAMECITE{Rid}{% Coen:2008:SDE% }. \NAMECITE{Ring}{% Zhou:2007:CGB% }. \NAMECITE{Rings}{% Zhou:2007:CGB% }. \NAMECITE{Robust}{% Sharma:2007:RAZ% }. \NAMECITE{Root}{% Zhang:2007:NMR% }. \NAMECITE{Saving}{% Pearson:2007:SSC% }. \NAMECITE{Scientific}{% Richardson:2007:ZTC% }. \NAMECITE{Scoring}{% Apostolico:2008:SUW% }. \NAMECITE{Search}{% Youssef:2008:RRH% }. \NAMECITE{Second}{% Shemyakova:2007:PFS% }. \NAMECITE{Second-}{% Shemyakova:2007:PFS% }. \NAMECITE{Semantic}{% Kohlhase:2008:USM% }. \NAMECITE{Semi}{% Tiskin:2008:SLS% }. \NAMECITE{Semi-local}{% Tiskin:2008:SLS% }. \NAMECITE{Sequences}{% Iliopoulos:2008:NAP% }. \NAMECITE{Set}{% Graillat:2007:PSR% }. \NAMECITE{Sign}{% Din:2007:TSC% }. \NAMECITE{Simple}{% Richardson:2007:ZTC% }. \NAMECITE{Singleton}{% Tamura:2009:ASA% }. \NAMECITE{Solutions}{% Ganzha:2008:ESH% }. \NAMECITE{Solve}{% Sturm:2009:IAL% }. \NAMECITE{Some}{% Romanovski:2007:BPP% }. \NAMECITE{Space}{% Sharma:2007:RAZ% }. \NAMECITE{Splines}{% Ghosh:2007:ACS% }. \NAMECITE{Spurious}{% Coen:2008:SDE% }. \NAMECITE{Stability}{% Niu:2008:AAS% }. \NAMECITE{Stochastic}{% Yoshida:2008:IPS% }. \NAMECITE{String}{% Tiskin:2008:SLS% }. \NAMECITE{Structures}{% Chen:2008:CSN% }. \NAMECITE{Subnetwork}{% Siebert:2009:DBB% }. \NAMECITE{Subscripts}{% Aly:2008:ISS% }. \NAMECITE{Substrings}{% Chan:2008:NOC% }. \NAMECITE{Superscripts}{% Aly:2008:ISS% }. \NAMECITE{Symbol}{% Shemyakova:2007:PFS% }. \NAMECITE{Symbolic}{% Pearson:2007:SSC% }. \NAMECITE{System}{% Yoshida:2008:IPS% }. \NAMECITE{Systems}{% Ganzha:2008:ESH% }. \NAMECITE{Techniques}{% Tiskin:2008:SLS% }. \NAMECITE{Temporal}{% Orgun:2008:KRR% }. \NAMECITE{Testing}{% Din:2007:TSC% }. \NAMECITE{Tests}{% Richardson:2007:ZTC% }. \NAMECITE{Them}{% Coen:2008:SDE% }. \NAMECITE{Third}{% Shemyakova:2007:PFS% }. \NAMECITE{Third-}{% Shemyakova:2007:PFS% }. \NAMECITE{Time}{% Chen:2008:LZF% }. \NAMECITE{Time-Lines}{% Orgun:2008:QHD% }. \NAMECITE{Tractable}{% Farago:2008:GTD% }. \NAMECITE{Transformation}{% Autexier:2008:OTP% }. \NAMECITE{{TransLucid}}{% Plaice:2008:LTI% }. \NAMECITE{Tutorial}{% Giancarlo:2008:TCC% }. \NAMECITE{Unambiguous}{% Beal:2008:UA% }. \NAMECITE{Univariate}{% Zhang:2007:NMR% }. \NAMECITE{Unusual}{% Apostolico:2008:SUW% }. \NAMECITE{Using}{% Gu:2007:UCA% }. \NAMECITE{Utility}{% Davenport:2008:FEO% }. \NAMECITE{Variants}{% Banerjee:2008:EAV% }. \NAMECITE{Varying}{% Apostolico:2008:SUW% }. \NAMECITE{{Verhulst}}{% Ganzha:2008:ESH% }. \NAMECITE{{Verification}}{% Urban:2008:ABC% }. \NAMECITE{Versioning}{% Mancilla:2008:PWV% }. \NAMECITE{via}{% Feinsilver:2007:IAF% }. \NAMECITE{{Wadge}}{% Plaice:2008:HBW% }. \NAMECITE{Weighted}{% Banerjee:2008:EAV% }. \NAMECITE{Wildcards}{% Altamimi:2008:MQL% }. \NAMECITE{Words}{% Apostolico:2008:SUW% }. \NAMECITE{Worlds}{% Mancilla:2008:PWV% }. \NAMECITE{Zero}{% Richardson:2007:ZTC% }. \NAMECITE{Zeros}{% Sharma:2007:RAZ% }. \NAMECITE{{Ziv}}{% Chen:2008:LZF% }.