Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Le plugin Suggest permet aux utilisateurs de soumettre des propositions, qui peuvent être soumises à des votes et des commentaires des visiteurs. Il permet l'organisation de consultations publiques et des forums de discussion. Les propositions peuvent être filtrées par date de publication, catégorie ou via un champ de recherche, et peuvent être classées par popularité ou par ordre chronologique.
- Notoriété 18 %Ce projet est une démonstration de la plateforme Lutece pour fournir un site de budget participatif à la ville de Paris. Il utilise les plugins Lutece participatory budget, participatory ideation, document et mylutece-database pour offrir des fonctionnalités telles que la soumission de propositions, la recherche de propositions, la gestion de projets et les votes.
- Le projet a2p2 vise à faciliter le processus de programmation d'observations astronomiques en convertissant les données astrophysiques en propositions d'observations. Il offre une interface simplifiée pour automatiser la planification et la programmation des observations, améliorant ainsi l'efficacité et la précision des recherches astronomiques.
- Rez-Mež est un outil dédié à l'analyse de la résistance des contre-modèles en logique propositionnelle. Il permet d'évaluer comment des familles d'opérateurs extensifs affectent la robustesse des interprétations initiales d'une formule. Le projet propose également des fonctionnalités pour convertir des formules en forme normale disjonctive (DNF) et pour mesurer des métriques spécifiques comme le delta H ou le nu O. Développé dans le cadre du projet BLaSST, il s'inscrit dans un contexte de recherche académique et industrielle en logique et vérification formelle.
5 initiatives
10