"... In PAGE 2: ... Syllabi cation and stress assignment are activated prior to the phonetic transcription module which includes about 200 rules. The percentage of errors at word level obtained with this rule set is shown in Table2 for PF Phone Test and Names Phone2, under the heading of RB (Rule- Based). The percentage of correct phonetic transcrip- tions for the rst corpus was 95.... In PAGE 3: ...5%, reaching 1% at the end of 40. The results obtained at word level for two test corpora are shown in Table2 , under the heading of NN (Neural Net). Multiple stress marks were attributed to manywords, a problem whichwas solved by simple post-processing.... ..."

"... In PAGE 12: ... Nevertheless, thanks to the integration with the context-based techniques and the self-learning capability,we obtained results comparable to the ones reported in the current literature #5BLecolinet and Baret, 1994#5D. Table2 lists the execution times of the major blocks of BEATRIX with the same test set as in Table 1. These #0Cgures were measured on a 90 MHz Pentium PC, with a Unix-Linux operating system, with a resolution of 75 dpi.... ..."

"... In PAGE 40: ...Table1 : The Chemistry / Proof-Theory Roadmap Chemistry -calculus Linear logic molecule as physical object (the nature of atoms and their bonds) -term in normal form proof-net in normal form (multiplicative fragment of lin- ear logic) shape as action (domain of interaction) (with whom and how a molecule interacts, as deter- mined by its shape and the na- ture of its reactive groups) type (speci cation of an action: a description of what the term does at a particular level of res- olution) multiset of propositional formulae (theorem) (a set of \actionable quot; ad- dresses, \interfaces quot;, or \plug- ging speci cations quot;) bonds (connectors of molecular parts) abstraction and application left and right rules of logical connectives initiation of a reaction application rule of inference: cut (reactants are the premises, products are the conclusions) completion of a reaction (structural rearrangements into stable products) normalization cut elimination branching reaction (multiple reaction pathways among the reactants) | multiple cut options (a sequent is a multiset) synthesis pathway (representation of a molecule as a suite of reactions between intermediates which enable its synthesis) -term containing redexes proof-net with cut(s) (a proof making use of inter- mediate results { lemmas a.k.... ..."

"... In PAGE 40: ...Table1 : The Chemistry / Proof-Theory Roadmap Chemistry -calculus Linear logic molecule as physical object (the nature of atoms and their bonds) -term in normal form proof-net in normal form (multiplicative fragment of lin- ear logic) shape as action (domain of interaction) (with whom and how a molecule interacts, as deter- mined by its shape and the na- ture of its reactive groups) type (speci cation of an action: a description of what the term does at a particular level of res- olution) multiset of propositional formulae (theorem) (a set of \actionable quot; ad- dresses, \interfaces quot;, or \plug- ging speci cations quot;) bonds (connectors of molecular parts) abstraction and application left and right rules of logical connectives initiation of a reaction application rule of inference: cut (reactants are the premises, products are the conclusions) completion of a reaction (structural rearrangements into stable products) normalization cut elimination branching reaction (multiple reaction pathways among the reactants) | multiple cut options (a sequent is a multiset) synthesis pathway (representation of a molecule as a suite of reactions between intermediates which enable its synthesis) -term containing redexes proof-net with cut(s) (a proof making use of inter- mediate results { lemmas a.k.... ..."

"... In PAGE 1: ... Our project inherits the core of the objectives of the parent project. Table1 shows our understanding of the current state of the art of Theory of synthesis. The important dimensions for classification of related knowledge include domain-dependence and static/dynamic, and the dynamic knowledge has subdimensions such as logical/mathematical/system.... ..."

"... In PAGE 25: ...n Section 4.2.2, in order to correctly synthesize or revise a recursive theory, Forte requires the training set to provide a complete extensional de#0Cnition for a subset of the problem domain. Table1 presents a summary of several standard program synthesis problems to which Forte has been applied. 7 In all of these cases, correct de#0Cnitions were given for any necessary lower-level predicates.... ..."

"... In PAGE 43: ...Table1 : The Chemistry n2f Proof-Theory Roadmap Chemistry n15-calculus Linear logic molecule as physical object n28the nature of atoms and their bondsn29 n15-term in normal form proof-net in normal form n28multiplicative fragment of lin- ear logicn29 shape as action n28domain of interactionn29 n28with whom and how a molecule interacts, as deter- mined by its shape and the na- ture of its reactive groupsn29 type n28specin0ccation of an action: a description of what the term does at a particularlevel of res- olutionn29 multiset of propositional formulae n28theoremn29 n28a set of n5cactionable quot; ad- dresses, n5cinterfaces quot;, or n5cplug- ging specin0ccations quot;n29 bonds n28connectorsof molecularpartsn29 abstraction and application left and right rules of logical connectives initiation of a reaction application rule of inference: cut n28reactants are the premises, products are the conclusionsn29 completion of a reaction n28structural rearrangements into stable productsn29 normalization cut elimination branching reaction n28multiple reaction pathways among the reactantsn29 | multiple cut options n28a sequentisamultisetn29 synthesis pathway n28representation of a molecule as a suite of reactions between intermediates which enable its synthesisn29 n15-term containing redexes proof-net with cutn28sn29 n28a proof making use of inter- mediate results n7b lemmas a.k.... ..."