Collaborative effort supports an MIT resilient to the impacts of extreme heat

Collaborative effort supports an MIT resilient to the impacts of extreme heat

Warmer weather can be a welcome change for many across the MIT community. But as climate impacts intensify, warm days are often becoming hot days with increased severity and frequency. Already this summer, heat waves in June and July brought daily highs of over 90 degrees Fahrenheit. According to the Resilient Cambridge report published in 2021, from the 1970s to 2000, data from the Boston Logan International Airport weather station reported an average of 10 days of 90-plus temperatures each year. Now, simulations are predicting that, in the current time frame of 2015-44, the number of days above 90 F could be triple the 1970-2000 average. 

While the increasing heat is all but certain, how institutions like MIT will be affected and how they respond continues to evolve. “We know what the science is showing, but how will this heat impact the ability of MIT to fulfill its mission and support its community?” asks Brian Goldberg, assistant director of the MIT Office of Sustainability. “What will be the real feel of these temperatures on campus?” These questions and more are guiding staff, researchers, faculty, and students working collaboratively to understand these impacts to MIT and inform decisions and action plans in response.

This work is part of developing MIT’s forthcoming Climate Resiliency and Adaptation Roadmap, which is called for in MIT’s climate action plan, and is co-led by Goldberg; Laura Tenny, senior campus planner; and William Colehower, senior advisor to the vice president for campus services and stewardship. This effort is also supported by researchers in the departments of Urban Studies and Planning, Architecture, and Electrical Engineering and Computer Science (EECS), in the Urban Risk Lab and the Senseable City Lab, as well as by staff in MIT Emergency Management and Housing and Residential Services. The roadmap — which builds upon years of resiliency planning and research at MIT — will include an assessment of current and future conditions on campus as well as strategies and proposed interventions to support MIT’s community and campus in the face of increasing climate impacts.

A key piece of the resiliency puzzle

When the City of Cambridge released their Climate Change Vulnerability Assessment in 2015, the report identified flooding and heat as primary resiliency risks to the city. In response, Institute staff worked together with the city to create a full picture of potential flood risks to both Cambridge and the campus, with the latter becoming the MIT Climate Resiliency Dashboard. The dashboard, published in the MIT Sustainability DataPool, has played an important role in campus planning and resiliency efforts since its debut in 2021, but heat has been a missing piece of the tool. This is largely because for heat, unlike flooding, few data exist relative to building-level impacts. The original assessment from Cambridge showed a model of temperature averages that could be expected in portions of the city, but understanding the measured heat impacts down to the building level is essential because impacts of heat can vary so greatly. “Heat also doesn’t conform to topography like flooding, making it harder to map it with localized specificity,” notes Tenny. “Microclimates, humidity levels, shade or sun aspect, and other factors contribute to heat risk.”

Collection efforts have been underway for the past three years to fill in this gap in baseline data. Members of the Climate and Resiliency Adaptation Roadmap team and partners have helped build and place heat sensors to record and analyze data. The current heat sensors, which are shoebox-shaped devices on tripods, can be found at multiple outdoor locations on campus during the summer, capturing and recording temperatures multiple times each hour. “Urban environmental phenomena are hyperlocal. While National Weather Service readouts at locations like Logan Airport are extremely valuable, this gives us a more high-resolution understanding of the urban microclimate on our campus,” notes Sanjana Paul, past technical associate with Senseable City and current graduate student in the Department of Urban Studies and Planning who helps oversee data collection and analysis.

After collection, temperature data are analyzed and mapped. The data will soon be published in the updated Climate Resiliency Dashboard and will help inform actions through the Climate Resiliency and Adaptation Roadmap, but in the meantime, the information has already provided some important insights. “There were some parts of campus that were much hotter than I expected,” explains Paul. “Some of the temperature readings across campus were regularly going over 100 degrees during heat waves. It’s a bit surprising to see three digits on a temperature reading in Cambridge.” Some strategies are also already being put into action, including planting more trees to support the urban campus forest and launching cooling locations around campus to open during days of extreme heat.

As data gathering enters its fourth summer, partners continue to expand. Senseable City first began capturing data in 2021 using sensors placed on MIT Recycling trucks, and the Urban Risk Lab has offered community-centered temperature data collection with the help of its director and associate professor of architecture, Miho Mazereeuw. More recently, students in course 6.900 (Engineering for Impact) worked to design heat sensors to aid in the data collection and grow the fleet of sensors on campus. Co-instructed by EECS senior lecturer Joe Steinmeyer and EECS professor Joel Voldman, students in the course were tasked with developing technology to solve challenges close at hand. “One of the goals of the class is to tackle real-world problems so students emerge with confidence as an engineer,” explains Voldman. “Having them work on a challenge that is outside their comfort zone and impacts them really helps to engage and inspire them.” 

Centering on people

While the temperature data offer one piece of the resiliency planning puzzle, knowing how these temperatures will affect community members is another. “When we look at impacts to our campus from heat, people are the focus,” explains Goldberg. “While stress on campus infrastructure is one factor we are evaluating, our primary focus is the vulnerability of people to extreme heat.” Impacts to community members can range from disrupted nights of sleep to heat-related illnesses.

As the team looked at the data and spoke with individuals across campus, it became clear that some community members might be more vulnerable than others to the impact of extreme heat days, including ground, janitorial, and maintenance crews who work outside; kitchen staff who work close to hot equipment; and student athletes exerting themselves on hot days. “We know that people on our campus are already experiencing these extreme heat days differently,” explains Susy Jones, senior sustainability project manager in the Office of Sustainability who focuses on environmental and climate justice. “We need to design strategies and augment existing interventions with equity in mind, ensuring everyone on campus can fulfill their role at MIT.”

To support those strategy decisions, the resiliency team is seeking additional input from the MIT community. One hoped-for outcome of the roadmap and dashboard is for community members to review them and offer their own insight and experiences of heat conditions on campus. “These plans need to work at the campus level and the individual,” says Goldberg. “The data tells an important story, but individuals help us complete the picture.”

A model for others

As the dashboard update nears completion and the broader resiliency and adaptation roadmap of strategies launches, their purpose is twofold: help MIT develop and inform plans and procedures for mitigating and addressing heat on campus, and serve as a model for other universities and communities grappling with the same challenges. “This approach is the center of how we operate at MIT,” explains Director of Sustainability Julie Newman. “We seek to identify solutions for our own campus in a manner that others can learn from and potentially adapt for their own resiliency and climate planning purposes. We’re also looking to align with efforts at the city and state level.” By publishing the roadmap broadly, universities and municipalities can apply lessons and processes to their own spaces.

When the updated Climate Resiliency Dashboard and Climate Resiliency and Adaptation Roadmap go live, it will mark the beginning of the next phase of work, rather than an end. “The dashboard is designed to present these impacts in a way everyone can understand so people across campus can respond and help us understand what is needed for them to continue to fulfill their role at MIT,” says Goldberg. Uncertainty plays a big role in resiliency planning, and the dashboard will reflect that. “This work is not something you ever say is done,” says Goldberg. “As information and data evolves, so does our work.” 

Fallout Show Nominated For 16 Emmy Awards, Including Best Actor For Walton Goggins

Fallout Show Nominated For 16 Emmy Awards, Including Best Actor For Walton Goggins

Fallout, a TV adaptation of the popular post-apocalyptic video game series, was released on Amazon Prime this past April. Video game adaptations can be a bit of a mixed bag sometimes, but in this case, fans and critics alike (us included) loved its characters, world-building, and its overall take on the Fallout universe. It should come as no surprise, then, that the show has been nominated in numerous categories at the 2024 Emmy Awards.

Fallout was nominated in 16 categories, but two of them are particularly exciting. First, the show is one of eight nominees for Outstanding Drama Series, ranking it among other big shows of 2024, like Shōgun, which currently leads the pack with 25 nominations. Secondly, Walton Goggins was nominated for Outstanding Lead Actor In A Drama Series for his portrayal of The Ghoul. This is his second Emmy nomination – the first being for Supporting Actor on the show Justified back in 2011.

Here’s a full list of the show’s nominations:

  • Outstanding Fantasy/Sci-Fi Costumes

  • Outstanding Stunt Coordination For Drama Programming

  • Outstanding Production Design For A Narrative Period Or Fantasy Program (One Hour Or More)

  • Outstanding Picture Editing For A Drama Series

  • Outstanding Picture Editing For A Drama Series

  • Outstanding Main Title Design

  • Outstanding Period Or Fantasy/Sci-Fi Makeup (Non-Prosthetic)

  • Outstanding Prosthetic Makeup

  • Outstanding Lead Actor In A Drama Series

  • Outstanding Drama Series

  • Outstanding Sound Editing For A Comedy Or Drama Series (One Hour)

  • Outstanding Sound Mixing For A Comedy Or Drama Series (One Hour)

  • Outstanding Special Visual Effects In A Season Or A Movie

  • Outstanding Stunt Performance

  • Outstanding Writing For A Drama Series

  • Outstanding Music Supervision

Last year’s Emmy Awards had video game representation as well, with HBO’s The Last of Us, which earned a total of eight awards. Whether or not Fallout manages to reach that level of prestige, it’s already been renewed for a season 2, so fans of the series can look forward to a return to the wasteland sometime soon. To see all of this year’s Emmy nominations, click here.

Nintendo Is Raising The Famicom Detective Club Series From The Dead With Emio – The Smiling Man

Nintendo Is Raising The Famicom Detective Club Series From The Dead With Emio – The Smiling Man

Nintendo is, relatively speaking, a family-oriented company. Their games are aimed at kids, their parents, and everyone in between with bright colors, wholesome storytelling, and extremely approachable game design. That said, there are exceptions to this rule, like in this creepy 15-second teaser uploaded to the company’s YouTube channel last week. A man in a trench coat wearing a paper bag with a smile drawn on it stares into the camera while a distorted music box plays in the background. The only additional context we got was the hashtag #WhoIsEmio, leaving fans scrambling to figure out what exactly this was hinting at.

Today, that mystery has been cleared up. Emio, also known as “The Smiling Man,” is the star of a new game in the Famicom Detective Club series, which hasn’t had a new entry in 35 years. The game was revealed today alongside a video featuring series producer Yoshio Sakamoto, who wrote the first two games and went on to direct titles like Super Metroid and Metroid: Zero Mission. According to him, they decided to make this new entry during their time developing the Famicom Detective Club remakes back in 2021.

“In Emio – The Smiling Man: Famicom Detective Club, a student has been found dead in a chilling fashion, his head covered with a paper bag with an eerie smiling face drawn on it,” a press release reads. “This unsettling visage bears a striking resemblance to a recurring clue in a string of unsolved murders from 18 years ago, as well as Emio (the Smiling Man), a killer of urban legend who is said to grant his victims ‘a smile that will last forever.'” Players will assume the role of a private investigator and set out to solve the case and stop the killer for good.

Emio – The Smiling Man: Famicom Detective Club will be released for the Nintendo Switch next month, on August 29. Hopefully, the titular killer won’t murder too many people before then.


Are you excited to see this series revived? Let us know in the comments!

Math program promotes global community for at-risk Ukrainian high schoolers

Math program promotes global community for at-risk Ukrainian high schoolers

When Sophia Breslavets first heard about Yulia’s Dream, the MIT Department of Mathematics’ Program for Research in Mathematics, Engineering, and Science (PRIMES) for Ukrainian students, Russia had just invaded her country, and she and her family lived in a town 20 miles from the Russian border.

Breslavets had attended a school that emphasized mathematics and physics, took math classes on weekends and during summer breaks, and competed in math Olympiads. “Math was really present in our lives,” she says. 

But the war shifted her studies to online. “It still wasn’t like a fully functioning online school,” she recalls. “You can’t socialize.”

So she was grateful to be accepted to the MIT program in 2022. “Yulia’s Dream was a great thing to happen to me personally, because in the beginning, when the war was just starting, I didn’t know what to do. This was just a great thing to take your mind off of what’s going on outside your window, and you can just kind of get yourself into that and know that you have some work to do, and that was huge.”

Second time around

Breslavets just finished up her second year in the online enrichment program, which offers small-group math instruction in their native language and in English to Ukrainian high schoolers by mentors from around the world. Students wrap up the program by presenting their papers at a conference; several of those papers are published on arXiv.org. This year’s conference featured a guest talk by Professor Pavlo Pylyavskyy of the University of Minnesota Twin Cities, who discussed “Incidences and Tilings,” a joint work with Professor Sergey Fomin of the University of Michigan.

The PRIMES program first organized Yulia’s Dream in 2022, named in memory of Yulia Zdanovska, a talented mathematician and computer scientist who was a teacher with Teach for Ukraine. She was 21 when she was killed in 2022 during Russian shelling in her home city of Kharkiv.

The program fulfills one of PRIMES’s goals, to expose students to the world community of research mathematics by connecting them with early-career mentors. Students must solve a challenging entrance problem set and are then referred by Ukrainian math teachers and leaders at math competitions and math camps.

Yulia’s Dream is coordinated by Dmytro Matvieievskyi, a postdoc at the Kavli Institute in Tokyo, who graduated from School #27 of Kharkiv, and is a recipient of the Bronze medal at the 2012 International Math Olympiad (IMO) as part of the Ukraine Team.

In its first year, from 2022 to 2023, the program drew 48 students in Phase I (reading) and 33 students in Phase II (reading and research). “Our expectation for 2022-23 was that each of six research groups would produce a research paper, and they all did, and one group continued working and produced an extra paper a few months after, for a total of seven papers. Three papers are now on arXiv.org, which is a mark of quality. This went beyond our expectations.”

This past year, the program provided guided reading and research supervision to 32 students. “We conduct thorough selection and provide opportunities to all Ukrainian students capable of doing advanced reading and/or research at the requisite level,” says PRIMES’s director Slava Gerovitch PhD ’99.

MIT pipeline

Several students participated in both years, and at least two have been accepted to MIT.

One of those students is two-time Yulia’s Dream participant Nazar Korniichuk, who had attended a high school in Kyiv that specialized in mathematics and physics when his education was disrupted by the war. 

“I was confused and did not know which way I should go,” he recalls. “But then I saw the program Yulia’s Dream, and the desire to try real mathematical research ignited.”

In his first year in the program, participation was a challenge. “On the one hand, it was very difficult, because in certain periods there was no electricity and no water. There was always stress and uncertainty about tomorrow. But on the other hand, because there was a war, it motivated me to do mathematics even more, especially during periods when there was no electricity or water.”

He did complete his paper, with Kostiantyn Molokanov and Severyn Khomych, and with mentor Darij Grinberg PhD ’16, a professor of mathematics at Drexel University: “The Pak–Postnikov and Naruse skew hook length formulas: A new proof” (2 Oct 2023; arXiv.org, 27 Oct 2023).

Korniichuk completed his second round from his new home in Newton, Massachusetts, to which his family had migrated last summer. At the recent conference, he presented his paper, with co-authors Kostiantyn Molokanov and Severyn Khomych, “Affine root systems via Lyndon words,” that they worked on with mentor Professor Oleksandr Tsymbaliuk of Purdue University.

“Yulia’s Dream was a very unique experience for me,” says Korniichuk, who plans to study math and computer science at MIT. “I had the opportunity to work on a difficult topic for a long time and then take part in writing an article. Although these years have been difficult, this program encouraged me to go forward.”

Real research

What makes the program work is providing a university level of instruction in mathematics research, to prepare high school students for top mathematics programs. In this case, it provides Ukrainian students an alternative route to reach their educational goals.

The core philosophy of the Yulia’s Dream experience is to provide “the best possible approximation to real mathematical research,” math professor and PRIMES chief research advisor Pavel Etingof told attendees at the 2024 conference. Etingof was born in Ukraine.

“In particular, all projects have to be real — i.e., of interest to professional research mathematicians — and the reading groups should be a bridge towards real mathematics as well. Also, the time frame of Yulia’s Dream is closer to that of real mathematical research than it is in any other high school research program: the students work on their projects for a whole year!”

Other principles include an emphasis on writing and collaboration, with students working on teams with undergraduates, graduate students, postdocs, and faculty. There is also an emphasis on computer-assisted math, which “not only allows participation of high school students as equal members of our research teams, but also allows them to grasp abstract mathematical notions more easily,” says Pavel. “If such notions (such as group, ring, module, etc.) have an incarnation in the familiar digital world, they are less scary.”

Breslavets says that she especially appreciates the collaboration part of the program. Now 16, Breslavets just finished her second year with Yulia’s Dream, and with Andrii Smutchak presented “Double groupoids,” as mentored by University of Alberta professor Harshit Yadav. She says that they began working on the paper in October, and it took about three months to write. 

This year’s session was easier for her to participate in, because in summer 2022, her parents found her a host family in Connecticut so that she could transfer to St. Bernard’s School. Even with her new school’s great curriculum, she is grateful for the Yulia’s Dream program.

“Our high school program is considered to be advanced, and we have a class that’s called math research, but it’s definitely not the same, because [with Yulia’s Dream] you’re working with people who actually do that for a living,” she says. “I learned a lot from both of my mentors. It’s so collaborative. They can give you feedback, and they can be honest about it.”  

She says she misses her Ukrainian math community, which drifted apart after the Covid-19 pandemic and because of the war, but reports finding a new one with Yulia’s Dream. “I actually met a lot of new people,” she says.

Group collaboration is a huge goal for PRIMES director Slava Gerovitch.

“Yulia’s Dream reflects the international nature of the mathematical community, with the mentors coming from different countries and working together with the students to advance knowledge for the whole of humanity. Our hope is that our students grow and mature as scholars and help rebuild the intellectual potential of Ukraine after the devastating war,” says Gerovitch.

Applications for next year’s program are now open. Math graduate students and postdocs are also invited to apply to be a mentor. Weekly meetings begin in October, and culminate in a June 2025 conference to present papers.

Astronomers spot a highly “eccentric” planet on its way to becoming a hot Jupiter

Astronomers spot a highly “eccentric” planet on its way to becoming a hot Jupiter

Hot Jupiters are some of the most extreme planets in the galaxy. These scorching worlds are as massive as Jupiter, and they swing wildly close to their star, whirling around in a few days compared to our own gas giant’s leisurely 4,000-day orbit around the sun.

Scientists suspect, though, that hot Jupiters weren’t always so hot and in fact may have formed as “cold Jupiters,” in more frigid, distant environs. But how they evolved to be the star-hugging gas giants that astronomers observe today is a big unknown.

Now, astronomers at MIT, Penn State University, and elsewhere have discovered a hot Jupiter “progenitor” — a sort of juvenile planet that is in the midst of becoming a hot Jupiter. And its orbit is providing some answers to how hot Jupiters evolve.

The new planet, which astronomers labeled TIC 241249530 b, orbits a star that is about 1,100 light-years from Earth. The planet circles its star in a highly “eccentric” orbit, meaning that it comes extremely close to the star before slinging far out, then doubling back, in a narrow, elliptical circuit. If the planet was part of our solar system, it would come 10 times closer to the sun than Mercury, before hurtling out, just past Earth, then back around. By the scientists’ estimates, the planet’s stretched-out orbit has the highest eccentricity of any planet detected to date.

The new planet’s orbit is also unique in its “retrograde” orientation. Unlike the Earth and other planets in the solar system, which orbit in the same direction as the sun spins, the new planet travels in a direction that is counter to its star’s rotation.

The team ran simulations of orbital dynamics and found that the planet’s highly eccentric and retrograde orbit are signs that it is likely evolving into a hot Jupiter, through “high-eccentricity migration” — a process by which a planet’s orbit wobbles and progressively shrinks as it interacts with another star or planet on a much wider orbit.

In the case of TIC 241249530 b, the researchers determined that the planet orbits around a primary star that itself orbits around a secondary star, as part of a stellar binary system. The interactions between the two orbits — of the planet and its star — have caused the planet to gradually migrate closer to its star over time.

The planet’s orbit is currently elliptical in shape, and the planet takes about 167 days to complete a lap around its star. The researchers predict that in 1 billion years, the planet will migrate into a much tighter, circular orbit, when it will then circle its star every few days. At that point, the planet will have fully evolved into a hot Jupiter.

“This new planet supports the theory that high eccentricity migration should account for some fraction of hot Jupiters,” says Sarah Millholland, assistant professor of physics in MIT’s Kavli Institute for Astrophysics and Space Research. “We think that when this planet formed, it would have been a frigid world. And because of the dramatic orbital dynamics, it will become a hot Jupiter in about a billion years, with temperatures of several thousand kelvin. So it’s a huge shift from where it started.”

Millholland and her colleagues have published their findings today in the journal Nature. Her co-authors are MIT undergraduate Haedam Im, lead author Arvind Gupta of Penn State University and NSF NOIRLab, and collaborators at multiple other universities, institutions, and observatories.

“Radical seasons”

The new planet was first spotted in data taken by NASA’s Transiting Exoplanet Survey Satellite (TESS), an MIT-led mission that monitors the brightness of nearby stars for “transits,” or brief dips in starlight that could signal the presence of a planet passing in front of, and temporarily blocking, a star’s light.

On Jan. 12, 2020, TESS picked up a possible transit of the star TIC 241249530. Gupta and his colleagues at Penn State determined that the transit was consistent with a Jupiter-sized planet crossing in front of the star. They then acquired measurements from other observatories of the star’s radial velocity, which estimates a star’s wobble, or the degree to which it moves back and forth, in response to other nearby objects that might gravitationally tug on the star.

Those measurements confirmed that a Jupiter-sized planet was orbiting the star and that its orbit was highly eccentric, bringing the planet extremely close to the star before flinging it far out.

Prior to this detection, astronomers had known of only one other planet, HD 80606 b, that was thought to be an early hot Jupiter. That planet, discovered in 2001, held the record for having the highest eccentricity, until now.

“This new planet experiences really dramatic changes in starlight throughout its orbit,” Millholland says. “There must be really radical seasons and an absolutely scorched atmosphere every time it passes close to the star.”

“Dance of orbits”

How could a planet have fallen into such an extreme orbit? And how might its eccentricity evolve over time? For answers, Im and Millholland ran simulations of planetary orbital dynamics to model how the planet may have evolved throughout its history and how it might carry on over hundreds of millions of years.

The team modeled the gravitational interactions between the planet, its star, and the second nearby star. Gupta and his colleagues had observed that the two stars orbit each other in a binary system, while the planet is simultaneously orbiting the closer star. The configuration of the two orbits is somewhat like a circus performer twirling a hula hoop around her waist, while spinning a second hula hoop around her wrist.

Millholland and Im ran multiple simulations, each with a different set of starting conditions, to see which condition, when run forward over several billions of years, produced the configuration of planetary and stellar orbits that Gupta’s team observed in the present day. They then ran the best match even further into the future to predict how the system will evolve over the next several billion years.

These simulations revealed that the new planet is likely in the midst of evolving into a hot Jupiter: Several billion years ago, the planet formed as a cold Jupiter, far from its star, in a region cold enough to condense and take shape. Newly formed, the planet likely orbited the star in a circular path. This conventional orbit, however, gradually stretched and grew eccentric, as it experienced gravitational forces from the star’s misaligned orbit with its second, binary star.

“It’s a pretty extreme process in that the changes to the planet’s orbit are massive,” Millholland says. “It’s a big dance of orbits that’s happening over billions of years, and the planet’s just going along for the ride.”

In another billion years, the simulations show that the planet’s orbit will stabilize in a close-in, circular path around its star.

“Then, the planet will fully become a hot Jupiter,” Millholland says.

The team’s observations, along with their simulations of the planet’s evolution, support the theory that hot Jupiters can form through high eccentricity migration, a process by which a planet gradually moves into place via extreme changes to its orbit over time.

“It’s clear not only from this, but other statistical studies too, that high eccentricity migration should account for some fraction of hot Jupiters,” Millholland notes. “This system highlights how incredibly diverse exoplanets can be. They are mysterious other worlds that can have wild orbits that tell a story of how they got that way and where they’re going. For this planet, it’s not quite finished its journey yet.”

“It is really hard to catch these hot Jupiter progenitors ‘in the act’ as they undergo their super eccentric episodes, so it is very exciting to find a system that undergoes this process,” says Smadar Naoz, a professor of physics and astronomy at the University of California at Los Angeles, who was not involved with the study. “I believe that this discovery opens the door to a deeper understanding of the birth configuration of the exoplanetary system.”

Creating and verifying stable AI-controlled systems in a rigorous and flexible way

Creating and verifying stable AI-controlled systems in a rigorous and flexible way

Neural networks have made a seismic impact on how engineers design controllers for robots, catalyzing more adaptive and efficient machines. Still, these brain-like machine-learning systems are a double-edged sword: Their complexity makes them powerful, but it also makes it difficult to guarantee that a robot powered by a neural network will safely accomplish its task.

The traditional way to verify safety and stability is through techniques called Lyapunov functions. If you can find a Lyapunov function whose value consistently decreases, then you can know that unsafe or unstable situations associated with higher values will never happen. For robots controlled by neural networks, though, prior approaches for verifying Lyapunov conditions didn’t scale well to complex machines.

Researchers from MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) and elsewhere have now developed new techniques that rigorously certify Lyapunov calculations in more elaborate systems. Their algorithm efficiently searches for and verifies a Lyapunov function, providing a stability guarantee for the system. This approach could potentially enable safer deployment of robots and autonomous vehicles, including aircraft and spacecraft.

To outperform previous algorithms, the researchers found a frugal shortcut to the training and verification process. They generated cheaper counterexamples — for example, adversarial data from sensors that could’ve thrown off the controller — and then optimized the robotic system to account for them. Understanding these edge cases helped machines learn how to handle challenging circumstances, which enabled them to operate safely in a wider range of conditions than previously possible. Then, they developed a novel verification formulation that enables the use of a scalable neural network verifier, α,β-CROWN, to provide rigorous worst-case scenario guarantees beyond the counterexamples.

“We’ve seen some impressive empirical performances in AI-controlled machines like humanoids and robotic dogs, but these AI controllers lack the formal guarantees that are crucial for safety-critical systems,” says Lujie Yang, MIT electrical engineering and computer science (EECS) PhD student and CSAIL affiliate who is a co-lead author of a new paper on the project alongside Toyota Research Institute researcher Hongkai Dai SM ’12, PhD ’16. “Our work bridges the gap between that level of performance from neural network controllers and the safety guarantees needed to deploy more complex neural network controllers in the real world,” notes Yang.

For a digital demonstration, the team simulated how a quadrotor drone with lidar sensors would stabilize in a two-dimensional environment. Their algorithm successfully guided the drone to a stable hover position, using only the limited environmental information provided by the lidar sensors. In two other experiments, their approach enabled the stable operation of two simulated robotic systems over a wider range of conditions: an inverted pendulum and a path-tracking vehicle. These experiments, though modest, are relatively more complex than what the neural network verification community could have done before, especially because they included sensor models.

“Unlike common machine learning problems, the rigorous use of neural networks as Lyapunov functions requires solving hard global optimization problems, and thus scalability is the key bottleneck,” says Sicun Gao, associate professor of computer science and engineering at the University of California at San Diego, who wasn’t involved in this work. “The current work makes an important contribution by developing algorithmic approaches that are much better tailored to the particular use of neural networks as Lyapunov functions in control problems. It achieves impressive improvement in scalability and the quality of solutions over existing approaches. The work opens up exciting directions for further development of optimization algorithms for neural Lyapunov methods and the rigorous use of deep learning in control and robotics in general.”

Yang and her colleagues’ stability approach has potential wide-ranging applications where guaranteeing safety is crucial. It could help ensure a smoother ride for autonomous vehicles, like aircraft and spacecraft. Likewise, a drone delivering items or mapping out different terrains could benefit from such safety guarantees.

The techniques developed here are very general and aren’t just specific to robotics; the same techniques could potentially assist with other applications, such as biomedicine and industrial processing, in the future.

While the technique is an upgrade from prior works in terms of scalability, the researchers are exploring how it can perform better in systems with higher dimensions. They’d also like to account for data beyond lidar readings, like images and point clouds.

As a future research direction, the team would like to provide the same stability guarantees for systems that are in uncertain environments and subject to disturbances. For instance, if a drone faces a strong gust of wind, Yang and her colleagues want to ensure it’ll still fly steadily and complete the desired task. 

Also, they intend to apply their method to optimization problems, where the goal would be to minimize the time and distance a robot needs to complete a task while remaining steady. They plan to extend their technique to humanoids and other real-world machines, where a robot needs to stay stable while making contact with its surroundings.

Russ Tedrake, the Toyota Professor of EECS, Aeronautics and Astronautics, and Mechanical Engineering at MIT, vice president of robotics research at TRI, and CSAIL member, is a senior author of this research. The paper also credits University of California at Los Angeles PhD student Zhouxing Shi and associate professor Cho-Jui Hsieh, as well as University of Illinois Urbana-Champaign assistant professor Huan Zhang. Their work was supported, in part, by Amazon, the National Science Foundation, the Office of Naval Research, and the AI2050 program at Schmidt Sciences. The researchers’ paper will be presented at the 2024 International Conference on Machine Learning.

Nintendo World Championships: NES Edition Review – Impecunious Nostalgia – Game Informer

Nintendo World Championships: NES Edition Review – Impecunious Nostalgia – Game Informer

NES games are difficult to revisit. They’re easy to find and play, but they are showing their age and have been for some time. To play the original Legend of Zelda, for example, rewards a difficult-to-control, often obtuse puzzle game whose importance to the industry is undeniable, but its contemporary fun factor is low. Nintendo World Championships: NES Edition counters this with a strategy that WarioWare has been using to great effect since its inception: you only play classic Nintendo games for exactly as long as they’re fun – which in 2024 is anywhere from three seconds to a few minutes. The result is a game that lets you challenge yourself and experience the highlights of Nintendo’s ‘80s library without much need for commitment, but it’s not without its annoyances.

[embedded content]

Nintendo World Championships: NES Edition features a few modes, but they’re all built off the Speedrun Mode. In it, you play through a series of challenges that, at its lowest levels, force you to jump on a platform in Ice Climbers, to its highest levels, which might task you with beating a full dungeon in Zelda II: The Adventure of Link as fast as possible. Each of the 13 games has a handful of short challenges that range in difficulty. This is where I had the most fun, defeating a number of microgames based on a series of titles that most people probably only know for their appearances in Super Smash Bros.

Successfully completing challenges rewards coins, which can be used to unlock more challenges or avatar icons, but the economy of the unlocks is frustrating. I always felt I was scrounging for money to unlock the next challenge when I was getting A++ and the occasional S rating. If you want to exclusively challenge yourself, you have to do exceptionally well to see everything, and it is an unnecessary hurdle.

Thankfully, playing in the online modes rewards additional (and ultimately necessary) coins, and it is fun to compete with others’ high scores. You don’t compete live, like with Super Mario Bros. 35, but instead, play through a collection of the Speedrun games against other players’ ghosts. I like this approach as it lets you tackle the challenges at your own pace as often as you want without worrying about network connectivity.

Local multiplayer is a highlight, and I had an especially joyful experience playing with my child, who understandably has no nostalgia for this era of Nintendo games. It was borderline educational to see her slowly appreciate what is fun about these games, thanks to the bite-size presentation that never overstays its welcome. The microgames are also varied and offer enough practice options that I was rarely an automatic winner just because I am old. As a local party game for up to eight players, Nintendo World Championships: NES Edition is definitely a success thanks to its fast pace and nostalgia.

Though barebones, I also like the presentation and explanation of what the Nintendo World Championships is and were. Nintendo understands that, ideally, most players jumping into the game did not see 1989’s The Wizard and probably don’t know that before esports, there was this bizarre thing where people competed in single-player games. It was a different time.

I have my frustrations with the game’s coin system to unlock additional content, and unfortunately, most, if not all, of the games in the collection do not stand up to the test of time. But as a means to highlight Nintendo’s history, participate in some nostalgia with local friends, and play classic games for exactly as long as they’re fun, Nintendo World Championships: NES Edition succeeds in its intention.

AI-powered protection, redefining resilience – CyberTalk

AI-powered protection, redefining resilience – CyberTalk

EXECUTIVE SUMMARY:

At Check Point, on AI Appreciation Day, we’re reflecting on the pivotal role of artificial intelligence in cyber security.

Although AI provides new capabilities for cyber criminals, as Check Point expert Keely Wilkins points out, “AI is just the mechanism used to commit the crime.” If AI didn’t exist, cyber criminals would find other means of augmenting their schemes.

Check Point and AI

At Check Point, we’ve integrated AI-powered solutions into our product suite, redefining proactive cyber security. Our algorithms can analyze billions of data points in real-time, identifying novel threats before they surface as substantive issues.

These types of predictive capabilities, and other AI-powered advantages, are not only technologically impressive, but they’re also critical in a world where cyber attacks are listed as a top 5 global risk and where the attacks are becoming significantly more complex everyday.

AI, cyber security and CXOs

For C-suite executives, embracing AI in cyber security is a strategic imperative. AI in cyber can increase protection for sensitive data, lead to cost efficiencies and strengthen operational resilience. In greater detail, here’s what we mean:

  • Enhanced risk management. AI-powered cyber security solutions can zero in on potential vulnerabilities, predict threat vectors and prioritize threats based on potential impact. In turn, this empowers professionals to make more informed decisions regarding resource allocation and risk management approaches.
  • Cost efficiency and ROI. While the initial investment in AI-driven cyber security may be a challenge, the long-term cost savings can justify the expense. AI can automate many routine security tasks. As a result, organizations can ‘close the talent gap’ while minimizing human error, and reducing breaches, which can come with huge financial penalties. CXOs can leverage the aforementioned cost efficiencies to prove the value of AI security investments and to demonstrate a clear ROI to the board.
  • Compliance and regulatory adherence. AI can help organizations effectively maintain regulatory compliance. AI-powered cyber security systems can monitor for compliance violations, automate reporting processes and adapt to new regulatory rules.
  • Operational resilience. As previously alluded to, AI-powered cyber security can respond to threats in real-time, allowing for threat containment before escalation occurs. AI-powered tools are also known for their abilities launch recovery processes on their own, providing unprecedented resilience capabilities.

AI and the human element

It’s easy to envision a business environment where AI accounts for all cyber security tasks, with limited work left for humans. However, at this point in time, as Check Point expert Keely Wilkins explains, “AI is [still just] a tool that the human at the helm uses to perform a task,” it’s not a panacea, and it won’t replace humans altogether.

For example, although AI can flag potential threats and anomalies, human experts are still required to interpret the findings within the broader context of an organization’s operations and risk profile.

The future of cyber security is one where AI enhances human capabilities. At Check Point, we’re committed to developing AI solutions that empower human experts. For insights into Check Point’s AI-powered, cloud-delivered security solutions, click here.

For additional AI insights from Cyber Talk, click here. Lastly, to receive cyber security thought leadership articles, groundbreaking research and emerging threat analyses each week, subscribe to the CyberTalk.org newsletter.

Crocs And Pokémon Are Teaming Up Again With Four New Gen 1 Shoes

Crocs And Pokémon Are Teaming Up Again With Four New Gen 1 Shoes

Crocs and Pokémon are teaming up again for another collaboration, this time bringing four classic Generation 1 pocket monsters into the shoe line sometime this year. This news comes by way of Sole Retriever, which reports that Crocs is releasing four new pairs of shoes, each themed after a specific Kanto Pokémon: Charizard, Gengar, Snorlax, and Jigglypuff. 

Though there isn’t a release date for these Crocs yet – Sole Retriever simply reports 2024 – we know each will cost $70. While each pair has unique theming based on the Pokémon it’s representing, each pair of Crocs comes with Jibbitz, which are the detachable charms on the tops of the shoes, the classic Pokémon title on back of the shoe strap, and the classic Pokéball logo as the buttons holding each of the straps in place. 

Charizard

Gengar

Snorlax

Jigglypuff

Sole Retriever says these Crocs will be available through Crocs and online and in-store retailers. 

While waiting to learn more, read about an upcoming Nike x Tekken 8 shoe collaboration.

[Source: Sole Retriever]


Are you interested in picking up any of these Crocs? Let us know in the comments below!