نتائج البحث - "Ingénierie, informatique & technologie"

1

The Best of Both Worlds: Combining Learned Embeddings with Engineered Features for Accurate Prediction of Correct Patches

المؤلفون: Haoye Tian, Kui Liu, Yinghua Li, Abdoul Kader Kaboré, Anil Koyuncu, Andrew Habib, Li Li, Junhao Wen, Jacques Klein, Tegawendé F. Bissyandé

المصدر: info:eu-repo/grantAgreement/EC/H2020/949014

مصطلحات موضوعية: Computer science [C05] [Engineering, computing & technology], Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Program repair, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Patch correctness, Software, Patch overfitting

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::561924eba377908b40ea35976eeffe94Test
https://doi.org/10.1145/3576039Test

2

Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems

المؤلفون: Hazem Fahmy, Fabrizio Pastore, Lionel Briand, Thomas Stifter

المساهمون: European Commission - EC [sponsor], Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) [research center]

المصدر: info:eu-repo/grantAgreement/EC/H2020/694277

مصطلحات موضوعية: Computer science [C05] [Engineering, computing & technology], Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Machine Learning, AI, Search-based Testing, Debugging, Functional Safety, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Software, DNN Explanation, Machine Learning (cs.LG)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86cf7437551647b7032570ea12f739cfTest
https://doi.org/10.1145/3569935Test

3

Reliable Fix Patterns Inferred from Static Checkers for Automated Program Repair

المؤلفون: Kui Liu, Jingtang Zhang, Li Li, Anil Koyuncu, Dongsun Kim, Chunpeng Ge, Zhe Liu, Jacques Klein, Tegawendé F. Bissyandé

المصدر: ACM Transactions on Software Engineering and Methodology. 32:1-38

مصطلحات موضوعية: Computer science [C05] [Engineering, computing & technology], Sciences informatiques [C05] [Ingénierie, informatique & technologie], Software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76ba5d2bd139f74191ccb715e65932bfTest
https://doi.org/10.1145/3579637Test

4

Multiuser-MISO Precoding Under Channel Phase Uncertainty in Satellite Communication Systems

المؤلفون: Liz Martinez Marrero, Alireza Haqiqatnejad, Juan C. Merlano Duncan, Symeon Chatzinotas, Bjorn Ottersten

المساهمون: Fonds National de la Recherche - FnR [sponsor], Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SIGCOM - Signal Processing & Communications [research center]

المصدر: IEEE Open Journal of Vehicular Technology. 4:127-148

مصطلحات موضوعية: satellite communication system, Electrical & electronics engineering [C06] [Engineering, computing & technology], Ingénierie électrique & électronique [C06] [Ingénierie, informatique & technologie], linear precoding, phase uncertainties, Automotive Engineering, system performance, symbol level precoding, Aerospace & aeronautics engineering [C01] [Engineering, computing & technology], Ingénierie aérospatiale [C01] [Ingénierie, informatique & technologie], synchronization, multiuser-MISO precoding

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dce0464cc12e790fb834e61726b7fbfbTest
https://doi.org/10.1109/ojvt.2022.3221841Test

5

A meshfree point collocation method for elliptic interface problems

المؤلفون: Heinrich Kraus, Jörg Kuhnert, Andreas Meister, Pratik Suchde

المساهمون: Publica

المصدر: info:eu-repo/grantAgreement/EC/H2020/892761

مصطلحات موضوعية: Computer science [C05] [Engineering, computing & technology], Meshfree, Applied Mathematics, Multidisciplinary, general & others [C99] [Engineering, computing & technology], Generalized finite difference method, Numerical Analysis (math.NA), Sciences informatiques [C05] [Ingénierie, informatique & technologie], Multidisciplinaire, généralités & autres [C99] [Ingénierie, informatique & technologie], Modeling and Simulation, FOS: Mathematics, Discontinuous coefficients, Mathematics [G03] [Physical, chemical, mathematical & earth Sciences], Mathématiques [G03] [Physique, chimie, mathématiques & sciences de la terre], Mathematics - Numerical Analysis, Collocation, Diffusion operator

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ed3e3f44a50e2ed48912ec02c4cb364Test
https://doi.org/10.1016/j.apm.2022.08.002Test

6

A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms

المؤلفون: Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel Briand

المصدر: ACM Transactions on Software Engineering and Methodology. 32:1-40

مصطلحات موضوعية: Machine Learning, Computer science [C05] [Engineering, computing & technology], Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, User interfaces, Form filling, Data entry forms, Software data quality, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::96211828642e93673e5b23e2529ccf5cTest
https://doi.org/10.1145/3533021Test

7

Data-Driven Mutation Analysis for Cyber-Physical Systems

المؤلفون: Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand

المساهمون: European Space Agency - ESA [sponsor], Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) [research center]

المصدر: IEEE Transactions on Software Engineering. 49:2182-2201

مصطلحات موضوعية: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer science [C05] [Engineering, computing & technology], Computer Science - Software Engineering, Cyber-Physical Systems, Integration testing, Mutation Analysis, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Software, CPS Interoperability

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7833f7b66192d7425e84a380b72f2b4cTest
https://doi.org/10.1109/tse.2022.3213041Test

8

Optimal User Pairing Approach for NOMA-Based Cell-Free Massive MIMO Systems

المؤلفون: Xuan-Toan Dang, Mai T. P. Le, Hieu V. Nguyen, Symeon Chatzinotas, Oh-Soon Shin

المساهمون: National Research Foundation of Korea (NRF) (Grant Number: 2019R1A2C1084834) [sponsor], Korean government (MSIT) [sponsor], Vietnam Ministry of Education and Training, Viet Nam (Grant Number: B2021.DNA.01) [sponsor]

المصدر: IEEE Transactions on Vehicular Technology. 72:4751-4765

مصطلحات موضوعية: Computer science [C05] [Engineering, computing & technology], Computer Networks and Communications, Automotive Engineering, Aerospace Engineering, Electrical and Electronic Engineering, Sciences informatiques [C05] [Ingénierie, informatique & technologie]

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db3c95a5d84e3cfbb275dba917bf79cdTest
https://doi.org/10.1109/tvt.2022.3225835Test

9

High-order masking of NTRU

المؤلفون: Coron, Jean-Sébastien, Gérard, François, Trannoy, Matthias, Zeitoun, Rina

المصدر: IACR Transactions on Cryptographic Hardware and Embedded Systems. :180-211

مصطلحات موضوعية: Computer science [C05] [Engineering, computing & technology], Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture, Signal Processing, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Computer Graphics and Computer-Aided Design, Software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3938cdb41c5276250e0f45bc870a045fTest
https://doi.org/10.46586/tches.v2023.i2.180-211Test

10

A Magnetohydrodynamic enhanced entry system for space transportation: MEESST

المصدر: Journal of Space Safety Engineering, 10 (1), 27-34

مصطلحات موضوعية: Cryogenics, transportationAtmospheric, entrySuperconductorsMagnetohydrodynamicsCryogenicsTelecommunication, Physics, Aerospace Engineering, Space, Magnetohydrodynamics, Atmospheric entry, Telecommunication, ddc:530, Space transportation, Superconductors, Aerospace & aeronautics engineering [C01] [Engineering, computing & technology], Ingénierie aérospatiale [C01] [Ingénierie, informatique & technologie], Safety, Risk, Reliability and Quality

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82976780be22f8de6394dd220407bbbeTest
https://doi.org/10.1016/j.jsse.2022.11.004Test

تنقيح النتائج