Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Topic List  Advanced Search  
Sample search results for: aarne mnnik juhan

Page:   2  3  4  5 
 
1 P R A G U E The Association for Computational Linguistics
 

Summary:  (U Edinburgh) Aarne Ranta (Chalmers, Gothenberg) Manny Rayner (Powerset/U Geneva) Ye-Yi Wang... ¨of. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9 Dialogue System Localization with the GF Resource Grammar Library Nadine Perera and Aarne Ranta... ...

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
2 Volume 12, Number 10 26 October 2011
 

Summary:  around mafic sheet intrusions Ingrid Aarnes Physics of Geological Processes, University of Oslo, PO Box... 2011 by the American Geophysical Union 1 of 11 #12;Aarnes, I., K. Fristad, S. Planke, and H. Svensen... ; Svensen et al., 2007, 2004; Aarnes et al., 2010]. One of the consequences of this hypothesis

  

Source: Svensen, Henrik - Centre for Physics of Geological Processes, Universitetet i Oslo

 

Collection: Geosciences

 
3 Proceedings of the Demonstrations Session
 

Summary:  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Grammatical Framework Web Service Bj¨orn Bringert, Krasimir Angelov and Aarne Ranta... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Grammar Development in GF Aarne Ranta, Krasimir Angelov and Bj¨orn ...

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
4 CSSS General Meeting Minutes for Jan 22, 2007 Name Email Affiliation
 

Summary:  jenf Madam President Jesse Faltus jfaltus com sci guy Ezekiel Gatchalian ejg7 com sci Juhan Houang jha

  

Source: Sahinalp, S. Cenk - School of Computing Science, Simon Fraser University

 

Collection: Biology and Medicine ; Computer Technologies and Information Sciences

 
5 Intelligent Scalable Text Summarization
 

Summary:  - sign and running of the workshop Udo Hahn, Juhan Kupmc, Kathy McKeown, Boyan Onyshksvych, Dragomir... Chmrs PROGRAM COMMITTEE Udo Hahn Juhan Kuplec Inderjeet Mare Mark Maybury Kathy McKeown Boyan

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
6 The Department of Computer Science The University of Auckland
 

Summary:  , fairness is one of the paramount features for E-commerce payment sys- tems. In this case study of the AARN... him I would not have had the opportunity to work with AARN on this research topic. I have known Barry... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.2 Trust in E-commerce . . . . . . . . . . . . . . . . . . . . . ...

  

Source: Thomborson, Clark - Department of Computer Science, University of Auckland

 

Collection: Computer Technologies and Information Sciences

 
7 Functional Morphology User manual
 

Summary:  * ******************************************** * Functional Morphology v1.00 * * (c) Markus Forsberg & Aarne Ranta 2004 * * under GNU General Public License... ) Markus Forsberg & Aarne Ranta 2004 * * under GNU General Public License... * ******************************************** * Functional Morphology v1.00 * * (c) Markus Forsberg & ...

  

Source: Nordström, Bengt - Department of Computer Science and Engineering, Chalmers University of Technology

 

Collection: Computer Technologies and Information Sciences

 
8 This volume contains the papers of the 7th Workshop on User Interfaces for Theorem Provers (UITP 2006), which was held on 21st of August, 2006, in Seattle,
 

Summary:  ¨uth Michael Norrish Florina Piroi Aarne Ranta Makarius Wenzel and all additional reviewers Lo¨ic Pottier

  

Source: Benzmüller, Christoph - FR 6.2 - Informatik, Universität des Saarlandes

 

Collection: Computer Technologies and Information Sciences

 
9 CHP 395 B P2: CASE ANALYSIS Assigned: January 27, 2005 M. C. Loui 20 points Due: February 10, 2005
 

Summary:  Patient by Marc D. Brown The Marty Brown Case by Muriel J. Bebeau et al. An Oil Spill? by P. Aarne

  

Source: Loui, Michael - Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign

 

Collection: Computer Technologies and Information Sciences

 
10 Spanish Advising Information Sheet Fall 2011 Website with Answers to Spanish Advising Questions
 

Summary:  Dr. Aarnes Gudmestad Dr. Moses Panford Dr.Sarah Sierra Rm. 307 (231-8304) Rm. 337 (231-8314) Rm. 319

  

Source: Virginia Tech, Virginia Bioinformatics Institute, Influenze Outbreak Project

 

Collection: Biology and Medicine ; Computer Technologies and Information Sciences

 
11 Proceedings of the ACL 2010 System Demonstrations, pages 6671, Uppsala, Sweden, 13 July 2010. c 2010 Association for Computational Linguistics
 

Summary:  on the Web Aarne Ranta and Krasimir Angelov and Thomas Hallgren Department of Computer Science... and Engineering Chalmers University of Technology and University of Gothenburg aarne@chalmers.se, krasimir... . In COLING, Saarbr¨ucken, Germany, pp. 243­249. URL http://www.cs.chalmers.se/aarne/ articles/coling2000.ps

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
12 48th Annual Meeting of the Association for Computational Linguistics
 

Summary:  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 Tools for Multilingual Grammar-Based Translation on the Web Aarne Ranta, Krasimir Angelov... for Multilingual Grammar-Based Translation on the Web Aarne Ranta, Krasimir Angelov and Thomas Hallgren ix #12

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
13 JESSIE BALL duPONT PAPERS 1767 (1921-1970) 1982
 

Summary:  , and with Rev. Frank A. Juhan of the University of the South. Topics include Mrs. duPont's contributions

  

Source: Marsh, David - Department of Biology, Washington and Lee University

 

Collection: Environmental Sciences and Ecology

 
14 Proceedings of the EACL 2009 Demonstrations Session, pages 912, Athens, Greece, 3 April 2009. c 2009 Association for Computational Linguistics
 

Summary:  and Krasimir Angelov and Aarne Ranta Department of Computer Science and Engineering Chalmers University... of Technology and University of Gothenburg {bringert,krasimir,aarne}@chalmers.se Abstract We present a web... for Computational Lin- guistics. Krasimir Angelov, Bj¨orn Bringert, and Aarne Ranta. 2008. PGF: A Portable Run

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
15 Contact metamorphic devolatilization of shales in the Karoo Basin, South Africa, and the effects of multiple sill intrusions
 

Summary:  of multiple sill intrusions Ingrid Aarnes a, ,1 , Henrik Svensen a , Stephane Polteau a,b , Sverre Planke a... ., 2004, 2006, 2007; Aarnes et al., 2010). Such voluminous release of methane will perturb the global... the proxy record (Svensen et al., 2004, 2007, 2009; Aarnes et al., 2010), there is a need for complementary

  

Source: Svensen, Henrik - Centre for Physics of Geological Processes, Universitetet i Oslo

 

Collection: Geosciences

 
16 G en eral Relativity an d G ravitation , Vol. 30, No. 4, 1998 Editor's Note
 

Summary:  August 1997 in his house near Lyngby. Ð Juhan a Kustaanheimo A ckn ow led gem ent The Editor is grateful

  

Source: Krasinski, Andrzej - Centrum Astronomiczne im. M. Kopernika

 

Collection: Physics

 
17 Control Experiments A shallow RBM tends to learn hidden units that are strongly connected to
 

Summary:  Architectures 2 S T A N F O R D Multimodal Deep Learning Jiquan Ngiam1, Aditya Khosla1, Mingyu Kim1, Juhan Nam1

  

Source: Oliva, Aude - Department of Brain and Cognitive Science, Massachusetts Institute of Technology (MIT)

 

Collection: Biology and Medicine ; Computer Technologies and Information Sciences

 
18 Phylogeny and biogeography of the Malagasy and Australasian rainbowfishes (Teleostei: Melanotaenioidei): Gondwanan
 

Summary:  and Rheocles (= Bedotiidae) has been addressed in several recent studies (Aarn and Ivantsoff, 1997; Dyer... been the subject of considerable debate (Aarn and Ivantsoff, 1997; Dyer and Chernoff, 1996; Stiassny... (Aarn and Ivantsoff, 1997) (Fig. 1). The placement and interrelationships of telmatherinids and pseudo

  

Source: Sparks, John S. - Department of Ichthyology, American Museum of Natural History; Wheeler, Ward - Division of Invertebrate Zoology, American Museum of Natural History

 

Collection: Biology and Medicine ; Environmental Sciences and Ecology

 
19 Connecting OCL with the Rest of the World Reiner Hahnle and Aarne Ranta
 

Summary:  Connecting OCL with the Rest of the World Reiner H˜ahnle and Aarne Ranta Chalmers University... of Technology, Dept. of Computing Science S­41296 Gothenburg, Sweden, reiner|aarne@cs.chalmers.se Abstract... . Grammatical Framework Homepage. http://www.cs.chalmers.se/”aarne/GF/index.html, 2000. 13. M. Richters and M

  

Source: Hähnle, Reiner - Department of Computer Science and Engineering, Chalmers University of Technology

 

Collection: Computer Technologies and Information Sciences

 
20 Coling 2008: Proceedings of the workshop on Speech Processing for Safety Critical Translation and Pervasive Applications, pages 58 Manchester, August 2008
 

Summary:  ¨orn Bringert, and Aarne Ranta. 2008. PGF: A Portable Run-Time Format for Type-Theoretical Grammars. Manuscript... . Ranta, Aarne. 2004. Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional... Programming, 14(2):145­189, March. Ranta, Aarne. 2008. Grammars as software libraries. In Bertot, Yves, G

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences


Page:   2  3  4  5 
Page:   1  2  3  4  5 
 
21 EVALUATION OF SECONDARY SHREDDING TO ENHANCE RDF PRODUCTION AS FUEL FOR
 

Summary:  TEST CARL S. WEINBERGER Teledyne National Cockeysville, Maryland Discussion by P. Aarne Vesilind

  

Source: Columbia University - Waste-to-Energy Research and Technology Council (WTERT)

 

Collection: Renewable Energy

 
22 VOLUME NINETEEN JANUARYMARCH 2005
 

Summary:  Galaxias species (Llewellyn 1983, Hawkes 1991, Aarn et al. 1997, Harris and Gehrke 1997, Cashner et al... . 1999, Aarn and Ivantsoff 2001). *Freshwater Ecology, Arthur Rylah Institute, 123 Brown Street... streams. References Aarn & W. Ivantsoff, 2001. Predation on native fishes by Gambusia holbrooki

  

Source: Canberra, University of - Institute for Applied Ecology

 

Collection: Environmental Sciences and Ecology

 
23 A QUICK GUIDE TO PREPARING FUTURE FACULTY ACADEMIC SERVICES GRADUATE DIVISION UNIVERSITY OF CALIFORNIA BERKELEY
 

Summary:  Faculty, page 2 Vesilind, P. Aarne. So You Want to Be a Professor? A Handbook for Graduate Students

  

Source: Herr, Amy E. - Department of Bioengineering, University of California at Berkeley

 

Collection: Biology and Medicine ; Chemistry

 
24 Topology and the Construction of Extreme Quasi-Measures
 

Summary:  . Johan F. Aarnes [5] settles this question by demonstrating that: For the C-algebra C(X), of all... . This is Example 3.8 in this paper. We call it the Aarnes measure. This whole work grew out of Examples 3.8 and 3... .9. In Section 1, we define quasi-measure and state some of the results of Aarnes. A quasi-measure can

  

Source: Knudsen, Finn Faye - Department of Mathematical Sciences, Norwegian University of Science and Technology

 

Collection: Mathematics

 
25 Towards mathematics on the web Arjeh M. Cohen Hans Cuypers Hans Sterk
 

Summary:  Carlson [3] in Helsinki and Aarne Ranta in Gothenburg [2]. Users, say authors of exercises, construct... browsers. References [1] http://www.cinderella.de/ [2] http://www.cs.chalmers.se/~aarne/GF/ [3] http

  

Source: Cohen, Arjeh M. - Wiskunde en Informatica, Technische Universiteit Eindhoven

 

Collection: Mathematics

 
26 COLING 2010 23rd International Conference on
 

Summary:  Urdu Resource Grammar Shafqat Mumtaz Virk, Muhammad Humayoun and Aarne Ranta... and Applications 11:00­11:25 An Open Source Urdu Resource Grammar Shafqat Mumtaz Virk, Muhammad Humayoun and Aarne

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
27 Proceedings of the 5th Workshop on Important Unresolved Matters, pages 916, Prague, Czech Republic, June 2007. c 2007 Association for Computational Linguistics
 

Summary:  to Prof. Aarne Ranta for supervising this work and providing constant help. Also thanks to Bj¨orn Bringert... -58563-324-0, 2004b. Ali Dada and Aarne Ranta. Implementing an Open Source Arabic Resource Grammar in GF. In Mustafa... on Computational Linguistics, pages 345­347. ACL, 1990. Markus Forsberg and Aarne Ranta. Functional ...

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
28 Proceedings of SPEECHGRAM 2007, pages 18, Prague, Czech Republic, June 2007. c 2007 Association for Computational Linguistics
 

Summary:  . Acknowledgments Aarne Ranta, Peter Ljungl¨of, Rebecca Jonson, David Hjelm, Ann-Charlotte Forslund, H°akan Bur- den... ¨orn Bringert, Robin Cooper, Peter Ljungl¨of, and Aarne Ranta. 2005. Multimodal Dialogue System Gram- mars... . In Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, pages 53­60. ...

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
29 Summary In this article dedicated to Olevi Kull (June 22, 1955January 31, 2007), we draw on his writings (in English
 

Summary:  field work, joining the summer expedition of Juhan Ross's group (along with Vello Ross, Tiit Nilson... --the Estonian school of vegetation bio- physics, founded largely by Juhan Ross. This school was born in the 1960... to emphasize the significance of Juhan Ross and his students and coworkers. Although he was a physi- cist

  

Source: Noormets, Asko - Department of Forestry and Environmental Resources, North Carolina State University; Oren, Ram - Nicholas School of the Environment, Duke University

 

Collection: Environmental Sciences and Ecology

 
30 Analyzing Persistent State Interactions to Improve State Chad Verbowski, Emre K , Brad Daniels, Shan Lu, Roussi Roussev,
 

Summary:  Daniels, Shan Lu, Roussi Roussev, Yi-Min Wang, Juhan Lee Categories and Subject Descriptors D.4

  

Source: Lu, Shan - Department of Computer Sciences, University of Wisconsin at Madison

 

Collection: Computer Technologies and Information Sciences

 
31 (ngranichina, shalydim)@mail.ru "classification problem" Google ( 2009
 

Summary:  . , - x X Rl : UCP : min aARn vT x I(a, x) 0, x X , a A, A , I : A × X R a x X. X... ) . x1, . . . , xN N , P. , - UCP: SCPN : min aARn vT x I(a, xi) 0, i = 1, . . . , N , 2 [7

  

Source: Granichin, Oleg - Department of Mathematics and Mechanics, St.Petersburg State Technical University

 

Collection: Mathematics ; Engineering

 
32 Acta Mathematicae Applicatae Sinica, English Series Vol. 18, No. 1 (2002) 6376
 

Summary:  Decomposition Methods for Elliptic Problems with High Aspect Ratios Jørg Aarnes1 , Thomas Y. Hou2 1Department... ;64 Jørg Aarnes, Thomas Y. Hou problems which contain multiple-scale coefficients. In particular... accuracy than simple #12;66 Jørg Aarnes, Thomas Y. Hou (smooth) boundary conditions. An appealing approach

  

Source: Hou, Thomas Yizhao - Applied and Computational Mathematics Department, California Institute of Technology

 

Collection: Mathematics

 
33 How contact metamorphism can trigger global climate changes: Modeling gas generation around igneous sills
 

Summary:  sills in sedimentary basins Ingrid Aarnes a, , Henrik Svensen a , James A.D. Connolly b , Yuri Y... .09.011 Corresponding author. Tel.: +47 97960192. E-mail address: ingrid.aarnes@fys.uio.no (I. Aarnes). www... increases towards the contact. 7180 I. Aarnes et al. / Geochimica et Cosmochimica Acta 74 (2010) ...

  

Source: Svensen, Henrik - Centre for Physics of Geological Processes, Universitetet i Oslo

 

Collection: Geosciences

 
34 Post-emplacement melt flow induced by thermal stresses: Implications for differentiation in sills
 

Summary:  Ingrid Aarnes , Yuri Y. Podladchikov, Else-Ragnhild Neumann Physics of Geological Processes, Postbox 1048... the Earth and Planetary Science Letters 276 (2008) 152­166 Corresponding author. E-mail address: ingrid.aarnes... @fys.uio.no (I. Aarnes). 0012-821X/$ ­ see front matter © 2008 Elsevier B.V. All rights reserved. ...

  

Source: Podladchikov, Yuri - Centre for Physics of Geological Processes, Universitetet i Oslo

 

Collection: Geosciences

 
35 BioMed Central Page 1 of 6
 

Summary:  , Juhan-Vague I, Chambost H, Com- brie R, Nurden P, Bas MJ, De La Salle C, Cazenave JP, Lanza F, Nurden AT... , Juhan I, Briquel ME, Ternisien C, Conard J, Cazenave JP: Molecular characteriza- tion of five different... Coagul Fibrinolysis 2003, 14:387-394. 68. Strassel C, Alessi MC, Juhan-Vague I, Cazenave JP, Lanza F

  

Source: Ecole Polytechnique, Centre de mathématiques

 

Collection: Mathematics

 
36 UNITED STATES ATTORNEY'S OFFICE Southern District of New York
 

Summary:  , http://www.justice.gov/usao/nys Jerika Richardson (212) 637-2600 NASA OIG FBI Renee Juhans Tim

  

Source: Christian, Eric - Laboratory for High Energy Astrophysics, NASA Goddard Space Flight Center

 

Collection: Physics

 
37 National Aeronautics and Space Administration
 

Summary:  to discuss any of the reports or investigations discussed in this letter, please contact me or Renee Juhans

  

Source: Christian, Eric - Laboratory for High Energy Astrophysics, NASA Goddard Space Flight Center

 

Collection: Physics

 
38 Synergism between non-O blood group and oral estrogen in the risk of venous thromboembolism among postmenopausal
 

Summary:  , Randrianjohany A, Scarabin Y and Juhan- Vague I. ABO blood group and risk of venous thrombosis in heterozygous

  

Source: Ecole Polytechnique, Centre de mathématiques

 

Collection: Mathematics

 
39 Structural Detuning of Pump Absorption Rate in Doped Fiber for the Enhancement of Power Conversion Efficiency
 

Summary:  -earth doped fiber with low average inversion level should be straightforward. References [1]Juhan Lee et al

  

Source: Park, Namkyoo - School of Electrical Engineering and Computer Science, Seoul National University

 

Collection: Engineering

 
40 IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, OCTOBER 1967 Reviews of Books and Papers in the Computer Field
 

Summary:  . LANGUAGES R67-53 SMIMULA-An ALGOL-Based Simulation Language-Ole- Juhan Dahl and Kristen Nygaard (Commun. ACM

  

Source: Widrow, Bernard - Department of Electrical Engineering, Stanford University

 

Collection: Engineering


Page:   1  2  3  4  5 
Page:   1  2  3  4  5 
 
41 42 IEEE PHOTONICS TECHNOLOGY LETTERS, VOL. 11, NO. 1, JANUARY 1999 Enhancement of Power Conversion Efficiency for
 

Summary:  Efficiency for an -Band EDFA with a Secondary Pumping Effect in the Unpumped EDF Section Juhan Lee, Uh

  

Source: Park, Namkyoo - School of Electrical Engineering and Computer Science, Seoul National University

 

Collection: Engineering

 
42 A MATHEMATICAL MODEL OF THE VOCABULARY-TEXT RELATION JuhanTuldava
 

Summary:  A MATHEMATICAL MODEL OF THE VOCABULARY-TEXT RELATION JuhanTuldava Tartu, Estonia, USSR A new method

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
43 PERFORMANCE CHARACTERISTICS OF A VERTICAL HAMMERMILL SHREDDER
 

Summary:  PERFORMANCE CHARACTERISTICS OF A VERTICAL HAMMERMILL SHREDDER P. AARNE VESILIND Department of Civil

  

Source: Columbia University - Waste-to-Energy Research and Technology Council (WTERT)

 

Collection: Renewable Energy

 
44 Analyse grammaticale du franais : des concepts thoriques ou de la bidouille ? Analyse grammaticale du franais : des
 

Summary:  Outils théoriques ? Théorie des types (GF de Aarne Ranta) MELL, IMELL (Bruno Guillaume) . . . Est

  

Source: 

 

Collection: Mathematics

 
45 JOURNAL DE PHYSIQUE Colloque C8, SupplCment au no 12, Tome 49, dCcembre 1988
 

Summary:  on annealing. We also thank Olli V. Lounas- maa and Aarne Oja for valuable comments. OGM was supported

  

Source: Ecole Polytechnique, Centre de mathématiques

 

Collection: Mathematics

 
46 Demo Proposal: Extensible Integrated Treebank Annotation Environment Otakar Smrz
 

Summary:  El Dada and Aarne Ranta. 2006. Open Source Arabic Grammars in Grammatical Framework. In Proceed- ings

  

Source: Cerveny, Vlastislav - Department of Geophysics, Charles University in Prague

 

Collection: Geosciences

 
47 Coling 2008 22nd International Conference on
 

Summary:  ) Aarne Ranta, U Gothenburg (Sweden) Manny Rayner, U Geneva (Switzerland) Tanja Schultz, U Karlsruhe

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
48 XML and Multilingual Document Authoring: Convergent Trends Marc l)ymctman Veronika Lux
 

Summary:  Research Centre Europe 6, chemin de Maupertuis 38240 Meylan, France {dymetman,lux }@xrce.xerox.com Aarne... GOteborg, Sweden aarne @ cs.chahners, se Abstract Typical al)proaches to XML authoring view a XML doc... . 1994. 7~vpe-Theorelical Grammar. Oxford Univer- sity Press. Aarne Ranm. 2000. GF Work Page. Awfilablc

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
49 : FSMNLP'98 Proceedings of the
 

Summary:  Expressions .... (79) Aarne Ranta Xerox ResearchCentre Europe, l~rance VII #12;WEDNESDAY, July 1, 1998 · 10

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
50 Determination of the Fate of Nitrogen Functionality in Carbonaceous Materials during Pyrolysis and Combustion
 

Summary:  the atmosphere was switched to ammonia. The resulting carbon is designated as A-Ar-N. A treatment time of 1 h... ) N C H O total A-Ar-N 2.87 94.47 0.67 0.57 98.58 A-N 7.46 87.45 0.69 2.08 97.68 AD873 7.53 88.42 2... carbons exhibited similar nitrogen XANES spectra with different relative peak intensities. The A-Ar-N

  

Source: Thomas, Mark - School of Chemical Engineering and Advanced Materials, University of Newcastle upon Tyne

 

Collection: Materials Science

 
51 Multimodal Deep Learning Jiquan Ngiam1
 

Summary:  Multimodal Deep Learning Jiquan Ngiam1 , Aditya Khosla1 , Mingyu Kim1 , Juhan Nam2 , Honglak Lee3... }@cs.stanford.edu 2 Department of Music, Stanford University juhan@ccrma.stanford.edu 3 Computer Science & Engineering

  

Source: Li, Fei-Fei - Department of Computer Science, Stanford University; Ng, Andrew Y. - Department of Computer Science, Stanford University

 

Collection: Computer Technologies and Information Sciences ; Engineering

 
52 fur Mathematik in den Naturwissenschaften
 

Summary:  -state, due to Aarnes, [Aa]. The reader is also referred to [EPZ], [EPR], [Za] for a connection with function... that thickness (K) n |K| . References [Aa] Aarnes, J. F., Quasi-states and quasi-measures, Adv. Math. 86 (1991

  

Source: Max-Planck-Institute for Mathematics in the Sciences (MIS)

 

Collection: Mathematics

 
53 Proceedings of the EACL 2009 Demonstrations Session, pages 5760, Athens, Greece, 3 April 2009. c 2009 Association for Computational Linguistics
 

Summary:  2009 Association for Computational Linguistics Grammar Development in GF Aarne Ranta and Krasimir... of Technology and University of Gothenburg {aarne,krasimir,bringert}@chalmers.se Abstract GF is a grammar

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
54 Types for Proofs and Programs Third Annual Meeting
 

Summary:  )4 72 72 86 43 Ranta, Aarne Department of Computing Science Chalmers University of Technology G... ¨oteborg, Sweden aarne@cs.chalmers.se http://www.cs.chalmers.se/saarne Phone: + 46 (0)31 772 1082 Fax: + 46 (0

  

Source: Nordström, Bengt - Department of Computer Science and Engineering, Chalmers University of Technology

 

Collection: Computer Technologies and Information Sciences

 
55 Vol. 11/Fall 2005 (continued on page 2)
 

Summary:  and linguistics programs. The Agapito Rey Academic Year Fellow- ship was awarded to Renato Alvim and Aarnes... Gudmestad. Aarnes Gudmestad also received the J.M. Hill Award for Out- standing Graduate Student Paper... . Nicholas Henriksen was recipient of the Outstanding AI Teaching Award, and Irma Alarcón, Aarnes Gudmestad

  

Source: Indiana University - Center for Research on Concepts and Cognition

 

Collection: Multidisciplinary Databases and Resources

 
56 Folklore Requirements for Bibliographic Records: Oral Traditions and FRBR
 

Summary:  could have recourse to a notation proper to oral tradition studies, for example based on the Aarne... -Classification (Aarne 1987). Expressions would be equivalence classes built on episodes or motifs found... ... expressed by various different texts. Moreover, if we have several notations à la Aarne-Thompson, the same

  

Source: Ecole Polytechnique, Centre de mathématiques

 

Collection: Mathematics

 
57 INSTITUTE OF MATHEMATICS Polish Academy of Sciences
 

Summary:  (R; S(Rn ; Mm×m)). Proof. It is sufficient to prove that (N )|[-a,a]×Rn C ([-a, a]; S(Rn ; Mm... - b, a + b]. Then (N )|[-a,a]×Rn = ((0N) )|[-a,a]×Rn . Since 0N OC(R1+n ; Mm×m), by (1.1) one has (0... N)S(R1+n ; Mm×m), and a fortiori ((0N) )|[-a,a]×Rn C ([-a, a]; S(Rn ; Mm×m)). #12;12 J. Kisy

  

Source: Polish Academy of Sciences, Institute of Mathematics

 

Collection: Mathematics

 
58 Domain decomposition preconditioners for multiscale flows in high contrast media
 

Summary:  ) - quasi-monotonic coefficients. Also, the use of extra basis functions Aarnes and Hou ( Acta Sinica 2002

  

Source: Galvis, Juan - Department of Mathematics, Texas A&M University

 

Collection: Mathematics

 
59 Copredication, dynamic generalized quantification and lexical innovation by coercion
 

Summary:  -4211 Library-based Grammar Engineering, http://www.cs.chalmers.se/~aarne/GF/doc/vr.html. #12;The i in (2b... influenced by ideas associated with Aarne Ranta's Grammatical Framework (GF, Ranta, forthcoming) where... Lexicon, MIT Press, Cambridge, Mass. Ranta, Aarne (1994) Type-Theoretical Grammar, Clarendon Press, Oxford

  

Source: Cooper, Robin - Department of Linguistics, Göteborgs Universitet

 

Collection: Computer Technologies and Information Sciences

 
60 Brief communication A comparative description of mating behaviour in the endemic telmatherinid
 

Summary:  ) and Aarn et al. (1998). However, these papers provide only very preliminary ecological and behavioural... of the Malili Lakes telma- therinids (Aarn et al. 1998, see also Roy et al. 2004), although more refined... the fish observed belong to that genus. Tominanga are morphologically distinct from Telmatherina (Aarn et

  

Source: McKinnon, Jeffrey S. - Department of Biological Sciences, University of Wisconsin-Whitewater; Simon Fraser University, FAB Lab

 

Collection: Biology and Medicine ; Environmental Management and Restoration Technologies ; Environmental Sciences and Ecology


Page:   1  2  3  4  5 
Page:   1  2  3  4  5 
 
61 January 2004 Robert Middlekauff,
 

Summary:  callingoutnumbers.AstoryfromtheQur'an,discussedbyourspeaker,was describedasAarne-Thompsontaletype766

  

Source: Walker, Matthew P. - Department of Psychology, University of California at Berkeley

 

Collection: Biology and Medicine

 
62 [1] G 19arrett Birkho#. Reactor criticality in neutron transport theory. Rendiconti di Matemat ica, 22:102--126, 1963.
 

Summary:  (SOSA). Agricultural and Forest Meterology, 39:1--12, 1987. [205] Ranga B. Myneni and Juhan Ross... , editors. Photon­Vegetation Interactions. Springer­Verlag, New York, 1991. [206] Ranga B. Myneni, Juhan... ] Juhan Ross. The radiation regime and architecture of plant stands. Dr W. Junk Publishers, Boston, 1981

  

Source: Arvo, Jim - Departments of Information and Computer Science & Electrical and Computer Engineering, University of California, Irvine

 

Collection: Computer Technologies and Information Sciences

 
63 Mathematisches Forschungsinstitut Oberwolfach Report No. 12/2009
 

Summary:  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 Yalchin Efendiev (joint with Lijian Jiang, Joerg Aarnes ) Multiscale finite element methods... to the heterogeneity scale [9, 5]. A finite element due to Aarnes et al. [1, 2] is defined by solving on all... the ...

  

Source: Scheichl, Robert - Department of Mathematical Sciences, University of Bath

 

Collection: Mathematics

 
64 Towards a Theory of Document Structure Bengt Nordstrom
 

Summary:  in English or Swedish by different linearization func- tions. This idea has been successfully used by Aarne... ] who used the words tectogrammat- ical and phenogrammatical structure. In Aarne Ranta's Grammatical... Homepage. www.cs.chalmers.se/ ~aarne/GF/, 1999­2005. [21] A. Ranta. Grammatical Framework: A Type

  

Source: Nordström, Bengt - Department of Computer Science and Engineering, Chalmers University of Technology

 

Collection: Computer Technologies and Information Sciences

 
65 Proceedings of Human Language Technology Conference and Conference on Empirical Methods in Natural Language Processing (HLT/EMNLP), pages 579586, Vancouver, October 2005. c 2005 Association for Computational Linguistics
 

Summary:  action and interaction. Feature group 4 is based on Finish scholar Antti Aarne's classes of folk... -tale types according to their informative the- matic contents (Aarne, 1964). The current tales have 3 top... sole re- sponsibility for the work. References Antti Aarne. 1964. The Types of the Folk

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
66 Proceedings of the EACL 2009 Workshop on Language Technology and Resources for Cultural Heritage, Social Sciences, Humanities, and Education LaTeCH SHELT&R 2009, pages 3542,
 

Summary:  . Classification of folklore texts is based on the widely accepted Aarne-Thompson classifica- tion system (Aarne... Aarne. 1961. The Types of the Folktale: A Clas- sification and Bibliography. Translated and Enlarged

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
67 Proceedings of SPEECHGRAM 2007, pages 916, Prague, Czech Republic, June 2007. c 2007 Association for Computational Linguistics
 

Summary:  Conference on Categorial Grammars, Montpellier, France. Aarne Ranta, Ali El-Dada, and Janna Khegai, 2006... . The GF Resource Grammar Library. Can be downloaded from the GF homepage http://www.cs.chalmers.se/~aarne... /GF Aarne Ranta. 2004. Grammatical Framework, a type- theoretical grammar formalism. Journal of Functional

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
68 An improved spatial tracking algorithm applied to coronary veins into Cardiac Multi-Slice Computed Tomography volume
 

Summary:  . Juhan V , Nazarian B , Malkani K , Bulot R , Bartoli JM , Sequeira J Geometrical modelling of abdominal

  

Source: Ecole Polytechnique, Centre de mathématiques

 

Collection: Mathematics

 
69 Goal-Directed Approach for Text Summarization Ryo Ochitani, Yoshio Nakao, Fumihito Nishino
 

Summary:  of the selection process m the system References Juhan Kuplec, Jan Pedersen and Francme Chen 1995 A Ttmnable

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
70 Proceedings of the 16th Nordic Workshop on
 

Summary:  Revisited Juhan Ernits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 v #12;Timed Traces

  

Source: Olderog, Ernst-Rüdiger - Department für Informatik, Carl von Ossietzky Universität Oldenburg

 

Collection: Computer Technologies and Information Sciences

 
71 Multimodal Deep Learning Jiquan Ngiam1
 

Summary:  .stanford.edu Mingyu Kim1 minkyu89@cs.stanford.edu Juhan Nam1 juhan@ccrma.stanford.edu Honglak Lee2 honglak

  

Source: Ng, Andrew Y. - Department of Computer Science, Stanford University; Oliva, Aude - Department of Brain and Cognitive Science, Massachusetts Institute of Technology (MIT)

 

Collection: Biology and Medicine ; Computer Technologies and Information Sciences ; Engineering

 
72 Accepted Manuscript How contact metamorphism can trigger global climate changes: Modeling gas
 

Summary:  generation around igneous sills in sedimentary basins Ingrid Aarnes, Henrik Svensen, James A.D. Connolly... Please cite this article as: Aarnes, I., Svensen, H., Connolly, J.A.D., Podladchikov... -20 cm at the contact zone around a 10 m thick sill in South Africa (Aarnes et382 al., in review

  

Source: Podladchikov, Yuri - Centre for Physics of Geological Processes, Universitetet i Oslo

 

Collection: Geosciences

 
73 doi: 10.1130/GES00506.1 2010;6;211-224Geosphere
 

Summary:  Aarnes, Yuri Y. Podladchikov, Espen Jettestuen, Camilla H. Harstad and sedimentary basins sediment... Henrik Svensen Ingrid Aarnes Yuri Y. Podladchikov Physics of Geological Processes, University of Oslo, PO... and crystallization (Aarnes et al., 2008). GEOLOGICAL SETTING The Karoo Basin (Fig. 1) covers more than half of South

  

Source: Svensen, Henrik - Centre for Physics of Geological Processes, Universitetet i Oslo

 

Collection: Geosciences

 
74 ofComputerScience andEngineering
 

Summary:  Khegai, Markus Forsberg, Bengt Nordström, Robin Cooper, andAarneRanta. KVS Prasad, Björn Bringert, Harald

  

Source: Almgren, Magnus - Department of Computer Science and Engineering, Chalmers University of Technology

 

Collection: Computer Technologies and Information Sciences

 
75 P R A G U E The Association for Computational Linguistics
 

Summary:  (U Edinburgh) Aarne Ranta (Chalmers, Gothenberg) Manny Rayner (Powerset/U Geneva) Ye-Yi Wang... ¨of. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9 Dialogue System Localization with the GF Resource Grammar Library Nadine Perera and Aarne Ranta... ...

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
76 2001 by the American Society of Ichthyologists and Herpetologists Copeia, 2001(2), pp. 482489
 

Summary:  discussed by Stiassny (1990), Dyer and Chernoff (1996), and Aarn and Ivant- soff (1997). This monophyletic... is not disputed by Stiassny (1990), Dyer and Chernoff (1996), or Aarn and Ivantsoff (1997). The term bedotiid... School for Graduate Studies of the Uni- versity of Michigan. LITERATURE CITED AARN, AND W. IVANTSOFF

  

Source: Sparks, John S. - Department of Ichthyology, American Museum of Natural History

 

Collection: Environmental Sciences and Ecology ; Biology and Medicine

 
77 Text Authoring, Knowledge Acquisition and Description Logics Marc Dymetman
 

Summary:  to document content stems from the work of Aarne Ranta on his "Grammatical Framework (GF)" in which he... -ACL, pages 1053­1059. Aarne Ranta. 1999--. Grammatical framework work page. www.cs.chalmers.se/~aarne

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
78 A Multilingual Natural-Language Interface to Regular Expressions
 

Summary:  A Multilingual Natural-Language Interface to Regular Expressions Aarne Ranta Xerox Research Centre... ://haskell, org/. 11. Aarne Ranta, 1994. Type TheoreticalGrammar, Oxford University Press, Oxford, 1994. 12. Aarne

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
79 Document Structure and Multilingual Authoring Caroline Brun Marc Dymetman Veronika Lux
 

Summary:  -Pierre Chanod, Marie-H~_lb.neCorr/mrd, Sylvain Pogodalla and Aarne Ranta for important contributions... -languages, Paris, Septem- ber. Available at http ://www. cs. chalmers, se/ ~aarne/papers/Ifm 1999.ps.gz. W. Pardi... . chalmers, se/ aarne/GF/pub/work- index/index, html. E. Reiter. 1995. NLG vs. templates. In Proceedings

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
80 Type Theory with Records and Unification-based Grammar Robin Cooper
 

Summary:  ://www.ling.gu.se/~cooper/records/ and number 2005-4211 Library-based Grammar Engineering, http://www.cs.chalmers.se/~aarne/GF/doc/vr.html. I am... grateful to Thierry Coquand, Jonathan Ginzburg, Bengt Nordstr¨om and Aarne Ranta for discussion... , Linguistics and Philosophy, Vol. 19, No. 2, pp. 143­186. Ranta, Aarne (1994) ...

  

Source: Cooper, Robin - Department of Linguistics, Göteborgs Universitet

 

Collection: Computer Technologies and Information Sciences


Page:   1  2  3  4  5 
Page:   1  2  3  4  5 
 
81 Quand le renard raconte ses histoires au monde. La naissance du Portail du Patrimoine Oral, catalogue collectif
 

Summary:  -Hornbostel), Titre uniforme des oeuvres citées ou interprétées (pour le conte Aarne et Thompson, pour la chanson P... Aarne et Thompson. En quelques mots, l'histoire est celle de la journée de travail du loup et du renard... du titre uniforme des oeuvres orales est centrale. Les catalogues internationaux comme ceux de Aarne

  

Source: Ecole Polytechnique, Centre de mathématiques

 

Collection: Mathematics

 
82 Numerical homogenization for high-contrast elliptic problems using local spectral basis functions
 

Summary:  Aarnes and Hou ( Acta Sinica 2002) - the use of multiscale basis in DD preconditioners Graham, Scheichl

  

Source: Galvis, Juan - Department of Mathematics, Texas A&M University

 

Collection: Mathematics

 
83 IEEE ELECTRON DEVICE LETTERS, VOL. 25, NO. 4, APRIL 2004 173 Square-Extensional Mode Single-Crystal Silicon
 

Summary:  Mattila, Member, IEEE, Aarne Oja, Jyrki Kiihamäki, and Heikki Seppä Abstract--A micromechanical 13.1-MHz

  

Source: Kaajakari, Ville - VTT Information Technology

 

Collection: Engineering

 
84 Playing Nomic using a Controlled Natural Language John J. Camilleri, Gordon J. Pace and Michael Rosner
 

Summary:  Language for the Specification of Contracts, volume 5972 of LNAI. 2010. [Ran04] Aarne Ranta. Grammatical

  

Source: Pace, Gordon J. - Department of Computer Science, University of Malta

 

Collection: Computer Technologies and Information Sciences

 
85 Proceedings of SIGDIAL 2009: the 10th Annual Meeting of the Special Interest Group in Discourse and Dialogue, pages 322325, Queen Mary University of London, September 2009. c 2009 Association for Computational Linguistics
 

Summary:  switch- ing in in-vehicle dialogue. In Bengt Nordstrom and Aarne Ranta, editors, Proceedings of GoTAL, 6

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
86 ISSN 0103-9741 Monografias em Cincia da Computao
 

Summary:  emotion, cause character to drop dead, etc. Not much unlike motifs [Aarne and Thompson 1961]. In order

  

Source: Endler, Markus - Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro

 

Collection: Computer Technologies and Information Sciences

 
87 MARINE ECOLOGY PROGRESS SERIES Mar. Ecol. Prog. Ser.
 

Summary:  ) are back-calculated 1986-87. Dates are given as Juhan day, with 1 = January 1. from the date of capture... (February26, or Juhan Day 57) based Data from 1985-86 are from buoyed and anchored tidal on the otolith

  

Source: Townsend, David W. - School of Marine Sciences, University of Maine

 

Collection: Environmental Sciences and Ecology

 
88 Ris-R-1513(EN) The "Red" Decline of Norway
 

Summary:  ). The work will focus on the amino acids arginine and ornithine, members of the urea cycle (Aarnes et al... (EN) #12;References Aarnes H, Eriksen A B and Southon T E (1995) Metabolism of nitrate and ammonium

  

Source: Risø National Laboratory

 

Collection: Multidisciplinary Databases and Resources

 
89 ElixirFM --Implementation of Functional Arabic Morphology Otakar Smrz
 

Summary:  number LDC2002L49, ISBN 1-58563-257-0. Ali El Dada and Aarne Ranta. 2006. Open Source Arabic Grammars... University Press, third revised edition. Translated by Jonathan Rodgers. Markus Forsberg and Aarne Ranta

  

Source: Cerveny, Vlastislav - Department of Geophysics, Charles University in Prague

 

Collection: Geosciences

 
90 Tips and Tricks of the Prague Arabic Dependency Treebank Otakar Smrz
 

Summary:  Dada, Ali and Aarne Ranta (2006). `Implementing an Open Source Arabic Resource Grammar in Grammatical... , Saarland University, Germany. Forsberg, Markus and Aarne Ranta (2004). `Functional Morphology

  

Source: Cerveny, Vlastislav - Department of Geophysics, Charles University in Prague

 

Collection: Geosciences

 
91 THIS IS A PRE-PRINT OF PAPER PUBLISHED IN SENSORS AND ACTUATORS A: PHYSICAL, VOL. 120(1), PP. 64-70 , 29 APRIL 2005. 1 Nonlinear Mechanical Effects in Silicon
 

Summary:  Kaajakari, Tomi Mattila, Antti Lipsanen, and Aarne Oja Abstract-- The fundamental nonlinear mechanical... . Aarne Oja received his Dr. Tech. degree in 1988 from the Low Temperature Laboratory of the Helsinki

  

Source: Kaajakari, Ville - VTT Information Technology

 

Collection: Engineering

 
92 Proceedings of Recent Advances in Natural Language Processing, pages 7076, Hissar, Bulgaria, 12-14 September 2011.
 

Summary:  virk@chalmers.se Muhammad Humayoun University of Savoie, France humayoun@gmail.com Aarne Ranta... University of Gothenburg, Sweden aarne@chalmers.se Abstract We describe an open source computational grammar

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
93 Multilingual Syntax Editing in GF Janna Khegai, Bengt Nordstrom, and Aarne Ranta
 

Summary:  Multilingual Syntax Editing in GF Janna Khegai, Bengt Nordstrom, and Aarne Ranta Department... . Grammatical Framework Homepage, 2002. www.cs.chalmers.se/~aarne/GF/. 16. A. Ranta. Grammatical Framework

  

Source: Nordström, Bengt - Department of Computer Science and Engineering, Chalmers University of Technology

 

Collection: Computer Technologies and Information Sciences

 
94 Proceedings of the 5th Workshop on Important Unresolved Matters, pages 18, Prague, Czech Republic, June 2007. c 2007 Association for Computational Linguistics
 

Summary:  number LDC2002L49, ISBN 1-58563-257-0. Ali El Dada and Aarne Ranta. 2006. Open Source Arabic Grammars... University Press, third revised edition. Translated by Jonathan Rodgers. Markus Forsberg and Aarne Ranta

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
95 Proceedings of the 8th Workshop on Asian Language Resources, pages 153160, Beijing, China, 21-22 August 2010. c 2010 Asian Federation for Natural Language Processing
 

Summary:  University of Savoie mhuma@univ-savoie.fr Aarne Ranta Department of CS & Eng University of Gothenburg aarne

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
96 Proceedings of the 12th Conference of the European Chapter of the ACL, pages 6976, Athens, Greece, 30 March 3 April 2009. c 2009 Association for Computational Linguistics
 

Summary:  . Aarne Ranta. 2004. Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional... Programming, 14(2):145­189, March. Aarne Ranta. 2008. GF Resource Grammar Library. digitalgrammars

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
97 Proceedings of the COLING/ACL 2006 Main Conference Poster Sessions, pages 475482, Sydney, July 2006. c 2006 Association for Computational Linguistics
 

Summary:  Robin Cooper for reading and editing the final version of the paper. Special thanks to Professor Aarne... . Research in Language and Computa- tion. URL: www.cs.chalmers.se/~aarne/ articles/ar-multieng.pdf M. Rayner

  

Source: Association for Computational Linguistics (ACL) Anthology

 

Collection: Computer Technologies and Information Sciences

 
98 Natural languages as collections of resources Robin Cooper
 

Summary:  Natural languages as collections of resources Robin Cooper G¨oteborg University Aarne Ranta... -based Grammar Engineering, http://www.cs.chalmers.se/~aarne/GF/doc/vr.html. #12;There is in my opinion

  

Source: Cooper, Robin - Department of Linguistics, Göteborgs Universitet

 

Collection: Computer Technologies and Information Sciences

 
99 An Extensible Proof Text Editor Thomas Hallgren and Aarne Ranta ?
 

Summary:  An Extensible Proof Text Editor Thomas Hallgren and Aarne Ranta ? fhallgren... , pages 79--90, Ankara, 1998. Bilkent University. 20. A. Ranta. Grammatical Framework Homepage. http://www.cs.chalmers.se/~aarne

  

Source: Nordström, Bengt - Department of Computer Science and Engineering, Chalmers University of Technology

 

Collection: Computer Technologies and Information Sciences

 
100 The Labelled BNF Grammar Formalism Markus Forsberg, Aarne Ranta
 

Summary:  The Labelled BNF Grammar Formalism Markus Forsberg, Aarne Ranta Department of Computing Science... , aarne}@cs.chalmers.se For BNF Converter Version 2.2, February 11, 2005 1 Introduction This document

  

Source: Nordström, Bengt - Department of Computer Science and Engineering, Chalmers University of Technology

 

Collection: Computer Technologies and Information Sciences


Page:   1  2  3  4  5