المؤلفون: Xue, Shuangjiang, Bras, Pierre Le, Robb, David A., Chantler, Mike J., Padilla, Stefano

مصطلحات موضوعية: Computer Science - Human-Computer Interaction, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2501.10137

المؤلفون: Howden, Tanya, Bras, Pierre Le, Methven, Thomas S., Padilla, Stefano, Chantler, Mike J.

مصطلحات موضوعية: Computer Science - Information Retrieval, Computer Science - Computers and Society, Computer Science - Human-Computer Interaction, H.3.3, H.2.5, K.4.m

URL الوصول: http://arxiv.org/abs/2102.05374

المؤلفون: Bras, Pierre Le, Gharavi, Azimeh, Robb, David A., Vidal, Ana F., Padilla, Stefano, Chantler, Mike J.

مصطلحات موضوعية: Computer Science - Information Retrieval, Computer Science - Computers and Society, Computer Science - Human-Computer Interaction, H.3.3, H.5.2, K.4.m

URL الوصول: http://arxiv.org/abs/2005.06380

المؤلفون: Hastie, Helen, Robb, David A., Lopes, José, Ahmad, Muneeb, Bras, Pierre Le, Liu, Xingkun, Petrick, Ronald P. A., Lohan, Katrin, Chantler, Mike J.

مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Human-Computer Interaction

URL الوصول: http://arxiv.org/abs/1905.07379

المؤلفون: Bras, Pierre Le, Sévellec, Florian, Tandeo, Pierre, Ruiz, Juan, Ailliot, Pierre

المصدر: EGUsphere; 12/1/2023, p1-21, 21p

مصطلحات موضوعية: ATLANTIC meridional overturning circulation, KALMAN filtering, DYNAMICAL systems

المؤلفون: M. Chantler, Padilla, Stefano, Methven, Thomas, Robb, David, Bras, Pierre Le, Howden, Tanya, Azimeh Gharavi, Chalkiadakis, Ioannis, Yibo Liang

الاتاحة: https://dx.doi.org/10.13140/rg.2.2.24397.49125
http://rgdoi.net/10.13140/RG.2.2.24397.49125

المؤلفون: Robb, David A, Padilla, Stefano, Methven, Thomas S, Yibo Liang, Bras, Pierre Le, Howden, Tanya, Azimeh Gharavi, Chantler, Mike J, Chalkiadakis, Ioannis

الاتاحة: https://dx.doi.org/10.13140/rg.2.2.23112.01286
http://rgdoi.net/10.13140/RG.2.2.23112.01286

المؤلفون: Bras, Pierre Le

الاتاحة: https://dx.doi.org/10.13140/rg.2.2.11108.22407
http://rgdoi.net/10.13140/RG.2.2.11108.22407

المؤلفون: Chalkiadakis, Ioannis, Chantler, Mike J., Azimeh Gharavi, Howden, Tanya, Bras, Pierre Le, Yibo Liang, Methven, Thomas, Padilla, Stefano, Robb, David

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::aa1908ce2334416a5a1068fb22452daf

المؤلفون: Lin, Yuhui, Bras, Pierre Le, Grov, Gudmund

المصدر: Lin, Y, Bras, P L & Grov, G 2016, Developing and Debugging Proof Strategies by Tinkering . in Tools and Algorithms for the Construction and Analysis of Systems-22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings . Lecture Notes in Computer Science, vol. 9636, Springer Berlin Heidelberg, pp. 573-579, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, Netherlands, 2/04/16 . https://doi.org/10.1007/978-3-662-49674-9_37

مصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3094::62c627cf08293dd1d5e854daad5aeb6d
https://hdl.handle.net/20.500.11820/284c5f1c-6c57-4352-a40c-89e85a044c52