-
1
المؤلفون: Predrag Janičić, Julien Narboux
المساهمون: Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Réseau nanophotonique et optique, Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Matériaux et nanosciences d'Alsace (FMNGE), Institut de Chimie du CNRS (INC)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Institut de Chimie du CNRS (INC)-Université de Strasbourg (UNISTRA)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Zoltán Kovács, Narboux, Julien, École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)
المصدر: Proceedings of Automated Deduction in Geometry 2021
Automated Deduction in Geometry
Automated Deduction in Geometry, Zoltán Kovács, Sep 2021, Hagenberg, Austriaمصطلحات موضوعية: Computer Science - Symbolic Computation, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], illustration, 010102 general mathematics, proofs, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 020207 software engineering, 02 engineering and technology, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, 16. Peace & justice, synthetic geometry, 01 natural sciences, [INFO.INFO-IA] Computer Science [cs]/Computer Aided Engineering, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], 0202 electrical engineering, electronic engineering, information engineering, 0101 mathematics, automated deduction, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63d2e376e8dfb1d079b1b277fa948585
https://doi.org/10.4204/eptcs.352.9 -
2
المؤلفون: Abdelhadi Belfadel, Jannik Laval, Chantal Bonner Cherifi, Nejib Moalla
المساهمون: Université Lumière - Lyon 2 (UL2), Décision et Information pour les Systèmes de Production (DISP), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université Lumière - Lyon 2 (UL2)
المصدر: Innovations in Systems and Software Engineering
Innovations in Systems and Software Engineering, Springer Verlag, 2021, ⟨10.1007/s11334-021-00423-5⟩مصطلحات موضوعية: Enterprise architecture, Software reuse, 0202 electrical engineering, electronic engineering, information engineering, Capability profile, Requirements engineering, 020206 networking & telecommunications, 020207 software engineering, 02 engineering and technology, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, Service reuse, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c188c1792ef8e0925ae9d88b907b479
https://doi.org/10.1007/s11334-021-00423-5 -
3
المؤلفون: Milan Zdravković, Hervé Panetto, Georg Weichhart
المساهمون: University of Niš, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Profactor
المصدر: Enterprise Information Systems
Enterprise Information Systems, Taylor & Francis, In press, pp.1-53. ⟨10.1080/17517575.2021.1941275⟩مصطلحات موضوعية: Agent-Based Systems, 0209 industrial biotechnology, Cyber-Physical Systems, Information Systems and Management, Process management, Supply chain management, Computer science, business.industry, Cyber-physical system, 02 engineering and technology, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, Customer relationship management, GeneralLiterature_MISCELLANEOUS, Computer Science Applications, Machine Learning, 020901 industrial engineering & automation, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Agent based systems, Enterprise Information System, 020201 artificial intelligence & image processing, Applications of artificial intelligence, Formal Logic Reasoning, Enterprise information system, business
-
4
المؤلفون: Marcelo Ricardo Romero, Béatrix Barafort, Hervé Panetto, Wided Guédria
المساهمون: Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Luxembourg Institute of Science and Technology (LIST)
المصدر: 17th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2021
17th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2021, Jun 2021, Budapest (virtual), Hungary. pp.900-905, ⟨10.1016/j.ifacol.2021.08.107⟩مصطلحات موضوعية: Artificial intelligence, Smart system, Process management, Business process, business.industry, Process (engineering), Computer science, Process capability, Knowledge-based systems, 020207 software engineering, 02 engineering and technology, Assessment, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, Ontology (information science), Conceptual framework, Knowledge base, Control and Systems Engineering, Application domain, Machine learning, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Computer software, Efficient evaluation, business
-
5
المؤلفون: Hervé Panetto, Yannick Naudet, Bereket Abera Yilma
المساهمون: Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Luxembourg Institute of Science and Technology (LIST)
المصدر: 17th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2021
17th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2021, Jun 2021, Budapest (virtual), Hungary. pp.242-248, ⟨10.1016/j.ifacol.2021.08.028⟩مصطلحات موضوعية: FOS: Computer and information sciences, Personalisation, Computer science, Computer Science - Human-Computer Interaction, Cyber-physical system, Virtual space, 02 engineering and technology, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, 01 natural sciences, Human-Computer Interaction (cs.HC), 010305 fluids & plasmas, Personalization, Control and Systems Engineering, Social system, Human–computer interaction, Human interaction, Cyber-Physical System, 0103 physical sciences, Human dynamics, 0202 electrical engineering, electronic engineering, information engineering, Natural (music), Cyber-Physical-Social system, 020201 artificial intelligence & image processing
-
6
المؤلفون: Birgit Vogel-Heuser, Thomas Aicher, Daniel Regulin
مصطلحات موضوعية: 0209 industrial biotechnology, Instrumentation and control engineering, Requirements engineering, Computer science, business.industry, 020208 electrical & electronic engineering, 02 engineering and technology, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, Metamodeling, ddc, 020901 industrial engineering & automation, Information engineering, Control and Systems Engineering, 0202 electrical engineering, electronic engineering, information engineering, Systems engineering, System of systems engineering, FOS: Electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, Mechanical engineering technology, Computer-aided engineering, business, IDEF0
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c8ce536a940909cef7edf77e3b73ff8
-
7
المؤلفون: Ayse Unsal, Melek Önen
المساهمون: Eurecom, Centre De Documentation, 3IA Côte d'Azur - - 3IA@cote d'azur2019 - ANR-19-P3IA-0002 - P3IA - VALID, Eurecom [Sophia Antipolis], ANR-19-P3IA-0002,3IA@cote d'azur,3IA Côte d'Azur(2019)
المصدر: ITW
IEEE Information Theory Workshop 2021 (ITW)
IEEE Information Theory Workshop 2021 (ITW), Oct 2021, Kanazawa (virtual), Japanمصطلحات موضوعية: Receiver operating characteristic, Computer science, Computer Science - Information Theory, ITW, 020206 networking & telecommunications, 02 engineering and technology, Interval (mathematics), [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, Adversary, computer.software_genre, [INFO.INFO-IA] Computer Science [cs]/Computer Aided Engineering, Adversarial system, 0202 electrical engineering, electronic engineering, information engineering, Differential privacy, Sensitivity (control systems), Data mining, Threshold model, computer, Statistical hypothesis testing
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1dca36a8b636bf8c1386da746edc4f20
http://arxiv.org/abs/2105.05610 -
8
المؤلفون: Néjib Moalla, Emna Amdouni, Jannik Laval, Abdelhadi Belfadel, Chantal Cherifi
المساهمون: Université Lumière - Lyon 2 (UL2), Décision et Information pour les Systèmes de Production (DISP), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université Lumière - Lyon 2 (UL2)
المصدر: Enterprise Information Systems
Enterprise Information Systems, Taylor & Francis, 2020, pp.1-42. ⟨10.1080/17517575.2020.1843076⟩مصطلحات موضوعية: Information Systems and Management, computer.internet_protocol, business.industry, Computer science, 05 social sciences, Software development, Software requirements specification, Enterprise architecture, 02 engineering and technology, Service-oriented architecture, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, Reuse, Ontology (information science), Computer Science Applications, Software, Work (electrical), 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, business, Software engineering, computer, ComputingMilieux_MISCELLANEOUS, 050203 business & management
-
9
المؤلفون: Peter Riviere
المساهمون: Riviere, Peter, Enrichissement de EventB et de RODIN : EventB-Rodin-Plus - - EBRP-EventB-Rodin-Plus2019 - ANR-19-CE25-0010 - AAPG2019 - VALID, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, EBRP (En-hancing EventB and RODIN: EventB-RODIN-Plus) project
المصدر: Rigorous State-Based Methods ISBN: 9783030775421
ABZمصطلحات موضوعية: 060201 languages & linguistics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer science, business.industry, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 06 humanities and the arts, 02 engineering and technology, Extension (predicate logic), [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, Formal methods, [INFO.INFO-IA] Computer Science [cs]/Computer Aided Engineering, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Development (topology), [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 0602 languages and literature, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, State (computer science), Software system, Software engineering, business, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26d1b0ee1cd9253d141a58d327ce30a7
https://doi.org/10.1007/978-3-030-77543-8_15 -
10
المؤلفون: Polina Lemenkova
المساهمون: Laboratory of Image Synthesis and Analysis, Ecole Polytechnique de Bruxelles, Université Libre de Bruxelles (ULB), Brussels, Belgium
المصدر: Acta Agriculturae Serbica
Acta Agriculturae Serbica, University of Kragujevac-Faculty of Agronomy, Čačak, 2021, 26 (56), pp.159-165. ⟨10.5937/AASer2152159L⟩مصطلحات موضوعية: 010504 meteorology & atmospheric sciences, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION/I.4.8: Scene Analysis/I.4.8.3: Object recognition, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION/I.4.8: Scene Analysis, [SDE.MCG]Environmental Sciences/Global Changes, [SDU.STU]Sciences of the Universe [physics]/Earth Sciences, 02 engineering and technology, [SDV.BID]Life Sciences [q-bio]/Biodiversity, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION/I.4.10: Image Representation, 01 natural sciences, GeneralLiterature_MISCELLANEOUS, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION/I.4.0: General, vegetation, 0202 electrical engineering, electronic engineering, information engineering, cartography, [INFO]Computer Science [cs], ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION/I.4.8: Scene Analysis/I.4.8.0: Color, mapping, K-means, 0105 earth and related environmental sciences, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION, [SDV.EE]Life Sciences [q-bio]/Ecology, environment, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.3: Clustering/I.5.3.0: Algorithms, [SDE.IE]Environmental Sciences/Environmental Engineering, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.3: Clustering/I.5.3.1: Similarity measures, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.3: Clustering, General Medicine, 15. Life on land, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], SAGA GIS, ComputingMethodologies_PATTERNRECOGNITION, ISODATA, machine learning, [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], [SDE]Environmental Sciences, 020201 artificial intelligence & image processing, [SDE.BE]Environmental Sciences/Biodiversity and Ecology, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.2: Design Methodology, clustering
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed4abc57bb10d42175ed2835d4bdcb79
https://hal.archives-ouvertes.fr/hal-03504862/document