aero
AERO: A Redirection-Based Optimization Framework Inspired by Judo for Robust Probabilistic Forecasting
Optimization remains a fundamental pillar of machine learning, yet existing methods often struggle to maintain stability and adaptability in dynamic, non linear systems, especially under uncertainty. We introduce AERO (Adversarial Energy-based Redirection Optimization), a novel framework inspired by the redirection principle in Judo, where external disturbances are leveraged rather than resisted. AERO reimagines optimization as a redirection process guided by 15 interrelated axioms encompassing adversarial correction, energy conservation, and disturbance-aware learning. By projecting gradients, integrating uncertainty driven dynamics, and managing learning energy, AERO offers a principled approach to stable and robust model updates. Applied to probabilistic solar energy forecasting, AERO demonstrates substantial gains in predictive accuracy, reliability, and adaptability, especially in noisy and uncertain environments. Our findings highlight AERO as a compelling new direction in the theoretical and practical landscape of optimization.
- Europe > United Kingdom > England > Cambridgeshire > Cambridge (0.04)
- Asia > India (0.04)
- Leisure & Entertainment > Sports > Martial Arts (0.61)
- Energy > Renewable > Solar (0.46)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Optimization (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Agents (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks > Deep Learning (0.94)
AERO: Softmax-Only LLMs for Efficient Private Inference
Jha, Nandan Kumar, Reagen, Brandon
The pervasiveness of proprietary language models has raised privacy concerns for users' sensitive data, emphasizing the need for private inference (PI), where inference is performed directly on encrypted inputs. However, current PI methods face prohibitively higher communication and latency overheads, primarily due to nonlinear operations. In this paper, we present a comprehensive analysis to understand the role of nonlinearities in transformer-based decoder-only language models. We introduce AERO, a four-step architectural optimization framework that refines the existing LLM architecture for efficient PI by systematically removing nonlinearities such as LayerNorm and GELU and reducing FLOPs counts. For the first time, we propose a Softmax-only architecture with significantly fewer FLOPs tailored for efficient PI. Furthermore, we devise a novel entropy regularization technique to improve the performance of Softmax-only models. AERO achieves up to 4.23$\times$ communication and 1.94$\times$ latency reduction. We validate the effectiveness of AERO by benchmarking it against the state-of-the-art.
- North America > United States > Virginia (0.04)
- North America > United States > New York (0.04)
- North America > Mexico > Gulf of Mexico (0.04)
- Asia > Middle East > Jordan (0.04)
- Information Technology > Artificial Intelligence > Natural Language > Large Language Model (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Statistical Learning (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks > Deep Learning (1.00)
Learning-based Trajectory Tracking for Bird-inspired Flapping-Wing Robots
Cai, Jiaze, Sangli, Vishnu, Kim, Mintae, Sreenath, Koushil
Bird-sized flapping-wing robots offer significant potential for agile flight in complex environments, but achieving agile and robust trajectory tracking remains a challenge due to the complex aerodynamics and highly nonlinear dynamics inherent in flapping-wing flight. In this work, a learning-based control approach is introduced to unlock the versatility and adaptiveness of flapping-wing flight. We propose a model-free reinforcement learning (RL)-based framework for a high degree-of-freedom (DoF) bird-inspired flapping-wing robot that allows for multimodal flight and agile trajectory tracking. Stability analysis was performed on the closed-loop system comprising of the flapping-wing system and the RL policy. Additionally, simulation results demonstrate that the RL-based controller can successfully learn complex wing trajectory patterns, achieve stable flight, switch between flight modes spontaneously, and track different trajectories under various aerodynamic conditions.
- Aerospace & Defense (0.94)
- Energy > Oil & Gas > Upstream (0.46)
From Chaos to Clarity: Time Series Anomaly Detection in Astronomical Observations
Hao, Xinli, Chen, Yile, Yang, Chen, Du, Zhihui, Ma, Chaohong, Wu, Chao, Meng, Xiaofeng
With the development of astronomical facilities, large-scale time series data observed by these facilities is being collected. Analyzing anomalies in these astronomical observations is crucial for uncovering potential celestial events and physical phenomena, thus advancing the scientific research process. However, existing time series anomaly detection methods fall short in tackling the unique characteristics of astronomical observations where each star is inherently independent but interfered by random concurrent noise, resulting in a high rate of false alarms. To overcome the challenges, we propose AERO, a novel two-stage framework tailored for unsupervised anomaly detection in astronomical observations. In the first stage, we employ a Transformer-based encoder-decoder architecture to learn the normal temporal patterns on each variate (i.e., star) in alignment with the characteristic of variate independence. In the second stage, we enhance the graph neural network with a window-wise graph structure learning to tackle the occurrence of concurrent noise characterized by spatial and temporal randomness. In this way, AERO is not only capable of distinguishing normal temporal patterns from potential anomalies but also effectively differentiating concurrent noise, thus decreasing the number of false alarms. We conducted extensive experiments on three synthetic datasets and three real-world datasets. The results demonstrate that AERO outperforms the compared baselines. Notably, compared to the state-of-the-art model, AERO improves the F1-score by up to 8.76% and 2.63% on synthetic and real-world datasets respectively.
- Asia > China > Beijing > Beijing (0.04)
- North America > United States > New Jersey (0.04)
- Europe > Germany > Bavaria > Upper Bavaria > Munich (0.04)
- Asia > Singapore (0.04)
- Research Report > New Finding (0.66)
- Research Report > Promising Solution (0.66)
How to improve verifiability of AI claims - Datascience.aero
From the perspective of technology companies, one of the greatest challenges to developing cutting edge technology is ensuring that the innovation budget receives significant recognition among users, regulators and other stakeholders. Receiving recognition sometimes means publishing papers in peer-reviewed magazines, presenting in conferences and preparing press releases that showcase the advancements in technology. Though companies can sometimes grow to be very "optimistic" of perceived progress, some claims of progress lack the necessary proofs to ensure that developments are relevant. While AI potential applications can be varied and diverse, making sure that a system is sound, scalable, uses available datasets and can perform in a real-world environment is a daunting task. Sometimes the proposed approaches fail in their methodology as the data is simply not available to support industrialisation of the system; or, the system is not safe and confidentiality concerns remain about how the data will be used.
Intel intros a ready-to-fly drone for software developers
Intel has introduced a quadcopter called Aero at its annual developers conference, and we'll bet you can guess its target audience based on the event. That's right, Aero was specifically designed not for hobbyists or for commercial purposes, but for developers who want to create and test apps for drones. The company said it's the "fastest path available from Intel for developers to get applications airborne." Aero is powered by an Atom processor and comes equipped with Intel's RealSense camera for vision. It's also preloaded with AirMap, an app that tells you where you can and can't fly, gives you real-time info on wildfires and the like, as well as gives you an easy way to plot routes.
- Transportation > Air (0.40)
- Information Technology > Software (0.40)
- Information Technology > Robotics & Automation (0.40)
Google co-founder pouring a ton of money into flying cars
Larry Page, the billionaire co-founder of Google, is secretly backing a pair of startups that are working on flying cars, according to a report. Since 2010, Page has poured more than 100 million into Zee.Aero, a company that lately has been testing two flying-car prototypes at an airport hangar in Hollister, Calif., Bloomberg said Thursday, citing sources. Since last year, Page also has been funding another flying-car startup called Kitty Hawk -- and has cast it as a rival to Zee.Aero as he stages a top-secret race to develop a new class of vehicles that can soar above traffic jams and sidestep the hassles of the airport, Bloomberg said. "Page has drawn a line separating his two flying-car teams," the report said. "It's common for the Zee.Aero engineers to speculate over lunch about what their Kitty Hawk counterparts are up to."
- North America > United States > California > San Benito County > Hollister (0.27)
- North America > United States > California > Santa Clara County > Mountain View (0.07)
- Transportation > Air (1.00)
- Information Technology > Robotics & Automation (1.00)
- Transportation > Infrastructure & Services > Airport (0.59)
Welcome to Larry Page's secret flying-car factories
Three years ago, Silicon Valley developed a fleeting infatuation with a startup called Zee.Aero. The company had set up shop right next to Google's headquarters in Mountain View, Calif., which was curious, because Google tightly controls most of the land in the area. Then a reporter spotted patent filings showing Zee.Aero was working on a small, all-electric plane that could take off and land vertically--a flying car. In the handful of news articles that ensued, all the startup would say was that it wasn't affiliated with Google or any other technology company. Then it stopped answering media inquiries altogether. Employees say they were even given wallet-size cards with instructions on how to deflect questions from reporters. After that, the only information that trickled out came from amateur pilots, who occasionally posted pictures of a strange-looking plane taking off from a nearby airport. Trump Says'No Reason' to Raise 1 Billion for Campaign Turns out, Zee.Aero doesn't belong to Google or its holding company, Alphabet.
- North America > United States > California > Santa Clara County > Mountain View (0.24)
- North America > United States > New Jersey (0.04)
- North America > United States > California > Santa Cruz County > Santa Cruz (0.04)
- (3 more...)
- Transportation > Ground > Road (1.00)
- Transportation > Air (1.00)
- Information Technology (1.00)
- Automobiles & Trucks > Manufacturer (1.00)
- Information Technology > Artificial Intelligence > Robots (0.49)
- Information Technology > Communications > Social Media (0.47)
Report: Alphabet's Page investing in flying cars
Google CEO Larry Page speaks at a news conference at the Google offices in New York, Monday, May 21, 2012. It appears Alphabet CEO Larry Page isn't only interested in cars that drive themselves. According to Bloomberg, Page has been secretly funding startups specializing in flying cars. One startup in particular, called Zee.Aero, has been funded by Page since 2010, says the report. Zee.Aero, based near Google's headquarters in Mountain View, Calif., had been working on a prototype flying car capable of taking off and landing vertically.
- North America > United States > New York (0.30)
- North America > United States > California > Santa Clara County > Mountain View (0.30)
- Information Technology > Robotics & Automation (1.00)
- Transportation > Air (0.93)
- Transportation > Ground > Road (0.32)
A Knowledge System that Integrates Heterogeneous Software for a Design Application
The third approach left the technology codes untouched and built a procedural program that initiated separate, independent processes consisting of the technology codes communicating through a common database. This was better because the technology organizations continued to maintain technical and managerial control over their codes. The rigid procedural integration program was still unacceptably costly to modify, requiring a flow time of approximately six weeks. However, it did provide a prototype and baseline for the knowledge system.
- North America > United States > Washington > King County > Seattle (0.04)
- North America > United States > Texas (0.04)
- North America > United States > Ohio (0.04)
- (3 more...)