ScientificWare

Fusion des Maths Sciences et Informatiques

  • Contact
  • News
  • Nouvelles
  • Portail
  • Projets
  • Publications

Articles les plus récents

  • FXMessages X1

    23 février, par Guy Abossolo Foh

    Dernières améliorations concernant l’affichage sur FXMessages.
    Les matrices, les intégrales et autres opérateurs mathématiques s’affichent maintenant de manière correcte.

  • ScientificPad / MathMLPad / HTMLPad / FXMessages

    16 avril 2021, par ScientificWare

    Chaîne de production et derniers développements

  • Formules de Taylor

    12 août 2020, par ScientificWare

    Détail de méthodes et preuves.

  • The Octopus Scanner Malware

    30 mai 2020, par ScientificWare

    This post details how an open source supply chain malware spread through build artifacts. 26 open source projects were backdoored by this malware and were actively serving backdoored code.


    En développant des applications informatiques, nous sommes vite confrontés à la question : Puis-je utiliser ce code trouvé sur le réseau, dans mon propre code ?
    C’est souvent une facilité bien tentante que nous nous refusons.
    Ce n’est pas une question réservée seulement aux petits développeurs. Cela touche tous les grands projets. Pratiquement tous les projets informatiques font appel à des bibliothèques ouvertes et libres. Mais quel est donc le degré de sécurité de ces projets incorporés ?
    – ScientificWare n’utilise que des bibliothèques reconnues et utilisées par d’autres grands projets auxquels il est associé.
    – Pour Android, nous nous limitons aux API d’origine et à nos propres productions internes.
    – De même pour tout autre projet Java y compris le langage lui-même à travers l’ OpenJDK et ses dérivés. Nous menons une veille et contribuons pour dès que nous idenfions un problème à notre niveau.
    Cette contrainte que nous nous imposons, limite un peu certaines fonctionnalités mais nous avons une grande responsabilité par rapport aux produits que nous diffusons. Cet incident invite à être encore plus prudent et conforte notre choix de contrôler et d’être partie prenante de tous les outils que nous utilisons.
    Autrement dit, avant d’utiliser un code externe, il convient de le lire et s’investir dans sa maintenance pour garder un œil sur son évolution.
    Enfin, une réflexion sur l’accès distant à ces bibliothèques sur certains dépôts doit être renforcée pour mieux maitriser les versions incorporées. Nous sommes encore réticents à son utilisation au regard des risques que nous percevons.

  • Sur CurExt Composition de symboles curvilignes de taille variable - Sur l’étude et la réalisation d’un système de justification du e-document scientifique multilingue

    19 avril 2020, par ScientificWare

    – La première présentation résume bien tous les problèmes liés à la production de glyphes extensibles. Elle expose la solution proposée par Ronald Knuth et l’approche de CurExt que je partage avec l’auteur. Cependant, mon approche diffère un peu, car il s’agit de fournir un outil d’édition et pas seulement un moteur de rendu. Nous devons aussi fournir un atelier de construction de ces glyphes. L’application de composition doit mettre à disposition des utilisateurs, le matériel nécessaire pour créer ces glyphes et les tester suivant leur taille. C’est l’objet du projet FXFont.

    – Le deuxième texte, présente une réflexion sur le formatage de paragraphe : Le but de cette thèse est de dynamiser les procédés typographiques de composition de e-documents scientifiques multilingues.

  • Projets Calcul Mental

    16 mars 2020, par ScientificWare

    Osez défier le maître du calcul mental !
    Puis passez votre premier entretien d’embauche ...

  • Développement du système MathNat pour la formalisation automatique des textes mathématiques par Humayoun Muhammad

    27 juin 2019, par ScientificWare

    Humayoun Muhammad. Développement du système MathNat pour la formalisation automatique des textes mathématiques. Mathématiques générales [math.GM]. Université de Grenoble, 2012. Français. NNT : 2012GRENM001. tel-00680095

    MathNat - Mathematical Text in a Controlled Natural Language Muhammad Humayoun and Christophe Raffalli Laboratory of Mathematics (LAMA) Université de Savoie, France mhuma, raffalli@univ-savoie.fr

  • Réécriture et compilation de confiance par Antoine Reilles

    25 juin 2019, par ScientificWare

    Une lecture de thèse à approfondir.

  • Replace Numbers with Sets in calculations (1).

    22 janvier 2019, par ScientificWare

    Replace Numbers with Sets in calculations (1).

  • FXMessages X1 (GV) Alpha 201901082228

    8 janvier 2019, par ScientificWare

    Amélioration de l’affichage des expressions mathématiques. L’affichage matriciel est en approche.

  • page précédente
  • page suivante

Dernières brèves

  • 15 octobre 2021

    ENSISA 4 -> ENSISA 5

    Que dire de plus ! Dernière année de formation à l’ENSISA et un projet entrepreneurial à la clé 👏 Merci à tous ceux qui accompagnent cette pépite parfaitement ancrée dans l’air du temps. Longue vie à PimLeaf !

  • 4 août 2020

    ENSISA 3 -> ENSISA 4

    Félicitations FrenchyLeaf ! Une belle 3ème année d’école d’ingénieur à l’ENSISA de Mulhouse en Informatique et Réseaux. Le camp de base Top Confort est maintenant bien établi pour l’année suivante. Il reste juste à trouver de bons stages pour valider deux années à venir ... :)
    Un Papa à nouveau fier du (...)

  • 31 juillet 2019

    MPSI, MP -> ENSISA

    Nouvelle et belle étape remportée avec brio ! Deux années de classe préparatoire MPSI et MP parfaitement négociées avec des choix stratégiques mûrement réfléchis.
    L’avenir se joue maintenant à L’ENSISA de Mulhouse où il faut rapidement prendre ses marques et installer son camp de base pour 3 ans de (...)

Derniers commentaires

  • scientificware : Problèmes corrigés.
  • ... : Les liens ne fonctionnent plus ! Impossible de lancer l’application. Que se (...)
  • ... : Correction du fichier de lancement (launch.jnlp) qui ne permettait de (...)
  • ... : Le Bluetooth n’est pas intégré d’origine dans le DELL - XPS L701x ! (C’est une (...)
  • ... : Impossible de trouver ces portables sur le site de Dell !

Nouveautés sur le Web

  • 22 mars – Le.Calculmentaliste.S01E02
  • 20 mars – Superpouvoirs
  • 20 mars – OASIS Board Member Spotlight : Q&A with Duncan Sparrell
  • 17 mars – Member Review of Proposed Submission of Code List Representation (genericode) V1.0 to ISO/IEC JTC 1
  • 6 mars – Invitation to comment on Universal Business Language v2.4 from the UBL TC

2003 - 2023 ScientificWare
Plan du site | Se connecter | Contact | RSS 2.0