Filters








100 Hits in 5.8 sec

Page 5142 of Mathematical Reviews Vol. , Issue 85k [page]

1985 Mathematical Reviews  
Bossavit, Le type abstraitvecteuret les méthodes de pro- grammation des ordinateurs vectoriels [The abstract type “vector” and methods for programming vector computers] (pp. 35-46); V.  ...  by shared variables] (pp. 13-22); Patrick Bellot, Sémantiques com- parées des systemes de programmation fonctionnelle FP et FFP de J.  ... 

La revanche des neurones

Dominique Cardon, Jean-Philippe Cointet, Antoine Mazières
2018 Reseaux : communication, technologie, société  
En revanche, les réseaux de neurones n'utilisent que de grands vecteurs d'activité, de grandes matrices de poids et des non-linéarités scalaires pour effectuer le type d'inférence "intuitive" rapide qui  ...  Les méthodes statistiques pour éliminer les hypothèses candidates vont ainsi mûrir et se développer en produisant des raisonnements de type inférentiel, comme les arbres de décision (qui, par la suite  ... 
doi:10.3917/res.211.0173 fatcat:mm5p5fts2vctrhjtn45zlkykha

Résolutions graphiques et mécanique: caractérisation en contexte

Pascale HANNOUN KUMMER
2009 Aster  
En première et en terminale, ces élèves rencontrent la mécanique à travers quelques chapitres du programme de physique, tandis que la mécanique constitue, pour les sciences de l'ingénieur, un des deux  ...  Pour cet article, nous avons choisi de nous focaliser sur l'analyse des méthodes de résolution graphique présentes en sciences de l'ingénieur, moins fréquentes et sous une forme simplifiée en physique.  ...  Remerciements Nombre de mes collègues m'ont soutenue pendant la rédaction de ce texte et m'ont permis de le faire évoluer suite aux discussions toujours riches que nous avons eues.  ... 
doi:10.4267/2042/30424 fatcat:bnqh42idlfenllb7ndsafcauam

Chapitre 8. Former les machines à la compréhension du langage naturel [chapter]

Antoine Bordes
2021 Les signatures neurobiologiques de la conscience  
The methods: encoding symbolic elements in continuous spaces, of which Antoine Bordes explains the principles, memory networks.  ...  Introduction L'histoire de l'informatique et des ordinateurs est jalonnée par les progrès effectués dans la conception des langages -langages de programmation, de requêtes sur les bases de données -permettant  ...  Ces performances que Miller et al analysent en détail par type de question sont tout à fait intéressantes lorsqu'on les compare à d'autres méthodes appliquées sur les mêmes contextes. 31 Chat, pour  ... 
doi:10.1051/978-2-7598-2612-4.c012 fatcat:57ixm33zevdn7kz3bjcuhlkfxq

Résolution des équations intégrales des fluides à potentiels intermoléculaires anisotropes par l'algorithme Général de Minimisation du RESte

P.H. Fries, M. Cosnard
1987 Journal de Physique  
Cet algorithme, de type Newton-Raphson, est général, stable, efficace et très simple à programmer.  ...  Notons qu'une application de l'op,6rateur M requiert moins de 0,1 s sur un ordinateur CRAY X-MP fonctionnant avec un seul processeur vectoriel dans le cas present ou les fonctions sont tabul6es sur 1 024  ... 
doi:10.1051/jphys:01987004805072300 fatcat:t2rqeliaw5hmrpha6yw2kgu3ba

Effet d'un feedback informatif sur la prise de notes dans un environnement d'apprentissage informatisé

Sonia Mandin, Phillipe Dessus, Benoît Lemaire
2005 STICEF  
Il est donc pertinent de mieux définir la prise de notes à la fois dans un contexte général et dans le contexte qui nous préoccupe, celui d'acquisition de connaissances par exposition à un cours.  ...  La prise de notes dans un contexte d'apprentissage Plusieurs situations peuvent engendrer une prise de notes : par exemple, pour se rappeler les détails d'un rendez-vous, pour se souvenir d'une idée furtive  ...  Le programme reçoit en entrée un corpus de textes qu'il représente dans un espace vectoriel multidimensionnel et produit en sortie les résultats d'un traitement statistique.  ... 
doi:10.3406/stice.2005.904 fatcat:kpgw72a4bzdq7me236hz543sre

Thesis Soufiane Hourri.pdf

Soufiane Hourri
2021 figshare.com  
This is why we have developed a new method that allows the use of CNNs without using images.The results of the thesis represent an important finding to understand how deep learning models can be adapted  ...  Lorsque les ordinateurs programmables ont été conçus, les chercheurs se sont demandé s'ils pouvaient devenir intelligents.  ...  Ironiquement, les tâches abstraites et formelles qui font partie des tâches mentales les plus difficiles pour un être humain sont parmi les plus faciles pour un ordinateur.  ... 
doi:10.6084/m9.figshare.14484606.v1 fatcat:qaargt72ivfynmgugfv2apvnjy

Proposition d'un modèle pour l'optimisation automatique de boucles dans le compilateur Tiramisu : cas d'optimisation de déroulage [article]

Asma Balamane, Zina Taklit
2019 arXiv   pre-print
d'un ordinateur.  ...  Résumé Les architectures des ordinateurs deviennent de plus en plus complexes.  ... 
arXiv:1908.01057v1 fatcat:oxqizfotubdaboibz33px5hqlq

A new approach of contextual recommendation based on the method of Hierarchical Analysis of Processes [article]

Halima Nefzi
2018 arXiv   pre-print
And we relied on methods of multi-criteria decision making (MCDM) and more precisely the method of Hierarchical Process Analysis (AHP) for context integration in the recommendation process.  ...  In this Memory, we introduced a new contextual recommendation approach based on the AHP Process Hierarchical Analysis method.  ...  En se basant sur le profil d'un 16 Cosinus des vecteurs : dans cette méthode, les utilisateurs A et B sont considérés comme deux vecteurs de même origine dans un espace de m dimensions, m est égal  ... 
arXiv:1810.10038v1 fatcat:4a44utgcsvb4rmygrlcnfzpihy

Postface. Traitement des données historiques spatialisées. Que faire ? et comment ?

Alain Guerreau
2016 Bulletin du Centre d'Études Médiévales d'Auxerre  
Poirier montre bien l'écart entre le schéma abstrait et la réalité empirique.  ...  Il suffit de disposer d'un fond de carte géolocalisé (éventuellement reçu en WMS, voir plus loin), et de créer une couche vectorielle-points ; on clique sur le point choisi et l'on remplit les cases qui  ... 
doi:10.4000/cem.13840 fatcat:ikz2eg25cfenhnhwdzd2icqdk4

Curvature of surfaces in euclidean 3-space: philosophical analysis of Gauss' Theorema Egregium [article]

Joel Merker
2014 arXiv   pre-print
Programme : en action.  ...  Dans la seconde méthode, on exprime les coordonnées en forme de fonctions des deux variables p et q. [. . .]  ...  et analytique réelle ou de classe au moins C 2 , alors les coordonnées images (x ′ , y ′ , z ′ ) pourront aussi  ... 
arXiv:1402.1018v1 fatcat:uxjd2cxt3jbnpjxrpk4f2xlctu

Progrès récents sur la conjecture de Zagier et le programme de Goncharov [d'après Goncharov, Rudenko, Gangl, ...] [article]

Clément Dupont
2021 arXiv   pre-print
Le 1-squelette de A n est le graphe d'échange d'une structure amassée (de type A n−3 ) qu'on décrit maintenant. Notons |v, w| le déterminant de deux vecteurs v, w du plan.  ...  Le programme de Goncharov Un des enjeux de la conjecture de Zagier est de décrire explicitement la K-théorie des corps de nombres.  ...  pour le trilogarithme dans le cadre de la structure amassée de type D 4 ).  ... 
arXiv:2109.01702v1 fatcat:h5w5zzl4bve7dm3qjwd2anjzle

Symétrie et théorie des groupes à travers la physique [article]

Jacques Villain
2009 arXiv   pre-print
Les propri\'et\'es de la mati\'ere sont li\'ees au type de sym\'etrie qui y r\'egne.  ...  \'enoncent des relations g\'en\'erales entre les propri\'et\'es physiques et la sym\'etrie.  ...  Il n'y a plus qu'à achever le programme en faisant agir P p sur n vecteurs indépendants, orthogonaliser les vecteurs obtenus, et répéter l'opération pour toutes les représentations irréductibles p.  ... 
arXiv:0906.3595v1 fatcat:hdqu3tf5pjgbnfbf3ibiybj5nu

Méthodes Matricielles Introduction à la Complexité Algébrique [article]

Jounaïdi Abdeljaoued, Henri Lombardi
2016 arXiv   pre-print
The contents of the book are the following: classical results of linear algebra and basic algorithms in linear algebra, straight-line programs as a model of computation, with an emphasis on Strassen's method  ...  programme qui, pour l'entrée n donne en sortie le texte du programme d'évaluation P n est un programme du type (( loop program )) (ou programme à boucles pour : (( pour u de 1 à r faire . . . ))) de structure  ...  La plupart des algorithmes présentés dans le chapitre 2 sont de ce type et donnent donc lieu, lorsque les dimensions des matrices sont fixées, à des programmes d'évaluation.  ... 
arXiv:1604.00795v1 fatcat:dd3mhlgmdrhczhk7gw2dp726ne

Algèbre combinatoire et effective: des graphes aux algèbres de Kac, via l'exploration informatique [article]

Nicolas M. Thiéry
2009 arXiv   pre-print
Nous avons aussi vérifié sur ordinateur, pour tous les types exceptionnels, l'existence d'un algorithme utilisant le même schéma de récurrence.  ...  Quelle méthode est effectivement appelée par x * y ? Ce devraitêtre celle de multiplication des vecteurs de Q 3 par les scalaires dans Q, dont l'implantation est rattachéeà Q 3 .  ...  les inclusions de facteurs) et les algèbres de Steenrod.  ... 
arXiv:0912.2619v1 fatcat:awwytnb34vfidizdbs3aor7u3y
« Previous Showing results 1 — 15 out of 100 results