Chap XI : Outils de Simulation des modes opératoires (Plans d’expériences)Mohammed TAMALI
Les méthodologies utilisées par les humains, en rapport, avec les tentatives de compréhension des phénomènes physiques qui nous entourent, donnent un contrecoup général de la complexité de ces même systèmes que nous manipulons et prenons comme sujets dans nos études.
Le niveau de complexité des systèmes est élevé, à un niveau où toutes les tentatives ou essais de lancement de procédés expérimentaux laissent et obligent à considérer des erreurs. Encore plus, les effets tangents. Selon la théorie de l’évaluation des performances, l’exigence ‘comprendre’ le système n’a de réponse que si :
- Nous avons tellement d’informations que les recommandations des études ultérieures seront satisfaites,
- Nous avons des références, avec quoi on peut comparer,
- Nous avons un historique susceptible d’être retracé,
- Il y a une possibilité pour faire de l’expérimentation.
Les trois premiers cas satisfont à eux-mêmes. Si telle est la situation, ils nous clarifient l’image. Le quatrième critère exige que l’expérience se fasse effectivement pour que toutes les questions, relatives à un problème donné, soient élucidées. Le domaine de définition du modèle régissant le système étudié est plus ou moins profond que ses variables se meuvent d’une manière continue ou discrète dans les espaces position/temps.
Ces variables sont les facteurs du systèmes et peuvent évoluer selon des modalités changeantes.
Catalogue logiciels "bio-informatique et outils numériques"Inria
Le 11 février dernier, Inria, en partenariat avec Lyonbiopôle, a organisé une Rencontre Inria Industrie sur le thème "Bio-informatique et outils numériques pour les produits de santé". Après une matinée consacrée à des conférences, les participants ont pu découvrir les 25 démonstrations animées par des chercheurs Inria et 5 de leurs partenaires académiques et industriels. Consultez le catalogue présentant les logiciels Inria sur la thématique.
L'objectif de cette présentation est de proposer des pistes pour rendre un projet de bioinformatique reproductible.
Durée : 30 + 10 minutes de questions
Lieu : Roscoff, France
Student Project - Accurate Computer-assisted Cell Culture using UltrasoundsYoann Pageaud
Cell culture describes all techniques allowing cells growth and division in an ex-vivo controlled environment, to conduct experimentations on these cells. Recent development of new technologies such as 3D printing or microfluidics have given rise to new approaches in various fields of biology, especially bioinformatics, biotechnologies and biophysics, with direct applications in cell culture.
However, these protocols are often associated to a very random yield, depending directly on the accuracy of the handling performed by a human experimenter.
This project aims at using current knowledges coming from these three fields, in order to offer an innovative multidisciplinary approach minimizing the introduction of handling errors in existing cell culture protocols, and to propose a novel techniques of 3D cell culture combining robotics, ultrasounds and optical microscopy.
For this purpose, studies on the effects of ultrasounds on cells will be conducted. A computer program allowing the management of ultrasonic transmitters in synergy with optical cameras to apply a cell culture protocol and evaluate its efficiency, will be developed. Finally, a robot using this program, with the required tools for handling cell culture, will be built.
Chap XI : Outils de Simulation des modes opératoires (Plans d’expériences)Mohammed TAMALI
Les méthodologies utilisées par les humains, en rapport, avec les tentatives de compréhension des phénomènes physiques qui nous entourent, donnent un contrecoup général de la complexité de ces même systèmes que nous manipulons et prenons comme sujets dans nos études.
Le niveau de complexité des systèmes est élevé, à un niveau où toutes les tentatives ou essais de lancement de procédés expérimentaux laissent et obligent à considérer des erreurs. Encore plus, les effets tangents. Selon la théorie de l’évaluation des performances, l’exigence ‘comprendre’ le système n’a de réponse que si :
- Nous avons tellement d’informations que les recommandations des études ultérieures seront satisfaites,
- Nous avons des références, avec quoi on peut comparer,
- Nous avons un historique susceptible d’être retracé,
- Il y a une possibilité pour faire de l’expérimentation.
Les trois premiers cas satisfont à eux-mêmes. Si telle est la situation, ils nous clarifient l’image. Le quatrième critère exige que l’expérience se fasse effectivement pour que toutes les questions, relatives à un problème donné, soient élucidées. Le domaine de définition du modèle régissant le système étudié est plus ou moins profond que ses variables se meuvent d’une manière continue ou discrète dans les espaces position/temps.
Ces variables sont les facteurs du systèmes et peuvent évoluer selon des modalités changeantes.
Catalogue logiciels "bio-informatique et outils numériques"Inria
Le 11 février dernier, Inria, en partenariat avec Lyonbiopôle, a organisé une Rencontre Inria Industrie sur le thème "Bio-informatique et outils numériques pour les produits de santé". Après une matinée consacrée à des conférences, les participants ont pu découvrir les 25 démonstrations animées par des chercheurs Inria et 5 de leurs partenaires académiques et industriels. Consultez le catalogue présentant les logiciels Inria sur la thématique.
L'objectif de cette présentation est de proposer des pistes pour rendre un projet de bioinformatique reproductible.
Durée : 30 + 10 minutes de questions
Lieu : Roscoff, France
Student Project - Accurate Computer-assisted Cell Culture using UltrasoundsYoann Pageaud
Cell culture describes all techniques allowing cells growth and division in an ex-vivo controlled environment, to conduct experimentations on these cells. Recent development of new technologies such as 3D printing or microfluidics have given rise to new approaches in various fields of biology, especially bioinformatics, biotechnologies and biophysics, with direct applications in cell culture.
However, these protocols are often associated to a very random yield, depending directly on the accuracy of the handling performed by a human experimenter.
This project aims at using current knowledges coming from these three fields, in order to offer an innovative multidisciplinary approach minimizing the introduction of handling errors in existing cell culture protocols, and to propose a novel techniques of 3D cell culture combining robotics, ultrasounds and optical microscopy.
For this purpose, studies on the effects of ultrasounds on cells will be conducted. A computer program allowing the management of ultrasonic transmitters in synergy with optical cameras to apply a cell culture protocol and evaluate its efficiency, will be developed. Finally, a robot using this program, with the required tools for handling cell culture, will be built.
Un mémoire de fin d’étude est le document qui atteste et attestera,
dans l’avenir, que l’étudiant a mener à bien une étude introduction à la recherche scientifique à l’université.
Les lecteurs, de ce document, auront à découvrir que le prétendu candidat, a suivi un plan d’études tracer sous la direction d’un encadreur habilité à encadrer de telle expériences.
L’image de marque des deux parties, encadreur et étudiant(s) est trop influencée par la qualité dans laquelle ce document a été rédigé.
En gros, un mémoire traite une PROBLEMATIQUE, bien défini, déterministe, observable, quantifiable, entre autre, réalisable. Ces exigences sont celle du côté encadrement alors que la qualité finale dépend du travail de l’étudiant.
Session flash - Rencontre Inria Industrie Bio-informatique et outils numériq...iCOMMUNITY
L'ensemble des présentations réalisées lors de la rencontre Inria Industrie est contenu dans ce document.
• AltraBio : Analyse de données intégratives
• FLMSN : Fédération lyonnaise de modélisation et sciences numériques
• GENEL : Highly sensitive and efficient RNAi screening for accelerate your drug development
• Genostar : Concevoir et développer les outils de diagnostic clinique de demain, fondes sur l’utilisation des
technologies de séquençage génomique et métagénomique à très haut débit
• Kitware : Traitement, modélisation et visualisation d’images médicales
• Persistent Systems France - Bio Modeling Systems : Modélisation heuristique au service de la recherche
• SATT Lyon Saint-Etienne / Lyon Science Transfert : Carpaccio, programme pour l'analyse des muscles
• SATT Lyon Saint-Etienne / Lyon Science Transfert : Elexir, une puissante plate-forme intégrée pour
l'analyse du transcriptome
• Shazino : Les outils numériques du laboratoire : le scientifique 2.0
• Sysfera : Solution d'accès et d'exploitation d'applications de bio-informatique sur les cloud hybrides
• The Cosmo Company : Des données a la simulation et au contrôle des procédés biologiques
Calcul de la vulnérabilité aux changements climatiques pour les vagues de cha...ACSG - Section Montréal
Calcul de la vulnérabilité aux changements climatiques pour les vagues de chaleur à l’aide de l’intelligence artificielle et des SIG
Jean-Nicolas Côté, B.pharm., M.env.
Doctorant au département de géomatique appliquée de l’Université de Sherbrooke
Présentation de Yvon Gervaise à Séminaire IA de la Fédération Gay Lussac le ...YvonGervaise
le 25 Mars à Toulouse INP-ENSIACET séminaire #IA de la La Fédération Gay-Lussac
🟢Le texte de ma Présentation
🔎▶️
IA et chimie révolution ou disruption ? comment les différents types d'IA opèrent et transforment concrètement les pratiques des chimistes analystes et des laboratoires industriels de contrôles et d'expertises : IA Matrice du laboratoire du futur ? "Du laboratoire des alchimistes à l'expérience virtuelle.?
Via #ExpertScience
#LaboratoireduFutur
Cc INSA Rouen Normandie
Toulouse 25/3/24 Exposé à Séminaire IA -FGL (Y.GervaiseYvonGervaise
le 25 Mars à Toulouse voici le texte de mon exposé à séminaire #IA de la La Fédération Gay-Lussac
🔎▶️
IA et chimie révolution ou disruption ? comment les différents types d'IA opèrent et transforment concrètement les pratiques des chimistes analystes et des laboratoires industriels de contrôles et d'expertises : IA Matrice du laboratoire du futur ? "Du laboratoire des alchimistes à l'expérience virtuelle.?
Via #ExpertScience
#LaboratoireduFutur
🔎▶️
IA et chimie révolution ou disruption ? comment les différents types d'IA opèrent et transforment concrètement les pratiques des chimistes analystes et des laboratoires industriels de contrôles et d'expertises : IA Matrice du laboratoire du futur ? "Du laboratoire des alchimistes à l'expérience virtuelle.?
Via #ExpertScience
#LaboratoireduFutur
Présentation à séminaire IA de la Fédération Gay-Lussac , 25/03/24 ToulouseYvon Gervaise
Voici le texte de mon intervention le 25/3/24 Toulouse à séminaire de la Fédération Gay-Lussac :
IA et Chimie Révolution ou disruption ? Comment les différents types d’IA opèrent et transforment les pratiques des chimistes analystes et chercheurs des laboratoires industriels de contrôles et d’expertises et de R&D : IA Matrice du laboratoire du Futur ?
Yvon Gervaise
Toulouse FGL 25/3/24
E.S.C.
#ExpertScience
Présentation à Séminaire IA de la Fédération Gay Lussac , 25/03/24 ToulouseYvonGervaise
le 25 Mars à Toulouse INP-ENSIACET séminaire #IA de la La Fédération Gay-Lussac
🟢voici le texte de ma conférence
🔎▶️
IA et chimie révolution ou disruption ? comment les différents types d'IA opèrent et transforment concrètement les pratiques des chimistes analystes et des laboratoires industriels de contrôles et d'expertises : IA Matrice du laboratoire du futur ? "Du laboratoire des alchimistes à l'expérience virtuelle.?
Via #ExpertScience
#LaboratoireduFutur
Les mathématiques appliquées et le calcul scientifique jouent un rôle croissant dans la conception de produits industriels; ce n’est cependant qu’un maillon d’une longue chaîne qui mobilise des ressources intellectuelles nombreuses et variées pour arriver à concevoir, au mieux et dans des délais impartis le produit désiré. Le niveau de complexité des systèmes est très élevé à un niveau où toute intégration sociale des produits résultants ne se ferait sans dégâts ni sans effets secondaires. En contre partie, la majorité des produits technologiques sont juste la solution immédiate de bon nombre de problèmes de la vie courante. L'avènement de produits, de grande consommation, comme l'informatique, l'Internet et les télécommunications, à chacun ses outils, a révolutionné les méthodologies de travail des équipes et laboratoires de recherches. Les outils et suites logiciels sont d’un grand secours aux travaux de modélisation et de simulation des processus. L'informatique et les moyens de conception sont les vecteurs qui ont provoqué une amélioration nette à la vitesse de mise en oeuvre de moyens exploitables. Les logiciels de CAO (Conception Assistée par Ordinateur) ont joué un grand rôle dans le cours de développement de beaucoup de procédés (Modélisation) et ont facilité la compréhension de beaucoup phénomènes (Simulation).
Controle essai mesure nanocaracterisation MEIS CEA par Luc DesruelleLuc Desruelle
L’objectif de ces travaux était de mettre à disposition des scientifiques du département de recherche sur les matériaux du CEA un système d’acquisition rapide et automatisé intégrant une représentation conviviale des données scientifiques ainsi qu’un outil d’analyse de ces mesures dans le domaine de l’infiniment petit...
Plaquette de présentation du centre de Grenoble - Rhône-AlpesInria
Acteur des sciences numériques en Rhône-Alpes
Installé à Grenoble et Lyon depuis 1992, le Centre de Recherche Inria Grenoble – Rhône-Alpes s’emploie à favoriser l’insertion de ses opérations dans les contextes scientifiques Grenoblois et Lyonnais. Il s’implique dans la définition de stratégies locales pertinentes et en soutenant systématiquement une logique de partenariat.
IODS : Retour d’expériences au sein du Center for Data ScienceBorderCloud
Le Center for Data Science de l’université Paris Saclay met en oeuvre une solution opérationnelle depuis 2016 afin de référencer toutes les sources de données, fichiers ou d’API au sein de l’université. Nous verrons quelles opportunités apportent le respect des standards et bonnes pratiques pour faciliter la réutilisation et la valorisation des données de la recherche.
Version ouverte à tous : http://linkedwiki.com
Version de l’université Paris Saclay : https://io.datascience-paris-saclay.fr
Modelisation de connaissances anatomiques pour l'analyse et l'interprétation...TELECOM-PARISTECH-SANTE
Imagerie médicale au LTCI - Equipe TII
Importance des modèles
Les modèles pour l'interprétation d'images
Quelques résultats de segmentation et reconnaissance
Modèles à partir d'images
Application à la dosimétrie numérique (avec Orange Labs)
20171123 3 intégration des résultats d'examens terr-e_santé_séminaire interop...ASIP Santé
Intégration des résultats d'examens dans la plateforme Terr-Esanté - Retour d'expérience
Présentation dans le cadre du Séminaire Interopérabilité - 23 novembre 2017 - Le Generator
This document analyzes traffic flow and service levels for four sections of the SS.7 "Ofantina" road between Avellino and Parolise in Italy. Traffic counts were conducted for both directions at observation points along each section. The data includes graphs of hourly traffic volumes by vehicle type and tables with traffic volumes in 15-minute intervals. Peak hour volumes and compositions are identified for each section. Service levels are then calculated based on road design data and traffic volumes to evaluate existing conditions. Potential improvement scenarios are also considered.
Un mémoire de fin d’étude est le document qui atteste et attestera,
dans l’avenir, que l’étudiant a mener à bien une étude introduction à la recherche scientifique à l’université.
Les lecteurs, de ce document, auront à découvrir que le prétendu candidat, a suivi un plan d’études tracer sous la direction d’un encadreur habilité à encadrer de telle expériences.
L’image de marque des deux parties, encadreur et étudiant(s) est trop influencée par la qualité dans laquelle ce document a été rédigé.
En gros, un mémoire traite une PROBLEMATIQUE, bien défini, déterministe, observable, quantifiable, entre autre, réalisable. Ces exigences sont celle du côté encadrement alors que la qualité finale dépend du travail de l’étudiant.
Session flash - Rencontre Inria Industrie Bio-informatique et outils numériq...iCOMMUNITY
L'ensemble des présentations réalisées lors de la rencontre Inria Industrie est contenu dans ce document.
• AltraBio : Analyse de données intégratives
• FLMSN : Fédération lyonnaise de modélisation et sciences numériques
• GENEL : Highly sensitive and efficient RNAi screening for accelerate your drug development
• Genostar : Concevoir et développer les outils de diagnostic clinique de demain, fondes sur l’utilisation des
technologies de séquençage génomique et métagénomique à très haut débit
• Kitware : Traitement, modélisation et visualisation d’images médicales
• Persistent Systems France - Bio Modeling Systems : Modélisation heuristique au service de la recherche
• SATT Lyon Saint-Etienne / Lyon Science Transfert : Carpaccio, programme pour l'analyse des muscles
• SATT Lyon Saint-Etienne / Lyon Science Transfert : Elexir, une puissante plate-forme intégrée pour
l'analyse du transcriptome
• Shazino : Les outils numériques du laboratoire : le scientifique 2.0
• Sysfera : Solution d'accès et d'exploitation d'applications de bio-informatique sur les cloud hybrides
• The Cosmo Company : Des données a la simulation et au contrôle des procédés biologiques
Calcul de la vulnérabilité aux changements climatiques pour les vagues de cha...ACSG - Section Montréal
Calcul de la vulnérabilité aux changements climatiques pour les vagues de chaleur à l’aide de l’intelligence artificielle et des SIG
Jean-Nicolas Côté, B.pharm., M.env.
Doctorant au département de géomatique appliquée de l’Université de Sherbrooke
Présentation de Yvon Gervaise à Séminaire IA de la Fédération Gay Lussac le ...YvonGervaise
le 25 Mars à Toulouse INP-ENSIACET séminaire #IA de la La Fédération Gay-Lussac
🟢Le texte de ma Présentation
🔎▶️
IA et chimie révolution ou disruption ? comment les différents types d'IA opèrent et transforment concrètement les pratiques des chimistes analystes et des laboratoires industriels de contrôles et d'expertises : IA Matrice du laboratoire du futur ? "Du laboratoire des alchimistes à l'expérience virtuelle.?
Via #ExpertScience
#LaboratoireduFutur
Cc INSA Rouen Normandie
Toulouse 25/3/24 Exposé à Séminaire IA -FGL (Y.GervaiseYvonGervaise
le 25 Mars à Toulouse voici le texte de mon exposé à séminaire #IA de la La Fédération Gay-Lussac
🔎▶️
IA et chimie révolution ou disruption ? comment les différents types d'IA opèrent et transforment concrètement les pratiques des chimistes analystes et des laboratoires industriels de contrôles et d'expertises : IA Matrice du laboratoire du futur ? "Du laboratoire des alchimistes à l'expérience virtuelle.?
Via #ExpertScience
#LaboratoireduFutur
🔎▶️
IA et chimie révolution ou disruption ? comment les différents types d'IA opèrent et transforment concrètement les pratiques des chimistes analystes et des laboratoires industriels de contrôles et d'expertises : IA Matrice du laboratoire du futur ? "Du laboratoire des alchimistes à l'expérience virtuelle.?
Via #ExpertScience
#LaboratoireduFutur
Présentation à séminaire IA de la Fédération Gay-Lussac , 25/03/24 ToulouseYvon Gervaise
Voici le texte de mon intervention le 25/3/24 Toulouse à séminaire de la Fédération Gay-Lussac :
IA et Chimie Révolution ou disruption ? Comment les différents types d’IA opèrent et transforment les pratiques des chimistes analystes et chercheurs des laboratoires industriels de contrôles et d’expertises et de R&D : IA Matrice du laboratoire du Futur ?
Yvon Gervaise
Toulouse FGL 25/3/24
E.S.C.
#ExpertScience
Présentation à Séminaire IA de la Fédération Gay Lussac , 25/03/24 ToulouseYvonGervaise
le 25 Mars à Toulouse INP-ENSIACET séminaire #IA de la La Fédération Gay-Lussac
🟢voici le texte de ma conférence
🔎▶️
IA et chimie révolution ou disruption ? comment les différents types d'IA opèrent et transforment concrètement les pratiques des chimistes analystes et des laboratoires industriels de contrôles et d'expertises : IA Matrice du laboratoire du futur ? "Du laboratoire des alchimistes à l'expérience virtuelle.?
Via #ExpertScience
#LaboratoireduFutur
Les mathématiques appliquées et le calcul scientifique jouent un rôle croissant dans la conception de produits industriels; ce n’est cependant qu’un maillon d’une longue chaîne qui mobilise des ressources intellectuelles nombreuses et variées pour arriver à concevoir, au mieux et dans des délais impartis le produit désiré. Le niveau de complexité des systèmes est très élevé à un niveau où toute intégration sociale des produits résultants ne se ferait sans dégâts ni sans effets secondaires. En contre partie, la majorité des produits technologiques sont juste la solution immédiate de bon nombre de problèmes de la vie courante. L'avènement de produits, de grande consommation, comme l'informatique, l'Internet et les télécommunications, à chacun ses outils, a révolutionné les méthodologies de travail des équipes et laboratoires de recherches. Les outils et suites logiciels sont d’un grand secours aux travaux de modélisation et de simulation des processus. L'informatique et les moyens de conception sont les vecteurs qui ont provoqué une amélioration nette à la vitesse de mise en oeuvre de moyens exploitables. Les logiciels de CAO (Conception Assistée par Ordinateur) ont joué un grand rôle dans le cours de développement de beaucoup de procédés (Modélisation) et ont facilité la compréhension de beaucoup phénomènes (Simulation).
Controle essai mesure nanocaracterisation MEIS CEA par Luc DesruelleLuc Desruelle
L’objectif de ces travaux était de mettre à disposition des scientifiques du département de recherche sur les matériaux du CEA un système d’acquisition rapide et automatisé intégrant une représentation conviviale des données scientifiques ainsi qu’un outil d’analyse de ces mesures dans le domaine de l’infiniment petit...
Plaquette de présentation du centre de Grenoble - Rhône-AlpesInria
Acteur des sciences numériques en Rhône-Alpes
Installé à Grenoble et Lyon depuis 1992, le Centre de Recherche Inria Grenoble – Rhône-Alpes s’emploie à favoriser l’insertion de ses opérations dans les contextes scientifiques Grenoblois et Lyonnais. Il s’implique dans la définition de stratégies locales pertinentes et en soutenant systématiquement une logique de partenariat.
IODS : Retour d’expériences au sein du Center for Data ScienceBorderCloud
Le Center for Data Science de l’université Paris Saclay met en oeuvre une solution opérationnelle depuis 2016 afin de référencer toutes les sources de données, fichiers ou d’API au sein de l’université. Nous verrons quelles opportunités apportent le respect des standards et bonnes pratiques pour faciliter la réutilisation et la valorisation des données de la recherche.
Version ouverte à tous : http://linkedwiki.com
Version de l’université Paris Saclay : https://io.datascience-paris-saclay.fr
Modelisation de connaissances anatomiques pour l'analyse et l'interprétation...TELECOM-PARISTECH-SANTE
Imagerie médicale au LTCI - Equipe TII
Importance des modèles
Les modèles pour l'interprétation d'images
Quelques résultats de segmentation et reconnaissance
Modèles à partir d'images
Application à la dosimétrie numérique (avec Orange Labs)
20171123 3 intégration des résultats d'examens terr-e_santé_séminaire interop...ASIP Santé
Intégration des résultats d'examens dans la plateforme Terr-Esanté - Retour d'expérience
Présentation dans le cadre du Séminaire Interopérabilité - 23 novembre 2017 - Le Generator
This document analyzes traffic flow and service levels for four sections of the SS.7 "Ofantina" road between Avellino and Parolise in Italy. Traffic counts were conducted for both directions at observation points along each section. The data includes graphs of hourly traffic volumes by vehicle type and tables with traffic volumes in 15-minute intervals. Peak hour volumes and compositions are identified for each section. Service levels are then calculated based on road design data and traffic volumes to evaluate existing conditions. Potential improvement scenarios are also considered.
This study developed a binary logit model to predict the probability that a pedestrian will cross against the red light at a signalized intersection. Data on pedestrian behavior was collected through video at intersections in Washington DC. The model considers factors like traffic gaps, traffic volumes, waiting time, pedestrian delay, crossing distance, and conflicting vehicle movements. Results show pedestrians are more likely to cross on red with longer waits, shorter gaps, and complex signal phases. The study aims to provide insights to reduce red-light crossing through improved intersection design, such as shorter cycles, longer walk phases, and simpler signal configurations. While red-light crossing increases safety risk, its relationship to actual safety outcomes is complex.
This document provides an overview of research on the safety of roundabouts from an international perspective. It discusses early studies from various countries that found roundabouts reduced accidents by 30-50% and fatal accidents by 50-70% compared to other intersection types. Current research with larger sample sizes has generally confirmed roundabouts' high level of safety, especially for single-lane designs. However, bicyclists can be at higher risk and require careful design considerations to ensure safety.
This document discusses using decision trees to determine intersection design rules based on traffic demand patterns. The researchers plan to generate large datasets with different traffic demand patterns and the corresponding optimal intersection design based on control delay, as determined by the Highway Capacity Manual (HCM) 2010. Three main decision tree methods (CHAID, CRT, and QUEST) will be tested on datasets of varying sizes to determine the most accurate and understandable method for deriving intersection design rules from the data.
This document summarizes the call for applications for PhD programs at the University of Naples Federico II for the 34th cycle (2018-2019). It outlines the requirements, selection process, and timeline for applications. Key details include:
- The deadline for non-Italian citizen applications not residing in Italy is July 31, 2018 at 12:00pm Italian time.
- Admission is competitive based on evaluation of CVs, written tests, and/or interviews depending on the specific PhD program.
- To apply, candidates must have a master's degree or equivalent qualification. Those who will obtain their degree by October 31, 2018 may also apply.
- Selection for reserved positions for those educated abroad
Roundabouts have been shown to be much safer than other intersection designs based on safety studies from multiple countries with larger sample sizes. Single lane roundabouts have consistently shown the highest safety levels. Mini-roundabouts and turbo-roundabouts also demonstrate good safety performance comparable to single lane roundabouts. The speed-reducing design of roundabouts contributes to improved safety for vehicle occupants and pedestrians compared to signalized or stop-controlled intersections. However, bicyclists can be at higher risk unless separate bicycle paths or tracks are provided with no priority given to bicyclists at crossings. Strict adherence to design guidelines is important to achieve the safety benefits of roundabouts.
This document summarizes a study that compares the performance of the conventional continuous flow intersection (CFI) design with a new CFI-Lite design using traffic simulation software. The CFI-Lite design aims to improve capacity at bottleneck intersections without requiring additional space for sub-intersections like the CFI. The study finds that both designs significantly improve intersection capacity over a conventional design. While the CFI produces more vehicle stops, the CFI-Lite results in more delay. The CFI-Lite performs better when there are more lanes at adjacent intersections and is less sensitive than the CFI to changes in signal cycle length.
This document lists information about several PhD programs offered at Università Degli Studi Di Napoli Federico II for the 2018-2019 academic year, including:
- The PhD program in Architecture with 14 positions and 11 student grants. Selection is based on assessment of qualifications and written and oral examinations.
- The PhD program in Biology with 11 positions and 9 student grants (1 reserved for non-Italian applicants). Selection includes assessment of qualifications and written and oral exams.
- The PhD program in Biotechnology with 8 positions and 7 student grants, plus 1 reserved position. Selection is based on assessment of qualifications and oral examination.
1. SUJET DE THÈSE
TEST DE MODÈLES DE RÉSEAUX DE RÉGULATION GÉNÉTIQUE
Profils : M2 de bio-informatique, d’informatique, ou de mathématique
Laboratoire d’accueil : Laboratoire I3S, UMR 6070 UNSA-CNRS, Algorithmes-Euclide-B,
2000 route des Lucioles, B.P. 121, 06903 Sophia Antipolis cedex (entre Nice et Cannes)
Encadrant : Gilles Bernot, bernot@unice.fr, http ://www.i3s.unice.fr/˜bernot/
Mots clefs : modélisation de réseaux génétiques, méthodes formelles, tests fonctionnels.
Contexte scientifique :
La modélisation informatique est devenue incontournable pour comprendre et contrôler les sys-
tèmes biologiques. Dans ce cadre, un modèle théorique qui se contenterait de simuler les compor-
tements connus serait inutile en biologie des systèmes. En effet, compte-tenu du grand nombre
de paramètres modifiables dans le modèle, il faut éviter l’écueil des modèles où trop de com-
portements différents sont possibles en modifiant les valeurs des paramètres : ces modèles sont
« non prédictifs ». Une qualité requise d’un modèles est d’être réfutable par des expériences « à
la paillasse ». Mieux : en biologie la découverte passe par des allers-retours entre la modélisation
et les expériences et un bon modèle doit servir à suggérer de nouvelles expériences « humides »
aptes à le réfuter ou qui participent à le valider.
L’approche de René Thomas, initiée dans les années 70 pour modéliser les réseaux de régulation
génétique, est l’une des approches les plus utilisées pour la modélisation de ces réseaux. Notre
équipe a été la première à donner une définition formelle de l’approche discrète de René Thomas
et à utiliser la logique temporelle et le model checking pour fonder une méthodologie faisant
rigoureusement le lien entre modèles et expériences. L’objectif de la thèse est d’exploiter ces
méthodes formelles pour extraire des propositions de plans d’expériences, de manière assistée
par ordinateur, à partir d’un modèle putatif de réseau.
Objectif de la thèse :
La formalisation des modèles de réseaux biologiques ouvre la voie à l’usage d’outils classiques
de test de logiciels au bénéfice de la biologie. Il s’agit de générer automatiquement des schémas
d’expériences humides et de les optimiser pour mettre efficacement à l’épreuve diverses hypo-
thèses biologiques. Cependant les outils de test de logiciels ne sont pas applicables en l’état car
ils engendrent trop de tests : appliquer une batterie de tests sur un programme est en effet consi-
dérablement plus rapide et moins cher que de mener des expériences biologiques en laboratoire.
Sur des exemples biologiques spécifiques, nous avons montré comment extraire des plans d’expé-
riences à partir de modèles formels de telle sorte qu’on puisse réfuter complètement une hypothèse
biologique (P. aeruginosa, X. tropicalis, . . .). Les modèles étaient de taille assez modestes pour
pouvoir engendrer les schémas d’expériences et contrôler leur nombre à la main.
La contribution majeure de ce travail sera de proposer de nouvelles techniques de test, inspirées
des résultats récents du génie logiciel mais qui produisent un nombre très restreint de tests. Les
modèles de réseau biologique devront sans doute être complétés par une description formelle des
capacités expérimentales qui guidera la génération de tests.
La thèse se déroulera dans le cadre de l’équipe BioInfo du laboratoire d’informatique I3S de
Sophia-Antipolis. La faisabilité de l’approche sera testée sur des exemples biologiques réels en
collaboration avec divers laboratoires de biologie.
2. Bibliographie :
M.-C. Gaudel, P. Le Gall : Testing Data Types Implementations from Algebraic Specifica-
tions, Book Chapter in Formal Methods and Testing (eds. R. M. Hierons, J. P. Bowen and M.
Harman), LNCS 4949, 2008.
A. Richard, J-P. Comet, G. Bernot : Formal Methods for Modeling Biological Regula-
tory Networks, Book Chapter in Modern Formal Methods and Applications, H.A. Gabbar Ed.,
Springer, ISBN : 1-4020-4222-1, 2006.
G. Bernot, J-P. Comet, A. Richard, J. Guespin : Application of formal methods to
biological regulatory networks : Extending Thomas’ asynchronous logical approach with temporal
logic, J. of Theoretical Biology (JTB), Vol.229, Issue 3, p.339-347, 2004.