Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Ahmad Salim Al-Sibahi"'
Autor:
William Bullock, Douglas L. Theobald, Lys Sanz Moreta, Andreas Manoukian, Ahmad Salim Al-Sibahi, Thomas Hamelryck, Basile Nicolas Rommes
Publikováno v:
CIBCB
Proceedings of the ... IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology : CIBCB. IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology
Proceedings of the ... IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology : CIBCB. IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology
Optimal superposition of protein structures is crucial for understanding their structure, function, dynamics and evolution. We investigate the use of probabilistic programming to superimpose protein structures guided by a Bayesian model. Our model TH
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d641104e1e6af18b4bcc2c8ada450080
https://pubmed.ncbi.nlm.nih.gov/34661202
https://pubmed.ncbi.nlm.nih.gov/34661202
Publikováno v:
ACM Transactions on Software Engineering and Methodology
ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩
ACM Transactions on Software Engineering and Methodology, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩
Al-Sibahi, A S, Jensen, T P, Dimovski, A S & Wasowski, A 2021, ' Verification of Program Transformations with Inductive Refinement Types ', ACM Transactions on Software Engineering and Methodology, vol. 30, no. 1, 5 . https://doi.org/10.1145/3409805
Al-Sibahi, A S, Jensen, T P, Dimovski, A & Wasowski, A 2021, ' Verification of Program Transformations with Inductive Refinement Types ', ACM Transactions on Software Engineering and Methodology, vol. 30, no. 1, 5, pp. 1-33 . https://doi.org/10.1145/3409805
ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩
ACM Transactions on Software Engineering and Methodology, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩
Al-Sibahi, A S, Jensen, T P, Dimovski, A S & Wasowski, A 2021, ' Verification of Program Transformations with Inductive Refinement Types ', ACM Transactions on Software Engineering and Methodology, vol. 30, no. 1, 5 . https://doi.org/10.1145/3409805
Al-Sibahi, A S, Jensen, T P, Dimovski, A & Wasowski, A 2021, ' Verification of Program Transformations with Inductive Refinement Types ', ACM Transactions on Software Engineering and Methodology, vol. 30, no. 1, 5, pp. 1-33 . https://doi.org/10.1145/3409805
International audience; High-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backtracking, and generalized iterators. We present
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5746d51ad8611bdbf143f1bc721094a
https://hal.inria.fr/hal-03518825/file/Rabit_TOSEM.pdf
https://hal.inria.fr/hal-03518825/file/Rabit_TOSEM.pdf
Publikováno v:
BIBE
Optimally superimposing protein structures is essential to study their structure, function, dynamics and evolution. We present THESEUS NUTS (No U-Turn Sampler), a Bayesian version of the THESEUS model [1] –[3] which relies on maximum likelihood est
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e9aa342ef7e2d9f2401e5e9ea2ee1c0
https://doi.org/10.1109/bibe50027.2020.00009
https://doi.org/10.1109/bibe50027.2020.00009
Publikováno v:
From Lambda Calculus to Cybersecurity Through Program Analysis ISBN: 9783030411022
From Lambda Calculus to Cybersecurity Through Program Analysis
Al-Sibahi, A S, Jensen, T P, Møgelberg, R E & Wasowski, A 2020, Galois Connections for Recursive Types . in From Lambda Calculus to Cybersecurity Through Program Analysis . Springer, Lecture Notes in Computer Science, vol. 12065, pp. 105-131 . https://doi.org/10.1007/978-3-030-41103-9_4
From Lambda Calculus to Cybersecurity Through Program Analysis
Al-Sibahi, A S, Jensen, T P, Møgelberg, R E & Wasowski, A 2020, Galois Connections for Recursive Types . in From Lambda Calculus to Cybersecurity Through Program Analysis . Springer, Lecture Notes in Computer Science, vol. 12065, pp. 105-131 . https://doi.org/10.1007/978-3-030-41103-9_4
Building a static analyser for a real language involves modeling of large domains capturing the many available data types. To scale domain design and support efficient development of project-specific analyzers, it is desirable to be able to build, ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b43b17ac038a81ec178b3063a2ba98b
https://doi.org/10.1007/978-3-030-41103-9_4
https://doi.org/10.1007/978-3-030-41103-9_4
Publikováno v:
GPCE 2018-17th International Conference on Generative Programming: Concepts & Experience
GPCE 2018-17th International Conference on Generative Programming: Concepts & Experience, Nov 2018, Boston, United States. pp.147-160, ⟨10.1145/3278122.3278125⟩
Al-Sibahi, A S, Jensen, T P, Dimovski, A & Wasowski, A 2018, Verification of high-level transformations with inductive refinement types . in Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston, MA, USA, November 5-6, 2018 . Association for Computing Machinery, pp. 147-160 . https://doi.org/10.1145/3278122.3278125
GPCE 2018-17th International Conference on Generative Programming: Concepts & Experience, Nov 2018, Boston, United States. pp.147-160, ⟨10.1145/3278122.3278125⟩
Al-Sibahi, A S, Jensen, T P, Dimovski, A & Wasowski, A 2018, Verification of high-level transformations with inductive refinement types . in Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston, MA, USA, November 5-6, 2018 . Association for Computing Machinery, pp. 147-160 . https://doi.org/10.1145/3278122.3278125
International audience; High-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backtrack-ing and generalized iterators. We present
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b7e04ea8d643fe39a4ae601056a5168f
https://doi.org/10.1145/3278122.3278125
https://doi.org/10.1145/3278122.3278125
Publikováno v:
SLE
Transformations form an important part of developing domain specific languages, where they are used to provide semantics for typing and evaluation. Yet, few solutions exist for verifying transformations written in expressive high-level transformation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::adc6583f7ab5524d1d4a8689a7b3ff2e
https://doi.org/10.1145/2997364.2997382
https://doi.org/10.1145/2997364.2997382
Publikováno v:
Dimovski, A, Al-Sibahi, A S, Brabrand, C & Wasowski, A 2016, ' Efficient family-based model checking via variability abstractions ', International Journal on Software Tools for Technology Transfer, vol. 19, no. 5, pp. 585–603 . https://doi.org/10.1007/s10009-016-0425-2
Many software systems are variational: they can be configured to meet diverse sets of requirements. They can produce a (potentially huge) number of related systems, known as products or variants, by systematically reusing common parts. For variationa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0dc28f99cfdc65a161d1925d78512f95
https://pure.itu.dk/portal/da/publications/70588a4a-8f3a-476a-9c6f-45566468b1df
https://pure.itu.dk/portal/da/publications/70588a4a-8f3a-476a-9c6f-45566468b1df
Autor:
Andrzej Wasowski, Ahmad Salim Al-Sibahi, Alexandru F. Iosif-Lazăr, Krzysztof Sierszecki, Aleksandar S. Dimovski, Juha Savolainen
Publikováno v:
ASE
Software modernization often involves complex code transformations that convert legacy code to new architectures or platforms, while preserving the semantics of the original programs. We present the lessons learnt from an industrial software moderniz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::830cd320ac4aaaac2a0ce7b0817b698a
https://doi.org/10.1109/ase.2015.84
https://doi.org/10.1109/ase.2015.84
Publikováno v:
SPLC
Model checking provides a convenient way to check whether a given software system is correct with respect to a set of relevant semantic properties. To use a model checker like SPIN [5], the software system must be modelled as a transition system (TS)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37d2a076cd0f10b4eb4bb32322a6da4e
https://doi.org/10.1145/2791060.2791119
https://doi.org/10.1145/2791060.2791119
Publikováno v:
Model Checking Software ISBN: 9783319234038
SPIN
SPIN
Many software systems are variational: they can be configured to meet diverse sets of requirements. Variability is found in both communication protocols and discrete controllers of embedded systems. In these areas, model checking is an important veri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e0fa3c4df301a545668122d7ab6a552
https://doi.org/10.1007/978-3-319-23404-5_18
https://doi.org/10.1007/978-3-319-23404-5_18