Hirokazu Anai

Ontology type: schema:Person     

Person Info





Publications in SciGraph latest 50 shown

  • 2018 Mathematical Technologies and Artificial Intelligence Toward Human-Centric Innovation in INNOVATIVE APPROACHES IN AGENT-BASED MODELLING AND BUSINESS INTELLIGENCE
  • 2017-12 An indirect search algorithm for disaster restoration with precedence and synchronization constraints in PACIFIC JOURNAL OF MATHEMATICS FOR INDUSTRY
  • 2017 Modeling and Managing Airport Passenger Flow Under Uncertainty: A Case of Fukuoka Airport in Japan in SOCIAL INFORMATICS
  • 2016 Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas in MATHEMATICAL ASPECTS OF COMPUTER AND INFORMATION SCIENCES
  • 2016 Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems in AUTOMATED REASONING
  • 2014 SyNRAC: A Toolbox for Solving Real Algebraic Constraints in MATHEMATICAL SOFTWARE – ICMS 2014
  • 2014 Applied Algebraic Geometry in Model Based Design for Manufacturing in THE IMPACT OF APPLICATIONS ON MATHEMATICS
  • 2013 An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification in COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING
  • 2011-09 A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design in MATHEMATICS IN COMPUTER SCIENCE
  • 2011-09 An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems in MATHEMATICS IN COMPUTER SCIENCE
  • 2011-06 Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition in MATHEMATICS IN COMPUTER SCIENCE
  • 2011 Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition in COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING
  • 2009-10 Computer algebra for guaranteed accuracy. How does it help? in JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS
  • 2008-03 Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination in MATHEMATICS IN COMPUTER SCIENCE
  • 2007-12 Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination in APPLICABLE ALGEBRA IN ENGINEERING, COMMUNICATION AND COMPUTING
  • 2007 On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization in NUMERICAL METHODS AND APPLICATIONS
  • 2007 Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach in ALGEBRAIC BIOLOGY
  • 2007 An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks in COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING
  • 2006 Development of SyNRAC in COMPUTATIONAL SCIENCE – ICCS 2006
  • 2005 Development of SyNRAC in COMPUTATIONAL SCIENCE – ICCS 2005
  • 2004 Development of SyNRAC—Formula Description and New Functions in COMPUTATIONAL SCIENCE - ICCS 2004
  • 2003-06-18 SyNRAC: A Maple-Package for Solving Real Algebraic Constraints in COMPUTATIONAL SCIENCE — ICCS 2003
  • 2001 Reach Set Computations Using Real Quantifier Elimination in HYBRID SYSTEMS: COMPUTATION AND CONTROL
  • 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", 
        "familyName": "Anai", 
        "givenName": "Hirokazu", 
        "id": "sg:person.014434143753.20", 
        "sameAs": [
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:35", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1368.json", 
        "type": "Person"

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


    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/person.014434143753.20'

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

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.014434143753.20'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.014434143753.20'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.014434143753.20'


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

    11 TRIPLES      9 PREDICATES      10 URIs      6 LITERALS      1 BLANK NODES

    Subject Predicate Object
    1 sg:person.014434143753.20 schema:familyName Anai
    2 schema:givenName Hirokazu
    3 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014434143753.20
    4 schema:sdDatePublished 2019-03-07T13:35
    5 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    6 schema:sdPublisher Ned27119104004c669eb724675e2f0632
    7 sgo:license sg:explorer/license/
    8 sgo:sdDataset persons
    9 rdf:type schema:Person
    10 Ned27119104004c669eb724675e2f0632 schema:name Springer Nature - SN SciGraph project
    11 rdf:type schema:Organization

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