Computer Science Department View Homepage


Ontology type: grid:Facility  | foaf:Organization     


Organization Info

Publications in SciGraph latest 20 shown

  • 2019-04 What’s decidable about parametric timed automata? in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2019 Optimal Sizing of Low-DropOut Voltage Regulators by NSGA-II and PVT Analysis in NUMERICAL AND EVOLUTIONARY OPTIMIZATION – NEO 2017
  • 2019-01 Arctic Curve of the Free-Fermion Six-Vertex Model in an L-Shaped Domain in JOURNAL OF STATISTICAL PHYSICS
  • 2018-12-17 Theoretical and computational study of several linearisation techniques for binary quadratic problems in ANNALS OF OPERATIONS RESEARCH
  • 2018-12 Shared mobility systems: an updated survey in ANNALS OF OPERATIONS RESEARCH
  • 2018-12 Minimizers of the dynamical Boulatov model in THE EUROPEAN PHYSICAL JOURNAL C
  • 2018-10-18 Formal Modelling and Verification of Cloud Resource Allocation in Business Processes in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS. OTM 2018 CONFERENCES
  • 2018-10-18 A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS. OTM 2018 CONFERENCES
  • 2018-10-10 Author Identification Using Latent Dirichlet Allocation in COMPUTATIONAL LINGUISTICS AND INTELLIGENT TEXT PROCESSING
  • 2018-09-22 QPLIB: a library of quadratic programming instances in MATHEMATICAL PROGRAMMING COMPUTATION
  • 2018-08-31 LTL Model-Checking for Communicating Concurrent Programs in VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS
  • 2018-08-26 TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2018-08-09 Branching Temporal Logic of Calls and Returns for Pushdown Systems in INTEGRATED FORMAL METHODS
  • 2018-08-01 One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters in EURO-PAR 2018: PARALLEL PROCESSING
  • 2018-06-05 Once Punctured Disks, Non-Convex Polygons, and Pointihedra in ANNALS OF COMBINATORICS
  • 2018-06 On the Product Knapsack Problem in OPTIMIZATION LETTERS
  • 2018-04 Improved bounds on the diameter of lattice polytopes in ACTA MATHEMATICA HUNGARICA
  • 2018-03-08 Analytic Combinatorics of Lattice Paths with Forbidden Patterns: Enumerative Aspects in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
  • 2017-12 Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming in ALGORITHMS FOR MOLECULAR BIOLOGY
  • 2017-10-20 Formal Model and Method to Decompose Process-Aware IoT Applications in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS. OTM 2017 CONFERENCES
  • JSON-LD is the canonical representation for SciGraph data.

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "https://lipn.univ-paris13.fr/en/"
          }
        ], 
        "grid:establishedYear": [
          {
            "@value": "1986-01-01", 
            "type": "http://www.w3.org/2001/XMLSchema#gYear"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.462937.d/address-0"
          }
        ], 
        "grid:hasParent": [
          {
            "id": "http://www.grid.ac/institutes/grid.457015.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.11318.3a"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.462937.d"
          }
        ], 
        "grid:isni": [
          {
            "@value": "0000 0004 0452 7037"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.462937.d", 
        "rdfs:label": "Computer Science Department", 
        "sdDataset": "grid", 
        "skos:prefLabel": [
          {
            "@value": "Computer Science Department"
          }
        ], 
        "type": [
          "http://www.grid.ac/ontology/Facility", 
          "http://xmlns.com/foaf/0.1/Organization"
        ], 
        "vivo:abbreviation": [
          {
            "@value": "LIPN"
          }
        ]
      }
    ]
     

    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://www.grid.ac/institutes/grid.462937.d'

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

    curl -H 'Accept: application/n-triples' 'https://www.grid.ac/institutes/grid.462937.d'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://www.grid.ac/institutes/grid.462937.d'

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

    curl -H 'Accept: application/rdf+xml' 'https://www.grid.ac/institutes/grid.462937.d'


     

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

    13 TRIPLES      11 PREDICATES      13 URIs      6 LITERALS

    Subject Predicate Object
    1 grid-institutes:grid.462937.d sgo:sdDataset grid
    2 vivo:abbreviation LIPN
    3 grid:establishedYear 1986-01-01
    4 grid:hasAddress grid-institutes:grid.462937.d/address-0
    5 grid:hasParent grid-institutes:grid.11318.3a
    6 grid-institutes:grid.457015.2
    7 grid:id grid.462937.d
    8 grid:isni 0000 0004 0452 7037
    9 rdf:type grid:Facility
    10 foaf:Organization
    11 rdfs:label Computer Science Department
    12 skos:prefLabel Computer Science Department
    13 foaf:homepage https://lipn.univ-paris13.fr/en/
     




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


    ...