2006年组织会议
座谈会
赫利希 :进一步分权金融 Jean-Marc Jézéquel女士 :评论逻辑变量? 克莱尔·马修 :车辆路线和近似算法 大卫·波尔 :九个行星边界中有六个被侵犯——我们如何在人类世进行研究? 达米安·斯特勒 :密码学重传sur les réseaux:sécuritéquantique et au-delá Kenji Doya公司 :对于人工智能,我们可以从大脑中进一步学习什么? 克里斯托斯·帕帕迪米特里奥 大脑是如何产生语言的? 伊曼纽尔·圣詹姆斯 :信息历史被视为公共障碍课程 斯特凡·费尔米吉尔 :Le logiciel libre-au service de la souveraineténumérique depuis plus de 35 ans图书馆服务 Frédéric Grosshans餐厅 :Du calcal mécanique au calcul quantique(计算量) 罗伯特·塔尔扬 :自调整数据结构 贝特朗·格拉纳多 :Intelligence Artificielle et Architectures Electroniques:非目的地公社 珍妮·戴尼尔·康德 :Mieux décider dans un monde complex gráceál’intelligence artificielle公司 :Le LIP6 et l'IRIF ont Le plaisir de vous inviter au conception de célébration des 75 d'informatique en France(法国第75届信息会议)。 Isabelle Collet、Alexis Kauffmann、Christine Tasson、Anne Siegel 女性:性别差异? Jean-Gabriel Ganascia、Jean-François Perrot、Gerard Sabah :人工智能的诞生 Fabrice Kordon公司 《圣母院艺术》:虚构还是现实? 伊莎贝拉·布洛赫(Isabelle Bloch)、亨利·马伊特(Henri Maétre) :《叛徒诞生》(La naissance du traitement numérique de l’image) 瓦莱里·梅尼西尔·莫兰 :Desordinators、Des erreurs和Des hommes Les 75安斯 :埃弗内门斯组织的LIP6和IIRIF pour célébrer des décennies d’informatique 马丁·格伦比奇 《Les Réseaux(ou Graphes)》主题追踪:带注释的翻译 帕特里克·哈格德 :智能机器的责任:认知方法 爱德华·A·李 :实时系统反应堆 卡罗琳·查维尔 :机器学习中学术界和工业界的多样性、授权和协同作用 南希·林奇 :分布式系统的理论观点 Cláudio T.Silva先生 :城市数据科学 塞巴斯蒂亚诺·维格纳 :四度分离(以及我们是如何做到的) 雨果·金伯特 :Les algorithmes de Parcoursup 朱莉·格罗利尔 :用于生物灵感计算的纳米设备 雅克·皮特拉特 :L'IA forte公司 詹姆斯拉诺斯 :编程非易失性存储器 霍尔维茨 :AI抱负和进步 贾斯汀·卡塞尔 :设计机器人、虚拟人和其他可以阻止对话结束的系统 莱昂·博图 :未经批准的无监督检查 蒂莫西·罗斯科 :硬件问题 珍妮·卢克·施瓦茨 :假释单位认知模式 西蒙·佩顿·琼斯 :逃离象牙塔:哈斯克尔之旅 玛丽亚·丘德诺夫斯基 :诱导子图和着色 菲利普·加德纳 :理解和验证JavaScript程序 米歇尔·博多因·拉丰 :Homme-Machine接口:Unifier les Principles pour Diversifier l’Interaction 玛丽·保勒·卡尼 :Modélisation 3D表达 Du design numériqueála creéation de mondes virtuels animés 理查德·斯塔尔曼 :是什么使数字包容性好或坏? 帕特里克·库索特 :抽象解释 帕特里克·弗兰德林 :到处都是«啁啾» 奥德·比拉德 :超越人类能力的机器人 威利·兹瓦尼波尔 :真正的大数据 具有万亿边的图的分析 乔恩·克劳克罗夫特 :网络安全和网络测量 在很多方面都存在问题 伊莎贝尔·科莱特 :信息人,性别歧视的统治地位 泽维尔·勒罗伊 :拼命追求软件的完美 西尔维奥·米卡利 :证据、秘密和计算 亚历山德拉·卡蓬 :生物的新时代是计算的 谢尔盖·阿比特布尔 :面向个人知识库 曼努埃尔·席尔瓦 :离散事件模型的流态化或离散与连续的结合 安德鲁·斯图尔特·塔能鲍姆 :MINIX 3:可靠安全的操作系统 高德纳 :计算机科学:所有问题解答 周以真 :走向人与计算机网络中的信任理论 大卫·帕大卫·特森 :关于MOOC和软件工程教育的神话 克劳德·贝鲁 :信息精神 温顿·瑟夫 :关于数字信息的保存 C.A.R.(托尼)霍尔 :并发系统设计定律 吉尔斯·道克 正式方法是空中交通管制的未来吗? (飞机上有自动驾驶仪吗?) 马蒂厄·费伊莱特(Mathieu Feuillet)、卡米尔·库普利(Camille Couprie)、马蒂尔德·努尔(Mathilde Noual) :埃斯波尔斯:2012年吉莱斯·卡恩奖得主 罗伯特·塞奇威克 :在线教育:新千年的独特机遇 弗兰斯·卡肖克 :多核进化和操作系统 斯图尔特·罗素 统一逻辑和概率:人工智能的“新曙光”? 乔治·戈蒂尔 :Le génie mathematique,du theéorème des quatre couleursála classification des groupes 杰拉德·贝瑞 :信息的时间和时间 莱斯利·兰伯特 :什么是计算?
LIP6号机组
2024年1月 法国信息学会(SociétéInformatique de France)。 SIF博士学位 17 Mai-Journée e mondiale de lutte contre les LGB恐惧症 马戈特·海林2024年梅勒尔大奖赛文章 巴黎索邦大学2024年信息学杂志《女孩之旅》、《数学》 预成熟CNRS/OPEN pour aGrUM/pyAgrum 布拉沃·西奥·玛丽(Theo Mary pour sa médaille de broconze CNRS) BravoáEleni Diamanti pour sa médaille d'argent CNRS(阿根廷中央研究院) BravoáIsabelle Bloch et Sabine Sarnacki pour leur加里恩2023大奖赛 布拉沃·戴维·索尔皮奇(BravoáDavid Saulpic)在吉勒斯·卡恩(Gilles Kahn)大奖赛上的表现 布拉沃·朱利安·蒂尔尼·劳雷(BravoáJulien Tierny lauré)在Espoir IMT大奖赛-科学院 橙色日-国际暴力之旅 Julien Tierny,西班牙IMT大奖赛-2023年科学院 Isabelle Bloch,《科学与信息》杂志 Hirohisa Oda的研讨会-2023年9月27日下午2点 2023年实验室年鉴——每年LIP6天 卡洛拉·多尔(Carola Doerr)2022年铜像博物馆(Médaille de bronze CNRS 2022) 贝尔蒂尔·福利奥的Décès de Bertil Folliot 25年LIP6视频会议 Sébastien Tixeuil-提名IUF高级 25个LIP6! Remise de prix科学Ouverte! 实验室年鉴 soirée“75 ans d’informatique en France”,勒特耶 Carola Doerr médaille de Bronze du CNRS en 2022年 访问décernéau logiciel CORIOLIS VLSI CAD工具 《叛徒诞生》(La naissance du traitement numérique de l’image) 《非正规艺术:你的传奇? 《图像叛变数字诞生》(I.Bloch和H.Maétre) 弗朗西斯·胡林·胡巴德(Francis Hulin Hubard) 文森特·奈格(LIP6)和克莱门特·佩内特(LJK)荣获《复杂性杂志》2021年最佳论文奖 谢尔盖·菲迪达(Serge Fdida)和艾尔盖奎普(léquipe)NPA不支持ESFRI SLICES aétéacceptée! 10月8日、9日和10日的科学论坛:ALI la découverte du numérique avec le LIP6 让·维格斯 Christine Tasson教授,法国大学研究所初级成员 Agathe Blaise,jeune docteur de l’équipe Phare,2021年GDR Réseaux et Systèmes Distribués(RSD Le LIP6 membre de l’Action COST“GDHRNet–全球数字人权网络” 达尼什最大化差异 弗朗西斯·胡林·胡巴德·劳雷(Francis Hulin-Hubard lauréat de la médaille de cristal 2021) Elham Kashefi lauréate du prix les Margaret&les Margarte Junior en 2021,catégorie«欧洲内部» 代码量子:la France lancée dans la révolution quantique! 代言人与图像解释指南:Iaa hybride(Isabelle Bloch) Le Conseil Scientifique du LIP6 choquépar des amements votés au sénat杂志 动作信号“卡米尔·诺什”votée par le Conseil Scientifique LPPR运动控制 La classe virtuelle,评论? Connaissez vous cette成立了“智能人工学校”? 8分钟内了解量子计算 Les métiers vontévoler avec l’intelligence artificielle公司 Eleni Diamanti:密码学数量 弗朗索瓦·帕切特:IA和Musique的社会生活 服务认证支持pour du e-gouvernement 项目组成部分“模型检查”部分 密码学辅助计算器数量? 利用新体系结构解决SAT问题 BravoàIsabelle BLOCH,医学与信息科学杂志 勒索监狱对互联网的影响 L'intelligence artificielle pour aider les médecins智囊团 非病毒信息,评论? Le traçage numérique pour Le suivi de contact俱乐部 Le LIP6 impliquedans Le《全球人工智能伦理联盟》 Sreeja Nair,LIP6équipe Delys博士,lauréate du«Sephora Berrebi en mathematic&informatique avancés大奖赛» Amal El Fallah Seghrouchni nommée e par L'UNESCOála科学与技术伦理委员会 AG surles retrates的Motion votée e en AG 阿马尔·法拉赫·塞格罗奇尼(Amal El Fallah Seghrouchni)的专家假释 乐LIP6招募 Lip6,计算平台 VMWARE公司 LIP6,la平台光学 帕特里克·加里纳里·德莱奎佩(Patrick Gallinari de l’equipe)的证词MLIA pour l’obtition de sa chaide IA 马蒂厄·科尔德雷基佩的合法性MLIA pour l’obtition de sa chaire#IA 认证:Julien Tierny de l’equipe APR pour l’obtition de son ERC Damian Markham-Une historie de l'informatique数量 假释专家,IA et santé De la rechercheál’创新 Lip6,la platformeéelectronique 2019年科学节 FélicitationsáMikael Rabie博士后dans l’equipe NPA 复杂网络与社会的融合 FélicitationsáOrlando Chuquimia,博士au sein de l’equipe#SYEL 链接流 Grand débat-数字与智能人工智能 2名小天使在分娩过程中接受检查 最佳演示奖 Swan Dubois et Franck Petit,de l’équipe DELYS,ont le plaisir d'annoncer la publication du livre分布式自稳定算法介绍co-crit avec Karine Altisen et Stéphane Devis Optinion Internationale-L'arnaqueáNotre-Dame de L'Intelligence:Amal El Fallah Seghrouchni du LIP6 décrypte les formes d’Intelligent artifielle公司 布鲁诺·埃斯科菲尔委员会初级委员提名 尼古拉斯·萨布雷特(Nicolas Sabouret),《LIP6古董》,出版《Compendre l’intelligence artificiele》 “Au coeur des re seaux”,un livreécrit par Fabien Tarissau,un ancien du LIP6 «Ce matin,maman aététéléchargée女士» LIP6科学委员会建议加强非社区学生的精神创伤 Oracle向LIP6的Gilles Muller Whisper团队捐赠100000.00美元 里程碑实验证明量子通信确实更快 Vanda Luengo:智能人工与应用服务 2018年科学论坛 玛丽·珍妮·莱索特(Marie-Jeanne Lesot)获得了一篇关于模糊系统的国际会议论文奖(“杰出会议论文奖”)。 Bernadette Bouchon-Meunier ré对IEEE CIS模糊系统先锋奖“对模糊学习和推理的有影响力的贡献”进行了补偿。 2018年Atos-Joseph Fourier大奖赛(catégorie quantique)décernéa deux membres du LIP6 Nawal Benabbou,docteure au LIP6 pour son 2018 IA大奖赛的入场券数量 Jean-Gabriel Ganascia:“Ce qui’est passéavec les données de Facebook est un avissement” Conférence TEDx sur l’Intelligence Artificielle par Jean-Daniel Kant公司 LIP6协会与巴黎ESIEE联合举办的国际MEMS设计大赛首屈一指的大奖赛(Uneéquipe du LIP6 en association avec ESIEE Paris,gagne le premier prix du concours international MEMS Design Contest)。 Jean-Gabriel Ganascia,l'IA et moi sur France Culture公司。 Eleni Diamanti de l’equipe QI sur France文化 Jean-Gabriel Ganascia认证 最佳科学论文奖 Eleni Diamanti de l'équipe QI vient d'obtenir un financement européen prestigieux(ERC启动)。 最佳论文荣誉提名奖发表在《拓扑工具包》一文中:J.Tierny、G.Favelier、J.Levine、C.Gueunet、M.Michaux。 法国3号配备了Canarin-II低成本便携式PM2.5传感器,适用于环境监测和个人暴露评估。 雅比尔·马丁内斯(Jabier Martinez)代表德国通用汽车集团有限公司 迪塞斯·德诺特雷学院勒内·阿尔特,LIP6教授 人工智能战胜了统治计划? 法国足球俱乐部? 费希尔TES的Motion sur l’instauration 2017年图书馆之旅《奇点神话》Faut-il craindre l’intelligence artifiele? (Seuil版)de notre collègue Jean-Gabriel GANASCIA 马修·穆拉特(Mathieu Muratet)、阿梅尔·耶萨德(Amel Yessad)和蒂鲍特·卡隆(Thibault Carron)的入围名单 法国文化协会Eleni Diamanti, 梅勒大奖赛文章博士学位aux 25 è 法语国家 2016年EUROMICRO最佳论文 《第25届并行体系结构与编译国际会议》最佳论文 2016年IEEE VIS国际会议“最佳论文奖”和“荣誉提名奖” 座谈会:2016-2017年计划 2016年版模特检测大赛的结果如下: ERC公司 Dans le cadger du Programme d’investissements d’Avenir(PIA),une architecture de virtualization de réseau proposesée par le LIP6。 威尔弗里德·德龙(Wilfried Dron du LIP6àl’UPMC)。 L'un des premires diplómés du program博士d'EIT Digital。 经济鉴赏与权力 Vanda Luengo de l’équipe MOCAH-LIP6主席EIAHál’UPMC-索邦大学 弗朗索瓦·帕切特(François Pachet)荣获AAAI最佳视频奖,为《欧洲圣歌》编曲献礼。 Décès de notre collègue和Marguerite Sos的朋友 2个LIP6小天使,Jean-Gabriel Ganascia et Matthieu Cord sur france Cultureála Matinale des scientifiques。 Antoine Miné:ERC静态分析模块化开放平台(Mopsa) L'Equipex FIT retenu comme IR(Recherche基础设施) Paru dans Le Monde:“智能人工智能:你的机器是什么?” 2014年,在CNRS网站上发表了一篇非优秀的文章sur les recherches sur la cryptographie d’Antoine Joux,lauréat d’une ERC Advanced Grant。 劳力士工业联盟(Première Réunion des Partenaires Industriels du Labex SMART) 2015年福兹IEEE最佳学生论文奖 采访de Jean-Gabriel Ganascia dans Libération sur les robots militaires Meilleur国际会议文章ARITH22 pour Olga Kupriianova Jean-Gabriel Ganascia nomméa l'IUF en qualite de membre资深会员 第二笔ERC高级拨款au LIP6 棕榈学院 CNRS vient d’acceptor la cration du GDRI“ALEA网络” Le groupe américain Mentor Graphics Corp a annoncécement l’acquisition de Flexras Technologies公司 巴黎信息实验室6 vous présente ses meilleurs vœux pour l'anne e 2015 谢尔盖·菲迪达(Serge Fdida)获得了“欧洲足球俱乐部”(Etoil de l’Europe)的冠军,为OneLab项目注入了活力。 Winocod项目、ANR项目和LIP6 SoC的合作伙伴 圣母大学和蒂埃里·兰弗罗伊 《法尔和LIP6国王》(Leséquipes PHARE et REGAL du LIP6 dans le) nu@ge(数字) Jean Mairesse nomméen tant que DASál'INS2I让·梅莱斯 2014年GDR GPL大奖赛马蒂亚斯·博尔戈因 拉米·伊斯坎德(Ramy Iskander)将于2014年在法国地区举办的OSEO“Emergence”大奖赛上亮相。 莱斯利·兰波特(Leslie Lamport),UPMC Sobonne University–LIP6信息学术讨论会创办人 Antoine Joux,IACR研究员,2014年 数学课程课程 LIP6网站首映CNRS 科学-Cœur-Rencontre autour de l’informatique:le róle de la mobilitédans les communications du futur 2013年奥兰治大奖赛归属 雅克·迪塞斯·ARSAC 巴黎信息实验室6 vous présente ses meilleurs voeux pour l'anne e 2014 ISIR-LIP6期刊“信息与机器人” 2013年10月10日、11日和12日,UPMC发布了科学信仰和信息! 博内斯离开了! Dans l’Edition“Au cœur de la Recherche”de MEDIA?PART,“Humanés Numériques”de J.-G.Ganascia 威廉·卡特·阿特拉布埃·苏曼·萨哈大奖赛 TerraDynamica公司 Chaire“智能互联移动,实现连接” 第二场比赛是由尼古拉斯·杰弗里(Nicolas Geoffray)参加的亚的斯亚贝巴站(attribuépar l'ASF décernécerna)。 温度和环境信息 Bonne Anneée 2013年 Le LIP6 vous souhaite de joyeuses fétes de fin d’anne e欢乐之旅 2012年科学论坛 ICIP 2012年度最佳学生论文奖 布莱斯·帕斯卡椅子 ASE 2012年度最佳论文奖 TrackSign,互联网上首要的网络跟踪目的地TPE/PME qui se lancent 科学与信息 Verdi:系统的虚拟化阻碍了社会的发展 塞雷斯·哈丁座谈会 开放系统科学:马里奥·托科罗教授会议,Sony-CSL教授,UPMC荣誉博士 工业之旅 博士期刊 工业之旅 É估价LIP6的AERES Jean-Louis Laurière组织之旅 欧洲网络实验室-新合同
固态继电器
05/07/2021: 1/2《法国日报》(journée e de l'axe SSF)
TMC公司
06/06/2024: 了解你的受众:匿名网络中的功能可计算性 04/01/2022: 用于高性能计算的混合精度算法 08/11/2021: 量子计算导论
ACASA公司
03/04/2012: Luciano Floridi例外
阿尔马斯蒂
14/06/2024: 盲目折叠:使用数据进行简单的功率分析攻击,只需一次跟踪,无需训练 2022年1月13日: 多方PSM,重温:改进沟通和不平衡沟通 06/01/2022: LeakageVerify:符号表达式中可伸缩且高效的泄漏验证 10/12/2021: 用于综合征解码的多方置换:一种新的zk协议和基于代码的签名 26/11/2021: 特征二中屏蔽方案的快速验证 18/11/2021: 基于多重碰撞的低内存子集求和与LPN算法 04/11/2021: 广义综合征解码问题的经典和量子算法及其在Lee度量中的应用 28/10/2021: 稀疏随机3XOR问题的算法 14/10/2021: 对隐藏线性结构的伪随机数生成器的攻击 07/10/2021: 论扩展的威力:随机探测模型中的更有效构造 21/01/2021: 利用亏格理论破解群体行为的决策Diffie-Hellman问题 10/12/2020: 随机探测安全:验证、组成、扩展和新构造。 2020年11月18日: 安纳河畔秘密乘法部分 02/11/2020: 2020年编码与加密期刊 29/10/2020: 对数离散省略号倍数 23/01/2020: 线性同态签名与可伸缩混合网 14/11/2019: 互动交流与不确定性 07/11/2019: and私有计算随机复杂性的上下限 24/10/2019: Wave:一种新的基于码的陷门单向PSF家族 17/10/2019: 硬件老化的暴力密码分析:控制SHA-256的一半输出 2019年10月10日: 实变换:计算模糊多项式系统的正解 09/07/2019: 全磁盘加密及其他 21/06/2019: 塞米奈尔C2 15/04/2019: 硬件加密随机性和算法研讨会 25/01/2019: 塞米纳雷C2 16/11/2018: 塞米纳雷C2 29/06/2018: 高效密码算法 30/05/2018: 2018年《国民杂志》-《民主德国社会信息》 22/04/2016: Gentry-Szydlo算法的简化 30/03/2016: 椭圆曲线离散对数算法的最新进展 15/12/2015: 随机动物园:懒惰、独角兽和TRX
ALSOC公司
2017年11月20日: 故障攻击感知微处理器扩展(FAME):从概念到原型 20/11/2017: 所有可以做的事情都应该做吗? 20/05/2016: 算法概念paralliles détiquetage et d’analysis en compantes connexes 15/01/2016: 基于模型的测试在OpenETCS(开放式欧洲列车控制系统)项目中的应用 15/03/2013: 硬件设计中的功能本地化 15/11/2012: “Méthodes,Outils et Architectures pour les Mémoires”之旅(GDR SOCSIP) 22/03/2010: Matinée Vérification et sécurté 13/11/2009: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司
四月
2020年3月12日: [Séminaire APR]Sémantique des programs概率 20/02/2020: [Séminaire APR]朝着更通用、更健壮的约束求解器迈进 23/05/2019: Michelson:区块链Tezos的智能合约语言 13/05/2019: 房地产测试的发展 28/03/2019: 具有数值关系的树的抽象域 21/03/2019: 这些问题结合在一起就显得很简单。 14/03/2019: 通过可信任的验证定向提升消除内联装配 07/03/2019: Lasp:边缘计算编程语言的元素 21/02/2019: 数字信号处理算法的验证建模 08/11/2018: Une导言a l’analyse拓扑 18/10/2018: “Python先生:大地对比:进入传统与现代”(titre provisoire) 2018年10月11日: ML中的无层Web编程 14/06/2018: 程序间分析的相关摘要 31/05/2018: 项目改进计划,高级助理Coq 17/05/2018: 通过编程Linéaire Paramétrique实现新算法pour le Calcul Polyédral 12/04/2018: 过程复杂度 15/03/2018: 混合图案侦察。 应用程序辅助浮动解除留置权。 15/12/2017: 链接流版本:稀疏拆分和双解析拆分 14/12/2017: 语言集成查询:一种BOLDR方法 07/12/2017: 时空编程:用于组合探索的同步语言 23/11/2017: Ada和SPARK——安全微控制器编程的深度防御 2017年11月9日: 隔间:基于阵列的参数化过渡系统的模型检查器。 27/10/2017: 《代码校正器与循环练习曲》(Etude de l'efficite d'un code corrector et cycles dans son grape de Tanner) 13/10/2017: F-M-DELETION paramétrépar la largeur arberescente(F-M-删除参数)。 18/09/2017: 二进制的统计相似性; 按比例 22/06/2017: Séminaire APR:相关免疫布尔函数组合特征的研究进展 24/02/2017: Séminaire APR:关于静态恶意软件检测 26/01/2017: Séminaire APR:从位和块合成排名函数 15/01/2017: 44 第个 ACM SIGPLAN程序设计语言原理研讨会(POPL 2017) 24/11/2016: Le langage Leibniz pour Le calculate科学主义 10/11/2016: 辅助/区块链介绍。 16/06/2016: 使用Khronos OpenCL SYCL实现异构计算的后现代C++和C++17抽象 09/06/2016: 梅林:现代EDI倾泻OCaml。。。 et原因 07/04/2016: MOOC OCaml的Sous le capot 24/03/2016: 验证Lustre的时钟定向模块化代码生成 04/02/2016: TinyOS中设备驱动程序功能属性抽象解释的静态分析 2015年12月10日: 异步多方会话的表达 27/11/2015: 抽象渐变类型 08/06/2015: 基督教青年会 14/04/2015: OCaml改造 10/04/2015: 联合国干部改编了机器人手机。 27/03/2015: 高阶不动点逻辑:表达性和描述复杂性 24/03/2015: 类型的理论倾注了电路的概念。 Le cas du langage船长。 20/03/2015: 编程BSPála ML:示例、使用、验证、代码和透视图、体系结构 13/03/2015: 利用抽象解释静态分析验证嵌入式C软件 06/03/2015: 堆幺半群上Bernoulli测度的动机 27/01/2015: FreeFem++,解决方案数量逻辑 09/12/2014: 幻影状态:OCaml单内核 16/06/2014: 25 第个 算法分析的概率、组合和渐近方法国际会议 10/04/2014: 贝纳-拉梅莫尔动力学辅音 13/03/2014: 具有高度组合爆炸的动力系统的表示与仿真 27/02/2014: 可以依赖的类型:类似于JavaScript的类型 13/02/2014: 分析应用程序OCaml无转换器组件的利用率 30/01/2014: [通告]分析应用程序的利用率mémoire des OCaml sans changer leur comportement 2013年6月20日: 交互中心功能和模块 23/05/2013: 摩什:一款先进的老式手机壳 25/04/2013: 基于C11/C++11内存模型中声音优化理论的编译器测试 11/04/2013: 使用形式化方法用SPARK2014验证Ada程序 28/03/2013: OCaml-Java:OCaml-sur-la JVM 21/03/2013: 自由开源软件的起源及其重用的法律含义 14/03/2013: Patoline:OCaml中的“lego”字体 28/02/2013: 和谐:逻辑进化观察平台 14/02/2013: 《派对的感觉》 31/01/2013: OSUOSL的托管和自动化 14/11/2012: Alice和Bob依赖Agda类型函数编程中密码方案的证明 2012年10月15日: 随机图中穷举搜索算法的分析和n^{clogn}-渐近性, 14/12/2011: 会议“Philippe Flajolet et la Combinatoire Analytique”
生物柴油
18/01/2006: 劳动服务团体之旅网站
CIAN公司
04/06/2024: 电路设计、测试和建模——空间应用 10/07/2023: 自由硅会议 07/07/2022: 自由硅会议 23/03/2021: 模拟设计者工具箱(ADT):面向模拟集成电路设计的新范式 06/03/2020: 为10至13岁儿童开发物联网课程 2019年2月14日: 2019年自由硅会议(FSiC) 04/04/2018: 用于SoC自由硬件设计的自由开源软件(FOSS) 09/03/2018: 采用日本技术流程的免费硬件自由开放源码软件 01/12/2017: 光子与十亿晶体管电路的单片集成 14/11/2017: Thermal-Aware地板规划 30/06/2017: 澳门特别行政区语言 09/06/2017: 半导体企业面临着日本的一致性:英特尔的生产转型。 19/05/2017: 阿凡塞斯-苏尔莱斯电路和系统-注入能量-电流-传导-静电 17/03/2017: 制作LSI项目 24/02/2017: 智能城市微电网可再生能源整合 08/04/2016: 拉比利特-曼提克-达斯-多恩-德桑特互办会(Interopérabilitésémantique dans les données de sante) 2016年3月11日: 上Niveau模式的原型虚拟部分转换:de SysMLáSoCLib 19/02/2016: 模拟电路和系统的测试技术 06/11/2015: 硅谷的污染 24/06/2015: 20 第个 国际混合信号测试研讨会 23/06/2015: 小型移动电子设备供电的未来 22/06/2015: Coloquinte:用于CORIOLIS工具链的混合尺寸放置器 19/06/2015: 我们能设计出不用消耗任何能量就能运行的计算机吗? 03/04/2015: 禁运系统的高级抽象化:模拟系统C、并行化、模拟耦合(功能、强度、温度) 13/02/2015: L'Unisson公司 23/10/2014: 汽车中的Journée智能功率集成电路 2014年9月18日: 深亚微米加工技术中的泄漏功率 14/03/2014: 用于超低功耗应用的异步混合电路 12/03/2014: 同步与分配时钟电路复合体(SOC) 29/11/2013: 无线电通信系统的基本数学和物理原理 25/10/2013: La loi de Moore和La gouvernance de l’innovation 24/09/2013: 规范和设计语言论坛 24/09/2013: 欧洲SystemC用户小组会议 21/06/2013: 用于系统芯片设计的高级CAD工具 07/06/2013: 从滤波器/控制器到代码:最佳实现问题 08/04/2013: Thée e matique之旅-GT Systèmes Hétérogènes 22/02/2013: RF Sigma-Delta ADC:实现软件定义的无线电梦想 03/09/2012: 混沌环境下的通信系统 07/04/2011: MOS建模和参数提取工作组研讨会
复杂网络
20/06/2024: 参观苏格兰蒸馏酒指南 15/10/2014: 《现代社会分析:数学与信息研究》(MARAMI) 09/10/2014: 时变多层网络建模(及其他?) 09/10/2014: DNS监控,使用时间框架名称-IP关联查找异常 02/10/2014: 动态图T间隔连接的复杂性 18/09/2014: 网络中的社区检测和角色提取 2014年6月12日: 信息概念征集 30/05/2014: 通过数据挖掘加深我们对社交媒体的理解 28/05/2014: 使用HyperBall进行几何中心的核内计算:千亿个节点及以上 22/05/2014: Coala:用无似然方法进行共同进化评估 09/05/2014: 医院的动态联系网络 09/05/2014: Les réseaux dynamicques:时尚 02/05/2014: quelques河畔的动态影响算法分布和分类图 17/04/2014: 应用程序合作伙伴dans les re seaux dynamicques:Applications aux réseaux de véhicules 11/04/2014: RankMerging:一种评估监督方法,用于处理社会生活中的留置权 27/03/2014: 社会网络是有效信息传播和减少疾病传播之间的权衡 20/03/2014: 流行性感冒传播的通勤运动对结构的影响 20/03/2014: “病毒传播”与网络传播结构 13/03/2014: 深层标签:网络色情的定量分析 28/02/2014: 可交换随机网络中的基元分布 20/02/2014: 形态发生动物多胚胎动态重建 06/02/2014: 社区社会科学研究动态分析与模型 23/01/2014: 法律文本引用图表的修改和分析:数学和法学合作的历史 09/01/2014: Le contróLe de la forme des re seaux par leurs membres:互动委员会讨论文件 12/12/2013: 地形动态保护 2013年11月21日: 联合国教科文组织加上大利用率 07/11/2013: Les capitalities socialux sur Twitter:保护、进化、扩张 24/10/2013: 政治分析:ONU社区地形 03/10/2013: 梅罗文治-高卢教会网络分析的随机子图模型 17/09/2013: 同质性网络中群体凝聚力的评估 09/07/2013: 评估和优化“une partition hiérarchique de grape” 27/06/2013: 利用网络框架加强学习和社会互动 06/06/2013: 用于网络监控和取证目的的可扩展分析 03/06/2013: 博客圈权威的社交网络分析及其应用 23/05/2013: 划分资源-图形-密集-保护社区 25/04/2013: 多关系社会网络中基于信任的服务发现 11/04/2013: 图上的小波:图中多尺度社区挖掘的工具 28/03/2013: 蓝牙图形的连接性 13/03/2013: Propriétés combintoires et de robustese de modèles discrets de réseaux生物制品组合 07/03/2013: 路易·戴切尔(Lois d’echelle des processus de trafic dans les réseaux de communications) 12/02/2013: Lutte contre les僵尸网络 10/01/2013: 电子散居菌图谱 22/11/2012: 图多部分双流形上的收敛性 18/10/2012: 基于渐近动力学的交互网络模块化组织分析 2012年7月10日: 《艺术之旅:图形的动力》
决策
02/03/2020: 保罗·德拉贡(Criteo):“建设性偏好启发” 04/06/2012: 伪布尔函数的四次方化 27/10/2006: 雷西优化之旅
DELYS公司
06/09/2023: 分散式软件的安全编程摘要——Mira Mezini教授 05/09/2023: Varda:一种按组合对分布式系统进行编程的语言——soutenance Laurent Prosperi 16/02/2022: 可恢复的数据结构 28/03/2019: Mariage稳定的自动稳定剂et distribué 2019年3月14日: 风水:Exascale存储系统的自动数据放置 07/03/2019: Twizzler:下一代内存层次结构的操作系统 01/03/2019: 高级并行编程语言中的弹性 18/04/2018: 学习数据驱动应用程序的预测执行 26/01/2018: 重新审视射击队问题
LFI公司
18/04/2024: Dempster-Shafer理论中基于最优输运的Choquet-Wasserstein伪直径 15/02/2024: 可解释的智能人工智能贡献:Dédevelopment D'ExpressIF®au Service de l'Industrie et des Sciences 08/02/2024: 当因式分解遇到论证时:对建议进行论证性解释 18/01/2024: 良知观念的现代与实用 12/10/2023: 爱尔兰政治 2023年6月29日: 大型语言模型和法律 22/06/2023: Génération d’explications contrefactuelles réalistes et robustes公司 27/03/2023: 计算智能研讨会 02/03/2023: 不合时宜的东方利用者倾注了IA本体论的解释 24/02/2023: 部分知识推理的人工智能模型:从理论到应用(3) 22/02/2023: 部分知识推理的人工智能模型:从理论到应用(2) 17/02/2023: 部分知识推理的人工智能模型:从理论到应用(1) 23/01/2023: 当负责任的人工智能研究需要满足现实需求时 26/10/2022: 7 第个 信仰功能国际会议 25/10/2022: 模糊正射分割的逻辑熵与聚合 02/06/2022: 《行动的后果》:比较、分析和成分分析 11/05/2022: 2 第 值得信赖和负责任的人工智能实验室(TRAIL)研讨会。 10/11/2021: 修复硅谷的系统错误:斯坦福大学的Rob Reich和Alex Stamos之间的对话 21/10/2021: Rencontres francophones sur la logique flue-ets应用程序 29/04/2021: 超越准确性:机器学习的多目标方法 08/04/2021: 智能集体自然与人工智能 02/03/2021: 发展性机器学习、好奇心和深度强化学习 17/12/2020: La similaritédans l'analogie et La métaphore的相似之处 29/10/2020: 转移类比的贡献
马里
24/05/2012: 横向主观分类 03/05/2012: Fouille d’espaces de recherche en优化组合 05/04/2012: Approche Perceptuelle pour lélioration et lévaluation de la qualitéd’image的评价 05/04/2012: 作者归属:Une approche basée sur le vocabulaire spe cifique 22/03/2012: 高维低样本数据的聚类分析 02/02/2012: 文本精化器:文本自动生成系统 26/01/2012: 跨媒体融合战略将文档索引为多媒体 19/01/2012: 信息披露:信息发布 2011年12月6日: 利用媒体社交和金融定量,利用推特 25/11/2011: 从查询处理到信息集成:分解技术的力量 27/10/2011: 表演模式 19/10/2011: 基于启发式的SPARQL查询优化 05/05/2011: Profond de Representations pour la Vision认证信息 11/04/2011: 第三届IEEE计算智能研讨会系列 08/04/2011: 基于高维空间的智能符号聚类 27/01/2011: 使用随机车队估计模型计算优化的车队组合 2011年1月6日: 福伊尔·维苏埃·德多内斯复合体 17/12/2010: 近实时执行ETL转换的半流索引连接 16/12/2010: 对儿童的评价 04/11/2010: Burbea-Rao和Bhattacharyya质心 04/11/2010: 循环现象中隐藏的传递性 02/11/2010: 基于移动代理范式的分布式知识库推理算法 28/10/2010: 卡拉克特莱斯提克斯(Sélection de caractéristiques pour les champs aléatoires conditionnels parénalisation L1:语言的应用 21/10/2010: 本体论的基础是个人推荐 18/10/2010: 基于文化的多目标粒子群优化算法 30/09/2010: 信息交互基础物理量形式化模型 07/07/2010: 作为单人游戏的功能选择 2010年6月22日: 用于Motif发现的多目标遗传算法 08/06/2010: 无线传感器网络中的异常检测:环境监测网络中的视觉评估和聚类 07/06/2010: 每张图片都讲述了一个故事:关系数据中的可视化聚类 20/05/2010: 传感器软计算与算法融合 12/05/2010: 语言空间推理 05/05/2010: 人类新的先进技术:橙色计算/技术 15/04/2010: 主要文本的空间视觉内容 11/02/2010: 非言语行为情势信息模型 2010年1月25日: 结构化输出培训:困难案例与有效替代方案 21/01/2010: 人工智能进化与协同进化:农业现代化应用的双例 07/01/2010: 特别是多模式视频序列的拍摄 10/12/2009: 身体运动作为情感人机交互的一种形式 23/11/2009: 2009年网络游戏 12/11/2009: 文档复合概念版本:信息相关的提取和组织 22/10/2009: 问心无愧的智囊团 24/09/2009: 超越明星:使用回顾文本内容改进评分预测 24/09/2009: 异构XML P2P数据库中的模式映射和查询翻译 17/09/2009: 从基本偏好模型到顺序偏好模型——通过心理实验验证顺序模型 26/06/2009: 图的统计显著性检验 2009年6月15日: 第二人生的特征 04/06/2009: 经纪人virtuel expressif pour l’interaction homme-machine 30/04/2009: 趋势,un outil鼓舞人心为设计师dans le domaine de l“情感计算” 30/04/2009: Seuil adaptatif pour l’indexation’images selon la composition picturale et synthèse par l’example de distributions de motives(主题分布示例) 02/04/2009: 动态的意见与动态的互动:法国政治博客社会 02/04/2009: “同等权益”的比喻 26/03/2009: Journée e Données et Apprentissage Artificiel课程 19/03/2009: 通过勒切尔·德拉维德奥的流动监控和德拉福伊勒·德多内斯·维德奥基地 2009年3月5日: 丹斯-莱斯-格雷夫斯和莱斯-莱斯研究所 12/02/2009: 《眼科杂志》(Modéliser l’activitéoculaire a partir de donées expérimentales) 16/01/2009: 自动填充:从纸张到产品 16/12/2008: 标签排名方法 16/12/2008: 神经模糊建模的新方法 10/12/2008: WebCrow和人机填字游戏挑战 09/12/2008: 基于语义的正则化 27/11/2008: 航海信息分类 25/11/2008: 巨图中的半监督学习 20/11/2008: 模糊集理论与相干条件概率:一些桥梁 13/11/2008: 梯度提取自动化 2008年10月23日: 信号流压缩和指数化联合表示 25/09/2008: 相似图测量器 11/07/2008: 信息提取和社会网络分析中的联合推断 19/06/2008: 自主地面机器人 12/06/2008: 新潮形成了去沟通和新潮互动,人-机-流-丰富和简化了日常生活 12/06/2008: 界面灵活性:共同适应与历史互动 29/05/2008: 对象、属性树、分类树 15/05/2008: Donnees Bruitees Sor SVM认证 2008年5月14日: 分类、重新检查和分割‘图像 10/04/2008: 《多恩ées guidée e par une本体论》(Intégration sémantique de données Guide e e paroune ontologie) 10/04/2008: 网络计算机压缩 10/04/2008: 阿尔布雷斯音乐团(Ensembles d’arbres extremémement aléatoires et leurs liens avec les méthodes a base de noyaux) 03/04/2008: 混合医疗决策支持模型中的证据组合 20/03/2008: 多媒体数据采集的个性化交互 20/03/2008: 基于频率的模糊集类表示及其与贝叶斯分类器的关系 10/01/2008: 概念树融合之路Galois et de bases canoniques facteurs 14/12/2007: 自动导入和后期处理:统一的统计参数段 06/12/2007: Un pas vers Un chercheur artificiel en Intelligence Artificielle智能人工智能 04/10/2007: 图像与信息文本和视觉组合 2007年9月27日: 一种面向服务的电子政务应用信息整合工具 05/07/2007: 现实生活中的情感检测 02/07/2007: 利用雅虎! 28/06/2007: 儿童文本综合模拟 25/06/2007: 情绪和情感过程的计算模型 21/06/2007: Bornes sur le risque en appentissage supervisé 23/05/2007: StrangerDB:使用不受信任的服务器进行安全数据管理 10/05/2007: 具有复杂值神经元的全耦合前馈神经网络 2007年5月3日: 模糊集与多准则决策 05/04/2007: 随机树集合及其在图像分类中的应用 22/03/2007: 关系学习中的抽象 08/03/2007: 维基百科多媒体可视化与探索 22/02/2007: 文字部分鉴定:形态学 22/02/2007: 文字部分鉴定:形态学 09/02/2007: 基于本体的语义对齐的信息流方法 09/01/2007: Le-jeu social,une formalization de la socialie de l'action organie社会行动组织 19/12/2006: 程序验证与执行 30/11/2006: 民用航空焦点收集模式 08/11/2006: Classement de donées et de services dans un re seau P2P 2006年11月8日: Problématiques et modèles d’applicantissage statistique pour le Web:Projet Web内容 02/07/2006: 11 第个 基于知识的系统国际会议中的信息处理和不确定性管理 19/06/2006: 对XML数据进行排名和评分 15/06/2006: 带情感的计算:测量、解释和响应用户情感 18/05/2006: 防御性预测 05/04/2006: 图片与内容的联系方式 16/03/2006: 视觉化和算法:《圣母玛利亚大剧院》(génétiques pour la fouille de grands ensemples de données) 23/02/2006: L’交互相关性 23/02/2006: 基于语法的编程方法 09/02/2006: 分析痕迹眼影和提取信息的相关性。 2006年1月19日: 机器人开发先锋
MOCAH公司
29/06/2021: 教育数据挖掘 04/06/2019: 环境信息倾注l’Apprentissage Humain 21/06/2013: 从因果关系模拟学生的情感 26/04/2013: 终身学习者建模,利用普及技术进行学习
MoVe公司
07/06/2024: Le savoir est une arme! 07/06/2024: 等待非阻塞广播协议的安全验证 23/11/2017: 开发人员la Gamification pour améliorer l’implication des développeurs dans la qualitédu code source,uneétude de cas industrielle。 2017年10月20日: 嵌入式设备的能量优化 25/04/2017: MOOC编程并发(avec Java) 31/03/2017: 2017年3月31日发布的《物流与材料系统的Méthodes Formelles pour les Systèmes Logiciels et Matériels》 14/03/2017: MOOC编程iOS(第一部分) 06/07/2015: 面向服务的体系结构密集自动测试国际暑期学校 18/06/2015: 学习用回归树的加法集合进行排序 03/06/2015: ISO/IEC 15909-3国际研讨会:属性、模块性和随机Petri网。 06/05/2015: 嵌套单位Petri网:层次与并发的结合 2015年4月16日: 并发和实时的微妙炼金术 06/03/2015: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 05/03/2015: 证明无复制消息传递 18/09/2014: 井式下推系统 18/09/2014: 处理环境系统中的动态性:正式规划方法。 24/06/2014: 从对称网到带袋对称网 16/06/2014: GT验证年鉴、GT FORWAL和ANR ImpRo项目研讨会 25/06/2013: MDDay之旅 13/06/2013: 将电子表格添加到MDE工具包 18/01/2013: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 12/10/2012: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 2012年8月27日: 18 第个 形式方法国际会议(FM 2012) 25/07/2012: 图游戏的算法改进 25/06/2012: 2012年PETRI NETS模特检查大赛 22/03/2012: 入侵保护协议的验证 10/01/2012: 利用过程碰撞对动态特性进行有效的静态分析 30/09/2011: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 05/04/2011: 并发递归程序的模型检查 15/03/2011: 与禁运制度概念的逻辑时间相反。 11/01/2011: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 17/12/2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 2010年11月5日: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 05/10/2010: Synthèse分发 18/06/2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 15/06/2010: 第六届欧洲建模基础和应用会议 21/05/2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 09/03/2010: 基于Presburger归纳不变量的一般向量加法系统可达性问题 26/02/2010: 弱时间Petri网反击! 31/08/2009: Ecole d’étéTemps雷尔 22/06/2009: Petri网和其他并发模型的应用与理论国际会议 23/01/2009: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 05/12/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 14/11/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 20/06/2008: 彼得里研究院的流态化:绩效评估 22/04/2008: 形式验证和验证的高级视角 11/04/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 15/02/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 16/11/2007: 逻辑系统和材料系统的方法 05/10/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 05/04/2007: 模型检查时间 2007年3月9日: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 19/01/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 16/10/2006: 嵌入式系统的组成:科学和工业问题 2006年10月6日: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 20/06/2006: 1 标准 罗格斯大学/皮埃尔·玛丽·居里工作室 12/05/2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 28/04/2006: 开发一个模型电子商务代理系统 24/03/2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司 17/03/2006: 信息系统的开发与组件的组装一样 20/01/2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels公司
国家行动计划
15/11/2018: 13 第个 GigaNet年度研讨会-“不是‘新石油’-数据治理和互联网” 30/03/2017: 第一届全球互联网治理参与者、法规、交易和战略欧洲多学科会议 17/12/2014: Twitter匿名性和敏感性的最新研究 19/12/2013: 在分布式缓存和内容交付中使用近似计数 16/04/2013: 集合终点站dans les réseaux 20/10/2011: Journées automnales RESCOM:2011年10月 04/07/2006: IP网络中的移动性管理 29/06/2006: NALF:一种网络自适应应用层洪水 26/06/2006: 大规模分布式网络系统的全局鲁棒性和正确性 2006年6月22日: 网络拓扑系统分析的基础 24/05/2006: 无线自组网的链路适配与协议设计 09/05/2006: 8èmes Rencontres Francophones sur les Aspects通信算法 27/01/2006: 欧洲政治演变研究所
裴泉
09/12/2022: 自适应精度稀疏矩阵向量积 07/12/2022: 关于使用Julia编程语言求解偏微分方程的反馈 18/12/2020: 基于整数算法的GMRES求解器的迭代精化技术 02/12/2020: IEEE 754浮点算法中随机取整初等算术运算的算法 18/11/2020: 大型稀疏线性系统解的多精度迭代精化 04/11/2020: 混合精度算法,一种推进数值线性代数的工具 14/04/2020: 对具有多种模式的排列进行穷尽搜索 05/11/2019: 线性滤波器和控制器定点实现的最优字长分配 08/10/2019: 用于低精度科学计算的更清晰和更小的误差界限 23/05/2019: 并行预处理共轭梯度的可再现性策略 28/02/2019: 基于双基数表示的椭圆曲线密码中的最小加法数 31/01/2019: Après-midi apprentissage/embarqué/précision numérique 17/01/2019: 优化量子计算机编译器 06/12/2018: 低秩线性解算器的精度和稳定性 25/10/2018: Frobenius FFT及其在二元多项式乘法中的应用 2018年7月5日: 一种避免通信的稀疏直接求解器 15/02/2018: 现代HPC系统线性代数核的实现与优化技术 18/01/2018: CPU和GPU:我们能兼得两者的优点吗? 2017年11月20日: 深度学习和Accélération GPU 25/09/2017: 利用区间和降阶模型预测大型动力系统的行为 21/09/2017: 可实现滤波器数算法 07/09/2017: 汇编抽象与合成不变量(basée sur des domaines numériques paramétres) 29/06/2017: 分割非均匀suivie d’近似多项式pour l’é估值函数 15/06/2017: FP-ANR,联合国船队代表对取消订单的管理形式 15/05/2017: 计算与信息科学中的生殖决策 04/05/2017: 拓扑数据分析和可视化:教程(第二部分:TTK) 27/04/2017: 拓扑数据分析和可视化:教程 30/03/2017: 在128位中追查艰难案件的甜蜜与痛苦教训 02/02/2017: 多项式、有理函数和样条的Chebychev逼近 23/01/2017: 基于二叉树表示的快速傅里叶变换算法 19/01/2017: Fin de la Loi de Moore等应用程序HPC 24/11/2016: 研究多维系统稳定性和稳定性的计算机代数方法 17/11/2016: 自动化算术数据路径管道 20/10/2016: 特洛伊斯博览会(voir détails) 2016年9月22日: 十进制乘精度区间运算库 06/07/2016: 计算参数间隔与最佳传输 09/06/2016: 用于减少通信的扩展Krylov子空间方法和前置条件 19/05/2016: 数值不确定性编程 19/05/2016: 数字滤波器的可靠实现 12/05/2016: 浮点运算的新结果 07/04/2016: 符号浮点运算库的开发 24/03/2016: 用球评估直线程序 10/03/2016: 用GPU加速CFD模拟中的共轭梯度算法 22/02/2016: 多元数据可视化的持久同源性 11/02/2016: 来自沟槽和实验室的信息可视化 03/02/2016: 使用随机算法估计数值再现性 18/01/2016: Sollya和Python Sollya教程 07/01/2016: 手术室p-adique 17/12/2015: 建筑风格搭配? 图像深度成像:CPU、APU和GPU/混合结构对深度成像的贡献:CPU、APU和GPU的比较研究 10/12/2015: 浮点计算程序运行时错误的声音静态分析 2015年11月30日: 课程编号的验证形式:l’emple de la moyenne 19/11/2015: 走向现代浮点环境 02/11/2015: 使用最坏情况峰值增益测量确定固定点格式(expoécourt) 22/10/2015: Bornes sur les restes de séries解微分方程 24/09/2015: 耦合布鲁塞尔模型中的模式形成 10/09/2015: Metalibm:Kalray这边 03/07/2015: 基于非光滑优化的Crouzeix猜想研究 02/07/2015: 计算机辅助浮点误差分析与调试 18/06/2015: Trois exposés法院(voir détails) 04/06/2015: 制造者的Dilemme du fabricant de tables pour les functions supervantes 21/05/2015: 曲面参数化 2015年5月7日: Verrou:l'arithmétique随机无重编译程序 06/05/2015: 电结构计算的对角化并行 26/03/2015: 多精度下最坏情况峰值增益矩阵的可靠性评估 05/03/2015: Arb库中的特殊功能 02/03/2015: Parks-McClellan算法:一种可扩展的FIR滤波器设计方法 26/02/2015: 地球科学中的磁化反问题 12/02/2015: 半定规划的新应用 29/01/2015: 计算propres值的快速矩阵组合 2015年1月15日: 用于ExaScale计算的可复制且准确的BLAS 11/12/2014: 它描述了并行架构域合成方法的异步性 27/11/2014: 程序数值精度的程序内优化 13/11/2014: Algèbre linéaire d’intervalles:QualityéNumérique et Hautes Performances sur Processeurs Multi-Cœurs系列 12/11/2014: 大数据可视化分析 30/10/2014: Metalibm:参数化数学函数的代码生成器 29/10/2014: Gram-Schmidt算法的数值稳定性 16/10/2014: 圣人简介 20/03/2014: GPU集群上的林奈和非林奈系统解决方案 15/10/2013: 使用英特尔®编译器与数学库在英特尔®至强Phi™协处理器上进行数值计算 10/10/2013: 算法数论与数字滤波器综合 2012年5月10日: Etendre le编译器GCC avec MELT 04/12/2008: 《急诊之旅》---GDR ASR du CNRS---Calcul généraliste sur unités graphiques 27/05/2008: 区间算术:概念、理论、应用 04/09/2007: 运动视函数段样条向量的大估计:l'océanographie和lamétéorologie的应用 23/05/2006: 随机数和区间数的代数性质
法尔
17/03/2022: CNF/VNF Modern Telco应用程序的5G连接性和安全性 16/12/2021: 远程读取电能表的可扩展基础设施 16/12/2021: IEEE 802.15.4 TSCH网络的理论关联模型 24/11/2021: 基于流处理的社交网络内容的社会时间表征 25/10/2019: DTMB标准中非均匀星座技术的实现 2019年10月25日: 无线通信系统的物理层安全技术 24/10/2019: 无线电认知20安 13/06/2019: 面向服务的C-ITS协作体系结构:从微观优化到宏观预测 09/05/2019: 网络变得越来越智能:SDN和机器学习应用于网络自动化 03/05/2019: 没有留下无线电:通过深入学习物理层硬件损伤进行无线电指纹识别 29/04/2019: 健康护理中的区块链透视:安全、便利和创新 08/01/2019: 基于SDNFV的可扩展网络安全 05/10/2018: 机器学习和人工智能技术在甲状腺结节患者队列蛋白质组研究医学数据分析中的应用 22/06/2018: 6Genesis(支持6G的无线智能社会和生态系统)项目 08/06/2018: FUTEBOL项目:当光纤与无线相遇时 30/04/2018: 潮汐动态SDN网络:机器学习优化器和测试平台 27/04/2018: 通过跨层调度在虚拟化系统上实现时间敏感计算 11/04/2018: ONOS安全与性能分析旅研讨会 10/04/2018: 软件定义网络上的视频流 06/04/2018: 具有矢量包处理(VPP)的高性能网络功能 06/04/2018: 网络数据分析平台(PNDA):学习引导开源大数据平台 09/03/2018: ONAP——开放式网络自动化平台 20/02/2018: 21 第个 ICIN会议在云、互联网和网络方面的创新 19/02/2018: 动态频谱共享中的问题范围及解决方案 30/01/2018: 培育安全智能之路:物联网和区块链时代的视角 22/11/2017: 国际。 未来网络会议 13/11/2017: 开放源码ONOS et CORD项目说明 03/07/2017: 用于用户/组分析和边缘优化的移动群组感知 28/06/2017: 16 第个 地中海特设网络年度研讨会 27/06/2017: 移动云网络和边缘计算用于提供高质量的服务 23/06/2017: 动态频谱共享:授权-未授权访问 2017年6月19日: Ecole d’étéRESCOM 2017年通信之路-虚拟化和数据化 26/05/2017: ONOS安全与性能分析旅研讨会 22/05/2017: 网络云化:SDN-NFV和5G-MEC,带边缘和雾计算 19/05/2017: 物联网和大数据:应用、技术和标准 07/03/2017: 20 第个 ICIN会议在云、互联网和网络方面的创新 09/02/2017: SDN中的网络资源管理与控制 30/01/2017: FUTEBOL项目-光/无线网络前沿实验 30/01/2017: PEERING:我们的AS 04/12/2016: 2016 IEEE全球通信会议-研讨会 02/11/2016: 开放网络操作系统(ONOS)-2016年构建活动 2016年10月24日: 地理分布协同云中的控制流量分析 25/07/2016: 移动、云、分析–数据驱动基础设施的挑战和机遇 03/06/2016: 整合能量比例数据中心网络的隐含截止日期流 14/03/2016: 12 第个 可靠通信网络设计国际会议 09/02/2016: 利用ICN实现软件定义网络的柔性管理 05/02/2016: 认知无线电网络中的弹性安全频谱感知框架 14/09/2015: Journée e虚拟化与云计算-GdR RSD 07/09/2015: 不断发展的互联网架构中的移动性研讨会 04/09/2015: 面向无线网络优化的细粒度基于图的干扰模型 22/07/2015: 闭合认知无线电网络中的环路:朝向更高层的协议设计、用户应用程序和系统 06/07/2015: 基于SDN的数据中心负载平衡中间件的设计 06/07/2015: 分布式存储系统中面向冗余编码的再生方案及性能优化 11/06/2015: 无线演进:从连接人到连接机器 02/06/2015: 纳什均衡、Wardrop原理、自私路由和最优路由 01/04/2015: Babel路由协议 17/02/2015: 基于混合无线网络的智能手机协作流媒体 16/12/2014: 当回程链路容量有限时,重新审视异构网络中的调度和用户关联 15/12/2014: 面向真实复杂环境的RFID系统智能传感 12/12/2014: 一种扩展OpenFlow控制平面的集群方法 2014年12月10日: 不断发展的企业优势 08/12/2014: 汤:人民在线社交网络,为人民服务 03/12/2014: 5 第个 未来网络国际会议 26/09/2014: 多路径路由有益吗? 21/08/2014: 移动健康移动云 04/07/2013: 轻量级主动源路由移动自组网中的机会主义协作转发 09/04/2013: 软件定义的光纤网络 28/11/2012: 2012年IEEE 1 标准 云网络国际会议 2012年6月20日: 移动云计算:安全和服务架构以及研究挑战 06/06/2012: 混合数据中心、能量感知聚合和网络中的动态时间工作负载 28/11/2011: 第二届未来网络国际会议 28/06/2010: 网络化移动社会的数据驱动建模与设计:未来社交网络的范式转变 23/06/2010: 第9个 第个 IFIP年度地中海特设网络Worshop 14/06/2010: 网络和电信:选择和战略 15/12/2009: 2 第 2009年IFIP无线日 18/11/2009: 23ème巴黎DNAC大会 29/09/2009: Les plates formes autonomiques 2009年 07/09/2009: 约旦安曼高等专科学校2009 2006年9月27日: 自主网络
PolSys公司
12/12/2014: 作为结构化特征值赋值的Marx生成器的设计 05/12/2014: 代数中的同构问题 28/11/2014: 订购理想衣柜时发现的骨架 25/11/2014: MQQ密码系统的多项式时间密钥恢复攻击 14/11/2014: 关于二元系统求解的复杂性 24/10/2014: 对野生McEliece和隐姓埋名的代数攻击 24/10/2014: 二次扩张上Wild McEliece的多项式时间攻击 17/10/2014: 超椭圆曲线Jacobian的指数微积分中寻找关系的新方法 2014年10月3日: 计算实代数集实维数的高效概率算法 26/09/2014: 根分离界限 19/09/2014: 用误差修正法求解带参数项的数值线性系统 19/09/2014: 一种新的基于列表解码的基于代码的公钥方案 12/09/2014: 加权齐次系统Gröbner基计算的复杂性 04/07/2014: 实代数几何与无穷维二次曲线优化 27/06/2014: Chern-Schwartz-Macpherson和Segre类的计算算法及Euler特征 27/06/2014: 稀疏Gröbner基:非混合情形 20/06/2014: 秩在上有界的矩阵空间 13/06/2014: 有效Hilbert Nullstellensatz与有限域 2014年5月15日: GF(q)上线性码的最小支持码字及关于IP等价类的注记 04/04/2014: 将构造实体几何扩展到投影和参数化对象 14/03/2014: 四舍五入与链式LLL:快速找到单变量多项式同余的小根 14/03/2014: 快速双安全椭圆曲线的构造和使用 07/03/2014: 行列式簇上有效计算实点 07/03/2014: 代数几何在核磁共振对比问题中的应用 14/02/2014: 多项式系统的实根、半定规划和边界基 25/03/2013: 如何避免在线性代数及其他领域的交流 25/03/2013: Gröbner基础上的综合系统解决方案
气
2017年7月12日: 诺伯特·吕特肯豪斯(Norbert Lütkenhaus)LIP6邀请教授研讨会 19/06/2017: 值得信赖的量子信息 14/06/2017: 量子计算、通信和密码学理论
REGAL公司
03/05/2017: RainbowFS分布式存储系统一致性研讨会 21/04/2017: 弥合CAP差距:正义一致性方法 31/03/2017: 面向因果一致性的分布式元数据服务 04/03/2017: 社区协议中的时间和同音词考虑 2017年2月28日: 关于因果一致性的验证 22/02/2017: 驾驭物联网大数据浪潮:物联网数据系列的复杂分析 12/12/2016: Critéo大数据平台 21/09/2016: 流媒体和滑动窗口中的重击手 02/06/2016: 超级云:机遇与挑战 04/02/2016: IX操作系统项目:潜在关键应用程序的能量比例和工作负载整合 18/06/2015: Outil dédiés aux systèmes distribueés动态:JBotSim 17/04/2015: 分布式数据库上低延迟随机读写的强一致性:Apache HBase的选择和挑战 01/04/2015: XFabric:机架级可重构网络拓扑 14/01/2015: 高缩放分布式系统研讨会 19/11/2014: Yesquel:Web应用程序的可扩展SQL存储 2014年9月30日: OPODIS项目主席 15/09/2014: 云中数据库一致性研讨会 24/07/2014: 可验证并发系统编程:垃圾收集器案例研究 06/06/2014: 管理运行时研讨会/JTE ASF 21/05/2014: 云中的弹性和容错流处理 02/04/2014: 多核体系结构的线程漏洞 01/04/2014: 了解并改进设备访问 18/02/2014: Coq,世界上最好的宏汇编程序! 2014年2月3日: 极端规模MPI应用的故障控制 31/01/2014: 法国社会信息报 15/01/2014: 可靠软件事务网络案例 30/10/2013: 仓库:从拜占庭容错到单一系统中的最终一致性 28/10/2013: SplayNet:分布式用户空间拓扑仿真 23/10/2013: GDR-GPL Génie Logiciel经验 25/09/2013: 多核处理器的WCET估计技术 22/07/2013: SOUK:人类动力学的社会观察 06/06/2013: X-Stream:使用流分区的以边缘为中心的图形处理 05/06/2013: PowerGraph:自然图上的分布式图并行计算 28/05/2013: 广义普遍性 2013年4月12日: 一种新的MPI HPC应用分层容错协议和容错协议的统一模型 27/03/2013: 分布式算法从清晰到高效 20/03/2013: Horus:基于细粒度加密的大规模存储安全 20/03/2013: 低冗余二维RAID阵列 01/03/2013: 树中的分布式独占图搜索 25/02/2013: RESAR存储:一个用于两个容错、自我调整的百万磁盘存储集群的系统 14/02/2013: 具有Bloom的无序分布式编程 27/09/2012: 语言虚拟机和多核体系结构研讨会 2012年9月26日: 最终一致性的云类型 11/09/2012: S2E:软件系统的虚拟多路径分析平台 06/09/2012: 动态分布系统的聚类算法 28/08/2012: 脸书用户数据存储系统简史 17/07/2012: 动态并行软件的实用抽象 12/06/2012: 通用化约简和抽象以简化并发程序:QED方法 23/05/2012: 延长Linux的寿命:这可能吗? 07/05/2012: 嵌入式操作系统全局资源控制设备驱动程序的同步编程 13/03/2012: 共识数的乘法能力 16/12/2011: ExposéRoy Friedman(Technion)-智能手机中WiFi和蓝牙的功率和吞吐量权衡 14/09/2011: 从并发共享中恢复断开 2011年7月11日: 用Java虚拟化实时嵌入式系统 29/06/2011: DecentVM的体系结构:面向多核计算的分散式虚拟机 17/03/2011: 云基础设施中的自适应资源管理 24/02/2011: Linux中的错误:十年后 10/11/2010: Exascale的HPC:场景、软件挑战和研究机会 02/07/2010: 加速测试 29/06/2010: L4微内核-从研究到大规模部署再到部署 12/04/2010: AMD高级同步设备简介 2010年3月23日: Git版本控制系统:处理分布式环境中的并发开发 03/02/2010: 用很少的FS提供对用户数据的普遍访问 24/11/2009: 语义补丁推理 24/11/2009: 分布式系统中的组可伸缩性-自适应并行分布式范围查询 18/11/2009: 可视化、评估和重新模块化面向对象的建筑元素 30/10/2009: Olivier Pérès培训课程 25/09/2009: 7.500行C,1个微内核,正式证明是正确的 16/07/2009: 希罗多托斯:揭露臭虫生活的工具 16/06/2009: 加速事务存储算法的两种方法 15/06/2009: 基于时态逻辑和模型检查的流程序匹配基础 28/05/2009: CAR-STM:基于调度的软件事务存储器冲突避免与解决 2009年5月28日: 通过操作系统支持释放非对称多核处理器的潜力 08/01/2009: 本机客户端-可移植、不受信任的x86本机代码的沙盒 11/12/2008: 寻找失去的时间 20/11/2008: 闪存的研究挑战 30/10/2008: P2P覆盖:VoroNet和RayNet 29/10/2008: Démo SPLAY—“简化分布式应用程序” 16/10/2008: Nuno Preguiça-拜占庭:拜占庭容错数据库复制提供快照隔离 11/09/2008: Joan Manuel Marquès-Treedoc:用于合作编辑的交换复制数据类型 2008年5月29日: Anneli Lenica-PosNet,非覆盖p2p半结构,位于poset pour l’indexation et la localisation de données multi-dimensionnelles。 10/04/2008: Laurent d’Orazio-缓存可适配项和应用程序辅助系统管理 15/02/2008: 彼得·库兹涅佐夫-大规模拜占庭容错:预防和检测 07/02/2008: 基于内容的分布式R树P2P发布/订阅 07/02/2008: 消息传递系统中的快照稳定。 23/11/2007: Roy Friedman-Ad-Hoc网络中的实用随机漫游 26/04/2007: 跳一种编程Web 2.0的语言 24/04/2007: D1HT:分布式单跳哈希表(*) 27/03/2007: 法国OSGi用户组 08/03/2007: Presque tous les objets atomiques implementés dans des systèmes asynchrones avec transmission de messages sont universels:la hiérarchie de Herlihy devient(Presque)板块 08/03/2007: 构造d'arbres couvrant des groupes dynamicques dans un grape的算法 2007年2月22日: Marches aléatoires en algorithmique distributue,un paradigm de conception de solutions算法注入了环境动态 26/01/2007: Séminaire王室 23/01/2007: 缓解数据库瓶颈的可扩展方法 19/01/2007: 基于流言的自组织 24/11/2006: 维护层次化文档协作的一致性 24/11/2006: Intergiiel extensible a base de composants adaptables pour l’informatique mograme:应用优化和调解。 10/11/2006: 稳定移动哲学家 26/10/2006: 一种内存高效的最大k-packing自稳定算法 2006年10月20日: Sprint,中间件基础设施 13/10/2006: 打破传统的听说模型:统一所有有利的失败 06/10/2006: 自稳定系统的可靠性和可用性分析 28/09/2006: Séminaire REGAL:在有限的时间内收集被遗忘的移动机器人。 22/06/2006: 在分布式存储系统中启用假设分析 24/03/2006: 编译动态浇注计算强度 20/03/2006: 乐观复制中因果更新承诺协议与更新传播的解耦 13/03/2006: 一种有效的弱连接副本容错更新承诺协议 17/02/2006: 普适计算环境中的上下文软件适配 10/02/2006: 动态生活更新 01/02/2006: 使用Evil Man系统的自助洗衣店计算使用网格计算操作系统移动性 2006年1月26日: Jaluna OS软件:系统禁运的虚拟化
反渗透
14/12/2021: 有向图的Gyarfas-Sumner猜想的类比 15/10/2021: 集体时间表:如何找到一致的时间表? 11/03/2021: Séminaire S:具有最大许可的在线搜索 13/07/2017: 一种多项式时间算法求解每个作业有两个单元操作的抢占式混合跳问题 07/06/2013: Worshop“游戏、算法和优化” 18/06/2012: 印刷艺术学院“Théorie des jeux algorithmique”
SALSA公司
23/06/2010: 2 第 符号计算与密码学国际会议 14/12/2008: 符号计算和密码学专题——Inscrypt 2008
座椅模块组件
11/06/2024: 真理、对话与逻辑(下) 2024年6月10日: 真理、对话与逻辑(上) 27/05/2024: VAGO,un outil pour mesurer le vague et la subjectivité:应用程序单语言辅助扩展 25/03/2024: 科学辩论中基于主体的我方偏见模型 14/12/2023: 战略推理逻辑:最新发展及其在机构设计中的应用 04/12/2023: 气候影响研究中的类型理论:从程序正确性到政策建议 08/09/2023: 多个代理为资源分配和卫星星座计划 27/01/2020: 歌词的神经旋律生成 13/01/2020: 计算叙事学和交互式故事讲述的新趋势 18/11/2019: 集中多智能体巡逻策略分配的监督学习。 14/10/2019: 游戏领域的研究项目概述——云、健康(运动游戏)和文化与历史(教育游戏)。 16/09/2019: 结合本体论和论证,用面向多代理编程开发智能交互系统 08/07/2019: 辩论和计算说服:一个为期三年的项目 21/01/2019: 联合国心理系统组织和建设 21/01/2019: L'intelligence artificielle aujourd'hui et demain智能人工智能工厂 03/12/2018: 通过集中疏散措施寻找灵活的疏散路线 16/11/2018: 推荐系统中的强化学习 2018年10月29日: 面向Agent的程序设计语言 15/10/2018: 走向文化知识进化:校准修复实验 09/07/2018: 会话游戏中隐性交际的产生 2018年6月25日: 现在该相信什么? 信仰是理性选择的一种形式 2018年5月14日: 主题服务项目 09/04/2018: Viabilitépour l’argumentation dans la gestion de parcs naturels(自然状态下的论证) 26/03/2018: 鉴定信息人工智能集:方面、动态和结构 12/03/2018: 语言自动叛变自然倾注互动人类代理人:代理人社交活动 22/01/2018: NII-LIP6车间 26/06/2017: MoCaNA:Monte-Carlo arberescente银行非代理 19/06/2017: 巡逻多智能体合作保护环境不确定性中的恶劣行为 2017年6月12日: 不可分割商品的分布式公平分配 06/06/2017: 辩论与社会选择的整合 06/06/2017: 多准则决策分析视角下的偏好启发与学习 22/05/2017: 使用动态数据驱动航空电子设备的更安全的飞行系统 24/04/2017: LdPL(生产物流)的多代理Vers une approche d'ingénierie multi-gentsábase 27/03/2017: 深入学习-历史、原则和环境 20/03/2017: 机器大规模并行工程现场管理方法 13/03/2017: MAFTEC杂志,surles aspects Multi-Agents,Flexible,Temporel,Epistémique et Convent de la planisation 2017年2月2日: 受邀会谈-NII 05/12/2016: Quelques示例:SMA应用程序:量化事物与Jeux Sérieux 21/03/2016: 聚合理论迷你课程(2/2) 07/03/2016: 聚合理论迷你课程(1/2) 30/11/2015: 概率论证的结构和认识方法 16/11/2015: 开放语言网格:走向全球语言服务基础设施 02/11/2015: Modèles d’environnement et simulation multi-gents pour les systèmes dynamicques de transportation环境与仿真多智能体系统 21/09/2015: 规范性编程。 22/06/2015: 环境科学虚拟环境社会技术综合体 15/06/2015: SMA de manière灵活文化辅助代理协调人 01/06/2015: 系统多智能体规范化协作与交互混合 2015年5月18日: 通过社会学习形成惯例 13/04/2015: 辩论代理人之间的辩论 10/04/2015: Modèles basés agent en Economie公司 30/03/2015: 辩论、信任和互动 23/03/2015: 互换交易在分布式资源分配中的作用 20/03/2015: 大型多智能体系统中的协调:智能体需要股票期权吗? 24/09/2014: 分布式和多代理系统(2014年9月24日至25日) 14/06/2013: 莫代莱斯银行经济代理 2010年7月12日: Le róLe des jeux vidéo dans la sociétéet dans l’informatique社会新闻 21/06/2010: 关于多代理和分布式系统的第五个NII-LIP6联合车间 01/02/2010: 对人类认知和栖息地智能的帮助 08/04/2009: 个人动态观点与近似模型 03/04/2009: 网络传感设备的管理 16/02/2009: Appentissage incrémental collectif de concept(声音多智能体增量学习) 08/12/2008: 建立一个动态自适应实验平台 10/11/2008: 上下文感知计算 27/06/2008: 代理容错的复制启发式:一种基于计划的方法 23/06/2008: Négociation combinée e et multicriteère d’agents合作比率 09/06/2008: 共识dans un système multiagent:du modèleál’exécution 2008年6月9日: 多智能体系统中动态意见的模拟 02/06/2008: 分布社会空间人口的演变模式:多代理系统:多代理 26/05/2008: 动态环境中的多智能体时间规划 19/05/2008: 移动Agent系统的协调语言 05/05/2008: 语言协调与系统多代理ouvert 05/05/2008: 概念和优化分配联合国系统信息助手:无需批准多智能体运输服务组合。 05/05/2008: 多个绅士倾注热情的辩论与制度 14/04/2008: 情感与互动 2008年4月14日: Réécriture拓扑:面向编程的交互 07/04/2008: 一致意见dans les systèmes collaboratifs de partage de contenus 07/04/2008: 联合国环境规划署的中央决策机构 31/03/2008: 企业竞争力与企业集成模型 19/03/2008: 建构主义语言进化及其推广的最新研究成果 17/03/2008: 控制社会系统多绅士和中央集权 17/03/2008: 中心-代理人相互作用模型:les jeux booléens 10/03/2008: 传播与亲和性的“德合”限制了传播。 18/07/2007: 多智能体仿真与现实世界的契合 18/07/2007: 跨文化协作的语言网格 09/07/2007: 通过模型抽象理解意识 2007年6月22日: 情境多智能体系统的体系结构策略 08/06/2007: 语义Web服务:我们的目标是什么? 29/03/2007: A&; 一种开发认知MAS的方法:概念框架和原型技术 23/03/2007: Agent的模型检验能力 19/03/2007: 人与人之间对话的形式化 09/10/2006: LIP6/SMA-NII/Honiden多代理系统和分布式系统实验室研讨会 15/06/2006: Honiden实验室的代理 17/02/2006: 日常生活模式 23/01/2006: Jeux vidéo:新的基准向多代理系统倾注?
SPI公司
21/10/2012: 《人工智能评论》通讯:Numéro Spécial Logique et Sécurité 22/04/2011: 《塞库里特与梅特霍德斯·福尔摩莱斯之旅》 08/03/2010: SSURF之旅 11/06/2009: Journée e Présentation et Formation-焦点 27/05/2009: Journe e Sécurité-(SSURF+PPF物流服务) 07/11/2008: 计划之旅Pluri Formation Logiciels Sórs et de l'action ANR SSURF 13/05/2008: 计划之旅Pluri Formation Logiciels Sórs et de l'action ANR SSURF
螺旋形的
01/09/2006: Seminaire SPIRAL/SALSA公司
SYEL公司
09/09/2021: 使用异构、可编程计算平台实现的嵌入式实时视觉系统 01/07/2021: 鉴定信息多模态非监督与底层细胞倒“implémentation”架构神经形态自适应 06/05/2021: Cultiver le diamant pour fabriquer des植入物神经营养不良 08/04/2021: 自动分析sommeilápartir des voiesé电生理学
耳语
15/12/2017: BetrFS:内核文件系统中的写入优化 16/11/2017: 多核时代的数据共享与资源管理 27/09/2017: 你的处理器泄露信息-对此你无能为力 02/03/2016: Linux调度器:十年浪费的内核 02/03/2016: 提高NUMA系统的性能 09/04/2015: Linux内核中的对象:进化是好的 15/01/2015: 实时操作系统内核的二维裁剪:重新思考硬件——应用程序桥