Zobrazeno 1 - 10
of 5 389
pro vyhledávání: '"Burel A."'
Autor:
Russell, Craig T., Burel, Jean-Marie, Athar, Awais, Li, Simon, Sarkans, Ugis, Swedlow, Jason, Brazma, Alvis, Hartley, Matthew, Uhlmann, Virginie
We introduce bia-binder (BioImage Archive Binder), an open-source, cloud-architectured, and web-based coding environment tailored to bioimage analysis that is freely accessible to all researchers. The service generates easy-to-use Jupyter Notebook co
Externí odkaz:
http://arxiv.org/abs/2411.12662
Autor:
Assaf, Ali, Burel, Guillaume, Cauderlier, Raphaël, Delahaye, David, Dowek, Gilles, Dubois, Catherine, Gilbert, Frédéric, Halmagrand, Pierre, Hermant, Olivier, Saillard, Ronan
Dedukti is a Logical Framework based on the $\lambda$$\Pi$-Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simple type theory, programming languages, Pure type systems, the C
Externí odkaz:
http://arxiv.org/abs/2311.07185
Autor:
Clément Demeslay, Roland Gautier, Philippe Rostaing, Angela Digulescu, Cristina Despina‐Stoian, Gilles Burel
Publikováno v:
IET Communications, Vol 18, Iss 19, Pp 1588-1603 (2024)
Abstract A LoRa self‐jamming scheme that enables secure and covert communications by adding jamming symbols when transmitting is proposed. The scheme has been validated in simulations. The work is continued by evaluating the scheme on real‐world
Externí odkaz:
https://doaj.org/article/465248c8e90443f3b2bbdb05bd746989
Autor:
Jessica Peoples, Jared J. Tanner, Emily J. Bartley, Lisa H. Domenico, Cesar E. Gonzalez, Josue S. Cardoso, Catalina Lopez-Quintero, Elizabeth A. Reynolds Losin, Roland Staud, Burel R. Goodin, Roger B. Fillingim, Ellen L. Terry
Publikováno v:
BMC Musculoskeletal Disorders, Vol 25, Iss 1, Pp 1-13 (2024)
Abstract Objective Lower socioeconomic status (SES) is a risk factor for poorer pain-related outcomes. Further, the neighborhood environments of disadvantaged communities can create a milieu of increased stress and deprivation that adversely affects
Externí odkaz:
https://doaj.org/article/0356f39c615b439793d3e057519d4f51
In image processing, image segmentation is the process of partitioning a digital image into multiple image segment. Among state-of-the-art methods, Markov Random Fields (MRF) can be used to model dependencies between pixels, and achieve a segmentatio
Externí odkaz:
http://arxiv.org/abs/2305.17954
The Integrated Side Lobe Ratio (ISLR) problem we consider here consists in finding optimal sequences of phase shifts in order to minimize the mean squared cross-correlation side lobes of a transmitted radar signal and a mismatched replica. Currently,
Externí odkaz:
http://arxiv.org/abs/2305.17953
Autor:
Anne-Cécile Ezanno, Florie Pirot, Julie Lavolé, Guillaume Le Gall, Raphaelle Mestiri, Charlotte Delattre, Sébastien Le Burel, Sandra Le Mener, Marie Gominet, Cécile Ficko, Hubert Nielly
Publikováno v:
BMC Medical Education, Vol 24, Iss 1, Pp 1-8 (2024)
Abstract Background Objective Structured Clinical Examinations (OSCEs) aim to assess medical students’ clinical skills rather than just their theoretical knowledge. We propose a study between the learning style of second-cycle medical students and
Externí odkaz:
https://doaj.org/article/3fcf1b538909493789a233df30ff48c7
Autor:
Burel, Guillaume, Dowek, Gilles
We introduce a method to prove that a proof search method is not an instance of another. As an example of application, we show that Polarized resolution modulo, a method that mixes clause selection restrictions and literal selection restrictions, is
Externí odkaz:
http://arxiv.org/abs/2304.11882
Publikováno v:
IET Radar, Sonar & Navigation, Vol 18, Iss 5, Pp 812-824 (2024)
Abstract In image processing, image segmentation is the process of partitioning a digital image into multiple image segments. Among state‐of‐the‐art methods, Markov random fields can be used to model dependencies between pixels and achieve a se
Externí odkaz:
https://doaj.org/article/4ede2b04833341148ef8b3d229768f21
Autor:
Thomas, Pavithra A., Ditta, Paige Van, Stocking, Samantha Q., Webb, Caroline, Meints, Samantha M., Owens, Michael A., Quinn, Tammie, Aroke, Edwin N., Morris, Matthew C., Sorge, Robert E., Goodin, Burel R., Overstreet, Demario S.
Publikováno v:
In The Journal of Pain January 2025 26