https://velo.wiki.ls2n.fr/ 2026-04-05T04:30:39+02:00 https://velo.wiki.ls2n.fr/ https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=aelos:conseils&rev=1522767575&do=diff Writing Ressources (interesting advices) * by S. Peyton Jones (riches en conseils pour redaction, exposé, ...) * Writing Maths By D. Knuth (riche en conseil de rédaction...) * Typographie en français Managing references (storing, sharing, annotations, ...) * Zotero * Mendeley * etc Handling references with Latex text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=aelos:events&rev=1522767575&do=diff Event Organisation ProveCS Series * Workshop 2007 <http://lina.atlanstic.net/provecs/> - TOOLS Conference <http://tools.ethz.ch/> * Workshop 2008 Nantes University's Conference * JS2013 - Colloque 3 - Logiciels de qualité : modélisation et vérification / 7 juin 2013 / Nantes, FRANCE site * The B Method: from Research to Teaching TFMB'2010 text/html 2022-05-04T15:51:14+02:00 https://velo.wiki.ls2n.fr/doku.php?id=aelos:presentations&rev=1651672274&do=diff AeLoS Internal Meetings AeLoS recently see VELO presentations 2022 AeLoS * 10/03/2022 Réunion, exposé Rodic [pdf] * 24/02/2022 Réunion plénière personnels Aelos salle 210 bât. 34 ([dans le rétro]) * 3/02/2022 Réunion * 27/01/2022 AG LS2N pdf * 20/01/2022 Réunion 2021 COVID Saison 2 text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=aelos:programmese2012&rev=1522767575&do=diff Séminaire Equipe Juillet 2012 * Repas * Exposés * Discussions text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=aelos:resumeag&rev=1522767575&do=diff Variability as a Service : Outsourcing Variability Management in Multi-tenant SaaS Applications Abstract In order to reduce the overall application expenses and time to market, SaaS (Software as a Service) providers tend to outsource several parts of their IT resources to other services providers. Such out- sourcing helps SaaS providers in reducing costs and concentrating on their core competences: software domain expertises, business-processes modeling, implementation technologies and framewo… text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=aelos:resumecj1&rev=1522767575&do=diff Une théorie pour la gestion de la qualité de service dans les orchestrations de services monotones Résumé Nous étudions la question de la gestion de la qualité de service dans les orchestrations de services des systèmes répartis à large échelle, spécifiquement dans le cas réaliste où les flux de contrôle et de données sont interdépendants et où les indicateurs de qualité sont multi-dimensionnels. Nous nous plaçons dans un cadre probabiliste pour capturer les incertitudes. Un point clé est la q… text/html 2022-04-06T16:15:40+02:00 https://velo.wiki.ls2n.fr/doku.php?id=aelos:summary-cjs&rev=1649254540&do=diff Cristiana J. Silva Center for Research and Development in Mathematics and Applications (CIDMA), Department of Mathematics, University of Aveiro, Portugal Title: Complex networks and hybrid models applied to epidemics In this talk we present complex networks built with non identical instances of epidemiological models for infectious diseases, such as Tuberculosis (TB), HIV/AIDS and COVID-19. We consider real data from TB in Angola and Portugal, HIV/AIDS in Cape Verde, COVID-19 in Portugal and …