E-LIB Suche - Ergebnisse für: Naouar, Mehdi

1

Detection of disease-specific signatures in B cell repertoi..:

Schmidt-Barbo, Paul ; Kalweit, Gabriel ; Naouar, Mehdi...
PLOS Computational Biology. 20 (2024) 7 - p. e1011570 , 2024

Link: https://doi.org/10.1371/..

2

Probing Contextual Diversity for Dense Out-of-Distribution ..:

, In: Lecture Notes in Computer Science; Computer Vision – ECCV 2022 Workshops,

Galesso, Silvio ; Bravo, Maria Alejandra ; Naouar, Mehdi. - p. 492-509 , 2023

Link: https://doi.org/10.1007/..

3

Ultimate Automizer and the CommuHash Normal Form: (Competit..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Heizmann, Matthias ; Barth, Max ; Dietsch, Daniel... - p. 577-581 , 2023

Link: https://doi.org/10.1007/..

4

Verification of Concurrent Programs Using Petri Net Unfoldi..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Dietsch, Daniel ; Heizmann, Matthias ; Klumpp, Dominik... - p. 174-195 , 2021

Link: https://doi.org/10.1007/..

5

CellMixer: Annotation-free Semantic Cell Segmentation of He..:

Naouar, Mehdi ; Kalweit, Gabriel ; Klett, Anusha...
http://arxiv.org/abs/2312.00671. , 2023

Link: http://arxiv.org/abs/231..

6

Robust Tumor Detection from Coarse Annotations via Multi-Ma..:

Naouar, Mehdi ; Kalweit, Gabriel ; Mastroleo, Ignacio...
http://arxiv.org/abs/2303.16533. , 2023

Link: http://arxiv.org/abs/230..

7

Stable Online and Offline Reinforcement Learning for Antibo..:

Vogt, Yannick ; Naouar, Mehdi ; Kalweit, Maria...
http://arxiv.org/abs/2401.05341. , 2023

Link: http://arxiv.org/abs/240..

8

Ultimate Automizer (SV-COMP 2022 -- Modified):

Heizmann, Matthias ; Barth, Max ; Dietsch, Daniel...
doi:10.5281/zenodo.5898989. , 2022

Link: https://zenodo.org/recor..

9

Probing Contextual Diversity for Dense Out-of-Distribution ..:

Galesso, Silvio ; Bravo, Maria Alejandra ; Naouar, Mehdi.
http://arxiv.org/abs/2208.14195. , 2022

Link: http://arxiv.org/abs/220..

10

Ultimate Automizer SV-COMP 2020 Competition Contribution:

Heizmann, Matthias ; Barth, Max ; Dietsch, Daniel...
doi:10.5281/zenodo.3813787. , 2019

Link: https://zenodo.org/recor..

11

Caractérisation de FAM110B, une nouvelle protéine essentiel..:

Naouar, Mehdi
http://www.theses.fr/2011BOR21880/document. , 2011

Link: http://www.theses.fr/201..

12

B-cell non-Hodgkin lymphoma of the larynx: Case report and ..:

Ferjaoui, Mehdi ; Kolsi, Naourez ; Bergaoui, Emna...
Asian Journal of Oncology. 9 (2023) - p. 17 , 2023

Link: https://doi.org/10.25259..

13

Experimental measurements and numerical modelling of the me..:

Ghazimoradi, Mehdi ; Carvelli, Valter ; Naouar, Naim.
Journal of Reinforced Plastics and Composites. 39 (2019) 1-2 - p. 45-59 , 2019

Link: https://doi.org/10.1177/..

14

Numerical modelling of the mechanical behaviour of tetraxia..:

Ghazimoradi, Mehdi ; Naouar, Naim ; Carvelli, Valter.
Journal of Materials Science. 54 (2018) 4 - p. 3632-3647 , 2018

Link: https://doi.org/10.1007/..

15

Prediction of T Cell Epitopes from Leishmania major Potenti..:

Naouar, Ikbel ; Boussoffara, Thouraya ; Chenik, Mehdi...
PLOS ONE. 11 (2016) 1 - p. e0147076 , 2016

Link: https://doi.org/10.1371/..