The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 5142 of Mathematical Reviews Vol. , Issue 85k
[page]
1985
Mathematical Reviews
Bossavit, Le type abstrait “vecteur” et 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
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
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]
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
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é
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
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]
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]
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 ?
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]
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]
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]
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]
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]
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