Ara
Toplam kayıt 3, listelenen: 1-3
Functionality, Performance and Usability Tests of WebRTC Based Video Conferencing Products
(Institute of Electrical and Electronics Engineers Inc., 2021)
Remote working and distance learning has become the new normal due to the COVID-19 epidemic that has affected the whole world. In a short time, the security, functionality and performance of existing commercial and open ...
A new generation of highly customized Mg alloy-based implants
(Elsevier B.V., 2022)
In the last years, the precision and personalized medicine is pushing the biomedical research efforts towards the direction of implant surgery requiring only 1-step approach: this goal has been achieved after the introduction ...
Formal Verification of Bit-Vector Invertibility Conditions in Coq
(Springer Science and Business Media Deutschland GmbH, 2023)
We prove the correctness of invertibility conditions for the theory of fixed-width bit-vectors—used to solve quantified bit-vector formulas in the Satisfiability Modulo Theories (SMT) solver cvc5— in the Coq proof assistant. ...