Principles of Inverse Computation and the Universal Resolving Algorithm View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2002

AUTHORS

Sergei Abramov , Robert Glück

ABSTRACT

We survey fundamental concepts in inverse programming and present the Universal Resolving Algorithm (URA), an algorithm for inverse computation in a first-order, functional programming language. We discuss the principles behind the algorithm, including a three-step approach based on the notion of a perfect process tree, and demonstrate our implementation with several examples. We explain the idea of a semantics modifier for inverse computation which allows us to perform inverse computation in other programming languages via interpreters. More... »

PAGES

269-295

References to SciGraph publications

  • 2005-06-26. The essence of program transformation by partial evaluation and driving in LOGIC, LANGUAGE AND COMPUTATION
  • 2000-01-28. Abstraction-Based Partial Deduction for Solving Inverse Problems — A Transformational Approach to Software Verification in PERSPECTIVES OF SYSTEM INFORMATICS
  • 2000. Infinite State Model Checking by Abstract Interpretation and Program Specialisation in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2002. Inverting Functions as Folds in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 2000. The Universal Resolving Algorithm: Inverse Computation in a Functional Language in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 1992-03. On the synthesis of function inverses in ACTA INFORMATICA
  • 2000-01-28. On Perfect Supercompilation in PERSPECTIVES OF SYSTEM INFORMATICS
  • Book

    TITLE

    The Essence of Computation

    ISBN

    978-3-540-00326-7
    978-3-540-36377-4

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/3-540-36377-7_13

    DOI

    http://dx.doi.org/10.1007/3-540-36377-7_13

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1051401164


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Russian Academy of Sciences", 
              "id": "https://www.grid.ac/institutes/grid.4886.2", 
              "name": [
                "Program Systems Institute, Russian Academy of Sciences, RU-152140\u00a0Pereslavl-Zalessky, Russia"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Abramov", 
            "givenName": "Sergei", 
            "id": "sg:person.010307436465.27", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010307436465.27"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Waseda University", 
              "id": "https://www.grid.ac/institutes/grid.5290.e", 
              "name": [
                "PRESTO, JST & Institute for Software Production Technology, Waseda University, School of Science and Engineering, Tokyo\u00a0169-8555, Japan"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Gl\u00fcck", 
            "givenName": "Robert", 
            "id": "sg:person.010754010217.31", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1016/s0020-0190(97)00055-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000980817"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-46562-6_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008046482", 
              "https://doi.org/10.1007/3-540-46562-6_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-46562-6_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008046482", 
              "https://doi.org/10.1007/3-540-46562-6_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/321250.321253", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009195371"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0167-6423(02)00023-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015470010"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/5956.5957", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016193336"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-46562-6_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016922795", 
              "https://doi.org/10.1007/3-540-46562-6_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-46562-6_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016922795", 
              "https://doi.org/10.1007/3-540-46562-6_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10720327_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018879587", 
              "https://doi.org/10.1007/10720327_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10720327_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018879587", 
              "https://doi.org/10.1007/10720327_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(90)90147-a", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019824477"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01185679", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024052891", 
              "https://doi.org/10.1007/bf01185679"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01185679", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024052891", 
              "https://doi.org/10.1007/bf01185679"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-6423(90)90042-c", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024446635"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0032402", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027875008", 
              "https://doi.org/10.1007/bfb0032402"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0032402", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027875008", 
              "https://doi.org/10.1007/bfb0032402"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0743-1066(94)90034-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028239269"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/321033.321034", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028819080"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45442-x_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030504036", 
              "https://doi.org/10.1007/3-540-45442-x_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0956796800002008", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042426034"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10722010_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048205783", 
              "https://doi.org/10.1007/10722010_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10722010_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048205783", 
              "https://doi.org/10.1007/10722010_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1142/s0129054101000448", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062896350"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1147/rd.41.0028", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063182217"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2002", 
        "datePublishedReg": "2002-01-01", 
        "description": "We survey fundamental concepts in inverse programming and present the Universal Resolving Algorithm (URA), an algorithm for inverse computation in a first-order, functional programming language. We discuss the principles behind the algorithm, including a three-step approach based on the notion of a perfect process tree, and demonstrate our implementation with several examples. We explain the idea of a semantics modifier for inverse computation which allows us to perform inverse computation in other programming languages via interpreters.", 
        "editor": [
          {
            "familyName": "Mogensen", 
            "givenName": "Torben \u00c6.", 
            "type": "Person"
          }, 
          {
            "familyName": "Schmidt", 
            "givenName": "David A.", 
            "type": "Person"
          }, 
          {
            "familyName": "Sudborough", 
            "givenName": "I. Hal", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/3-540-36377-7_13", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-00326-7", 
            "978-3-540-36377-4"
          ], 
          "name": "The Essence of Computation", 
          "type": "Book"
        }, 
        "name": "Principles of Inverse Computation and the Universal Resolving Algorithm", 
        "pagination": "269-295", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/3-540-36377-7_13"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "f4dab48c38c703eb2052696b269c2c8c5de217d8cda0e61c582b4084b929e254"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1051401164"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/3-540-36377-7_13", 
          "https://app.dimensions.ai/details/publication/pub.1051401164"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T13:31", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8664_00000275.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/3-540-36377-7_13"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/3-540-36377-7_13'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/3-540-36377-7_13'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-36377-7_13'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-36377-7_13'


     

    This table displays all metadata directly associated to this object as RDF triples.

    146 TRIPLES      23 PREDICATES      45 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/3-540-36377-7_13 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Ncfa459e431fc4cbeb994d5d198d3b1c0
    4 schema:citation sg:pub.10.1007/10720327_5
    5 sg:pub.10.1007/10722010_13
    6 sg:pub.10.1007/3-540-45442-x_13
    7 sg:pub.10.1007/3-540-46562-6_10
    8 sg:pub.10.1007/3-540-46562-6_8
    9 sg:pub.10.1007/bf01185679
    10 sg:pub.10.1007/bfb0032402
    11 https://doi.org/10.1016/0167-6423(90)90042-c
    12 https://doi.org/10.1016/0304-3975(90)90147-a
    13 https://doi.org/10.1016/0743-1066(94)90034-5
    14 https://doi.org/10.1016/s0020-0190(97)00055-0
    15 https://doi.org/10.1016/s0167-6423(02)00023-0
    16 https://doi.org/10.1017/s0956796800002008
    17 https://doi.org/10.1142/s0129054101000448
    18 https://doi.org/10.1145/321033.321034
    19 https://doi.org/10.1145/321250.321253
    20 https://doi.org/10.1145/5956.5957
    21 https://doi.org/10.1147/rd.41.0028
    22 schema:datePublished 2002
    23 schema:datePublishedReg 2002-01-01
    24 schema:description We survey fundamental concepts in inverse programming and present the Universal Resolving Algorithm (URA), an algorithm for inverse computation in a first-order, functional programming language. We discuss the principles behind the algorithm, including a three-step approach based on the notion of a perfect process tree, and demonstrate our implementation with several examples. We explain the idea of a semantics modifier for inverse computation which allows us to perform inverse computation in other programming languages via interpreters.
    25 schema:editor N72710e5352234f32af9bc365c211324d
    26 schema:genre chapter
    27 schema:inLanguage en
    28 schema:isAccessibleForFree false
    29 schema:isPartOf N99841bedbd404956a96b6922d4f959d4
    30 schema:name Principles of Inverse Computation and the Universal Resolving Algorithm
    31 schema:pagination 269-295
    32 schema:productId N07b9bedcd953445db9367a48e36b12ea
    33 N1b1d4a94e74b49b1ab4896bd3e6d1d00
    34 N622ae055084847c7b2e2064764d9902f
    35 schema:publisher Nff2fec7bd25046f2adaea3a95e9fefb9
    36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051401164
    37 https://doi.org/10.1007/3-540-36377-7_13
    38 schema:sdDatePublished 2019-04-15T13:31
    39 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    40 schema:sdPublisher N71b77a656334419085b393917247dbde
    41 schema:url http://link.springer.com/10.1007/3-540-36377-7_13
    42 sgo:license sg:explorer/license/
    43 sgo:sdDataset chapters
    44 rdf:type schema:Chapter
    45 N056d0b231bfc48f1b7a0f34ae9acc292 schema:familyName Schmidt
    46 schema:givenName David A.
    47 rdf:type schema:Person
    48 N07b9bedcd953445db9367a48e36b12ea schema:name readcube_id
    49 schema:value f4dab48c38c703eb2052696b269c2c8c5de217d8cda0e61c582b4084b929e254
    50 rdf:type schema:PropertyValue
    51 N1b1d4a94e74b49b1ab4896bd3e6d1d00 schema:name doi
    52 schema:value 10.1007/3-540-36377-7_13
    53 rdf:type schema:PropertyValue
    54 N32bffbfcd6ff45a6b88729474224114b schema:familyName Sudborough
    55 schema:givenName I. Hal
    56 rdf:type schema:Person
    57 N476aebaf621247cfb5b374003d9495a4 rdf:first N32bffbfcd6ff45a6b88729474224114b
    58 rdf:rest rdf:nil
    59 N622ae055084847c7b2e2064764d9902f schema:name dimensions_id
    60 schema:value pub.1051401164
    61 rdf:type schema:PropertyValue
    62 N71b77a656334419085b393917247dbde schema:name Springer Nature - SN SciGraph project
    63 rdf:type schema:Organization
    64 N72710e5352234f32af9bc365c211324d rdf:first Nb929b442464548708a3d4b5d55c2512e
    65 rdf:rest Nc3048dcfb62f430b8849cddc23a92c34
    66 N99841bedbd404956a96b6922d4f959d4 schema:isbn 978-3-540-00326-7
    67 978-3-540-36377-4
    68 schema:name The Essence of Computation
    69 rdf:type schema:Book
    70 Nb929b442464548708a3d4b5d55c2512e schema:familyName Mogensen
    71 schema:givenName Torben Æ.
    72 rdf:type schema:Person
    73 Nbb1b1cbdf9fa4383adcb96a69c8b0832 rdf:first sg:person.010754010217.31
    74 rdf:rest rdf:nil
    75 Nc3048dcfb62f430b8849cddc23a92c34 rdf:first N056d0b231bfc48f1b7a0f34ae9acc292
    76 rdf:rest N476aebaf621247cfb5b374003d9495a4
    77 Ncfa459e431fc4cbeb994d5d198d3b1c0 rdf:first sg:person.010307436465.27
    78 rdf:rest Nbb1b1cbdf9fa4383adcb96a69c8b0832
    79 Nff2fec7bd25046f2adaea3a95e9fefb9 schema:location Berlin, Heidelberg
    80 schema:name Springer Berlin Heidelberg
    81 rdf:type schema:Organisation
    82 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    83 schema:name Information and Computing Sciences
    84 rdf:type schema:DefinedTerm
    85 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    86 schema:name Computer Software
    87 rdf:type schema:DefinedTerm
    88 sg:person.010307436465.27 schema:affiliation https://www.grid.ac/institutes/grid.4886.2
    89 schema:familyName Abramov
    90 schema:givenName Sergei
    91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010307436465.27
    92 rdf:type schema:Person
    93 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
    94 schema:familyName Glück
    95 schema:givenName Robert
    96 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
    97 rdf:type schema:Person
    98 sg:pub.10.1007/10720327_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018879587
    99 https://doi.org/10.1007/10720327_5
    100 rdf:type schema:CreativeWork
    101 sg:pub.10.1007/10722010_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048205783
    102 https://doi.org/10.1007/10722010_13
    103 rdf:type schema:CreativeWork
    104 sg:pub.10.1007/3-540-45442-x_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030504036
    105 https://doi.org/10.1007/3-540-45442-x_13
    106 rdf:type schema:CreativeWork
    107 sg:pub.10.1007/3-540-46562-6_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016922795
    108 https://doi.org/10.1007/3-540-46562-6_10
    109 rdf:type schema:CreativeWork
    110 sg:pub.10.1007/3-540-46562-6_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008046482
    111 https://doi.org/10.1007/3-540-46562-6_8
    112 rdf:type schema:CreativeWork
    113 sg:pub.10.1007/bf01185679 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024052891
    114 https://doi.org/10.1007/bf01185679
    115 rdf:type schema:CreativeWork
    116 sg:pub.10.1007/bfb0032402 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027875008
    117 https://doi.org/10.1007/bfb0032402
    118 rdf:type schema:CreativeWork
    119 https://doi.org/10.1016/0167-6423(90)90042-c schema:sameAs https://app.dimensions.ai/details/publication/pub.1024446635
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1016/0304-3975(90)90147-a schema:sameAs https://app.dimensions.ai/details/publication/pub.1019824477
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1016/0743-1066(94)90034-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028239269
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1016/s0020-0190(97)00055-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000980817
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1016/s0167-6423(02)00023-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015470010
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1017/s0956796800002008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042426034
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1142/s0129054101000448 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062896350
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1145/321033.321034 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028819080
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.1145/321250.321253 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009195371
    136 rdf:type schema:CreativeWork
    137 https://doi.org/10.1145/5956.5957 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016193336
    138 rdf:type schema:CreativeWork
    139 https://doi.org/10.1147/rd.41.0028 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063182217
    140 rdf:type schema:CreativeWork
    141 https://www.grid.ac/institutes/grid.4886.2 schema:alternateName Russian Academy of Sciences
    142 schema:name Program Systems Institute, Russian Academy of Sciences, RU-152140 Pereslavl-Zalessky, Russia
    143 rdf:type schema:Organization
    144 https://www.grid.ac/institutes/grid.5290.e schema:alternateName Waseda University
    145 schema:name PRESTO, JST & Institute for Software Production Technology, Waseda University, School of Science and Engineering, Tokyo 169-8555, Japan
    146 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...