Showing 21 - 40 results of 69 for search 'COMPUTER PROGRAMMING', query time: 0.74s Refine Results
  1. 21
    Optimalité statistique du partitionnement par l'optimisation convexe
    by Royer, Martin
    Published 2018
    Subjects: “...Semidefinite programs...”
    Get full text
  2. 22
    Système informatique d'aide à la modélisation mathématique basé sur un langage de programmation dédié pour les systèmes dynamiques discrets stochastiques.Application aux modèles de croissance de plantes.
    by Bayol, Benoit
    Published 2016
    Subjects: “...Programming language...”
    Get full text
  3. 23
    Supporting multiple data stores based applications in cloud environments
    by Sellami, Rami
    Published 2016
    Subjects: “...Cloud computing...”
    Get full text
  4. 24
    Finding constancy in linear routines
    by De Oliveira, Steven
    Published 2018
    Subjects: “...Program verification...”
    Get full text
  5. 25
    A formalization of elliptic curves for cryptography
    by Bartzia, Evmorfia-Iro
    Published 2017
    Subjects: “...Formal methods (computer science)...”
    Get full text
  6. 26
    Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels
    by Clochard, Martin
    Published 2018
    Subjects: “...Symbolic computations...”
    Get full text
  7. 27
    Restructuration interactive des programmes
    by Zinenko, Oleksandr
    Published 2016
    Subjects: “...Program optimization...”
    Get full text
  8. 28
    Concevoir les outils numériques du design
    by Maudet, Nolwenn
    Published 2017
    Subjects: “...Human-Computer Interaction...”
    Get full text
  9. 29
    Bio-inspired Solutions for Optimal Management in Wireless Sensor Networks
    by Abba Ari, Ado adamou
    Published 2016
    Subjects: “...Bio-Inspired computing...”
    Get full text
  10. 30
    Méthode global/local non-intrusive pour les simulations cycliques non-linéaires
    by Blanchard, Maxime
    Published 2018
    Subjects: “...Cyclic computations...”
    Get full text
  11. 31
    Quelques applications de l’optimisation numérique aux problèmes d’inférence et d’apprentissage
    by Kannan, Hariprasad
    Published 2018
    Subjects: “...Computer vision...”
    Get full text
  12. 32
    High-Order Inference, Ranking, and Regularization Path for Structured SVM
    by Dokania, Puneet Kumar
    Published 2016
    Subjects: “...Computer Vision...”
    Get full text
  13. 33
    Oil rent and diversification facing climate challenge : The case of Saudi ArabiaRente pétrolière et diversification face au défi climatique : cas de l'Arabie Saoudite
    by Soummane, Salaheddine
    Published 2019
    Subjects: “...Computable General Equilibrium model...”
    Get full text
  14. 34
    Applications of Foundational Proof Certificates in theorem proving
    by Blanco Martínez, Roberto
    Published 2017
    Subjects: “...Computational logic...”
    Get full text
  15. 35
    Alignement pratique de structure-séquence d'ARN avec pseudonœuds
    by Wang, Wei
    Published 2017
    “.... However, such tools are seldom used in practice, due in part to their extreme computational demands...”
    Get full text
  16. 36
    Programmation de cristaux dopés en ions terres rares pour le traitement du signal : application au renversement temporel et à l'analyse spectrale large bande instantanée de signaux RF
    by Linget, Héloïse
    Published 2017
    “... by a computer, the signal needs to be converted back to its original analog form. Due to the limited...”
    Get full text
  17. 37
    Adaptive Rules Model : Statistical Learning for Rule-Based Systems
    by Wang, Olivier
    Published 2017
    “... Programming problem, as well as some experimental evidence of the computational complexity of the algorithm....”
    Get full text
  18. 38
    Mathematical contributions for the optimization and regulation of electricity production
    by Heymann, Benjamin
    Published 2016
    “... System (EMS). We formulate the EMS program as a continuous time optimal control problem and then solve...”
    Get full text
  19. 39
    Description des états excités du noyau par la méthode de la Quasiparticle Random-Phase Approximation et l'interaction de Gogny
    by Lechaftois, François
    Published 2016
    “... to consolidate the computation of these operators, allowing toease the programming by unifying the code...”
    Get full text
  20. 40
    Auto-tuning pour la détection automatique du meilleur format de compression pour matrice creuse
    by Mehrez, Ichrak
    Published 2018
    “... que les GPUs. === Several applications in scientific computing deals with large sparse matrices having...”
    Get full text
Search Tools: Get RSS Feed — Email this Search