Materials Center Leoben Forschung GmbH’s Post

This morning I accidentally learned a lesson on fact-checking. --- One of the content managers of a reputable tech blog recently published an article with significant inaccuracies. How do I know this? My genuine interest led me to investigate the sources, only to realize I had been misled. The article titled "Everything you need to know about Finch, the latest programming language developed by MIT" on The Next Web incorrectly attributes the Finch programming language to MIT. It actually refers to a different Finch language created by an individual 13 years ago and deprecated in 2020. While MIT did in fact publish work on a new programming language(in April, not in May), the article describes the wrong Finch language, even stealing descriptions from the maintainer’s blog to support their inccorectly attributed and nonsense article. This lack of research not only misinforms readers but also undermines the researchers efforts and credibility. This left me quite frustrated, so I wanted to share this and bring awareness to others who may also need to adjust their trust in tech blogs. Lessons learned: from now on, I'll be getting my readings directly from archives when possible. Cornell University manages and maintains a popular choice:

🖥️ Visual Computing ist eines der Forschungsfelder, in das sich Studierende des Bachelorstudiums Informatik vertiefen können. Im Video 📹 gibt es interessante Details dazu. Mehr Einblicke in weitere Forschungsfelder der TU Wien Informatics https://lnkd.in/d7HMY8N5 #informatik #computerscience #computing #visiualcomputing

🇧🇷 Gostaria de compartilhar que finalizei meu curso de #MatLab! Ferramenta muito útil em #pesquisa 🇬🇧 I'd like to share that I've finished my #MatLab course! Very useful tool in #research 🇩🇪 Ich möchte mitteilen, dass ich meinen #MatLab-Kurs abgeschlossen habe! Sehr nützliches Werkzeug in der #Forschung

I’m pleased to announce the launch of the Special Issue on Formal Methods in Computer Science: Theory and Applications in the Mathematics journal by MDPI! This Special Issue is now open for submissions and welcomes groundbreaking research on formal methods, their theoretical foundations, and practical applications in computer science. We are seeking contributions in areas such as: Model checking and formal verification Theorem proving and symbolic methods Formal languages and automata theory Formal approaches to software and hardware design If your research advances the field of formal methods or their use in practical applications, this is your chance to contribute and have your work recognized in an internationally renowned journal! 📅 Deadline for manuscript submissions: 30 June 2025 Submit your manuscript or learn more here: https://lnkd.in/eaJhiTnG Let’s drive innovation in formal methods together! 💡 #ComputerScience #FormalMethods #Research #SpecialIssue #MDPI #AcademicPublishing #ModelChecking #FormalVerification #SoftwareEngineering #HardwareDesign #TheoreticalComputerScience

Softwaretechnik, ein recht grundlegender Baustein, von so manchem Informatikstudium ungeachtet der Spezialisierungsrichtung. Ich kann mich noch an die recht theoretischen Vorlesungen erinnern... :) UML kam da vor, Klassendiagramme... Zustandsautomaten habe ich auch kennen gelernt. Mit itemis CREATE selbst Zustandsautomaten zu erstellen, zu simulieren und daraus Code zu generieren hätte meine Lernerfahrung sicherlich bereichert. Mich würde interessieren, wie CREATE eingesetzt wird?

This fall, the School of Computing introduced two additional "CS+X" programs, which provide core training in both computer science and another field. Learn more about the newest degree programs, which combine CS with history and writing & rhetoric: https://lnkd.in/gqq9V3Um

Viele Menschen haben keinen Abschluss in Informatik, daher lernen sie selbstständig. Hier ist, wie Sie Ihr eigenes kostenloses Informatikstudium online erstellen können: Computer Science 101 von Stanford: https://lnkd.in/e7u68X_Z Datenstrukturen und Algorithmen von der UC San Diego: https://lnkd.in/eWWJTwzq Verteilte Systeme vom MIT: https://lnkd.in/eF4P9B4V Einführung in die Theorie der Berechnung: https://lnkd.in/e9jFwPRR Rechnerarchitektur von der Princeton University: https://lnkd.in/ek5z2y36 Einführung in Datenbanken von Stanford: https://lnkd.in/emNptfmm Systematisches Debugging: https://lnkd.in/etJ3CZuh Was würden Sie dieser Liste hinzufügen? PS - Schließen Sie sich den über 64.001 Menschen an, die Systemdesign lernen: https://lnkd.in/dHdjv_xu Wenn Ihnen dieser Beitrag gefallen hat: 🔔 Folgen: Neo K. ♻ Teilen, um anderen zu helfen, es zu finden. 💾 Speichern Sie diesen Beitrag für zukünftige Referenzen.

📌Mañana miércoles 20 de noviembre se realizará un nuevo Seminario IMC, el cual estará a cargo de Jasper van Doornmalen, postdoc del Instituto de Ingeniería Matemática y Computacional. 📝 𝗧𝗶́𝘁𝘂𝗹𝗼: "Propagation Algorithms for Handling Symmetries of Mathematical Programs" 📑 𝗔𝗯𝘀𝘁𝗿𝗮𝗰𝘁: Optimization problems are often solved using constraint programming or mixed-integer programming techniques, using enumeration or branch-and-bound techniques. It is well known that if the problem formulation is very symmetric, there may exist many symmetrically equivalent solutions to the problem. Without handling the symmetries, traditional solving methods have to check many symmetric parts of the solution space, which comes at a high computational cost. Handling symmetries in optimization problems is thus essential for devising efficient solution methods. The presentation will introduce and review common methods for solving mathematical programs, the concepts of symmetries in mathematical programs, and how symmetries can be handled. Then, the main results of Jasper's dissertation are presented, along with computational results. In particular, the presentation focuses on a general framework for symmetry handling that captures many of the already existing symmetry handling methods. While these methods are mostly discussed independently from each other in the literature, the framework allows to apply different symmetry handling methods simultaneously and thus outperform their individual effects. Moreover, most existing symmetry handling methods only apply to binary variables. Our framework allows to easily generalize these methods to general variable types. Numerical experiments confirm that our novel framework is superior to the state-of-the-art methods implemented in the solver SCIP. 📋 𝗕𝗶𝗼: Jasper van Doornmalen joined IMC in September, 2024 as a postdoctoral researcher. Prior, he obtained his PhD at the Eindhoven University of Technology in the Netherlands, with his dissertation titled "Propagation Algorithms for Handling Symmetries of Mathematical Programs", advised by Christopher Hojny and Frits Spieksma. Besides working at UC, Jasper will work at Alicanto Labs SpA as a developer for optimization software for the mining industry. Jasper is interested in the theory and practice of combinatorial optimization algorithms, with a strong focus on (discrete) mathematical programming methods, and solving problems with symmetry. 📆 Miércoles 20 de noviembre ⏰ 13:40 📍 Auditorio Edificio San Agustín, Campus San Joaquín 🙋♂️ Evento sin inscripción y abierto a público 📧 Link para transmisión vía Zoom disponible escribiendo a imc@uc.cl.

Interesting Call for Computer Science text books!

Vorstellung eines Spracherkennungsmodells basierend auf EEG-Daten – Entwickelt in MATLAB R2022b (*Nachtrag II*) Anbei die exemplarische Simulation des Modells für den verwendeten Datensatz mit text2speech. Mit "Text-to-Speech" mit Windows SAPI in Matlab geht das noch etwas eleganter und aus EEG-Daten von Sprache / Gedanken (imaginierte Sprache) werden, in Abhängigkeit vom Score (100%), wieder die richtigen Worte. % Zeichenkette definieren text = 'Hallo'; % Text-to-Speech mit Windows SAPI NET.addAssembly('System.Speech'); obj = System.Speech.Synthesis.SpeechSynthesizer; Speak(obj, text); text = 'Wie'; NET.addAssembly('System.Speech'); obj = System.Speech.Synthesis.SpeechSynthesizer; Speak(obj, text); text = 'gehts'; NET.addAssembly('System.Speech'); obj = System.Speech.Synthesis.SpeechSynthesizer; Speak(obj, text); text = 'Danke'; NET.addAssembly('System.Speech'); obj = System.Speech.Synthesis.SpeechSynthesizer; Speak(obj, text); text = 'gut'; NET.addAssembly('System.Speech'); obj = System.Speech.Synthesis.SpeechSynthesizer; Speak(obj, text); #Neurowissenschaften, #KünstlicheIntelligenz, #KI, #KIinderMedizin, #ZukunftDerMedizin, #imaginedspeech, #autogenetraining, #MaschinellesLernen, #EEGDaten, #eegchatbot, #Spracherkennung, #MATLAB, #AssistiveTechnologie, #DigitalHealth, #Innovation, #Forschung, #Brainscanner, #BCI, #Reharobotik, #DataScience, #HTWBerlin, #Charité, #neurocure #text2speech