Littérature scientifique sur le sujet « Ophtalmologie mathématique et informatique »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Ophtalmologie mathématique et informatique ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Ophtalmologie mathématique et informatique"
1
Treuil, Jean-Pierre, Claude Lobry, Claude Millier, Jean-Pierre Müller et Dominique Hervé. « De l'équation mathématique au programme informatique, dialogue entre mathématiciens et informaticiens ». Natures Sciences Sociétés 15, no 1 (janvier 2007) : 33–43. http://dx.doi.org/10.1051/nss:2007021.
Texte intégral
2
Clémençon, Stéphan. « Intelligence artificielle : défis scientifiques et attentes socio-économiques ». Annales des Mines - Enjeux numériques N° 1, no 1 (24 janvier 2018) : 78–80. http://dx.doi.org/10.3917/ennu.001.0078.
Texte intégralRésumé :
Au-delà de l’effervescence médiatique qui les entoure aujourd’hui, des craintes et des espoirs qu’ils suscitent, les succès récents de l’intelligence artificielle, et plus particulièrement ceux du machine-learning ‒ ce domaine à l’interface des disciplines mathématique et informatique qui vise à développer des techniques pour l’analyse automatique de données massives, à des fins prédictives le plus souvent ‒, reposent en grande majorité sur des concepts scientifiques formulés il y a maintenant plusieurs décennies, alors même qu’ils nous sont présentés comme les signes avant-coureurs d’une révolution qui n’épargnera aucun secteur de l’activité humaine.
3
Farhi, Robert. « Comment lutter contre la désinformation scientifique ? Journée Sciences et Médias 2018 ». Reflets de la physique, no 58 (juin 2018) : 33–37. http://dx.doi.org/10.1051/refdp/201858033.
Texte intégralRésumé :
Le 11 janvier 2018 s’est tenue à la Bibliothèque nationale de France (quai François Mauriac, Paris, 13e) la quatrième journée Sciences et Médias. Le but de ces journées est de participer à la réflexion sur la façon dont les médias se saisissent des questions scientifiques. L’édition 2018 était organisée par l’Association des Journalistes Scientifiques de la Presse d’Information (AJSPI), la Bibliothèque nationale de France (BnF), la Société Chimique de France (SCF), la Société Française de Physique (SFP), la Société Française de Statistique (SFdS), la Société Informatique de France (SIF), la Société de Mathématiques Appliquées et Industrielles (SMAI) et la Société Mathématique de France (SMF).
4
Michaut, Cécile. « Il faut plus de femmes scientifiques dans les médias ! Journée Sciences et Médias 2021 ». Reflets de la physique, no 70 (octobre 2021) : 38–43. http://dx.doi.org/10.1051/refdp/202170038.
Texte intégralRésumé :
Organismes de recherche et journalistes doivent travailler ensemble pour une meilleure représentation des femmes dans les médias. Au-delà de l’équité, cette diversité est garante d’une meilleure science. Après deux reports, la cinquième édition des Journées Sciences et Médias : « Femmes scientifiques à la Une ! Comment améliorer la représentation des femmes scientifiques dans les médias ? » s’est enfin tenue le 29 janvier 2021 à la Bibliothèque nationale de France (BnF, site François Mitterand, Paris 13e). Cette journée était coorganisée par la BnF, l’Association des Journalistes Scientifiques de la Presse d’Information (AJSPI), la Société Française de Physique (SFP), la Société Chimique de France (SCF), la Société Informatique de France (SIF), la Société de Mathématiques Appliquées et Industrielles (SMAI) et la Société Mathématique de France (SMF).
5
Billion, Arnaud. « L’hypothèse de la convergence de toute science dans l’ordinateur, par la force de la méthode ». Revue confluence N° 6, no 2 (21 octobre 2024) : 43–58. https://doi.org/10.3917/confl.006.0043.
Texte intégralRésumé :
L’article cherche à apporter une explication à la polysémie de la notion de donnée. Il formule, pour ce faire, l’hypothèse de la convergence : sous la force de la méthode scientifique, toutes les sciences s’atomiseraient d’elles-mêmes en informatique, et les divers types de donnée (jusqu’à la donnée numérique) correspondraient à divers stades de cette atomisation. Pour prouver cette hypothèse, la méthode scientifique est d’abord positionnée dans la société plutôt que dans sa pureté idéelle. Ainsi concrètement, la science est sujette à une tension prescriptive que l’on reconnaît dans la méthode juridique, ce que manifeste l’histoire du terme « loi naturelle ». Cela posé, on peut s’interroger sur le rôle de la mathématique dans la translation de toute science dans un ordinateur du fait de la méthode. Une déperdition en rationalité est induite. Prenant un pas de recul, on peut enfin relever l’incapacité des critères scientifiques plus évaluatifs à freiner l’accomplissement informatique de toute science. Discipline : DROIT DE L’INFORMATIQUE
6
Boullier, Dominique. « Distribution du pouvoir d’agir des entités sociales dans les études informatiques sur Twitter ». Sociologie et sociétés 49, no 2 (4 décembre 2018) : 113–36. http://dx.doi.org/10.7202/1054276ar.
Texte intégralRésumé :
La recherche informatique traite souvent de problèmes qui relèvent des sciences sociales. Cet article propose d’examiner la façon dont ces travaux, souvent très formalisés sur le plan mathématique et algorithmique, reprennent de fait des points de vue standards sur le social. À cette occasion, il est en effet proposé de réduire les choix de points de vue effectués par les sciences sociales à trois distributions du pouvoir d’agir (agencyou agentivité) à des entités différentes : structure, préférences individuelles et réplications (sans ignorer leurs diverses combinaisons). Une discussion approfondie de ces approches dans la tradition sociologique permet de situer la pertinence d’une telle réduction à trois points de vue. Le terrain Twitter constitue un prototype très attractif pour les recherches en informatique qui veulent traiter de processus sociaux : malgré son caractère de haute fréquence qui favoriserait spontanément l’étude du pouvoir d’agir des conversations ou des messages, les trois points de vue (structure, préférences individuelles et réplications) se révèlent être utilisés dans cette littérature, ce qui montrea fortiorila puissance des points de vue que les sciences sociales ont réussi à diffuser chez tous les publics. La présentation d’articles remarquables pour chacune de ces distributions d’agentivité permet d’accéder à la fécondité de ces travaux, trop souvent ignorés des sciences sociales.
7
Toussaint, J., T. Habtemariam, D. Oryang et S. Wilson. « Développement d’un modèle de simulation informatique pour l’anaplasmose, notamment dans les Antilles ». Revue d’élevage et de médecine vétérinaire des pays tropicaux 46, no 1-2 (1 janvier 1993) : 47–48. http://dx.doi.org/10.19182/remvt.9396.
Texte intégralRésumé :
L’anaplasmose, qui continue à être une énigme dans la région des Caraïbes, est responsable de pertes économiques élevées dans la production animale. L’épidémiologie de cette maladie est complexe et la voie efficace et rationnelle à suivre pour son contrôle demeure encore incertaine. On a donc pensé que l’élaboration d’un modèle épidémiologique utilisant des modèles de simulation sur ordinateur serait utile pour une meilleure compréhension de cette maladie. Un modèle de simulation sur ordinateur qui donne les tendances réalistes de la dynamique de la maladie a donc été développé. De plus, ce cadre fournit aux décideurs un outil d’évaluation de différentes alternatives de lutte, pour un planning rationnel et pour l’allocation de fonds. L’élaboration du modèle a été basé sur la mise en œuvre d’une base de connaissances épidémiologiques pour l’anaplasmose ; d’un modèle conceptuel pour les sous-populations de bovins et de tiques ; d’un modèle d’analyse de systèmes pour les sous-populations de bovins et de tiques ; d’un modèle mathématique ; d’un modèle de simulation informatique ; sur l’évaluation du modèle de simulation et l’utilisation de ce dernier pour l’évaluation des alternatives de lutte contre Anaplasma. La base de connaissances a été développée en utilisant la “Epidemiologic Problem Oriented Approach” (EPOA) pour la collecte et la compilation de l’information dans une base condensée de connaissances épidémiologiques sur l’anaplasmose. L’information sur l’anaplasmose a été extraite de manuels sélectionnés de médecine vétérinaire, de revues contemporaines, de documents divers, et de questionnaires remplis par des vétérinaires antillais. L’information épidémiologique a été présentée en diagrammes afin de conceptualiser l’épidémiologie détaillée de la maladie. En même temps, elle montre les parties fondamentales du système anaplasmose pour mieux décrire et analyser la maladie. Des diagrammes d’analyse de systèmes ont également été utilisés pour établir une corrélation entre le niveau pathologique et un niveau particulier qui était décrit et défini par des équations différentielles classiques. Toutes les équations étaient approchées en utilisant la méthode d’intégration de Euler. Ainsi, la dynamique de la maladie a été révélée. Ces diagrammes ont fourni le cadre sur lequel le modèle a été construit. L’évaluation du modèle a montré qu’il est stable. Des tendances biologiquement solides et raisonnables ont été affichées. Ce cadre a ensuite été utilisé pour évaluer les présentations diverses de la maladie et les alternatives différentes pour la lutte. Les manifestations de la maladie observées comprenaient la présentation de populations de bovins et de tiques avec et sans maladie, la dynamique de la maladie quant elle fut introduite par des bovins et des tiques infectés. Les alternatives de lutte testées sont : les effets de niveaux différents de lutte acaricide sur la population de tiques et l’évolution de la maladie ; l’influence de la génétique sur l’incidence de la maladie ; les effets de niveaux différents d’application d’antibiotiques sur la dynamique de la maladie, quant elle fut introduite par des bovins et des tiques infectieux. Le modèle de simulation informatique doit être testé et validé systématiquement pour être sensible aux conditions du terrain.
8
Mocanu, C., et M. Mocanu. « 401 Soutien informatique aux processus de prise de décision en ophtalmologie : une étude de cas dans le diagnostic et le suivi du glaucome ». Journal Français d'Ophtalmologie 31 (avril 2008) : 134. http://dx.doi.org/10.1016/s0181-5512(08)70999-9.
Texte intégral
9
Abdallah, Mohamed Abdallah. « Passage Des Coordonnées Géocentriques Aux Coordonnées Géodésiques Géographiques, Démarches Mathématiques : Cas Du Point 05/15 - 0001, Un Point Du Réseau Géodésique Congolais Situé A Kinshasa ». International Journal of Progressive Sciences and Technologies 46, no 2 (24 septembre 2024) : 195. https://doi.org/10.52155/ijpsat.v46.2.6580.
Texte intégralRésumé :
La profession d’Ingénieur Géomètre Topographe est parmi des professions, la plus influencée par l’informatique et la NTIC. Cette influence a grandement changé la façon de travailler des ingénieurs géomètres topographes sur terrain tout comme au bureau. De fois, les résultats fournis par des outils et logiciels spécialisés apparaissent pour certains une vérité absolue, à tel point qu’on s’en passe des doutes sur la qualité des résultats. Or la profession reste trop urgente en terme de la précision sur les différentes déterminations, il est donc très essentiel de rappeler aux professionnels certaines démarches mathématiques conduisant à la programmation des logiciels et outils de la nouvelle ère, ces démarches peuvent servir des appuis de taille pour valider ou sinon résoudre un petit souci de format des coordonnées que l’on souhaite utiliser dans un projet.Dans cet article, nous nous sommes donnés le luxe de rappeler la démarche mathématique qui nous conduit en cette ère informatique à convertir très rapidement des coordonnées en importe quel format que l’on désire. C’est ainsi pour des raisons scientifiques et techniques, nous avons traité ce problème de transformation des coordonnées géocentriques aux coordonnées géodésiques géographiques pour démystifier les démarches informatiques. Nous avons exploité des données du point 05/15-0001 du réseau géodésique congolais implanté et calculé en 2015, il a fallu pour cette étude de monter un scénario, comme si le point n’était connu qu’en coordonnées géocentriques et sur base des calculs en exploitant les différentes méthodes de calcul, nous sommes arrivés à calculer les coordonnées de ce point sous format géodésique géographique.Pour ne pas être si long, nous avons présenté et expliqué deux méthodes de calcul, dont l’une est celle dite directe et l’autre est nommée la méthode des itérations, après les explications, nous avons porté notre choix sur la méthode des itérations car ça paraît plus technique et précise. Compte tenu de mon profil d’enseignant et de professionnel, j’ai eu des débats intéressants sur cette problématique, il s’est fait remarquer une certaine confusion sur des concepts, certains professionnels et apprenants ne trouvent plus la place pour des vérifications poussées en utilisant des méthodes mathématiques, qui, d’ailleurs, ils arrivent même à les qualifier de dépasser. Alors c’était en quelque sorte ça, qui m’a poussé d’écrire en ce sens, en fin d’interpeller les apprenants ainsi que d’autres professionnels sur la question. Quand on ignore comment est programmé un logiciel, on aura certainement les difficultés de bien le manipuler ainsi que de vérifier le résultat. Le côté sombre de la technologie, c’est cette manière de réduire un ingénieur à un simple manipulateur d’un programme informatique, les questions fondamentales ne se posent plus, c’est vraiment de l’automate et ce qui n’est pas assez bien.
10
Simon, E., P. Schlicke, A. Mogenet, E. Gouton, J. Pluvy, L. Greillier, P. Tomasini et S. Benzekry. « Modélisation mathématique des métastases cérébrales du cancer bronchique non à petites cellules : un outil informatique personnalisé pour prédire l’apparition des métastases et la survie des patients ». Revue des Maladies Respiratoires Actualités 15, no 1 (janvier 2023) : 237–38. http://dx.doi.org/10.1016/j.rmra.2022.11.432.
Texte intégralThèses sur le sujet "Ophtalmologie mathématique et informatique"
1
Saigre, Thomas. « Modélisation mathématique, simulation et réduction d’ordre de flux oculaires et leurs interactions : construire le jumeau numérique de l'oeil ». Electronic Thesis or Diss., Strasbourg, 2024. http://www.theses.fr/2024STRAD052.
Texte intégralRésumé :
Le corps humain est un système complexe, et l'œil humain n’y fait pas exception. Malgré les avancées médicales, de nombreuses questions pathologiques subsistent. Les modèles mathématiques et computationnels complètent les études cliniques en dévoilant des mécanismes physiopathologiques complexes.L'œil, accessible de manière non invasive, offre des marqueurs biologiques utiles pour diagnostiquer des maladies. Comprendre son comportement, ses pathologies et les traitements associés est donc essentiel.Cette thèse explore la modélisation et la simulation des flux oculaires, notamment le transfert de chaleur et le flux d’humeur aqueuse. Ces approches nécessitent des validations cliniques rigoureuses et tiennent compte de nombreux paramètres, spécifiques au patient ou externes. Une analyse de sensibilité globale évalue leur impact pour guider les cliniciens. Ces analyses, coûteuses en calculs, bénéficient de méthodes de réduction de modèle certifiées, permettant des simulations précises et plus rapides, favorisant l’intégration des modèles dans la pratique cliniqueThe human body is a complex system, and the human eye is no exception. Despite medical advances, many pathological questions remain. Mathematical and computational models complement clinical studies by revealing complex pathophysiological mechanisms.The eye, which can be accessed non-invasively, offers useful biological markers for diagnosing diseases. Understanding its behavior, pathologies and associated treatments is therefore essential.This thesis explores the modeling and simulation of ocular flows, notably heat transfer and aqueous humor flow. These approaches require rigorous clinical validation and take into account numerous parameters, both patient-specific and external. A global sensitivity analysis assesses their impact to guide clinicians. These computationally-intensive analyses benefit from certified model reduction methods, enabling accurate and faster simulations, favoring the integration of models into clinical practice
2
Martiel, Simon. « Approches informatique et mathématique des dynamiques causales de graphes ». Thesis, Nice, 2015. http://www.theses.fr/2015NICE4043/document.
Texte intégralRésumé :
Le modèle des automates cellulaires constitue un des modèles le mieux établi de physique discrète sur espace euclidien. Ils implantent trois symétries fondamentales de la physique: la causalité, l'homogénéité et la densité finie de l'information. Bien que l'origine des automates cellulaires provienne de la physique, leur utilisation est très répandue comme modèles de calcul distribué dans l'espace (machines auto-réplicantes, problèmes de synchronisation,...), ou bien comme modèles de systèmes multi-agents (congestion du trafic routier, études démographiques,...). Bien qu'ils soient parmi les modèles de calcul distribué les plus étudiés, la rigidité de leur structure interdit toute extension triviale vers un modèle de topologie variant dans le temps, qui se trouve être un prérequis fondamental à la modélisation de certains phénomènes biologiques, sociaux ou physiques, comme par exemple la discrétisation de la relativité générale. Les dynamiques causales de graphes généralisent les automates cellulaires aux graphes arbitraires de degré borné et pouvant varier dans le temps. Dans cette thèse, nous nous attacherons à généraliser certains des résultats fondamentaux de la théorie des automates cellulaires. En munissant nos graphes d'une métrique compacte, nous présenterons deux approches différentes du modèle. Une première approche axiomatique basée sur les notions de continuité et d'invariance par translation, et une deuxième approche constructive, où une règle locale est appliquée en parallèle et de manière synchrone sur l'ensemble des sommets du grapheCellular Automata constitute one of the most established model of discrete physical transformations that accounts for euclidean space. They implement three fundamental symmetries of physics: causality, homogeneity and finite density of information. Even though their origins lies in physics, they are widely used to model spatially distributed computation (self-replicating machines, synchronization problems,...), as well as a great variety of multi-agents phenomena (traffic jams, demographics,...). While being one of the most studied model of distributed computation, their rigidity forbids any trivial extension toward time-varying topology, which is a fundamental requirement when it comes to modelling phenomena in biology, sociology or physics: for instance when looking for a discrete formulation of general relativity. Causal graph dynamics generalize cellular automata to arbitrary, bounded degree, time-varying graphs. In this work, we generalize the fundamental structure results of cellular automata for this type of transformations. We endow our graphs with a compact metric space structure, and follow two approaches. An axiomatic approach based on the notions of continuity and shift-invariance, and a constructive approach, where a local rule is applied synchronously on every vertex of the graph. Compactness allows us to show the equivalence of these two definitions, extending the famous result of Curtis-Hedlund-Lyndon’s theorem. Another physics-inspired symmetry is then added to the model, namely reversibility
3
Zini, Pascale. « Etude informatique des résultats de la chirurgie horizontale et verticale simultanée pour les trabismes convergents : à propos de 297 cas ». Clermont-Ferrand 1, 1987. http://www.theses.fr/1987CLF11043.
Texte intégralRésumé :
1ère partie : - la chirurgie horizontale et verticale simultanée systématique basée sur la pathogénie du strabisme de Gobin est une chirurgie globale symétrique d' affaiblissement et fonctionnelle qui se fait à un âge précoce différé. - les indications. 2eme partie : une étude rétrospective sur 297 strabismes convergents opérés a été réalisée à l' aide de fiches informatiques. L' élément vertical et l' hyperaction des petits obliques sont très fréquents en pré-opératoire. Malgré la difficulté de définition des critères d' appréciation et de la décompensation lors de l' examen, on obtient de bons résultats pour les petits obliques et des résultats semblables à ceux de la littérature pour déviation horizontale minimale de près sans correction. Les résultats sont meilleurs pour les petits obliques parmi les réussites que parmi les sous-corrections.
4
Lardeux, Frédéric. « Approches hybrides pour les problèmes de satisfiabilité (SAT et MAX-SAT) ». Angers, 2005. http://www.theses.fr/2005ANGE0024.
Texte intégralRésumé :
Cette thèse est centrée sur la résolution des problèmes de satisfiabilité SAT et MAX-SAT. Les contributions apportées sont de trois types. Tout d'abord nous avons développé l'algorithme mémétique GASAT pour les problèmes SAT et MAX-SAT hybridant un algorithme tabou et un algorithme génétique. Des outils spécifiques aux problèmes de satisfiabilité y ont été intégrés tels que des mécanismes d'intensification, de diversification et un nouvel opérateur de croisement. Ensuite, nous avons proposé un nouveau cadre de résolution permettant aux méthodes exactes et aux méthodes approchées de manipuler la même représentation de l'espace de recherche. Pour cela, nous avons ajouté une troisième valeur de vérité "indéterminé". Les résultats obtenus par les algorithmes hybrides trivalués montrent l'intérêt de ce cadre de résolution. Enfin, nous nous sommes penchés sur les heuristiques de branchement des algorithmes de Branch and Bound pour le problème MAX-SAT. L'étude que nous présentons montre que ces heuristiques réagissent très différemment en fonction des paramètres initiaux, de la structure de l'instance étudiée et des mécanismes d'amélioration du Branch and Bound. Elle permet d'envisager la création de nouvelles heuristiques spécifiquement dédiées au problème MAX-SATThis thesis deals with the resolution of the satisfiability problems SAT and MAX-SAT. Our contributions are in three types. First, we have developed the memetic algorithm GASAT for the SAT and MAX-SAT problems which hybridies a tabu algorithm and a genetic algorithm. Some specific tools for the satisfiability problems have been included in it such as intensification mechanisms, diversification mechanisms and a new crossover operator. Next, we have proposed a new resolution framework which permits the exact and the approached methods to handle the same representation of the search space. To do this, we have added a third truth value ``undetermined''. The results obtained by the tri-valued hybrid algorithms show the utility of this resolution framework. Finally, we are interested in the branching heuristics for the Branch and Bound algorithms in the MAX-SAT context. Our study shows that these heuristics react in different ways in function of the initial parameters, the structure of the studied instances and the improved mechanisms for Branch and Bound. The findings of this study may lead to the creation of new heuristics specifically dedicated to the MAX-SAT problem
5
Gallon, Jonathan. « Étude et optimisation d'un algorithme de reconstruction d'horizons sismiques 3D et extension aux données nD ». Pau, 2011. http://www.theses.fr/2011PAUU3009.
Texte intégralRésumé :
Dans le monde pétrolier, l'interprétation géophysique des données sismiques 3D est une étape indispensable pour la construction d'un modèle géologique du sous-sol. Ce modèle est constitué d'objets tels que les horizons (surfaces représentant l'interface entre deux couches géologiques) et les failles (surface modélisant les cassures dans les couches géologiques). Afin d'aider les géophysiciens, beaucoup d'outils automatiques ont été proposés afin de reconstruire ces objets, parmi lesquels le propagateur d'horizon 3D développé par Keskes et al. : cet algorithme est considéré comme le plus robuste en terme de qualité de surface reconstruite, mais avec l'augmentation permanente des volumes de données on observe une détérioration de ses temps d'exécution. L'objectif de la thèse concerne l'optimisation de cet algorithme de reconstruction d'horizons sismiques, appelé Propagateur 3D. La chute de performance calculatoire de ce propagateur est engendrée par la nécessité de faire des accès aléatoires dans le volume de données. Pour réduire l'effet de ces accès, très coûteux en temps d'exécution, nous proposons un système de cache briqué intelligent adapté aux caractéristiques de l'algorithme. La mise en place de cette gestion optimisée de la mémoire ouvre la voie vers une refonte du mode de propagation de l'algorithme pour minimiser l'empreinte mémoire : la propagation récursive. Dans la suite de la thèse, nous montrons comment étendre l'algorithme de propagation 3D aux données nD (acquisitions multi-offset, multi-azimut,. . . ) de plus en plus exploitée dans l'interprétation sismique. Deux types extensions sont proposés : la propagation libre et la contrainte. L'ajout de nouvelles dimensions entraîne une forte augmentation de la taille des données à traiter, et donc un fort ralentissement de l'algorithme. Pour chaque extension de la propagation, nous proposons une adaptation du système de cache 3D afin d'en améliorer les performances. Enfin, nous présentons et commentons sur plusieurs cas réels les résultats obtenus par la propagation nDIn the oil industrie, 3D seismic data interpretation is an essential step to build a 3D geological model of an exploration area. This model is constructed with horizons (surfaces representing the main rock interfaces) and faults (surface representing rocks' fractures). In order to facilitate interpretation, a lot of automatic tools have been developed to build these surfaces, among which the 3D horizon propagation algorithm developed by Keskes et al. : this algorithm is considered today as the most powerful in term of surface quality. However, with the continuous increasing size of seismic data, one can observe a slowdown in computation time. The purpose of this thesis concerns the optimization of this seismic horizon reconstruction algorithm. To reduce the effect of the random access required by the propagator, which is very time consuming, we propose an intelligent bricked cache system fully adapted to the algorithm. Then, we modify the original version of the algorithm with a new propagation method in order to minimize the memory usage : the recursive propagation. Then we extend the propagation algorithm to nD data (multi-offsets acquisitions, multiazimuth. . . ) increasingly used for seismic interpretation. Two extensions are then proposed : a "free" propagation and a "constrained" propagation. As the new dimensions increase the seismic data size, we adapt the optimum cache system for each propagation extension in order to improve the performance for both propagations. Finally, we present and comment results of nD propagation obtained on real data
6
Schnoebelen, Philippe. « Sémantique du parallélisme et logique temporelle : application au langage FP2 ». Grenoble INPG, 1990. http://www.theses.fr/1990INPG0075.
Texte intégralRésumé :
Cette thèse contribue à l'étude des liens existant entre les deux principaux points de vue actuellement adoptés pour la spécification des programmes parallèles ; les modèles opérationnels et leurs équivalences comportementales d'une part, la logique temporelle d'autre part. A la différence d'approches plus classiques, nous considérons explicitement des systèmes où le branchement infini (c. -à-d. Le non-déterminisme infini) est autorisé. Dans ce cadre général, les résultats classiques d'adéquation entre les deux points de vue susmentionnés doivent être relativisés. Par exemple, l'équivalence de bisimulation est strictement plus puissante que l'équivalence induite par les logiques du temps arborescent. Nous montrons aussi que l'équivalence induite par la logique temporelle n'est pas une congruence par rapport aux combinateurs usuels de programmes parallèles et que la congruence engendrée reste strictement moins forte que la bisimulation. Cette étude théorique a sa source dans les problèmes posés par le langage FP2. Dans la deuxième partie de cette thèse, nous donnons une définition complète du langage et de sa sémantique. Nous proposons ensuite une méthode de vérification automatique des programmes FP2 qui n'est pas limitée aux systèmes d'états finis. Cette méthode, dite de vérification symbolique, repose sur l'utilisation par FP2 de la réécriture de termes et utilise les résultats de Comon sur la disunification
7
Daoudi, Mohamed. « Classification interactive multidimensionnelle par les réseaux neuronaux et la morphologie mathématique ». Lille 1, 1993. http://www.theses.fr/1993LIL10134.
Texte intégralRésumé :
Dans ce mémoire, nous avons proposé une méthodologie qui permet à un opérateur de maîtriser le procédé de classification en visualisant les données grâce à un réseau de neurones multicouche. Ce support visuel est alors utilisé pour classer les observations selon différentes procédures plus ou moins interactives. La représentation plane des données mise en oeuvre utilise une réseau neuronal multicouche. L'apprentissage s'effectue en mode non supervisé par la technique de rétro propagation. La visualisation plane est exploitée par l'appui de techniques de classification telle la procédure isodata avec laquelle l'analyste garde un contact étroit avec les données. Cette méthode donne de très bons résultats quand les classes, en présence dans l'échantillon ont des formes sphériques. Pour les cas où les classes ne sont pas sphériques, nous proposons une nouvelle approche fondée sur l'utilisation de critères géométriques et structuraux en faisant appel à la morphologie mathématique. Cette nouvelle approche aboutit à la classification des données en deux étapes successives: une étape de détection des modes et une étape de classification des observations s'appuyant sur les modes détectés. La détection des modes est réalisée par application de l'algorithme de la ligne de partage des eaux. Enfin, afin de préciser les domaines de validité de chacune des méthodes, nous comparons les résultats obtenus avec chacune d'elles. Cela nous permet de proposer une méthodologie de travail pour l'analyste confronte au problème de classification de ces données
8
Lhote, Nathan. « Définissabilité et Synthèse de Transductions ». Doctoral thesis, Universite Libre de Bruxelles, 2019. https://dipot.ulb.ac.be/dspace/bitstream/2013/287370/4/these.pdf.
Texte intégralRésumé :
Dans la première partie de ce manuscrit nous étudions les fonctions rationnelles, c'est-à-dire définies par des transducteurs unidirectionnels. Notre objectif est d'étendre aux transductions les nombreuses correspondances logique-algèbre qui ont été établies concernant les langages, notamment le célèbre théorème de Schützenberger-McNaughton-Papert. Dans le cadre des fonctions rationnelles sur les mots finis, nous obtenons une caractérisation à la Myhill-Nerode en termes de congruences d'indice fini. Cette caractérisation nous permet d'obtenir un résultat de transfert, à partir d'équivalences logique-algèbre pour les langages vers des équivalences pour les transductions. En particulier nous montrons comment décider si une fonction rationnelle est définissable en logique du premier ordre. Sur les mots infinis, nous pouvons également décider la définissabilité en logique du premier ordre, mais avec des résultats moins généraux.Les fonctions rationnelles sur les mots infinis sont plus difficiles à caractériser et nous obtenons un résultat plus faible: étant donné un transducteur nous montrons comment calculer un transducteur canonique, c'est-à-dire indépendant du transducteur initial, réalisant la même fonction.Cependant cette machine canonique nous permet tout de même de décider si une fonction est définissable en logique du premier ordre.Dans la seconde partie nous introduisons une logique pour les transductions et nous résolvons le problème de synthèse régulière: étant donnée une formule de la logique, peut-on obtenir un transducteur bidirectionnel déterministe satisfaisant la formule ?Dans la seconde partie nous considérons un problème de synthèse: étant donné une relation (spécification) peut-on obtenir une fonction (un programme) qui est inclus dans (qui satisfait) la relation. Les fonctions réalisées par des transducteurs bidirectionnels déterministes sont caractérisés par plusieurs modèles différents, y compris par les transducteurs MSO, et ont ainsi été nommées transductions régulières.Nous introduisons une logique expressive pour les transduction et nous résolvons le problème de synthèse régulière pour cette logique.Plus précisément nous fournissons un algorithme qui produit toujours une fonction régulière satisfaisant une spécification donnée en entrée.Nous exposons également un lien intéressant entre les transductions et les mots avec données.Par conséquent nous obtenons une logique expressive pour les mots avec données, pour laquelle le problème de satisfiabilité est décidable.Option Informatique du Doctorat en Sciences
info:eu-repo/semantics/nonPublished
9
Rubio, Michel. « Courbes morphologiques et reconnaissance d'objets plans ». Saint-Etienne, 1990. http://www.theses.fr/1990STET4011.
Texte intégralRésumé :
Une des méthodes de reconnaissance des formes binaires repose sur le calcul de paramètres caractérisant leur géométrie. Ces paramètres sont de deux ordres: ceux calcules sur l'objet lui-même et ceux calcules sur son retour. L'étude de la frontière d'objets binaires discrétisés sur trame conduit a définir les contours morphologiques. Cette définition est validée par son extension mathématique au cas continu: les courbes morphologiques sont introduites. Dès lors, une étude des contours en termes de texture permet de préciser la notion d'échelle d'étude d'un contour. Une méthode d'estimation de la déflection tangentielle s'en déduit. Dans un deuxième temps, l'étude de l'objet lui-même est abordée grâce a la notion d'asymétrie. Elle met en oeuvre trois coefficients classiques, notamment celui de Besicovitch pour lequel un algorithme de calcul est propose. Enfin, des applications des techniques mises en place sont présentées. Elles concernent la chimie physique, la mécanique des fluides et l'usure des matériaux
10
Adioui, M'Barek. « Modélisation et Etude Mathématique et Informatique de comportements Collectifs : alignement dans un banc de poissons ». Paris 7, 2004. http://www.theses.fr/2004PA077003.
Texte intégralLivres sur le sujet "Ophtalmologie mathématique et informatique"
1
Marchand, Michel. Mathématique discrète : Outil pour l'informaticien. Bruxelles : De Boeck Université, 1989.
Trouver le texte intégral
2
Merrien, Jean-Louis. Analyse numérique avec Matlab : Rappels de cours, méthodes, exercices et problèmes avec corrigés détaillés. Paris : Dunod, 2007.
Trouver le texte intégral
3
Rosen, Kenneth H. Discrete mathematics and its applications. 2e éd. New York : McGraw-Hill, 1991.
Trouver le texte intégral
4
Rosen, Kenneth H. Discrete mathematics and its applications. 7e éd. New York : McGraw-Hill, 2012.
Trouver le texte intégral
5
Rosen, Kenneth H. Discrete mathematics and its applications. 4e éd. New York : McGraw-Hill, 1999.
Trouver le texte intégral
6
Sabourin, Conrad. Mathematical and formal linguistics : Grammar formalisms, grammar testing, logics, quantifiers : bibliography. Montréal : Infolingua, 1994.
Trouver le texte intégral
7
Workshop on Computer Science Logic (1st 1987 Karlsruhe, Germany). CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings. Berlin : Springer-Verlag, 1988.
Trouver le texte intégral
8
Sabourin, Conrad. Mathematical and formal linguistics : Bibliography. Montréal, Qué : Infolingua, 1994.
Trouver le texte intégral
9
H, Papadimitriou Christos, dir. Elements of the theory of computation. 2e éd. London : Prentice Hall International, 1998.
Trouver le texte intégral
10
H, Papadimitriou Christos, dir. Elements of the theory of computation. 2e éd. Upper Saddle River, N.J : Prentice-Hall, 1998.
Trouver le texte intégralActes de conférences sur le sujet "Ophtalmologie mathématique et informatique"
1
Beyaert-Geslin, Anne. « Faire un point ». Dans Arts du faire : production et expertise. Limoges : Université de Limoges, 2009. http://dx.doi.org/10.25965/as.3232.
Texte intégralRésumé :
« Faire » un énoncé artistique, c’est toujours, au départ « faire un point », fût-il grain du pigment archaïque, point de la peinture (Kandinsky), point-écran de la vidéo (Kuntzel) ou pixel de l’écran informatique. Ce grain-point qui détermine la genèse du visuel procède de pratiques différentes selon qu’il manifeste une intentionnalité rituelle (Leroi-Gourhan) ou esthétique. Il suggère également des rapports distincts à l’énonciation et plusieurs définitions épistémologiques : le grain est posé ; avec un liant, il devient peinture et se dispose au geste du peintre tandis que le pixel, échangeur entre l’image et le calcul mathématique, se « fait » à l’écran.Qui « fait » ? (quelle instance) et que « fait »-il (poser, tracer, composer à l’écran…) ? On voit aussi que le lien intime qui relie, par-delà les âges, le pigment de la Préhistoire au pixel d’aujourd’hui, sous-tend des modèles génératifs et des régimes sémiotiques distincts (l’alternative représentation/simulation de Couchot). La différence porte de même sur les rapports à la perception, l’effet « pelliculaire » du pixel renouant avec celui du pigment mais s’opposant résolument aux profondeurs de la peinture. Pourtant, en dépit de ces différences, une ressemblance essentielle subsiste qui tient au caractère veridictoire du grain-point. En effet, c’est toujours ce grain-point qui, devenu ligne (Kandinsky) et figure, déclare l’image comme telle, qu’il trahisse sa fiction au travers du flou ou du carré insistant du pixel-art. Par cet effet métadiscursif, il révèle que l’image a été faite et relève bien d’un « faire » poïétique séparé de l’être, quand bien même elle paraît-être. En ce sens, la « vérité » des images tiendrait moins à la collusion du paraître et de l’être que consacre le carré de la véridiction qu’à une déhiscence fondamentale entre l’être et le « faire ».