Autor: "Tahar, Sofiène" - OpacWWW

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Tahar, Sofiène"" wg kryterium: Autor

Wyświetlanie 1-20 z 256

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Design space exploration for energy-efficient approximate Sobel filter
Autorzy:: Aoun, Alain
Masadeh, Mahmoud
Tahar, Sofiène; Pokaż więcej
Źródło:: In AEUE - International Journal of Electronics and Communications December 2023 172

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams
Autorzy:: Elderhalli, Yassmeen
Hasan, Osman
Tahar, Sofiène; Pokaż więcej
Źródło:: Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings. 11852:253-269

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Formal Verification of Rewriting Rules for Dynamic Fault Trees
Autorzy:: Elderhalli, Yassmeen
Volk, Matthias
Hasan, Osman
Katoen, Joost-Pieter
Tahar, Sofiène; Pokaż więcej
Źródło:: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings. 11724:513-531

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Exploiting bounds optimization for the semi-formal verification of analog circuits
Autorzy:: Lahiouel, Ons
Aridhi, Henda
Zaki, Mohamed H.
Tahar, Sofiène; Pokaż więcej
Źródło:: In Integration, the VLSI Journal September 2017 59:135-147

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Detection and sizing of metal-loss defects in oil and gas pipelines using pattern-adapted wavelets and machine learning
Autorzy:: Layouni, Mohamed
Hamdi, Mohamed Salah
Tahar, Sofiène; Pokaż więcej
Źródło:: In Applied Soft Computing March 2017 52:247-261

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Intertwined Global Optimization Based Reachability Analysis
Autorzy:: Seghaier, Ibtissem
Tahar, Sofiène; Pokaż więcej
Źródło:: Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings. 10466:139-154

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking
Autorzy:: Elderhalli, Yassmeen
Hasan, Osman
Ahmad, Waqar
Tahar, Sofiène; Pokaż więcej
Źródło:: NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. 10811:139-156

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications
Autorzy:: Elleuch, MaissaAff12, Aff14
Hasan, Osman
Tahar, Sofiène
Abid, Mohamed; Pokaż więcej
Źródło:: Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers. 694:93-108

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Using Computational Intelligence for the Safety Assessment of Oil and Gas Pipelines: A Survey
Autorzy:: Mohamed, Abduljalil
Hamdi, Mohamed Salah
Tahar, Sofiène; Pokaż więcej
Źródło:: Data Science and Big Data: An Environment of Computational Intelligence. 24:189-207

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Formal Analysis of Information Flow in HOL
Autorzy:: Helali, Ghassen
Tahar, Sofiène
Hasan, Osman
Dunchev, Tsvetan; Pokaż więcej
Źródło:: Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. 10606:283-299

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory
Autorzy:: Beillahi, Sidi Mohamed
Siddique, Umair
Tahar, Sofiène; Pokaż więcej
Źródło:: Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. 10152:31-46

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: A Hybrid Intelligent Approach for Metal-Loss Defect Depth Prediction in Oil and Gas Pipelines
Autorzy:: Mohamed, Abduljalil
Hamdi, Mohamed Salah
Tahar, Sofiène; Pokaż więcej
Źródło:: Intelligent Systems and Applications : Extended and Selected Results from the SAI Intelligent Systems Conference (IntelliSys) 2015. 650:1-18

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Formalization of Normal Random Variables in HOL
Autorzy:: Qasim, Muhammad
Hasan, Osman
Elleuch, MaissaAff19, Aff20
Tahar, Sofiène; Pokaż więcej
Źródło:: Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. 9791:44-59

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Formal Dependability Modeling and Analysis: A Survey
Autorzy:: Ahmad, Waqar
Hasan, Osman
Tahar, Sofiène; Pokaż więcej
Źródło:: Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. 9791:132-147

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Hierarchical Verification of Quantum Circuits
Autorzy:: Beillahi, Sidi Mohamed
Mahmoud, Mohamed Yousri
Tahar, Sofiène; Pokaż więcej
Źródło:: NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. 9690:344-352

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Time Performance Formal Evaluation of Complex Systems
Autorzy:: de Santiago Júnior, Valdivino Alexandre
Tahar, Sofiène; Pokaż więcej
Źródło:: Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings. 9526:162-177

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Design and verification of a frequency domain equalizer
Autorzy:: Souari, Anis
Gawanmeh, Amjad
Tahar, Sofiène
Lassaad Ammari, Mohamed; Pokaż więcej
Źródło:: In Microelectronics Journal February 2014 45(2):167-178

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: On the Formalization of Cardinal Points of Optical Systems
Autorzy:: Siddique, Umair
Tahar, Sofiène; Pokaż więcej
Źródło:: Formalisms for Reuse and Systems Integration. 346:79-102

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Formal Analysis of Power Electronic Systems
Autorzy:: Beillahi, Sidi Mohamed
Siddique, Umair
Tahar, Sofiène; Pokaż więcej
Źródło:: Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. 9407:270-286

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Enabling Symbolic and Numerical Computations in HOL Light
Autorzy:: Seddiki, Ons
Dunchev, Cvetan
Khan-Afshar, Sanaz
Tahar, Sofiène; Pokaż więcej
Źródło:: Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.. 9150:353-358

Książka elektroniczna

na półce

Szczegóły

Wyświetlanie 1-20 z 256

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę ""Tahar, Sofiène"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji