Telegram Group Search
Telegram Group » United States » ieeesiberia » Channel Webview
IEEE Siberia
"AI-driven Decarbonization for Power Systems, Pt 1/4"

IEEE PES Web-Based Free Tutorial:
- Regeneration
120 viewsGrigoriy Khazankin, edited  
IEEE Siberia
A protein from tiny tardigrades may help cancer patients tolerate radiation therapy

| MIT News | Massachusetts Institute of Technology
https://news.mit.edu/2025/tiny-tardigrades-protein-may-help-cancer-patients-tolerate-radiation-therapy-0226
MIT News
A protein from tiny tardigrades may help cancer patients tolerate radiation therapy
Drawing inspiration from the tardigrade, researchers developed a new strategy that may protect cancer patients from the side effects of radiation therapy.
145 viewsGrigoriy Khazankin, edited  
IEEE Siberia
Worm-like Robots Install Power Lines Underground 
Bio-inspired approach simplifies underground construction
https://spectrum.ieee.org/underground-power-lines-robots
IEEE Spectrum
Worm-like Robots Install Power Lines Underground
Bio-inspired approach simplifies underground construction
105 viewsGrigoriy Khazankin, edited  
IEEE Siberia
Knitted microtissue can accelerate healing
| MIT News | Massachusetts Institute of Technology
https://news.mit.edu/2025/knitted-microtissue-can-accelerate-healing-0305
MIT News
Knitted microtissue can accelerate healing
Knitted microtissues, seeded with stem cells and other precursor cells, may soon accelerate the healing process of different soft tissues in humans. The work is led by researchers at the Defense Fabric Discovery Center at MIT Lincoln Laboratory as well as…
144 viewsGrigoriy Khazankin, edited  
IEEE Siberia
Forwarded from Brainstart & Центр биоэлектрических интерфейсов, НИУ ВШЭ
Программа_Нейротехнологии_и_Сириус.pdf
142.7 KB
Друзья!
Рады вам сообщить, что уже в эту среду Алексей Осадчий выступит с лекцией на тему "Речевой интерфейс. Интраоперационное картирование речи" в рамках программы "Нейротехнологии с основами биоматериаловедения" университета Сириус. 🧠🌊 Присоединяйтесь к лекциям по ссылке.

С программой конференции можно ознакомиться в приложенном файле 👆🏻
139 viewsGrigoriy Khazankin, 
IEEE Siberia
Complex, costly charging infrastructure is limiting the adoption of EVs

https://spectrum.ieee.org/ev-charging-2671242103
IEEE Spectrum
We’re Charging Our Cars Wrong
Complex, costly charging infrastructure is limiting the adoption of EVs
136 viewsGrigoriy Khazankin, edited  
IEEE Siberia
Muse is a proof of concept for more consistent AI gameplay

https://spectrum.ieee.org/ai-video-games
IEEE Spectrum
Microsoft’s Muse AI Edits Video Games on the Fly
Muse is a proof of concept for more consistent AI gameplay
145 viewsGrigoriy Khazankin, edited  
IEEE Siberia
Starlink vs. Amazon's Kuiper: Battle of the Skies

https://spectrum.ieee.org/starlink-internet-kuiper-competition
IEEE Spectrum
UK Greenlights Amazon Kuiper, Starlink Faces New Rival
Last month, Ofcom granted Amazon’s Kuiper Systems a license to operate satellite-based broadband in the UK, challenging SpaceX Starlink's dominance. With only two prototypes in orbit, can Kuiper catch up? As the race heats up, will we see a shift from a single…
144 viewsGrigoriy Khazankin, edited  
IEEE Siberia
Forwarded from All about AI, Web 3.0, BCI
LeanAgent: the first lifelong learning agent for formal theorem proving in Lean.

LLMs have been integrated with interactive proof assistants like Lean for theorem proving with 100% accuracy.

So far, these LLMs cannot continuously generalize to new knowledge and struggle with advanced mathematics.

LeanAgent continuously learns and improves on ever-expanding mathematical knowledge without forgetting what it learned before. It has a curriculum learning strategy that optimizes the learning trajectory in terms of mathematical difficulty, a dynamic database for efficient management of evolving mathematical knowledge, and progressive training to balance stability and plasticity.

LeanAgent successfully proves 155 theorems across 23 diverse Lean repositories where formal proofs were previously missing, many from advanced mathematics. It proves challenging theorems in domains like abstract algebra and algebraic topology while showcasing a clear progression of learning from basic concepts to advanced topics.

LeanAgent achieves exceptional scores in stability and backward transfer, where learning new tasks improves performance on previously learned tasks. 

Code.
arXiv.org
LeanAgent: Lifelong Learning for Formal Theorem Proving
Large Language Models (LLMs) have been successful in mathematical reasoning tasks such as formal theorem proving when integrated with interactive proof assistants like Lean. Existing approaches...
125 viewsMark TheGuy, 
IEEE Siberia
Forwarded from ServerNews
Компания Texas Instruments анонсировала изделие MSPM0C1104 — это, как утверждается, самый компактный в мире микроконтроллер, выполненный на архитектуре Arm: площадь новинки составляет всего 1,38 мм2 (в исполнении DSBGA). Решение предназначено для использования в носимых медицинских приборах, персональных электронных гаджетах и других устройствах с жёстко ограниченным пространством внутри корпуса.
#hardware #texasinstruments #микроконтроллер #arm
#servernews @servernewsru

https://servernews.ru/1119654/?utm_source=nova&utm_medium=tg&utm_campaign=sn
ServerNews - все из мира больших мощностей
Texas Instruments представила самый маленький в мире Arm-микроконтроллер
Компания Texas Instruments анонсировала изделие MSPM0C1104 — это, как утверждается, самый компактный в мире микроконтроллер, выполненный на архитектуре Arm: площадь новинки составляет всего 1,38 мм2 (в исполнении DSBGA). Решение предназначено для использования…
133 viewsGrigoriy Khazankin, 
IEEE Siberia
Why "Normal" Engineers Are the Key to Great Teams - IEEE Spectrum
https://spectrum.ieee.org/10x-engineer
IEEE Spectrum
In Praise of “Normal” Engineers
Software engineer Charity Majors challenges the "10x engineer" myth, arguing that true productivity lies in team performance, not individual brilliance. She encourages building workplaces where "normal" engineers can thrive. Are we focusing too much on hiring…
1.2K viewsGrigoriy Khazankin, 
IEEE Siberia
IEEE Tech Frontiers
VIRTUAL EVENT SERIES

Join us at this engaging new quarterly virtual event series to discover how IEEE can help you stay up to date on the latest technological advancements and enhance your career. Register for upcoming events and view past events on-demand below. Sign up for our mailing list to be notified of opportunities to register for upcoming events.

https://events.ieee.org/tech-frontiers/
IEEE CEE
IEEE TECH FRONTIERS - IEEE CEE
[vc_row full_width=
116 viewsGrigoriy Khazankin, 
IEEE Siberia
With Gemini Robotics, Google Aims for Smarter Robots
DeepMind launches two new foundation models to help robots reason
https://spectrum.ieee.org/gemini-robotics
IEEE Spectrum
With Gemini Robotics, Google Aims for Smarter Robots
Google DeepMind's new AI models, built on Google's Gemini foundation model, are making robots fold origami and slam dunk tiny basketballs. Gemini Robotics can interpret and act on text, voice, and image data, while Gemini Robotics-ER excels in "embodied reasoning."…
111 viewsGrigoriy Khazankin, edited  
IEEE Siberia
High-performance computing, with much less code
| MIT News | Massachusetts Institute of Technology
https://news.mit.edu/2025/high-performance-computing-with-much-less-code-0313
MIT News
High-performance computing, with much less code
The “Exo 2” language allows programmers to write “schedules” that explicitly control how the compiler generates code. This allows performance engineers to transform simple programs into complex programs that do the same thing as the specification, but faster.
113 viewsGrigoriy Khazankin, edited  
IEEE Siberia
When did human language emerge?
| MIT News | Massachusetts Institute of Technology
https://news.mit.edu/2025/when-did-human-language-emerge-0314
MIT News
When did human language emerge?
Humans’ unique language capacity was present at least 135,000 years ago, according to a survey of genomic evidence. As such, language might have entered social use 100,000 years ago.
110 viewsGrigoriy Khazankin, edited  
IEEE Siberia
MIT engineers turn skin cells directly into neurons for cell therapy
| MIT News | Massachusetts Institute of Technology
https://news.mit.edu/2025/mit-engineers-turn-skin-cells-into-neurons-for-cell-therapy-0313
MIT News
MIT engineers turn skin cells directly into neurons for cell therapy
MIT researchers devised a process to convert a skin cell directly into a neuron, eliminating the need to generate induced pluripotent stem cells. Such neurons could be used to treat spinal cord injuries or diseases such as ALS.
129 viewsGrigoriy Khazankin, edited  
IEEE Siberia
Forwarded from Химия и Жизнь
Дешевый соперник квантового компьютера?

Спинтроника изучает магнитные явления в слоях магнитных материалов под действием магнитных полей и электрических токов. Физики умеют генерировать и контролировать пульсации намагниченности в нанослоях, так называемые спиновые волны. Немецкие ученые впервые экспериментально показали, что информация в сложных сетях может передаваться с помощью движения этих волн. Результатом исследования может стать следующее поколение машины Изинга, которая не требуют много энергии, работает при комнатной температуре и нужна для многих, в том числе ИИ применений. Особенно компактная машина пригодится для решения сложных оптимизационных задач. Она программируется силой связи между различными спинами, а решение задачи считывается как конечное направление всех спинов после их оптимального выравнивания.

Источник: Nature Physics

Канал автора: https://www.group-telegram.com/medneus
142 viewsGrigoriy Khazankin, 
IEEE Siberia
OpenAI предложила запретить языковые модели DeepSeek в США
https://3dnews.ru/1119798/openai-predlogila-zapretit-yazikovie-modeli-deepseek-v-ssha
3DNews - Daily Digital Digest
OpenAI предложила запретить языковые модели DeepSeek в США
Как это часто бывает с передовыми для Китая технологиями, разработки DeepSeek быстро нашли недоброжелателей за его пределами.
162 viewsGrigoriy Khazankin, 
IEEE Siberia
Forwarded from LIFT feed
Отличный обзор, где анализируются все ключевые проблемы инвазивных нейронных интерфейсов: как их компоненты инкапсулируются и деградируют внутри ткани при хронической имплантации, режимы отказов, причины, механизмы, клинические примеры. ЦНС и периферия. — Текст в открытом доступе, картинка огонь.

#tech | #modulation | #prosthesis
BioMed Central
Overcoming failure: improving acceptance and success of implanted neural interfaces - Bioelectronic Medicine
Implanted neural interfaces are electronic devices that stimulate or record from neurons with the purpose of improving the quality of life of people who suffer from neural injury or disease. Devices have been designed to interact with neurons throughout the…
112 viewsGrigoriy Khazankin, 
IEEE Siberia
Artificial muscle flexes in multiple directions, offering a path to soft, wiggly robots
| MIT News | Massachusetts Institute of Technology
https://news.mit.edu/2025/artificial-muscle-flexes-multiple-directions-offering-path-soft-wiggly-robots-0317
MIT News
Artificial muscle flexes in multiple directions, offering a path to soft, wiggly robots
MIT engineers developed a method to grow artificial muscle tissue that twitches and flexes in multiple, coordinated directions. These tissues could be useful for building “biohybrid” robots powered by soft, artificially grown muscle fibers.
118 viewsGrigoriy Khazankin, edited  
2025/06/30 19:43:54
Back to Top
HTML Embed Code: