Ara
Toplam kayıt 4, listelenen: 1-4
Spectrophotochemical and electrochemical characterization of perylene derivatives adsorbed on nanoporous metaloxide films
(Edp Sciences S A, 2007)
Electrochemistry of perylene imide and anhydride derivatives adsorbed on semiconductor TiO2 (NT) and insulator Al2O3 (NA) metal oxide films were presented. Adsorption rates on metal oxide surface are observed to be strongly ...
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. ...