Partir du cours
Limiter l’analyse aux documents fournis et garder une trace précise des fichiers utilisés.
Association étudiante · Université de Neuchâtel
L’IA,
preuves à l’appui.
Smart Nexus transforme des documents bruts en outils d’étude inspectables. Ici, pas de lien vers une promesse : voyez directement les prompts, les données et les résultats.
01 · Notre approche
Accélérer sans abandonner son jugement.
Une IA utile rend son raisonnement vérifiable. Elle montre ce qu’elle a reçu, ce qu’elle a produit et où l’étudiant doit encore décider.
Rendre visible
Transformer une masse d’information en tableaux comparables, priorités et critères explicites.
Vérifier avant d’agir
Signaler les hypothèses, les données manquantes et les conclusions qui demandent une validation humaine.
02 · Archives de travail
Le contenu, directement.
Ces aperçus sont tirés des fichiers locaux du projet Smart Nexus. Changez d’onglet pour inspecter quatre formes de travail assisté par IA.
Prioriser les révisions par points.
La cartographie relie les blocs du cours de méthodes formelles à leur contribution estimée dans les examens blancs. Le résultat distingue les notions directement notées de celles qui servent surtout de contexte.
formal_methods_exam_map.xlsx · feuille Course| Notion | Contribution | Priorité | Pourquoi |
|---|---|---|---|
| Logique propositionnelle | 22.5% | HAUTE | Plus grand bloc noté de la partie logique |
| Problèmes NP-complets | 20% | HAUTE | Réductions et preuves appliquées |
| Triplets de Hoare | 15% | HAUTE | Testés dans les deux examens blancs |
| Machines de Turing | 12.5% | HAUTE | Décidabilité et classification des langages |
| Introduction à la complexité | 5% | MOYENNE | Définitions et cadrage conceptuel |
Comparer des semestres, pas seulement des cours.
Cinq portfolios combinent charge, collectif, risques horaires et complémentarité. Les marqueurs A2026, archive et « à confirmer » conservent le niveau de preuve.
course_selection_A2026.xlsx · Portfolio Comparison| Scénario | Fit /100 | Charge | Avantage |
|---|---|---|---|
| Best overall fit | 86 | 3.7/5 | Droit, utilisateurs, IA systèmes et distribué |
| Social / Sustainable | 83 | 3.2/5 | Interactions et sujets publics |
| Builder / Entrepreneur | 82 | 4.4/5 | Prototype, démo, coaching et équipes |
| Technical Growth | 77 | 4.0/5 | Systèmes, data et logiciel en équipe |
| AI + Decision Making | 73 | 4.1/5 | Modèles, données et optimisation |
Relier un cours à un vrai produit.
La synthèse UCD transpose les notions de facteurs humains, accessibilité et expérimentation au clavier adaptatif ErgonomIA. Chaque piste mène à un test concret.
synthese_cours_ergonomia.xlsx · Idées Ergonomia| Piste | Concepts mobilisés | Test concret |
|---|---|---|
| Clavier tactile adaptatif | Fitts, charge cognitive, accessibilité | Comparer tailles et espacements avec ≥ 6 participants |
| Workflow de configuration | Wireflows, affordance, cohérence | Tester deux parcours Edition / Utilisation |
| Déclenchement des touches | Variables, erreurs, tolérance | Comparer appui, relâchement et dwell |
| Feedback BLE multimodal | Attention, perception, accessibilité | Tester états visuels, sonores et haptiques |
Inspecter la demande originale.
Le prompt brut révèle l’intention initiale : maximiser les points d’examen tout en réduisant le temps de révision. Une demande imparfaite peut être restructurée sans en masquer l’origine.
prompt_exam_analysis.txt · source localeOBJECTIF Maximiser le résultat d’examen et minimiser le temps de révision. ANALYSE DEMANDÉE Examiner les anciens examens pour comprendre quelles questions donnent des points. Estimer le bénéfice marginal des feuilles d’exercices selon leur contribution probable à la réussite. CONTEXTE À RELIER Identifier dans le cours les concepts, chapitres, exemples, théorèmes, mécanismes et formules liés aux deux examens blancs. PREMIÈRE SORTIE Résumer les examens blancs au prorata des points.
03 · Avant de générer
Le contexte est la couche de contrôle.
Une bonne demande définit les sources permises, le résultat attendu et la manière de traiter l’incertitude.
RÈGLE DE BASE
Demander au responsable du cours avant d’utiliser l’IA.
Les usages autorisés dépendent du cours, de l’évaluation et des règles de citation. La transparence fait partie du travail.
01 / AUTORISATIONL’IA est-elle permise pour cette tâche ?
02 / SOURCESQuels documents peuvent alimenter l’analyse ?
03 / TRACEFaut-il déclarer prompts et résultats ?
04 / VALIDATIONQuelles connaissances démontrer seul ?
04 · L’association
Apprendre ensemble. Construire pour de vrai.
Workshops + invités
Des méthodes que l’on peut tester.
Ateliers pratiques, retours d’expérience et regards extérieurs pour comparer les outils avec leurs usages réels.
Rejoindre le groupe WhatsApp ↗Projet ouvert
Découvrez. Testez. Contribuez.
Smart Nexus se construit ouvertement. Nous vous invitons cordialement à parcourir le projet, proposer une amélioration ou contribuer directement sur GitHub.
Voir et contribuer sur GitHub ↗