CERFACS’ Post

Announcing the FY25 FRP led by Ayse Coskun (Professor, ECE & SE), Ajay Joshi (Professor, ECE), and Adam Smith (Professor, ECE, CS) with PhD candidate student contributors Fatih Acun, and Seyda Guzelhan: Privacy Preserving Energy Analytics for Data Centers, that aims to demonstrate, for the first time, that large-scale computer systems will achieve cost reduction and energy efficiency improvements via a novel privacy-preserving, collaborative, and scalable analytics and optimization framework. Boston University College of Engineering Hariri Institute for Computing, Boston University 🔗 Click here to read more: https://lnkd.in/eAnDfPSd

*** An article accepted in WINCOM 2024 conference with its source code publicly available at GitHub *** I am glad to share that my article has been accepted in WINCOM 2024 conference (https://lnkd.in/dYUdh8FW) on the topic of "Analysis of Common Required Metrics for Vehicular Networks". It is accessible at https://lnkd.in/dUXRZ36k Its source code is publicly available at GitHub and can be accessed at https://lnkd.in/dChppMvg The source code can be used by researchers who want to work on the simulation of vehicular networks, as well as can be used to reproduce the results presented in our paper. Yasir Saleem, Nathalie Mitton, Valeria Loscri. "Analysis of Common Required Metrics for Vehicular Networks". In International Conference on Wireless Networks and Mobile Communications (WINCOM), 2024 Jul 23. Aberystwyth University Aberystwyth University Department of Computer Science #CommonRequiredMetrics #Simulation #OMNeT++ #Veins #SUMO #IEEE #WINCOM2024 #VehicularNetworks #VehicularSimulation #VANETs

🎉 Excited to announce that our LLM-generated and optimized algorithm, using our LLaMEA framework, has won the "Anytime Algorithms for Many-affine BBOB Functions" competition at #GECCO 2024! 🏆 Our winning algorithm, "ERADS Quantum Flux Ultra Refined," is a special type of Differential Evolution algorithm. Interestingly, the name was also generated by the LLM and doesn't relate to actual quantum flux. The success of this automatically generated algorithm against expert-developed algorithms is a promising indication of the potential in our research. Learn more about the LLaMEA approach here: https://lnkd.in/eWdfUD5E Work in collaboration with Thomas Bäck at the Natural Computing cluster, LIACS

🔍 Explore the recently published article, "MMSMCNet: Modal Memory Sharing and Morphological Complementary Networks for RGB-T Urban Scene Semantic Segmentation." 📝 Volume 33, Issue 12, December 2023 Authored by: Wujie Zhou; Han Zhang; Weiqing Yan; Weisi Lin 🔗 Read more at IEEE Xplore: https://loom.ly/8pBP5YI #IEEETransactionsonCircuitsandSystemsforVideoTechnology #TCSVT #ReadMore #IEEEXplore #IEEE #CircuitsandSystems

[PDF] LC21 Committee on an Information Technology Strategy for the Library of Congress, Computer Science and Telecommunications Board, National Research Council digsell https://lnkd.in/e5cA-JZ8 A report by the Committee on an Information Technology Strategy, the Computer Science and Telecommunications Board, the Commission on Physical Sciences, Mathematics and Applications, and the National Research Council, on the system currently used by the National Library of Congress, and upgrades that need to take place in that system. Softcover. https://lnkd.in/eQKK-6EM

In the March issue of IEEE Spectrum, read about the science and sci-fi of a really big computer, the ultimate power transistor, DNA as data storage, and more! 🔗 https://loom.ly/BjUKIWA  #IEEESpectrum #Semiconductors #DNA #DataStorage #IEEEXplore #IEEE

We're looking forward to having Andrew Reynolds, University of Iowa, with us tomorrow for a Future of Software seminar on "Proofs in cvc5: New Directions with AletheLF". The talk will be online at 13:15 CEST. Join on Zoom: https://lnkd.in/ed5kx6fA This talk gives the current state of proofs in the SMT solver cvc5. We introduce our current work on AletheLF, a logical framework for proofs generated by cvc5. AletheLF is a logical framework loosely based on the SMT-LIB version 3.0 language. It combines the benefits of several previous proof efforts, including a clean syntax, extensibility and integration with other proof formats like DRAT via the use of oracles. We present an evaluation of AletheLF, showing the viability of performant proof generation and checking for SMT. We mention initial work on a second generation of this logical framework for handling new challenges for proofs in SMT. Talk details: https://lnkd.in/eDAYCiKB Dominik Winterer, Zhendong Su Department of Computer Science (D-INFK), ETH Zürich

R-CNN (Region Based Convolutional Network) : tout sur ce modèle de Machine Learning

Did you know that IEEE Xplore has an enhanced search history feature? This feature saves your 100 most recent searches and allows you to create more complex searches by combining previous searches. 🔗 https://loom.ly/WYkwauY #XploreTips #TipsAndTricks #IEEEXplore #IEEE #Tips #ResearchTips

🚀 Excited to share that I just completed a project on implementing the K-means clustering algorithm and used it for image compression! 📸 This hands-on experience involved several key steps: 1.Implementing K-means - Finding closest centroids - Computing centroid means 2.K-means on a sample dataset 3.Random initialization 4.Image compression with K-means - Dataset - K-Means on image pixels - Compress the image