Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  21 نتائج ل ""mathématiques""

فلترة النتائج

Collection : Ecole Des Mines De Nantes
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

The reverse mathematics of Carlson's theorem for located words

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

  • Source: ISSN: 2156-3527.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems

Subjects: access-control; Model-driven engineering; SecurityHamburg; Germany

  • Source: IFIP Advances in Information and Communication Technology ; 30th IFIP International Information Security Conference (SEC) ; https://inria.hal.science/hal-01152528 ; 30th IFIP International Information

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Open Data from the Third Observing Run of LIGO, Virgo, KAGRA, and GEO

Subjects: gravitational radiation; gravitational radiation detector; LIGO

  • Source: Astrophys.J.Suppl. ; https://hal.science/hal-04246150 ; Astrophys.J.Suppl., 2023, 267 (2), pp.29. ⟨10.3847/1538-4365/acdc9f⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

NenuFAR: Instrument description and science case

Subjects: Radiotelescope; Antenna Arrays; antennasKharkiv; Ukraine

  • Source: 2015 International Conference on Antenna Theory and Techniques (ICATT)https://hal.science/hal-011964572015 International Conference on Antenna Theory and Techniques (ICATT), Apr 2015,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

The EPOC project: Energy Proportional and Opportunistic Computing system

Subjects: Virtualization; Optical Network; Task PlacementLisbonne; Portugal

  • Source: International Conference on Smart Cities and Green ICT Systems (SMARTGREENS) ; https://hal.science/hal-01131602 ; International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Maintien asynchrone de la consistance d'arc dans la recherche distribuée synchrone

Subjects: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Aix-en-Provence; FranceAix-en-Provence, France

  • Source: 9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013)https://hal-lirmm.ccsd.cnrs.fr/lirmm-008304089èmes Journées Francophones de Programmation par Contraintes (JFPC

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search

Subjects: Maintaining arc consistency; Constraint reasoning; Distributed constraint solvingAthens; Greece

  • Source: IEEE 24th International Conference on Tools with Artificial Intelligence ; ICTAI: International Conference on Tools with Artificial Intelligence ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00748195 ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Prediction of Contiguous Regions in the Amniote Ancestral Genome

Subjects: [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]; [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM]Fort Lauderdale; Florida; United States

  • Source: Lecture Notes in Computer Science ; ISBRA 2009, 5th International Symposium on Bioinformatics Research and Applications, ; https://hal.science/hal-00368187 ; ISBRA 2009, 5th International Symposium on

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Résolution d'un problème de Job-Shop intégrant des contraintes de Ressources Humaines

Subjects: Job-Shop; Ressources Humaines; Génération de coupesNancy; France

  • Source: 10ème congrès de la société française de recherche opérationnelle et d'aide à la décision (ROADeF)https://hal.science/hal-0036386510ème congrès de la société française de

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Robust TDOA passive location using interval analysis and contractor programming

Subjects: [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]

  • Source: Radar Conference - Surveillance for a Safer World, 2009. RADAR. International ; https://hal.science/hal-00911254 ; Radar Conference - Surveillance for a Safer World, 2009. RADAR. International, Oct

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  21 نتائج ل ""mathématiques""