Government
Mass-market military drones: 10 Breakthrough Technologies 2023
The TB2 is a collection of good-enough parts put together in a slow-flying body. It travels at speeds up to 138 miles per hour and has a communication range of around 186 miles. Baykar says it can stay aloft for 27 hours. But when combined with cameras that can share video with ground stations, the TB2 becomes a powerful tool for both targeting the laser-guided bombs carried on its wings and helping direct artillery barrages from the ground. Most important is simply its availability.
Can Drones And Artificial Intelligence Keep Us Safe From Sharks?
You might be rolling your eyes as you see the drone take off to the skies and hover over the Australian coastline, camera angled straight down towards the glistening turquoise water. "Another TikTok influencer trying to get the perfect shot," you grumble to yourself. But if you look closely at the pilot, you'll notice they've got a sign next to them that says "Keep Clear" in bright yellow and red letters. Drones have been a helpful tool in spotted sharks from the skies. It's an Australian surf lifesaver, using the above drone to spot sharks at the beach before they get too close to swimmers like yourself.
ChatGPT Artificial Intelligence: An Upcoming Cybersecurity Threat?
Artificial intelligence (AI) has the potential to revolutionize many aspects of our lives, including how we approach cybersecurity. However, it also presents new risks and challenges that need to be carefully managed. One way that AI can be used in cybersecurity is through the development of intelligent systems that can detect and respond to cyber threats. This was the AI chatbot's reply when I asked it to write about AI and cyber threats. I am sure by now you know I am talking about the most popular lad in town, ChatGPT.
How Old Is Your Brain, Really? - Neuroscience News
Summary: Deep learning technology can accurately reflect a person's risk of cognitive decline and Alzheimer's disease based on brain age. The human brain holds many clues about a person's long-term health -- in fact, research shows that a person's brain age is a more useful and accurate predictor of health risks and future disease than their birthdate. Now, a new artificial intelligence (AI) model that analyzes magnetic resonance imaging (MRI) brain scans developed by USC researchers could be used to accurately capture cognitive decline linked to neurodegenerative diseases like Alzheimer's much earlier than previous methods. Brain aging is considered a reliable biomarker for neurodegenerative disease risk. Such risk increases when a person's brain exhibits features that appear "older" than expected for someone of that person's age.
Architecting Safer Autonomous Aviation Systems
Fenn, Jane, Nicholson, Mark, Pai, Ganesh, Wilkinson, Michael
The aviation literature gives relatively little guidance to practitioners about the specifics of architecting systems for safety, particularly the impact of architecture on allocating safety requirements, or the relative ease of system assurance resulting from system or subsystem level architectural choices. As an exemplar, this paper considers common architectural patterns used within traditional aviation systems and explores their safety and safety assurance implications when applied in the context of integrating artificial intelligence (AI) and machine learning (ML) based functionality. Considering safety as an architectural property, we discuss both the allocation of safety requirements and the architectural trade-offs involved early in the design lifecycle. This approach could be extended to other assured properties, similar to safety, such as security. We conclude with a discussion of the safety considerations that emerge in the context of candidate architectural patterns that have been proposed in the recent literature for enabling autonomy capabilities by integrating AI and ML. A recommendation is made for the generation of a property-driven architectural pattern catalogue.
A Multi-Level Framework for the AI Alignment Problem
Hou, Betty Li, Green, Brian Patrick
AI alignment considers how we can encode AI systems in a way that is compatible with human values. The normative side of this problem asks what moral values or principles, if any, we should encode in AI. To this end, we present a framework to consider the question at four levels: Individual, Organizational, National, and Global. We aim to illustrate how AI alignment is made up of value alignment problems at each of these levels, where values at each level affect the others and effects can flow in either direction. We outline key questions and considerations of each level and demonstrate an application of this framework to the topic of AI content moderation.
On the Susceptibility and Robustness of Time Series Models through Adversarial Attack and Defense
Galib, Asadullah Hill, Bashyal, Bidhan
Under adversarial attacks, time series regression and classification are vulnerable. Adversarial defense, on the other hand, can make the models more resilient. It is important to evaluate how vulnerable different time series models are to attacks and how well they recover using defense. The sensitivity to various attacks and the robustness using the defense of several time series models are investigated in this study. Experiments are run on seven time series models with three adversarial attacks and one adversarial defense. According to the findings, all models, particularly GRU and RNN, appear to be vulnerable. LSTM and GRU also have better defense recovery. FGSM exceeds the competitors in terms of attacks. PGD attacks are more difficult to recover from than other sorts of attacks.
Towards Understanding Quality Challenges of the Federated Learning for Neural Networks: A First Look from the Lens of Robustness
Abyane, Amin Eslami, Zhu, Derui, Souza, Roberto, Ma, Lei, Hemmati, Hadi
Federated learning (FL) is a distributed learning paradigm that preserves users' data privacy while leveraging the entire dataset of all participants. In FL, multiple models are trained independently on the clients and aggregated centrally to update a global model in an iterative process. Although this approach is excellent at preserving privacy, FL still suffers from quality issues such as attacks or byzantine faults. Recent attempts have been made to address such quality challenges on the robust aggregation techniques for FL. However, the effectiveness of state-of-the-art (SOTA) robust FL techniques is still unclear and lacks a comprehensive study. Therefore, to better understand the current quality status and challenges of these SOTA FL techniques in the presence of attacks and faults, we perform a large-scale empirical study to investigate the SOTA FL's quality from multiple angles of attacks, simulated faults (via mutation operators), and aggregation (defense) methods. In particular, we study FL's performance on the image classification tasks and use DNNs as our model type. Furthermore, we perform our study on two generic image datasets and one real-world federated medical image dataset. We also investigate the effect of the proportion of affected clients and the dataset distribution factors on the robustness of FL. After a large-scale analysis with 496 configurations, we find that most mutators on each user have a negligible effect on the final model in the generic datasets, and only one of them is effective in the medical dataset. Furthermore, we show that model poisoning attacks are more effective than data poisoning attacks. Moreover, choosing the most robust FL aggregator depends on the attacks and datasets. Finally, we illustrate that a simple ensemble of aggregators achieves a more robust solution than any single aggregator and is the best choice in 75% of the cases.
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks
Zhou, Can, Shaikh, Razin A., Li, Yiran, Farjudian, Amin
A domain-theoretic framework is presented for validated robustness analysis of neural networks. First, global robustness of a general class of networks is analyzed. Then, using the fact that Edalat's domain-theoretic L-derivative coincides with Clarke's generalized gradient, the framework is extended for attack-agnostic local robustness analysis. The proposed framework is ideal for designing algorithms which are correct by construction. This claim is exemplified by developing a validated algorithm for estimation of Lipschitz constant of feedforward regressors. The completeness of the algorithm is proved over differentiable networks, and also over general position ReLU networks. Computability results are obtained within the framework of effectively given domains. Using the proposed domain model, differentiable and non-differentiable networks can be analyzed uniformly. The validated algorithm is implemented using arbitrary-precision interval arithmetic, and the results of some experiments are presented. The software implementation is truly validated, as it handles floating-point errors as well.
Automatic Standardization of Arabic Dialects for Machine Translation
Based on an annotated multimedia corpus, television series Mar{\=a}y{\=a} 2013, we dig into the question of ''automatic standardization'' of Arabic dialects for machine translation. Here we distinguish between rule-based machine translation and statistical machine translation. Machine translation from Arabic most of the time takes standard or modern Arabic as the source language and produces quite satisfactory translations thanks to the availability of the translation memories necessary for training the models. The case is different for the translation of Arabic dialects. The productions are much less efficient. In our research we try to apply machine translation methods to a dialect/standard (or modern) Arabic pair to automatically produce a standard Arabic text from a dialect input, a process we call ''automatic standardization''. we opt here for the application of ''statistical models'' because ''automatic standardization'' based on rules is more hard with the lack of ''diglossic'' dictionaries on the one hand and the difficulty of creating linguistic rules for each dialect on the other. Carrying out this research could then lead to combining ''automatic standardization'' software and automatic translation software so that we take the output of the first software and introduce it as input into the second one to obtain at the end a quality machine translation. This approach may also have educational applications such as the development of applications to help understand different Arabic dialects by transforming dialectal texts into standard Arabic.