Seaweed biomass offers significant potential for climate mitigation, but large-scale, autonomous open-ocean farms are required to fully exploit it. Such farms typically have low propulsion and are heavily influenced by ocean currents. We want to design a controller that maximizes seaweed growth over months by taking advantage of the non-linear time-varying ocean currents for reaching high-growth regions. The complex dynamics and underactuation make this challenging even when the currents are known. This is even harder when only short-term imperfect forecasts with increasing uncertainty are available. We propose a dynamic programming-based method to efficiently solve for the optimal growth value function when true currents are known. We additionally present three extensions when as in reality only forecasts are known: (1) our methods resulting value function can be used as feedback policy to obtain the growth-optimal control for all states and times, allowing closed-loop control equivalent to re-planning at every time step hence mitigating forecast errors, (2) a feedback policy for long-term optimal growth beyond forecast horizons using seasonal average current data as terminal reward, and (3) a discounted finite-time Dynamic Programming (DP) formulation to account for increasing ocean current estimate uncertainty. We evaluate our approach through 30-day simulations of floating seaweed farms in realistic Pacific Ocean current scenarios. Our method demonstrates an achievement of 95.8% of the best possible growth using only 5-day forecasts. This confirms the feasibility of using low-power propulsion and optimal control for enhanced seaweed growth on floating farms under real-world conditions.

Fox News Flash top headlines are here. Check out what's clicking on Foxnews.com. At a small section of the Fukushima Daiichi nuclear plant's central control room, the treated water transfer switch is on. A graph on a computer monitor nearby shows a steady decrease of water levels as treated radioactive wastewater is diluted and released into the Pacific Ocean. In the coastal area of the plant, two seawater pumps are in action, gushing torrents of seawater through sky blue pipes into the big header where the treated water, which comes down through a much thinner black pipe from the hilltop tanks, is diluted hundreds of times before the release.

It is a sparkling, sunny August morning in 2043, as your Air China flight from Beijing touches down gracefully (and almost silently) at LAX. The sleek plane is one of a new generation of hydrogen-powered wide-body jets manufactured by Commercial Aircraft Corp. of China -- the kind of innovation that helped the state-owned company sail past Boeing and Airbus in the 2030s to become the world's largest aerospace group. Starting with the Inflation Reduction Act in 2022, the last two decades have seen massive efforts to clean up transportation all around the United States and throughout the world. Back in the early 2020s, transportation accounted for 29% of America's greenhouse gas emissions, but that number has been steadily dwindling to almost zero -- resulting in cleaner cities everywhere. Not only have electric and hydrogen-powered vehicles replaced gas-guzzling cars, but many people have forsaken car-ownership altogether, in favor of much more economic and widely available solutions like e-bikes, robo-taxis and public transit.

In the last decade we have seen more robotics innovation becoming real products and companies than in the entire history of robotics. Furthermore, the greater Silicon Valley and San Francisco Bay Area is at the center of this'Cambrian Explosion in Robotics' as Dr Gill Pratt, Director of Robotics at Toyota Research Institute described it. In fact, two of the very first robots were developed right here. In 1969 at Stanford, Vic Sheinman designed the first electric robot arm able to be computer controlled. After successful pilots and interest from General Motors, Unimation acquired the concept and released the PUMA or Programmable Universal Machine for Assembly.

RNN-based methods have faced challenges in the Long-term Time Series Forecasting (LTSF) domain when dealing with excessively long look-back windows and forecast horizons. Consequently, the dominance in this domain has shifted towards Transformer, MLP, and CNN approaches. The substantial number of recurrent iterations are the fundamental reasons behind the limitations of RNNs in LTSF. To address these issues, we propose two novel strategies to reduce the number of iterations in RNNs for LTSF tasks: Segment-wise Iterations and Parallel Multi-step Forecasting (PMF). RNNs that combine these strategies, namely SegRNN, significantly reduce the required recurrent iterations for LTSF, resulting in notable improvements in forecast accuracy and inference speed. Extensive experiments demonstrate that SegRNN not only outperforms SOTA Transformer-based models but also reduces runtime and memory usage by more than 78%. These achievements provide strong evidence that RNNs continue to excel in LTSF tasks and encourage further exploration of this domain with more RNN-based approaches. The source code is coming soon.

The advent of large language models (LLMs) and their adoption by the legal community has given rise to the question: what types of legal reasoning can LLMs perform? To enable greater study of this question, we present LegalBench: a collaboratively constructed legal reasoning benchmark consisting of 162 tasks covering six different types of legal reasoning. LegalBench was built through an interdisciplinary process, in which we collected tasks designed and hand-crafted by legal professionals. Because these subject matter experts took a leading role in construction, tasks either measure legal reasoning capabilities that are practically useful, or measure reasoning skills that lawyers find interesting. To enable cross-disciplinary conversations about LLMs in the law, we additionally show how popular legal frameworks for describing legal reasoning -- which distinguish between its many forms -- correspond to LegalBench tasks, thus giving lawyers and LLM developers a common vocabulary. This paper describes LegalBench, presents an empirical evaluation of 20 open-source and commercial LLMs, and illustrates the types of research explorations LegalBench enables.

Extreme weather events pose significant challenges, thereby demanding techniques for accurate analysis and precise forecasting to mitigate its impact. In recent years, deep learning techniques have emerged as a promising approach for weather forecasting and understanding the dynamics of extreme weather events. This review aims to provide a comprehensive overview of the state-of-the-art deep learning in the field. We explore the utilization of deep learning architectures, across various aspects of weather prediction such as thunderstorm, lightning, precipitation, drought, heatwave, cold waves and tropical cyclones. We highlight the potential of deep learning, such as its ability to capture complex patterns and non-linear relationships. Additionally, we discuss the limitations of current approaches and highlight future directions for advancements in the field of meteorology. The insights gained from this systematic review are crucial for the scientific community to make informed decisions and mitigate the impacts of extreme weather events.

One day after California green-lighted a massive expansion of driverless robotaxis in San Francisco, the implications became clear. At about 11 p.m. Friday, as many as 10 Cruise driverless taxis blocked two narrow streets in the center of the city's lively North Beach bar and restaurant district. All traffic came to a standstill up Vallejo Street and around two corners on Grant. Human-driven cars sat stuck behind and in between the robotaxis, which might as well have been boulders: no one knew how to move them. The cars sat motionless with parking lights flashing for 15 minutes, then woke up and moved on, witnesses said.

The recovery of time-varying graph signals is a fundamental problem with numerous applications in sensor networks and forecasting in time series. Effectively capturing the spatio-temporal information in these signals is essential for the downstream tasks. Previous studies have used the smoothness of the temporal differences of such graph signals as an initial assumption. Nevertheless, this smoothness assumption could result in a degradation of performance in the corresponding application when the prior does not hold. In this work, we relax the requirement of this hypothesis by including a learning module. We propose a Time Graph Neural Network (TimeGNN) for the recovery of time-varying graph signals. Our algorithm uses an encoder-decoder architecture with a specialized loss composed of a mean squared error function and a Sobolev smoothness operator.TimeGNN shows competitive performance against previous methods in real datasets.

In dense traffic scenarios, ensuring safety while keeping high task performance for autonomous driving is a critical challenge. To address this problem, this paper proposes a computationally-efficient spatiotemporal receding horizon control (ST-RHC) scheme to generate a safe, dynamically feasible, energy-efficient trajectory in control space, where different driving tasks in dense traffic can be achieved with high accuracy and safety in real time. In particular, an embodied spatiotemporal safety barrier module considering proactive interactions is devised to mitigate the effects of inaccuracies resulting from the trajectory prediction of other vehicles. Subsequently, the motion planning and control problem is formulated as a constrained nonlinear optimization problem, which favorably facilitates the effective use of off-the-shelf optimization solvers in conjunction with multiple shooting. The effectiveness of the proposed ST-RHC scheme is demonstrated through comprehensive comparisons with state-of-the-art algorithms on synthetic and real-world traffic datasets under dense traffic, and the attendant outcome of superior performance in terms of accuracy, efficiency and safety is achieved.