Messages postés par "Davidbrcz"
60 messages sont invisibles car dans un sujet inaccessible.
| Sujet | Date | Extrait |
|---|---|---|
| jeudi 03 mai 2018 à 16h41 | > Soyez toutefois conscient⋅es que mon niveau en mathématique est très faible, attendez-vous donc à des questions Je viens de voir ce passage. Ce que tu souhaites faire n'est pas du tout trivial… | |
| jeudi 03 mai 2018 à 14h11 | Pour normaliser ton image à la taille ton image de référence, tu peux calculer la bounding box de ton dessin, te restreindre à cette sous-image en croppang et la redimensionner à une taille de référe… | |
| mercredi 02 mai 2018 à 14h03 | Est ce qu'on a eu des retours sur concentré de savoir ? Car avoir des contraintes (de date, de thématique) peut aider à rédiger. On pourrait imaginer reprendre (et adapter) le mécanisme des *call f… | |
| dimanche 29 avril 2018 à 10h38 | [Wikipedia](https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_des_fonctions_implicites) > Il existe de multiples manières de définir une figure géométrique dans le plan. Ainsi, l'ensemble des point… | |
| mardi 24 avril 2018 à 14h18 | 1. Si c'est lors d'une phase de rédaction, pas de validation impliquée. Sur du contenu déjà publié, y'a deux cas. Si les auteurs (celui de la PR et celui du contenu principal) sont d'accords que c'es… | |
| mardi 24 avril 2018 à 14h01 | - L'interface à base de clic de l'éditeur ne me plait pas. Je veux rédiger en markdown / org sous Emacs/vim/what ever. - Rédiger un tuto, même petit, reste quelque chose qui se compte facilement en… | |
| lundi 23 avril 2018 à 13h45 | Tu peux essayer l'option cours du soir / CNAM pour bosser et te former en même temps | |
|
Recherche d'un système de ré-écriture
Avec substitution et contraintes sémantiques |
samedi 21 avril 2018 à 12h31 | Alors, les re-ecritures se cantonnent à la partie premier ordre. Dans mon approche, la valuation des predicats pour les logiques temporelles est calculée en se ramenant à un problème de model checkin… |
|
Recherche d'un système de ré-écriture
Avec substitution et contraintes sémantiques |
vendredi 20 avril 2018 à 14h26 | J'ai mis le pre-print [ici](https://mrgrizz.xyz/nextcloud/index.php/s/TsPCRxAJJ7qCMj8). L'organisation de l'article est légèrement différente, c'est section III.B Specification formalism: FO++ >… |
| vendredi 20 avril 2018 à 12h40 | Publier systématiquement les nouvelles de dev du site sur linuxfr.org | |
|
Recherche d'un système de ré-écriture
Avec substitution et contraintes sémantiques |
vendredi 20 avril 2018 à 11h21 | Déjà, merci de ta réponse. Oui, tu peux trouver une référence à la logique dans un article plus orienté application robotique :[Improving Code Quality in ROS Packages Using a Temporal Extension of… |
|
Recherche d'un système de ré-écriture
Avec substitution et contraintes sémantiques |
jeudi 19 avril 2018 à 18h12 | [[attention]] | Attention: post théorique. P-e plus adapté dans autre savoir ? Bonjour à tous, Je me permets de venir vers la communauté car je suis franchement assez perdu. Je travaille a… |
| jeudi 19 avril 2018 à 17h21 | Le terme technique c'est du [clustering](https://en.wikipedia.org/wiki/Cluster_analysis). Tu peux en particulier voir ton tableau comme la définition d'un graphe et appliquer du [graph clustering](h… | |
| jeudi 19 avril 2018 à 14h55 | Je suis vraiment partisan d'essayer d'instaurer des partenariats avec des Youtubeurs +/- connus. zds peut être un moyen pour eux de compléter leurs vidéos / poster leur scripts (petite pensée aux ave… | |
| lundi 16 avril 2018 à 16h21 | Bonjour à tous, Depuis plusieurs mois/années, j'éprouve un malaise face aux statistiques de la sécurité routière. J'ai deux chiffres en tête: - Le nombre de mort sur une année. - le nombre d… | |
| vendredi 13 avril 2018 à 10h15 | > Hummm ... intéressant. > > Tu compiles bien en debug ? Valgrind ne te sort aucune information ? Source:[ache](https://zestedesavoir.com/forums/sujet/10557/pas-de-plantage-avec-valgrind-mais-p… | |
| vendredi 13 avril 2018 à 10h11 | Essaye d'activer les options [AddressSanitizer](https://stackoverflow.com/questions/37970758/how-to-use-addresssanitizer-in-gcc) de gcc ou clang. Tu peux aussi poser un [watchpoint](https://stacko… | |
| lundi 09 avril 2018 à 16h01 | [La liste wikipedia](https://en.wikipedia.org/wiki/List_of_free_electronics_circuit_simulators) | |
| vendredi 30 mars 2018 à 14h45 | > Je pense que tu peux y arriver en réduisant ton problème à "juste" la notion de bijection. > > Par exemple, tu pourrais par exemple parler d'un profil d'altitude (ta fonction) et chercher les … | |
| vendredi 30 mars 2018 à 13h45 | Si tu vises des collégiens, je dirai que ca ne va pas du tout. Il y'a bien trop de concepts manquants pour qu'ils aient la moindre de chance de comprendre... C'est un poster, pas un cours. il fa… | |
| vendredi 30 mars 2018 à 13h04 | > Bonjour, dans le cadre d’un projet à mon université, je dois réaliser un poster qui présente un concept mathématique vulgarisé. > Je pense à vulgariser la phrase : "La fonction exponentielle est … |