'This is an apartheid regime' Israeli soldiers and settlers have killed at least 11 Palestinians across Gaza and the occupied West Bank, according to Palestinian officials and local media, in the latest bloodshed to occur during a "ceasefire" announced in October. In Gaza, at least seven Palestinians were killed in a series of Israeli attacks, including a child who died from injuries sustained days earlier, while 21 were reported on Tuesday to have been injured over a 24-hour period. Another Palestinian man was later killed on Tuesday in an Israeli drone attack near the Sheikh Nasser neighbourhood, east of Khan Younis. In northern Gaza, a Palestinian woman was killed when Israeli naval forces shelled tents sheltering displaced families northwest of Beit Lahiya. Verified video obtained by Al Jazeera showed the body of Abdullah Dawas, a child wrapped in white cloth for burial, after he succumbed to injuries 10 days after being shot in the head near al-Fakhoura clinic in northern Gaza's Jabalia refugee camp.

In biology, defects are generally bad. But in materials science, defects can be intentionally tuned to give materials useful new properties. Today, atomic-scale defects are carefully introduced during the manufacturing process of products like steel, semiconductors, and solar cells to help improve strength, control electrical conductivity, optimize performance, and more. But even as defects have become a powerful tool, accurately measuring different types of defects and their concentrations in finished products has been challenging, especially without cutting open or damaging the final material. Without knowing what defects are in their materials, engineers risk making products that perform poorly or have unintended properties.

How do you go about integrating causal knowledge into decision systems or agents? We sat down with Matteo Ceriscioli to find out about his research in this space. This interview is the latest in our series featuring the AAAI/SIGAI Doctoral Consortium participants. Could you start by telling us a bit about your PhD - where are you studying, and what's the broad topic of your research? The idea is to integrate causal knowledge into agents or decision systems to make them more reliable.

What I've learned from 25 years of automated science, and what the future holds: an interview with Ross King We're excited to launch our new series, where we're speaking with leading researchers to explore the breakthroughs driving AI and the reality of the future promises - to give you an inside perspective on the headlines. Our first interviewee is Ross King, who created the first robot scientist back in 2009. He spoke to us about the nature of scientific discovery, the role AI has to play, and his recent work in DNA computing. Automated science is a really exciting area, and it feels like everyone's talking about it at the moment - e.g. But you've been working in this field for many years now. In 2009 you developed Adam, the first robot scientist to generate novel scientific knowledge. Could you tell me some more about that? So the history goes back to before Adam.

RoboCup is an international competition that promotes and advances robotics and AI through the challenges presented by its various leagues. We got the chance to sit down with Professor Manuela Veloso, one of RoboCup's founders, to find out more about how it all started, how the community has grown over the years, and the vision for the future. I think it would be very interesting to go right back to the beginning and hear how RoboCup got started. What was the initial idea, and how did it get set up? So we are talking about the mid-90s. In terms of the research in those days, it was the beginning of the internet and many AI and computer science researchers were focused on the internet, first on sophisticated search algorithms, on natural language understanding, on information retrieval, and then on software agents and machine learning applied to digital information. From what I recall, there was a smaller group of researchers who were interested in actual, physical robots, and in particular in AI and robotics.

In their paper LLMasMMKG: LLM Assisted Synthetic Multi-Modal Knowledge Graph Creation For Smart City Cognitive Digital Twins, which was published in the AAAI Fall Symposium series, and introduced an approach that leverages large language models to automate the construction of synthetic multi-modal knowledge graphs specifically designed for a smart city cognitive digital twin. Here, Sukanya tells us more about cognitive digital twins, the framework they employed, and some key results. Could you start by introducing the idea of smart city cognitive digital twins and why this is an interesting area for study? Cities grow increasingly complex and interconnected, demanding sophisticated tools for management. A cognitive digital twin (CDT) serves as an AI-enabled virtual replica that models the dynamic interplay of physical and social systems, enabling simulations, predictions, and optimized operations.

In this interview series, we're meeting some of the AAAI/SIGAI Doctoral Consortium participants to find out more about their research. We sat down with Abdelrahman Sayed Sayed to chat about his work on formal verification applied to autonomous vehicles. Could you tell us a bit about where you're studying and the broad topic of your research? My PhD topic is formal verification of neural ODE (ordinary differential equations) for safety evaluation in autonomous vehicles. Could you say something about formal verification and why it's such an important topic?

Amazon Alexa+ introduced voice-powered food ordering through Uber Eats and Grubhub, letting users build and modify delivery orders hands-free on Echo devices.

Taylor Sheridan's new war movie gets major update, legendary director attached LPGA star Nelly Korda sizzles on the beach, Dems won't stop dancing & Gia Duddy whips up a bikini lunch Paige Spiranac provides an update on'Great Cans' saga, fan's still MIA but others have picked up the slack Ivanka Trump has the angry libs on high alert as she slides into an amazing dress, Waffle House chaos & MEAT! Donald Trump makes odd'hair' comment to Danica Patrick at TPUSA event Islamabad enters'red zone' lockdown ahead of expected US-Iran peace talks Holocaust survivor known as'Crossing Guard Diva' goes viral for glam style House Ethics Committee weighs action against Rep. Cherfilus-McCormick'Sinister' links suspected in mysterious deaths of scientists Welcome to the numerous new Screencaps readers - trust me, you have to give this column two weeks to understand what's going on If you are one of the hundreds of thousands of new Screencaps readers who found this column on Monday, welcome back. You're about to become hooked. Just go ahead and clear your daily schedule at 9 a.m. for America's Best Daily Column, as named by the readers who've been with me for years. In some cases, readers have been with me for over a decade. This column is their talk radio.

John Ternus ascends the throne - but Cook will stay on to manage tech giant's foreign policy as executive chair Tim Cook becomes Apple's elder statesman Apple announced late on Monday that Tim Cook will step down as CEO but will not leave the iPhone maker. Head of hardware engineering John Ternus will succeed him on 1 September. "I love Apple with all of my being," Cook said in a press release announcing his succession. Cook, 65, who succeeded Apple co-founder Steve Jobs, has been CEO since 2011. With a reputation for operational and supply chain management, he has overseen the global expansion of the company and its steady series of new, updated devices, though he never attained the same visionary status as Jobs.