Faculte d'informatique

Résultat de recherche

Résultat de recherche par an

1969 2020

• 15510 Citations
• 58 h-Index
• 1675 Article
• 980 Chapitre
• 774 Article dans les actes d'une conférence/un colloque
• 430 Rapport commissionné
• 1167 Afficher plus d’informations
  • 417 Autre contribution
  • 316 Livre
  • 73 Article de travail
  • 63 Autre rapport
  • 55 Produits numériques ou (audio)visuels
  • 48 Syllabus
  • 33 Chapitre (revu par des pairs)
  • 31 Revue de documentation
  • 23 Poster
  • 21 Résumé
  • 12 Avant-propos/Préface/post-scriptum
  • 12 Site/Publication web
  • 10 Logiciel
  • 9 Editorial
  • 8 Article à la une
  • 7 Numéro spécial
  • 6 Autre
  • 6 Critique de livre/film/article
  • 6 Mémoire de master
  • 4 Thèse de doctorat
  • 3 Revue
  • 2 Commentaire/débat
  • 2 ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

Résultat de recherche par an

Résultat de recherche par an

Résultats de recherche

• 2020

  Adapting Queries to Database Schema Changes in Hybrid Polystores

  Fink, J., Gobert, M. & Cleve, A., 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE Computer Society Press, 5 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File

  • Query languages
  • Modeling languages
  • Application programs
  • Inspection
  5 Téléchargements (Pure)

• A Model Driven Engineering Approach to Key Performance Indicators: Towards Self-Service Performance Management (SS-PM Project)

  BURNAY, CORENTIN., 23 sept. 2020, (Accepté/sous presse) IEEE 14th International Conference on Research Challenges in Information Science.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File
  3 Téléchargements (Pure)

• An End-to-End Framework for Integrating and Publishing Linked Open Government Data

  Abida, R., Hachicha Belghith, E. & Cleve, A., 2020, Proceedings of the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2020). IEEE Computer Society Press, 6 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File

  • e-government
  • Open Data
  • Linked data
  5 Téléchargements (Pure)

• An Interdisciplinary and Collaborative Design Model for AI Literacy Activities: Workshop 7: Creating Opportunities for Children’s Critical Reflections on AI, Robotics and Other Intelligent Technologies

  HENRY, JULIE., Hernalesteen, A. & COLLARD, ANNE-SOPHIE., juin 2020, (Accepté/sous presse) Proceedings of the ACM Interaction Design and Children (IDC) conference 2020 . ACM Press

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• B-MERODE: A Model-Driven Engineering and Artifact-Centric Approach to Generate Smart Contracts

  AMARAL DE SOUSA, VICTOR., BURNAY, CORENTIN. & Snoeck, M., 18 mars 2020, (Accepté/sous presse) Proceedings - 32nd International Conference on Advanced Information Systems Engineering. LNCS - Springer-Verlag

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  File

  • Business Process
  • Blockchain
  • Automation
  • Reusability
  • Supply chains
  30 Téléchargements (Pure)

• De-constructing Media-fueled Conceptions on Artificial Intelligence by Playing “Who’s who?”

  Collard, A-S., Henry, J., Hernalesteen, A., Jacques, J. & Frenay, B., 2020, Proceedings of Media Education Summitt 2020.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  File
  12 Téléchargements (Pure)

• Déconstruire les représentations médiatiques sur l’intelligence artificielle en jouant à “Qui est-ce ?”

  Collard, A-S., Henry, J., Hernalesteen, A. & Jacques, J., 2020, (Accepté/sous presse) Actes du Colloque International TICEMED 12.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Defining Referential Integrity Constraints in Graph-oriented Datastores

  Masson, T., Ravet, R., Bermudez Ruiz, F. J., Serbout, S. & Cleve, A., 1 janv. 2020, Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2020). Hammoudi, S., Pires, L. F. & Selic, B. (eds.). Springer, p. 409-416 8 p. (MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  • Information management
  • Big data
  • Information systems
  • Scalability
  • Specifications

• Designing Digital Literacy Activities: An Interdisciplinary and Collaborative Approac

  HENRY, JULIE., Hernalesteen, A. & COLLARD, ANNE-SOPHIE., oct. 2020, (Accepté/sous presse) Proceedings of Frontiers in Education 2020 - FIE2020. IEEE Press

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Developing a Critical Robot Literacy for Young People from Conceptual Metaphors Analysis

  HENRY, JULIE., Boraita, F. & COLLARD, ANNE-SOPHIE., oct. 2020, (Accepté/sous presse) Proceedings of Frontiers in Education 2020 - FIE2020. IEEE Press

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning

  Delobelle, P., Temple, P., Perrouin, G., FRENAY, BENOIT., Heymans, P. & Berendt, B., 14 mai 2020, 1st workshop on Bias and Fairness in AI, co-located with ECMLPKDD 2020. 15 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File

  • Machine Learning
  • Fairness
  • Designer
  • Critical Systems
  • Equality of Opportunity
  10 Téléchargements (Pure)

• Explaining t-SNE Embeddings Locally by Adapting LIME

  BIBAL, ADRIEN., Vu, V. M., Nanfack, G. & FRENAY, BENOIT., 2020, (Accepté/sous presse) Proceedings of the ESANN 2020 conference.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• From Metaphors in Robotic Activities to Critical Digital Literacy: Workshop 7: Creating Opportunities for Children’s Critical Reflections on AI, Robotics and Other Intelligent Technologies

  HENRY, JULIE., Boraita, F. & COLLARD, ANNE-SOPHIE., juin 2020, (Accepté/sous presse) Proceedings of the ACM Interaction Design and Children (IDC) conference 2020 . ACM Press

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Impact of Interactive Recommendation Systems on Shopping Outcomes: the Moderating Role of Trust, Innovativeness and Self-expressiveness

  DEVENTER, C. & ZIDDA, P., 16 sept. 2020, (Accepté/sous presse) 11th European Marketing Academy (EMAC) Regional Conference. European Marketing Academy

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Recommendation System
  • Innovativeness
  • Shopping
  • Revisit Intention
  • Word-of-mouth

• Impact of Legal Requirements on Explainability in Machine Learning

  BIBAL, ADRIEN., LOGNOUL, M., DE STREEL, A. & FRENAY, BENOIT., 2020, (Accepté/sous presse) ICML Law & Machine Learning Workshop.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File
  5 Téléchargements (Pure)

• InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics

  Kang, E. Y. & Schobbens, P. Y., juin 2020, 2020 9th Mediterranean Conference on Embedded Computing, MECO 2020. Institute of Electrical and Electronics Engineers Inc., 9134341. (2020 9th Mediterranean Conference on Embedded Computing, MECO 2020).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Cyber Physical System
  • health
  • maintenance
  • Health
  • energy

• On the Prevalence, Impact, and Evolution of SQL code smells in Data-Intensive Systems

  Asmare Muse, B., Rahman, M., Nagy, C., Cleve, A., Khomh, F. & Antoniol, G., 2020, Proceedings of the 17th International Conference on Mining Software Repositories (MSR 2020). ACM Press

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File
  1 Téléchargements (Pure)

• Schema Evolution in Hybrid Databases Systems

  Gobert, M., 2020, (Accepté/sous presse) [Provisoire] Proceedings of the 46th International Conference on Very Large Data Bases (VLDB 2020): PhD workshop track. ACM Press

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  File

  • Data structures
  • Data handling
  • Semantics
  4 Téléchargements (Pure)

• STARS: Software Technology for Adaptable and Reusable Systems PhD Research Project

  Perrouin, G., Schobbens, P. Y. & Lima dos Santos, E., 5 févr. 2020, Proceedings - VaMoS 2020: 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Cordy, M., Acher, M., Beuche, D. & Saake, G. (eds.). ACM Press, p. 1-2 2 p. a15. (ACM International Conference Proceeding Series).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Adaptive systems
  • Actuators
  • Sensors

• Text as Semantic Fields: Integration of an Enriched Language Conception in the Text Analysis Tool Evoq®

  LINDEN, I., WALLEMACQ, A., Dumas, B., Deville, G., CLARINVAL, A. & Cauz, M., 1 janv. 2020, Research Challenges in Information Science - 14th International Conference, RCIS 2020, Proceedings. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Springer, Vol 385. p. 543-548 6 p. 36. (Lecture Notes in Business Information Processing; Vol 385 LNBIP).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Text Analysis
  • Text processing
  • Conception
  • Text
  • Semantics
• 2019

  About Filter Criteria for Feature Selection in Regression

  Degeest, A., Verleysen, M. & Frénay, B., 1 janv. 2019, Advances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Proceedings. Rojas, I., Joya, G. & Catala, A. (eds.). Springer Verlag, p. 579-590 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11507 LNCS).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Feature Selection
  • Filter
  • Feature extraction
  • Machine learning
  • Regression

• AbsCon: A Test Concretizer for Model-based Testing

  Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, p. 15-22 8 p. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File

  • Black-box testing
  • Testing
  • Application programming interfaces (API)
  28 Téléchargements (Pure)

• A Discussion of the Impact of Judgmental Heuristics on Elicitation during Requirements Engineering

  Burnay, C., Faulkner, S. & Jureta, I., mai 2019, Proceedings RCIS 2019 - IEEE 13th International Conference on Research Challenges in Information Science: Towards a Design Science for Information Systems. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer society, 7 p. 8876972. (Proceedings - International Conference on Research Challenges in Information Science; Vol 2019-May).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  File

  • Requirements engineering
  • Decision making
  • Engineers
  • Concretes
  • Uncertainty
  27 Téléchargements (Pure)

• A Green-by-design methodology to increase sustainability of smart city systems

  Voisin, A., mai 2019, Proceedings - RCIS 2019 - IEEE 13th International Conference on Research Challenges in Information Science: Towards a Design Science for Information Systems. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer society, 8877075. (Proceedings - International Conference on Research Challenges in Information Science; Vol 2019-May).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Smart city
  • Sustainable development
  • Environmental impact
  • Gas emissions
  • Greenhouse gases

• Ajout d'un dispositif de classes inversées dans un enseignement combinant cours magistraux et travaux pratiques: gage de coopération et implications?

  Leclercq, T. & Boraita, F., 2019, Questions de pédagogies dans l’enseignement supérieur.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Analysis of Students' Preconceptions of Concurrency

  Libert, C. & Vanhoof, W., 26 août 2019, EASEAI 2019 - Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, co-located with ESEC/FSE 2019. Vanderose, B., Frenay, B., Henry, J. & Devroey, X. (eds.). New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Teaching
  • programming
  • Students
  • questionnaire
  • student

• An on-line platform for supporting DSS-research collaboration (EWG-DSS Collab-Net Version 5)

  Turet, J., Moura, J., Cabral Seixas Costa, A. P., Dargam, F., Zaraté, P. & Linden, I., mai 2019, EmC-ICDSST 2019 5th International Conference on Decision Support System Technology: Decision Support Systems: Main Developments & Future Trends. Abreu Freitas, P. S., Dargam, F., Ribeiro, R., Moreno Jimenez, J. M. & Papathanasiou, J. (eds.). Toulouse, p. 186-192

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Attacker Behavior-Based Metric for Security Monitoring Applied to Darknet Analysis

  Evrard, L., François, J. & Colin, J-N., 16 mai 2019, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019. IEEE, p. 89-97 9 p. 8717917

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Monitoring
  • Semantics
  • Telescopes
  • Quality of service
  • Graph Model

• Bespoke: A Methodology to design Software Factories. A preliminary approach.

  Belarbi, M. & Englebert, V., mai 2019, 13th International Conference on Research Challenges in Information Science (RCIS). Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer society, 8876968. (Proceedings - International Conference on Research Challenges in Information Science; Vol 2019-May).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Software design
  • Industrial plants
  • Metalorganic frameworks
  • Engineers
  • Semantics
  2 Téléchargements (Pure)

• Comparison Between Filter Criteria for Feature Selection in Regression

  Degeest, A., Verleysen, M. & Frénay, B., 1 janv. 2019, Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning - 28th International Conference on Artificial Neural Networks, Proceedings. Tetko, I. V., Karpov, P., Theis, F. & Kurková, V. (eds.). Springer Verlag, p. 59-71 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11728 LNCS).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Feature Selection
  • Filter Method
  • Filter
  • Feature extraction
  • Regression

• Data-driven initiatives in Smart cities: citizen participation and value creation

  Gebka, E. & Castiaux, A., 2019, ISPIM Conference Proceedings. p. 1-9 9 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • citizens' participation
  • citizen
  • innovation
  • empowerment
  • governance

• Deep Learning Applied to Sign Language

  Fink, J., Cleve, A. & Frenay, B., 1 janv. 2019, Reference AI & ML Conference for Belgium, Netherlands & Luxemburg 2019.: Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019.. Beuls, K., Bogaerts, B., Bontempi, G., Geurts, P., Harley, N., Lebichot, B., Lenaerts, T., Louppe, G. & Van Ecke, P. (eds.). CEUR Workshop Proceedings, Vol 2491. (CEUR Workshop Proceedings).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File
  6 Téléchargements (Pure)

• Dynamic visualisation of features and contexts for context-oriented programmers

  Duhoux, B., Dumas, B., Leung, H. S. & Mens, K., 18 juin 2019, Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019. New York: ACM Press, 6 p. 3328240. (Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Visualization
  • Computer programming languages

• Feature-family-based reliability analysis of software product lines

  Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 9 sept. 2019, SPLC 2019: Proceedings of the 23rd International Systems and Software Product Line Conference . Berger, T., Collet, P., Duchien, L., Fogdal, T., Heymans, P., Kehrer, T., Martinez, J., Mazo, R., Montalvillo, L., Salinesi, C., Ternava, X., Thum, T. & Ziadi, T. (eds.). ACM Press, Vol A. 59 p. (ACM International Conference Proceeding Series; Vol A).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Reliability analysis
  • Model checking
  • Experiments
  • Explosions
  • Statistical Models

• Generating value with open government data: Beyond the programmer

  Gebka, E., Clarinval, A., Simonofski, A. & Crusoe, J., mai 2019, Proceedings: RCIS 2019 - IEEE 13th International Conference on Research Challenges in Information Science: Towards a Design Science for Information Systems. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer society, 8877054. (Proceedings - International Conference on Research Challenges in Information Science; Vol 2019-May).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Implementation of a feature-based context-oriented programming language

  Duhoux, B., Mens, K. & Dumas, B., 15 juil. 2019, Proceedings of the Workshop on Context-Oriented Programming, COP 2019. ACM Press, p. 9-16 8 p. (Proceedings of the Workshop on Context-Oriented Programming, COP 2019).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Computer programming languages
  • Ruby

• Interacting with Overlaid Information in Augmented Reality Systems for Maintenance: A Preliminary Review

  Cauz, M. & Cleve, A., mai 2019, Proceedings - RCIS 2019 - IEEE 13th International Conference on Research Challenges in Information Science: Towards a Design Science for Information Systems. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer society, 8876966. (Proceedings - International Conference on Research Challenges in Information Science; Vol 2019-May).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Augmented reality

• La réforme du droit de la preuve

  George, F. & Hubin, J-B., 4 juin 2019, Les grandes évolutions du droit des obligations . George, F., Havet, B. & Pütz, A. (eds.). Limal: Anthemis, p. 179-220 41 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File
  3 Téléchargements (Pure)

• Learning to design a mobile hunt on Actionbound: a complex task?

  Delforge, C., Meurice, A. & Van de Vyver, J., 2019, CALL and complexity: short papers from EUROCALL 2019. Meunier, F., Van de Vyver, J., Bradley, L. & Thouësny, S. (eds.). Louvain-la-neuve: Research-publishing.net, p. 100-106 7 p. (EUROCALL Collection).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File
  6 Téléchargements (Pure)

• Measuring Quality and Interpretability of Dimensionality Reduction Visualizations

  Bibal, A. & Frenay, B., 2019, SafeML ICLR Workshop. New Orleans, Louisiana

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File

  • Visualization
  • Machine learning
  19 Téléchargements (Pure)

• ML_v: A distributed real-time modal logic

  Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 mai 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11460 LNCS).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Real-time
  • Labeled Transition System
  • Modal Logic
  • Semantics
  • Timed Automata

• Multifaceted Automated Analyses for Variability-Intensive Embedded Systems

  Lazreg, S., Cordy, M., Collet, P., Heymans, P. & Mosser, S., mai 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. IEEE Computer society, p. 854-865 12 p. 8812057. (Proceedings - International Conference on Software Engineering; Vol 2019-May).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Embedded systems
  • Engineers
  • Optimal systems
  • Computer hardware
  • Automotive industry

• Personal information management and organisation competencies: A Review of Information Literacy Conceptual Frameworks and Standards

  Jacques, J., 1 janv. 2019, Information Literacy in Everyday Life - 6th European Conference, ECIL 2018, Revised Selected Papers: 6th European Conference, ECIL 2018, Oulu, Finland, September 24–27, 2018, revised selected papers. Mizrachi, D., Kurbanoglu, S., Ünal, Y., Huotari, M. L., Grassian, E., Špiranec, S., Boustany, J. & Roy, L. (eds.). Dordrecht: Springer, p. 50-59 10 p. (Communications in Computer and Information Science; Vol 989).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Port2dist: Semantic port distances for network analytics

  Evrard, L., Francois, J., Colin, J. N. & Beck, F., 16 mai 2019, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019. Institute of Electrical and Electronics Engineers Inc., p. 747-748 2 p. 8717840. (2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Semantics
  • Operations research
  • Operations Management
  • Demonstrations
  • Machine learning

• Preface to the thirteenth workshop on variability modelling of software-intensive systems

  Perrouin, G. & Weyns, D., 6 févr. 2019, Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019. ACM Press, (ACM International Conference Proceeding Series).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Professionnaliser les études universitaires en communication: exploration du paradoxe dans un cours de Sémiotique

  Collard, A-S. & Lahaye, A-C., 2019, Actes du colloque IPAPE 2019.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  File
  2 Téléchargements (Pure)

• Programmation tangible: vers une évaluation des concepts perçus par l’enfant à travers la manipulation d’un outil

  Henry, J., Boraita, F. & Dumas, B., 2019, Des ressources numériques pour ressourcer les pratiques: Actes du 2e colloque scientifique Ludovia#CH. p. 9-12 4 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File
  6 Téléchargements (Pure)

• Scan: A simple coordination workbench

  Jacquet, J. M. & Barkallah, M., 5 juin 2019, Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Tuosto, E., Tuosto, E. & Riis Nielson, H. (eds.). Springer Verlag, p. 75-91 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11533 LNCS).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Temporal logic
  • Algebra
  • Language
  • Programming Environments
  • Linear Temporal Logic

• Sojourn Time Distribution in Fluid Queues

  Deiana, E., Remiche, M-A. & Latouche, G., 27 août 2019, Queueing Theory and Network Applications: 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings. Phung-Duc, T., Kasahara, S. & Wittevrongel, S. (eds.). Springer, Vol 11688. p. 295-313 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11688 LNCS).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Fluid Queue
  • Sojourn Time
  • Buffer
  • Fluid Flow
  • Laplace-Stieltjes Transform

• Supporting Citizen Participation with Adaptive Public Displays: A Process Model Proposal

  Clarinval, A., Duhoux, B. & Dumas, B., 10 déc. 2019, IHM 2019 - Annexes des Actes de la 31e Conference Francophone sur l'Interaction Homme-Machine. 12 p. a10. (IHM 2019 - Annexes des Actes de la 31e Conference Francophone sur l'Interaction Homme-Machine).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File

  • Display devices
  • Lead
  3 Téléchargements (Pure)