- home
- Search
- EDIH Adria
- GB
- IL
- AT
- INRIA a CCSD electronic archive ser...
- HAL-Inserm
- EDIH Adria
- GB
- IL
- AT
- INRIA a CCSD electronic archive ser...
- HAL-Inserm
Loading
description Publicationkeyboard_double_arrow_right Article 2019 France, United Kingdom, FrancePublisher:Elsevier BV Funded by:UKRI | Typed Lambda-Calculi with...UKRI| Typed Lambda-Calculi with Sharing and UnsharingAuthors: Accattoli, Beniamino; Guerrieri, Giulio;Accattoli, Beniamino; Guerrieri, Giulio;International audience; The theory of the call-by-value λ-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are required. Open call-by-value is the intermediate setting of weak evaluation with (possibly) open terms, on top of which Grégoire and Leroy designed one of the abstract machines of Coq. This paper provides a theory of abstract machines for the fireball calculus, the simplest presentation of open call-by-value. The literature contains machines that are either simple but inefficient, as they have an exponential overhead, or efficient but heavy, as they rely on a labeling of environments and a technical optimization. We introduce a machine that is simple and efficient: it does not use labels and it implements the fireball calculus within a bilinear overhead. Moreover, we provide a new fine understanding of how different optimizations impact on the complexity of the overhead, and evidence that the time cost model we work with is minimal.
Science of Computer ... arrow_drop_down University of Bath's research portalArticle . 2019Data sources: University of Bath's research portalScience of Computer ProgrammingArticle . 2019 . Peer-reviewedLicense: Elsevier Non-CommercialData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.scico.2019.03.002&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 7 citations 7 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert Science of Computer ... arrow_drop_down University of Bath's research portalArticle . 2019Data sources: University of Bath's research portalScience of Computer ProgrammingArticle . 2019 . Peer-reviewedLicense: Elsevier Non-CommercialData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.scico.2019.03.002&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2020 FrancePublisher:Institute of Electrical and Electronics Engineers (IEEE) Funded by:ANR | DIGITSLID, UKRI | Development of PEMD for N...ANR| DIGITSLID ,UKRI| Development of PEMD for Nuclear Coolant SystemsAuthors: Tonametl Sanchez; Andrey Polyakov; Emilia Fridman; Laurentiu Hetel;Tonametl Sanchez; Andrey Polyakov; Emilia Fridman; Laurentiu Hetel;In this paper, we propose a state-dependent switching controller for multiple-input multiple-output (MIMO) bilinear systems with constant delays in both the state and the input. The control input is assumed to be restricted to take only a finite number of values. The stability analysis of the closed loop is based on a Lyapunov–Krasovskii functional, and the design is reduced to solve a system of linear matrix inequalities. The controller can be designed by considering (state) delay-dependent or delay-independent conditions.
IEEE Transactions on... arrow_drop_down IEEE Transactions on Automatic ControlArticle . 2020 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-02285126/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tac.2019.2940548&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 6 citations 6 popularity Top 10% influence Average impulse Top 10% Powered by BIP!more_vert IEEE Transactions on... arrow_drop_down IEEE Transactions on Automatic ControlArticle . 2020 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-02285126/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tac.2019.2940548&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Conference object , Part of book or chapter of book 2018 FrancePublisher:Springer International Publishing Funded by:FWF | A Generic White-Box Testi...FWF| A Generic White-Box Testing Framework for Model TransformationsDorian Leroy; Erwan Bousse; Anaël Megna; Benoit Combemale; Manuel Wimmer;International audience; Recent approaches contribute facilities to breathe life into metamodels, thus making behavioral models directly executable. Such facilities are particularly helpful to better utilize a model over the time dimension, e.g., for early validation and verification. However, when even a small change is made to the model, to the language definition (e.g., semantic variation points), or to the external stimuli of an execution scenario, it remains difficult for a designer to grasp the impact of such a change on the resulting execution trace. This prevents accessible trade-off analysis and design-space exploration on behavioral models. In this paper, we propose a set of formally defined operators for analyzing execution traces. The operators include dynamic trace filtering, trace comparison with diff computation and visualization, and graph-based view extraction to analyze cycles. The operators are applied and validated on a demonstrative example that highlight their usefulness for the comprehension specific aspects of the underlying traces.
Hal-Diderot arrow_drop_down Hal-DiderotPart of book or chapter of book . Conference object . 2018Full-Text: https://hal.inria.fr/hal-01803031/documenthttps://doi.org/10.1007/978-3-...Part of book or chapter of book . 2018 . Peer-reviewedLicense: Springer TDMData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-319-92997-2_19&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu2 citations 2 popularity Average influence Average impulse Average Powered by BIP!more_vert Hal-Diderot arrow_drop_down Hal-DiderotPart of book or chapter of book . Conference object . 2018Full-Text: https://hal.inria.fr/hal-01803031/documenthttps://doi.org/10.1007/978-3-...Part of book or chapter of book . 2018 . Peer-reviewedLicense: Springer TDMData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-319-92997-2_19&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Conference object 2019 FrancePublisher:IEEE Kiedanski, Diego; Kofman, Daniel; Orda, Ariel; Horta, José; Otero, Alvaro;International audience; Irrigation in agriculture is a major source of electricity demand flexibility that goes largely unexploited. In this paper we provide a model and a solution to the problem of scheduling irrigation time to minimize electricity costs while satisfying crop water requirements. We propose to apply rebates (aimed to consume renewable energy surplus) that were traditionally offered to the industrial sector, in the agricultural one. Furthermore an architecture is proposed to overcome some of the limitations that can hinder the adoption of such rebates. The architecture integrates scheduling techniques best studied in the networking literature. Numerical analysis is performed to validate our model and evaluate the proposed scheduling mechanisms, based on real data from a soybean producer and from the corresponding electricity operator. Results indicate that significant cost reductions can be obtained, specially if the rebates are considered.
https://hal.telecom-... arrow_drop_down https://doi.org/10.1109/smartg...Conference object . 2019 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefINRIA a CCSD electronic archive server; Mémoires en Sciences de l'Information et de la CommunicationConference object . 2019add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/smartgridcomm.2019.8909717&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu1 citations 1 popularity Average influence Average impulse Average Powered by BIP!more_vert https://hal.telecom-... arrow_drop_down https://doi.org/10.1109/smartg...Conference object . 2019 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefINRIA a CCSD electronic archive server; Mémoires en Sciences de l'Information et de la CommunicationConference object . 2019add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/smartgridcomm.2019.8909717&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Conference object , Part of book or chapter of book 2019 FrancePublisher:Springer International Publishing Funded by:ANR | Deep_in_FranceANR| Deep_in_FranceAuthors: Camille Couprie; Pauline Luc; Jakob Verbeek;Camille Couprie; Pauline Luc; Jakob Verbeek;International audience; The ability to predict what will happen next from observing the past is a key component of intelligence. Methods that forecast future frames were recently introduced towards better machine intelligence. However, predicting directly in the image color space seems an overly complex task, and predicting higher level representations using semantic or instance segmentation approaches were shown to be more accurate. In this work, we introduce a novel prediction approach that encodes instance and semantic segmentation information in a single representation based on distance maps. Our graph-based modeling of the instance segmentation prediction problem allows us to obtain temporal tracks of the objects as an optimal solution to a watershed algorithm. Our experimental results on the Cityscapes dataset present state-of-the-art semantic segmentation predictions, and instance segmentation results outperforming a strong baseline based on optical flow.
https://hal.inria.fr... arrow_drop_down https://doi.org/10.1007/978-3-...Part of book or chapter of book . 2019 . Peer-reviewedLicense: Springer Nature TDMData sources: CrossrefHal-DiderotConference object . 2018Full-Text: https://hal.inria.fr/hal-01867746/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-030-11015-4_14&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu5 citations 5 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert https://hal.inria.fr... arrow_drop_down https://doi.org/10.1007/978-3-...Part of book or chapter of book . 2019 . Peer-reviewedLicense: Springer Nature TDMData sources: CrossrefHal-DiderotConference object . 2018Full-Text: https://hal.inria.fr/hal-01867746/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-030-11015-4_14&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2008 FrancePublisher:Institute of Electrical and Electronics Engineers (IEEE) Trichet, Francky; Lanzenberger, Monika; Sampson, Jennifer; Kargl, Horst; Wimmer, Manuel; Conroy, Colm; O'Sullivan, Declan; Lewis, David; Brennan, Rob; Ángel Ramos-Gargantilla, José; Gómez-Pérez, Asunción; Furst, Frederic; Trichet, Francky; Euzenat, Jérôme; Polleres, Axel; Scharffe, Fran; Kotis, Konstantinos;doi: 10.1109/mis.2008.108
International audience; Ontologies offer shared vocabularies that are key to agent cooperation and knowledge systems integration as well as fundamental to the Semantic Web. As the number of ontologies increases, so does the need for new tools and techniques to establish agreement between different knowledge representatuions. Six essays based on papers accepted for the First Workshop on Ontology Alignment and Visualization (OnAV 2008) exemplify some of the ways researchers are extending the state of the art in algorithms that can establish correspondences between different but related onologies.
IEEE Intelligent Sys... arrow_drop_down IEEE Intelligent SystemsArticle . 2008 . Peer-reviewedLicense: IEEE CopyrightData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/mis.2008.108&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu9 citations 9 popularity Average influence Average impulse Average Powered by BIP!more_vert IEEE Intelligent Sys... arrow_drop_down IEEE Intelligent SystemsArticle . 2008 . Peer-reviewedLicense: IEEE CopyrightData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/mis.2008.108&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2020 FrancePublisher:Institute of Electrical and Electronics Engineers (IEEE) Authors: Abdelmadjid Saad; Abou El Hassan Benyamina; Abdoulaye Gamatie;Abdelmadjid Saad; Abou El Hassan Benyamina; Abdoulaye Gamatie;International audience; Water plays a crucial role in the agricultural field for food production and raising livestock. Given the current trends in world population growth, the urgent food demand that must be answered by agriculture highly depends on our ability to efficiently exploit the available water resources. Among critical issues, there is water management. Recently, innovative technologies have improved water management and monitoring in agriculture. Internet of Things, Wireless Sensor Networks and Cloud Computing, have been used in diverse contexts in agriculture. By focusing on the water management challenge in general, existing approaches are aiming at optimizing water usage, and improving the quality and quantity of agricultural crops, while minimizing the need for direct human intervention. This is achieved by smoothing the water monitoring process, by applying the right automation level, and allowing farmers getting connected anywhere and anytime to their farms. There are plenty of challenges in agriculture involving water: water pollution monitoring, water reuse, monitoring water pipeline distribution network for irrigation, drinking water for livestock, etc. Several studies have been devoted to these questions in the recent decade. Therefore, this paper presents a survey on recent works dealing with water management and monitoring in agriculture, supported by advanced technologies. It also discusses some open challenges based on which relevant research directions can be drawn in the future, regarding the use of modern smart concepts and tools for water management and monitoring in the agriculture domain.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/access.2020.2974977&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesgold 26 citations 26 popularity Top 10% influence Top 10% impulse Top 10% Powered by BIP!more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/access.2020.2974977&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Preprint 2017 FrancePublisher:Elsevier BV Authors: Carmantini, Giovanni; Beim Graben, Peter; Desroches, Mathieu; Rodrigues, Serafim;Carmantini, Giovanni; Beim Graben, Peter; Desroches, Mathieu; Rodrigues, Serafim;International audience; Computation is classically studied in terms of automata, formal languages and algorithms; yet, the relation between neural dynamics and symbolic representations and operations is still unclear in traditional eliminative connectionism. Therefore, we suggest a unique perspective on this central issue, to which we would like to refer as to transparent connectionism, by proposing accounts of how symbolic computation can be implemented in neural substrates. In this study we first introduce a new model of dynamics on a symbolic space, the versatile shift, showing that it supports the real-time simulation of a range of automata. We then show that the Gödelization of versatile shifts defines nonlinear dynamical automata, dynamical systems evolving on a vectorial space. Finally, we present a mapping between nonlinear dynamical automata and recurrent artificial neural networks. The mapping defines an architecture characterized by its granular modularity, where data, symbolic operations and their control are not only distinguishable in activation space, but also spatially localizable in the network itself, while maintaining a distributed encoding of symbolic representations. The resulting networks simulate automata in real-time and are programmed directly, in absence of network training. To discuss the unique characteristics of the architecture and their consequences, we present two examples: i) the design of a Central Pattern Generator from a finite-state locomotive controller, and ii) the creation of a network simulating a system of interactive automata that supports the parsing of garden-path sentences as investigated in psycholinguistics experiments.
arXiv.org e-Print Ar... arrow_drop_down https://doi.org/10.48550/arxiv...Article . 2016License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.neunet.2016.09.001&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen bronze 13 citations 13 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert arXiv.org e-Print Ar... arrow_drop_down https://doi.org/10.48550/arxiv...Article . 2016License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.neunet.2016.09.001&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2020 Germany, France, Netherlands, France, GermanyPublisher:Royal Society of Chemistry (RSC) Funded by:FCT | H21, UKRI | Understanding biomass val...FCT| H21 ,UKRI| Understanding biomass value chains and the environment-food-energy-water nexus in Malaysia through whole-systems analysis and optimisation (BEFEW)Quarton, Christopher J.; Tlili, Olfa; Welder, Lara; Mansilla, Christine; Blanco, Herib; Heinrichs, Heidi; Leaver, Jonathan; Samsatli, Nouri J.; Lucchese, Paul; Robinius, Martin; Samsatli, Sheila;Sustainable energy & fuels 4(1), 80-95 (2020). doi:10.1039/C9SE00833K Published by Royal Society of Chemistry, Cambridge
NARCIS; Sustainable ... arrow_drop_down NARCIS; Sustainable Energy & FuelsArticle . 2020Publikationsserver der RWTH Aachen UniversityArticle . 2020Data sources: Publikationsserver der RWTH Aachen Universityadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1039/c9se00833k&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen hybrid 44 citations 44 popularity Top 1% influence Top 10% impulse Top 1% Powered by BIP!more_vert NARCIS; Sustainable ... arrow_drop_down NARCIS; Sustainable Energy & FuelsArticle . 2020Publikationsserver der RWTH Aachen UniversityArticle . 2020Data sources: Publikationsserver der RWTH Aachen Universityadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1039/c9se00833k&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Part of book or chapter of book 2021 FrancePublisher:Springer International Publishing Buffa, Michel; Cabrio, Elena; Fell, Michael; Gandon, Fabien; Giboin, Alain; Hennequin, Romain; Michel, Franck; Pauwels, Johan; Pellerin, Guillaume; Tikat, Maroua; Winckler, Marco;International audience; Since 2017, the goal of the two-million song WASABI database has been to build a knowledge graph linking collected metadata (artists,discography, producers, dates, etc.) with metadata generated by the analysis of both the songs’ lyrics (topics, places, emotions, structure, etc.) and audio signal (chords, sound, etc.). It relies on natural language processing and machine learning methods for extraction, and semantic Web frameworks for representation and integration. It describes more than 2 millions commercial songs, 200K albums and 77K artists. It can be exploited by music search engines, music professionals (e.g. journalists, radio presenters, music teachers) or scientists willing to analyze popular music published since 1950. It is available under an open license, inmultiple formats and with online and open source services including aninteractive navigator, a REST API and a SPARQL endpoint.
Hal-Diderot arrow_drop_down https://doi.org/10.1007/978-3-...Part of book or chapter of book . 2021 . Peer-reviewedLicense: Springer TDMData sources: CrossrefHAL-Rennes 1; INRIA a CCSD electronic archive server; Mémoires en Sciences de l'Information et de la CommunicationPart of book or chapter of book . 2021Full-Text: https://hal.science/hal-03282619/documentadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-030-77385-4_31&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu6 citations 6 popularity Top 10% influence Average impulse Top 10% Powered by BIP!more_vert Hal-Diderot arrow_drop_down https://doi.org/10.1007/978-3-...Part of book or chapter of book . 2021 . Peer-reviewedLicense: Springer TDMData sources: CrossrefHAL-Rennes 1; INRIA a CCSD electronic archive server; Mémoires en Sciences de l'Information et de la CommunicationPart of book or chapter of book . 2021Full-Text: https://hal.science/hal-03282619/documentadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-030-77385-4_31&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu
Loading
description Publicationkeyboard_double_arrow_right Article 2019 France, United Kingdom, FrancePublisher:Elsevier BV Funded by:UKRI | Typed Lambda-Calculi with...UKRI| Typed Lambda-Calculi with Sharing and UnsharingAuthors: Accattoli, Beniamino; Guerrieri, Giulio;Accattoli, Beniamino; Guerrieri, Giulio;International audience; The theory of the call-by-value λ-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are required. Open call-by-value is the intermediate setting of weak evaluation with (possibly) open terms, on top of which Grégoire and Leroy designed one of the abstract machines of Coq. This paper provides a theory of abstract machines for the fireball calculus, the simplest presentation of open call-by-value. The literature contains machines that are either simple but inefficient, as they have an exponential overhead, or efficient but heavy, as they rely on a labeling of environments and a technical optimization. We introduce a machine that is simple and efficient: it does not use labels and it implements the fireball calculus within a bilinear overhead. Moreover, we provide a new fine understanding of how different optimizations impact on the complexity of the overhead, and evidence that the time cost model we work with is minimal.
Science of Computer ... arrow_drop_down University of Bath's research portalArticle . 2019Data sources: University of Bath's research portalScience of Computer ProgrammingArticle . 2019 . Peer-reviewedLicense: Elsevier Non-CommercialData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.scico.2019.03.002&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 7 citations 7 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert Science of Computer ... arrow_drop_down University of Bath's research portalArticle . 2019Data sources: University of Bath's research portalScience of Computer ProgrammingArticle . 2019 . Peer-reviewedLicense: Elsevier Non-CommercialData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.scico.2019.03.002&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2020 FrancePublisher:Institute of Electrical and Electronics Engineers (IEEE) Funded by:ANR | DIGITSLID, UKRI | Development of PEMD for N...ANR| DIGITSLID ,UKRI| Development of PEMD for Nuclear Coolant SystemsAuthors: Tonametl Sanchez; Andrey Polyakov; Emilia Fridman; Laurentiu Hetel;Tonametl Sanchez; Andrey Polyakov; Emilia Fridman; Laurentiu Hetel;In this paper, we propose a state-dependent switching controller for multiple-input multiple-output (MIMO) bilinear systems with constant delays in both the state and the input. The control input is assumed to be restricted to take only a finite number of values. The stability analysis of the closed loop is based on a Lyapunov–Krasovskii functional, and the design is reduced to solve a system of linear matrix inequalities. The controller can be designed by considering (state) delay-dependent or delay-independent conditions.
IEEE Transactions on... arrow_drop_down IEEE Transactions on Automatic ControlArticle . 2020 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-02285126/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tac.2019.2940548&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 6 citations 6 popularity Top 10% influence Average impulse Top 10% Powered by BIP!more_vert IEEE Transactions on... arrow_drop_down IEEE Transactions on Automatic ControlArticle . 2020 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-02285126/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tac.2019.2940548&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Conference object , Part of book or chapter of book 2018 FrancePublisher:Springer International Publishing Funded by:FWF | A Generic White-Box Testi...FWF| A Generic White-Box Testing Framework for Model TransformationsDorian Leroy; Erwan Bousse; Anaël Megna; Benoit Combemale; Manuel Wimmer;International audience; Recent approaches contribute facilities to breathe life into metamodels, thus making behavioral models directly executable. Such facilities are particularly helpful to better utilize a model over the time dimension, e.g., for early validation and verification. However, when even a small change is made to the model, to the language definition (e.g., semantic variation points), or to the external stimuli of an execution scenario, it remains difficult for a designer to grasp the impact of such a change on the resulting execution trace. This prevents accessible trade-off analysis and design-space exploration on behavioral models. In this paper, we propose a set of formally defined operators for analyzing execution traces. The operators include dynamic trace filtering, trace comparison with diff computation and visualization, and graph-based view extraction to analyze cycles. The operators are applied and validated on a demonstrative example that highlight their usefulness for the comprehension specific aspects of the underlying traces.
Hal-Diderot arrow_drop_down Hal-DiderotPart of book or chapter of book . Conference object . 2018Full-Text: https://hal.inria.fr/hal-01803031/documenthttps://doi.org/10.1007/978-3-...Part of book or chapter of book . 2018 . Peer-reviewedLicense: Springer TDMData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-319-92997-2_19&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu2 citations 2 popularity Average influence Average impulse Average Powered by BIP!more_vert Hal-Diderot arrow_drop_down Hal-DiderotPart of book or chapter of book . Conference object . 2018Full-Text: https://hal.inria.fr/hal-01803031/documenthttps://doi.org/10.1007/978-3-...Part of book or chapter of book . 2018 . Peer-reviewedLicense: Springer TDMData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-319-92997-2_19&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Conference object 2019 FrancePublisher:IEEE Kiedanski, Diego; Kofman, Daniel; Orda, Ariel; Horta, José; Otero, Alvaro;International audience; Irrigation in agriculture is a major source of electricity demand flexibility that goes largely unexploited. In this paper we provide a model and a solution to the problem of scheduling irrigation time to minimize electricity costs while satisfying crop water requirements. We propose to apply rebates (aimed to consume renewable energy surplus) that were traditionally offered to the industrial sector, in the agricultural one. Furthermore an architecture is proposed to overcome some of the limitations that can hinder the adoption of such rebates. The architecture integrates scheduling techniques best studied in the networking literature. Numerical analysis is performed to validate our model and evaluate the proposed scheduling mechanisms, based on real data from a soybean producer and from the corresponding electricity operator. Results indicate that significant cost reductions can be obtained, specially if the rebates are considered.
https://hal.telecom-... arrow_drop_down https://doi.org/10.1109/smartg...Conference object . 2019 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefINRIA a CCSD electronic archive server; Mémoires en Sciences de l'Information et de la CommunicationConference object . 2019add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/smartgridcomm.2019.8909717&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu1 citations 1 popularity Average influence Average impulse Average Powered by BIP!more_vert https://hal.telecom-... arrow_drop_down https://doi.org/10.1109/smartg...Conference object . 2019 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefINRIA a CCSD electronic archive server; Mémoires en Sciences de l'Information et de la CommunicationConference object . 2019add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/smartgridcomm.2019.8909717&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Conference object , Part of book or chapter of book 2019 FrancePublisher:Springer International Publishing Funded by:ANR | Deep_in_FranceANR| Deep_in_FranceAuthors: Camille Couprie; Pauline Luc; Jakob Verbeek;Camille Couprie; Pauline Luc; Jakob Verbeek;International audience; The ability to predict what will happen next from observing the past is a key component of intelligence. Methods that forecast future frames were recently introduced towards better machine intelligence. However, predicting directly in the image color space seems an overly complex task, and predicting higher level representations using semantic or instance segmentation approaches were shown to be more accurate. In this work, we introduce a novel prediction approach that encodes instance and semantic segmentation information in a single representation based on distance maps. Our graph-based modeling of the instance segmentation prediction problem allows us to obtain temporal tracks of the objects as an optimal solution to a watershed algorithm. Our experimental results on the Cityscapes dataset present state-of-the-art semantic segmentation predictions, and instance segmentation results outperforming a strong baseline based on optical flow.
https://hal.inria.fr... arrow_drop_down https://doi.org/10.1007/978-3-...Part of book or chapter of book . 2019 . Peer-reviewedLicense: Springer Nature TDMData sources: CrossrefHal-DiderotConference object . 2018Full-Text: https://hal.inria.fr/hal-01867746/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-030-11015-4_14&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu5 citations 5 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert https://hal.inria.fr... arrow_drop_down https://doi.org/10.1007/978-3-...Part of book or chapter of book . 2019 . Peer-reviewedLicense: Springer Nature TDMData sources: CrossrefHal-DiderotConference object . 2018Full-Text: https://hal.inria.fr/hal-01867746/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-030-11015-4_14&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2008 FrancePublisher:Institute of Electrical and Electronics Engineers (IEEE) Trichet, Francky; Lanzenberger, Monika; Sampson, Jennifer; Kargl, Horst; Wimmer, Manuel; Conroy, Colm; O'Sullivan, Declan; Lewis, David; Brennan, Rob; Ángel Ramos-Gargantilla, José; Gómez-Pérez, Asunción; Furst, Frederic; Trichet, Francky; Euzenat, Jérôme; Polleres, Axel; Scharffe, Fran; Kotis, Konstantinos;doi: 10.1109/mis.2008.108
International audience; Ontologies offer shared vocabularies that are key to agent cooperation and knowledge systems integration as well as fundamental to the Semantic Web. As the number of ontologies increases, so does the need for new tools and techniques to establish agreement between different knowledge representatuions. Six essays based on papers accepted for the First Workshop on Ontology Alignment and Visualization (OnAV 2008) exemplify some of the ways researchers are extending the state of the art in algorithms that can establish correspondences between different but related onologies.
IEEE Intelligent Sys... arrow_drop_down IEEE Intelligent SystemsArticle . 2008 . Peer-reviewedLicense: IEEE CopyrightData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/mis.2008.108&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu9 citations 9 popularity Average influence Average impulse Average Powered by BIP!more_vert IEEE Intelligent Sys... arrow_drop_down IEEE Intelligent SystemsArticle . 2008 . Peer-reviewedLicense: IEEE CopyrightData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/mis.2008.108&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2020 FrancePublisher:Institute of Electrical and Electronics Engineers (IEEE) Authors: Abdelmadjid Saad; Abou El Hassan Benyamina; Abdoulaye Gamatie;Abdelmadjid Saad; Abou El Hassan Benyamina; Abdoulaye Gamatie;International audience; Water plays a crucial role in the agricultural field for food production and raising livestock. Given the current trends in world population growth, the urgent food demand that must be answered by agriculture highly depends on our ability to efficiently exploit the available water resources. Among critical issues, there is water management. Recently, innovative technologies have improved water management and monitoring in agriculture. Internet of Things, Wireless Sensor Networks and Cloud Computing, have been used in diverse contexts in agriculture. By focusing on the water management challenge in general, existing approaches are aiming at optimizing water usage, and improving the quality and quantity of agricultural crops, while minimizing the need for direct human intervention. This is achieved by smoothing the water monitoring process, by applying the right automation level, and allowing farmers getting connected anywhere and anytime to their farms. There are plenty of challenges in agriculture involving water: water pollution monitoring, water reuse, monitoring water pipeline distribution network for irrigation, drinking water for livestock, etc. Several studies have been devoted to these questions in the recent decade. Therefore, this paper presents a survey on recent works dealing with water management and monitoring in agriculture, supported by advanced technologies. It also discusses some open challenges based on which relevant research directions can be drawn in the future, regarding the use of modern smart concepts and tools for water management and monitoring in the agriculture domain.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/access.2020.2974977&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesgold 26 citations 26 popularity Top 10% influence Top 10% impulse Top 10% Powered by BIP!more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/access.2020.2974977&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Preprint 2017 FrancePublisher:Elsevier BV Authors: Carmantini, Giovanni; Beim Graben, Peter; Desroches, Mathieu; Rodrigues, Serafim;Carmantini, Giovanni; Beim Graben, Peter; Desroches, Mathieu; Rodrigues, Serafim;International audience; Computation is classically studied in terms of automata, formal languages and algorithms; yet, the relation between neural dynamics and symbolic representations and operations is still unclear in traditional eliminative connectionism. Therefore, we suggest a unique perspective on this central issue, to which we would like to refer as to transparent connectionism, by proposing accounts of how symbolic computation can be implemented in neural substrates. In this study we first introduce a new model of dynamics on a symbolic space, the versatile shift, showing that it supports the real-time simulation of a range of automata. We then show that the Gödelization of versatile shifts defines nonlinear dynamical automata, dynamical systems evolving on a vectorial space. Finally, we present a mapping between nonlinear dynamical automata and recurrent artificial neural networks. The mapping defines an architecture characterized by its granular modularity, where data, symbolic operations and their control are not only distinguishable in activation space, but also spatially localizable in the network itself, while maintaining a distributed encoding of symbolic representations. The resulting networks simulate automata in real-time and are programmed directly, in absence of network training. To discuss the unique characteristics of the architecture and their consequences, we present two examples: i) the design of a Central Pattern Generator from a finite-state locomotive controller, and ii) the creation of a network simulating a system of interactive automata that supports the parsing of garden-path sentences as investigated in psycholinguistics experiments.
arXiv.org e-Print Ar... arrow_drop_down https://doi.org/10.48550/arxiv...Article . 2016License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.neunet.2016.09.001&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen bronze 13 citations 13 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert arXiv.org e-Print Ar... arrow_drop_down https://doi.org/10.48550/arxiv...Article . 2016License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.neunet.2016.09.001&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2020 Germany, France, Netherlands, France, GermanyPublisher:Royal Society of Chemistry (RSC) Funded by:FCT | H21, UKRI | Understanding biomass val...FCT| H21 ,UKRI| Understanding biomass value chains and the environment-food-energy-water nexus in Malaysia through whole-systems analysis and optimisation (BEFEW)Quarton, Christopher J.; Tlili, Olfa; Welder, Lara; Mansilla, Christine; Blanco, Herib; Heinrichs, Heidi; Leaver, Jonathan; Samsatli, Nouri J.; Lucchese, Paul; Robinius, Martin; Samsatli, Sheila;Sustainable energy & fuels 4(1), 80-95 (2020). doi:10.1039/C9SE00833K Published by Royal Society of Chemistry, Cambridge
NARCIS; Sustainable ... arrow_drop_down NARCIS; Sustainable Energy & FuelsArticle . 2020Publikationsserver der RWTH Aachen UniversityArticle . 2020Data sources: Publikationsserver der RWTH Aachen Universityadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1039/c9se00833k&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen hybrid 44 citations 44 popularity Top 1% influence Top 10% impulse Top 1% Powered by BIP!more_vert NARCIS; Sustainable ... arrow_drop_down NARCIS; Sustainable Energy & FuelsArticle . 2020Publikationsserver der RWTH Aachen UniversityArticle . 2020Data sources: Publikationsserver der RWTH Aachen Universityadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1039/c9se00833k&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Part of book or chapter of book 2021 FrancePublisher:Springer International Publishing Buffa, Michel; Cabrio, Elena; Fell, Michael; Gandon, Fabien; Giboin, Alain; Hennequin, Romain; Michel, Franck; Pauwels, Johan; Pellerin, Guillaume; Tikat, Maroua; Winckler, Marco;International audience; Since 2017, the goal of the two-million song WASABI database has been to build a knowledge graph linking collected metadata (artists,discography, producers, dates, etc.) with metadata generated by the analysis of both the songs’ lyrics (topics, places, emotions, structure, etc.) and audio signal (chords, sound, etc.). It relies on natural language processing and machine learning methods for extraction, and semantic Web frameworks for representation and integration. It describes more than 2 millions commercial songs, 200K albums and 77K artists. It can be exploited by music search engines, music professionals (e.g. journalists, radio presenters, music teachers) or scientists willing to analyze popular music published since 1950. It is available under an open license, inmultiple formats and with online and open source services including aninteractive navigator, a REST API and a SPARQL endpoint.
Hal-Diderot arrow_drop_down https://doi.org/10.1007/978-3-...Part of book or chapter of book . 2021 . Peer-reviewedLicense: Springer TDMData sources: CrossrefHAL-Rennes 1; INRIA a CCSD electronic archive server; Mémoires en Sciences de l'Information et de la CommunicationPart of book or chapter of book . 2021Full-Text: https://hal.science/hal-03282619/documentadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-030-77385-4_31&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu6 citations 6 popularity Top 10% influence Average impulse Top 10% Powered by BIP!more_vert Hal-Diderot arrow_drop_down https://doi.org/10.1007/978-3-...Part of book or chapter of book . 2021 . Peer-reviewedLicense: Springer TDMData sources: CrossrefHAL-Rennes 1; INRIA a CCSD electronic archive server; Mémoires en Sciences de l'Information et de la CommunicationPart of book or chapter of book . 2021Full-Text: https://hal.science/hal-03282619/documentadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-030-77385-4_31&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu