Ontology type: schema:Chapter Open Access: True
2012
AUTHORSEugene Asarin , Nicolas Basset , Marie-Pierre Béal , Aldric Degorre , Dominique Perrin
ABSTRACTThe classical theory of constrained-channel coding deals with the following questions: given two languages representing a source and a channel, is it possible to encode source messages to channel messages, and how to realize encoding and decoding by simple algorithms, most often transducers. The answers to this kind of questions are based on the notion of entropy. In the current paper, the questions and the results of the classical theory are lifted to timed languages. Using the notion of entropy of timed languages introduced by Asarin and Degorre, the question of timed coding is stated and solved in several settings. More... »
PAGES27-42
Formal Modeling and Analysis of Timed Systems
ISBN
978-3-642-33364-4
978-3-642-33365-1
http://scigraph.springernature.com/pub.10.1007/978-3-642-33365-1_4
DOIhttp://dx.doi.org/10.1007/978-3-642-33365-1_4
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1019253314
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/0804",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Data Format",
"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": "Laboratoire d'Informatique Algorithmique: Fondements et Applications",
"id": "https://www.grid.ac/institutes/grid.462842.e",
"name": [
"LIAFA, University Paris Diderot and CNRS, France"
],
"type": "Organization"
},
"familyName": "Asarin",
"givenName": "Eugene",
"id": "sg:person.014724202705.41",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014724202705.41"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Laboratoire d'Informatique Gaspard-Monge",
"id": "https://www.grid.ac/institutes/grid.462940.d",
"name": [
"LIGM, University Paris-Est Marne-la-Vall\u00e9e and CNRS, France"
],
"type": "Organization"
},
"familyName": "Basset",
"givenName": "Nicolas",
"id": "sg:person.014372542370.01",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014372542370.01"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Laboratoire d'Informatique Gaspard-Monge",
"id": "https://www.grid.ac/institutes/grid.462940.d",
"name": [
"LIGM, University Paris-Est Marne-la-Vall\u00e9e and CNRS, France"
],
"type": "Organization"
},
"familyName": "B\u00e9al",
"givenName": "Marie-Pierre",
"id": "sg:person.010500456313.85",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010500456313.85"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Laboratoire d'Informatique Algorithmique: Fondements et Applications",
"id": "https://www.grid.ac/institutes/grid.462842.e",
"name": [
"LIAFA, University Paris Diderot and CNRS, France"
],
"type": "Organization"
},
"familyName": "Degorre",
"givenName": "Aldric",
"id": "sg:person.012367276647.17",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012367276647.17"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Laboratoire d'Informatique Gaspard-Monge",
"id": "https://www.grid.ac/institutes/grid.462940.d",
"name": [
"LIGM, University Paris-Est Marne-la-Vall\u00e9e and CNRS, France"
],
"type": "Organization"
},
"familyName": "Perrin",
"givenName": "Dominique",
"id": "sg:person.016106347653.46",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016106347653.46"
],
"type": "Person"
}
],
"citation": [
{
"id": "sg:pub.10.1007/978-3-642-24310-3_9",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1001708385",
"https://doi.org/10.1007/978-3-642-24310-3_9"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-24310-3_9",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1001708385",
"https://doi.org/10.1007/978-3-642-24310-3_9"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-04368-0_4",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1007694948",
"https://doi.org/10.1007/978-3-642-04368-0_4"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-04081-8_6",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1016920144",
"https://doi.org/10.1007/978-3-642-04081-8_6"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/0304-3975(94)90010-8",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1029576598"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/s0890-5401(03)00038-5",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1033633786"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/s0890-5401(03)00038-5",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1033633786"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/30.468040",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061151351"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1017/cbo9780511626302",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1098666812"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1017/cbo9781139195768",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1098732319"
],
"type": "CreativeWork"
}
],
"datePublished": "2012",
"datePublishedReg": "2012-01-01",
"description": "The classical theory of constrained-channel coding deals with the following questions: given two languages representing a source and a channel, is it possible to encode source messages to channel messages, and how to realize encoding and decoding by simple algorithms, most often transducers. The answers to this kind of questions are based on the notion of entropy. In the current paper, the questions and the results of the classical theory are lifted to timed languages. Using the notion of entropy of timed languages introduced by Asarin and Degorre, the question of timed coding is stated and solved in several settings.",
"editor": [
{
"familyName": "Jurdzi\u0144ski",
"givenName": "Marcin",
"type": "Person"
},
{
"familyName": "Ni\u010dkovi\u0107",
"givenName": "Dejan",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-642-33365-1_4",
"inLanguage": [
"en"
],
"isAccessibleForFree": true,
"isPartOf": {
"isbn": [
"978-3-642-33364-4",
"978-3-642-33365-1"
],
"name": "Formal Modeling and Analysis of Timed Systems",
"type": "Book"
},
"name": "Toward a Timed Theory of Channel Coding",
"pagination": "27-42",
"productId": [
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-642-33365-1_4"
]
},
{
"name": "readcube_id",
"type": "PropertyValue",
"value": [
"5bbc25fdd63b91ab0ef837efcbb1372ba119d1c3a64e571cd2bde468f659a9f1"
]
},
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1019253314"
]
}
],
"publisher": {
"location": "Berlin, Heidelberg",
"name": "Springer Berlin Heidelberg",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-642-33365-1_4",
"https://app.dimensions.ai/details/publication/pub.1019253314"
],
"sdDataset": "chapters",
"sdDatePublished": "2019-04-15T16:16",
"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_8675_00000255.jsonl",
"type": "Chapter",
"url": "http://link.springer.com/10.1007/978-3-642-33365-1_4"
}
]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/pub.10.1007/978-3-642-33365-1_4'
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/978-3-642-33365-1_4'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-33365-1_4'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-33365-1_4'
This table displays all metadata directly associated to this object as RDF triples.
128 TRIPLES
23 PREDICATES
35 URIs
20 LITERALS
8 BLANK NODES