Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- China Simulation Federation (3880)
- Singapore Management University (1881)
- Old Dominion University (640)
- San Jose State University (277)
- MBZUAI (233)
-
- City University of New York (CUNY) (184)
- Technological University Dublin (157)
- Air Force Institute of Technology (137)
- Chapman University (125)
- California Polytechnic State University, San Luis Obispo (116)
- Chinese Academy of Sciences (111)
- University of Arkansas, Fayetteville (101)
- Lindenwood University (97)
- Edith Cowan University (92)
- Embry-Riddle Aeronautical University (92)
- University of Nebraska - Lincoln (78)
- University of Kentucky (76)
- University of South Florida (71)
- University of Nevada, Las Vegas (63)
- Dartmouth College (61)
- Clemson University (60)
- University of Denver (59)
- Utah State University (57)
- University of Michigan Law School (56)
- The Texas Medical Center Library (54)
- Thomas Jefferson University (54)
- New Jersey Institute of Technology (53)
- University of Malaya (50)
- Purdue University (48)
- Missouri University of Science and Technology (47)
- Keyword
-
- Artificial intelligence (778)
- Machine learning (685)
- Deep learning (435)
- Machine Learning (359)
- Artificial Intelligence (356)
-
- AI (236)
- Deep Learning (201)
- Simulation (160)
- Computer vision (157)
- Reinforcement learning (140)
- Generative AI (134)
- Neural networks (128)
- Natural language processing (108)
- Large language models (107)
- Robotics (97)
- Natural Language Processing (90)
- ChatGPT (89)
- Path planning (88)
- Optimization (82)
- Large Language Models (77)
- Computer Vision (75)
- Classification (71)
- Neural network (67)
- Neural Networks (65)
- Virtual reality (64)
- Reinforcement Learning (63)
- Computer Science (59)
- Cybersecurity (59)
- Genetic algorithm (58)
- Algorithms (57)
- Publication Year
- Publication
-
- Journal of System Simulation (3880)
- Research Collection School Of Computing and Information Systems (1648)
- Master's Projects (248)
- Theses and Dissertations (183)
- Computer Science Faculty Publications (124)
-
- Bulletin of Chinese Academy of Sciences (Chinese Version) (111)
- Faculty Scholarship (108)
- Publications and Research (99)
- Computer Vision Faculty Publications (98)
- Master's Theses (96)
- Conference papers (92)
- Electrical & Computer Engineering Faculty Publications (90)
- Machine Learning Faculty Publications (86)
- Electronic Theses and Dissertations (85)
- Faculty Publications (77)
- Dissertations (69)
- Research outputs 2022 to 2026 (64)
- USF Tampa Graduate Theses and Dissertations (59)
- Dissertations and Theses Collection (Open Access) (57)
- Articles (54)
- Dissertations, Theses, and Capstone Projects (53)
- Theses and Dissertations--Computer Science (48)
- Natural Language Processing Faculty Publications (46)
- Teaching and Generative AI: Pedagogical Possibilities and Productive Tensions (46)
- Graduate Theses and Dissertations (43)
- Open Access Theses & Dissertations (42)
- Theses (40)
- Electrical & Computer Engineering Theses & Dissertations (39)
- Graduate Theses, Dissertations, and Problem Reports (ETD) (39)
- Publications (39)
- Publication Type
- File Type
Articles 10081 - 10110 of 11148
Full-Text Articles in Computer Sciences
Granting Personhood For Sentient Non-Human Animals And Sentient Artificial Intelligences: A Demonstrative Argument, Jeremiah Meadows
Granting Personhood For Sentient Non-Human Animals And Sentient Artificial Intelligences: A Demonstrative Argument, Jeremiah Meadows
Virginias Collegiate Honors Council Conference
While the subject of personhood has been exhaustively debated regarding the unborn, personhood for sentient animals and artificial intelligences is a concept that is rarely deliberated. Humanity has learned that there are multiple animal species which are very similar to humans in their self-awareness, emotional capacity, and free will. These traits have been partially developed for artificial intelligences as well, and those characteristics will evolve alongside human and technological development. As stratified societies emerged, there have been multiple occurrences where individuals were deemed lesser but then later acquired equal standing. Dr. Daniel Wilson, roboticist, wrote in his novel Robopocalypse, “It …
Semantic Description Of Activities In Videos, Fillipe Dias Moreira De Souza
Semantic Description Of Activities In Videos, Fillipe Dias Moreira De Souza
USF Tampa Graduate Theses and Dissertations
Description of human activities in videos results not only in detection of actions and objects but also in identification of their active semantic relationships in the scene. Towards this broader goal, we present a combinatorial approach that assumes availability of algorithms for detecting and labeling objects and actions, albeit with some errors. Given these uncertain labels and detected objects, we link them into interpretative structures using domain knowledge encoded with concepts of Grenander’s general pattern theory. Here a semantic video description is built using basic units, termed generators, that represent labels of objects or actions. These generators have multiple out-bonds, …
An Approach To Robust Homing With Stereovision, Fuqiang Fu, Damian Lyons
An Approach To Robust Homing With Stereovision, Fuqiang Fu, Damian Lyons
Faculty Publications
Visual Homing is a bioinspired approach to robot navigation which can be fast and uses few assumptions. However, visual homing in a cluttered and unstructured outdoor environment offers several challenges to homing methods that have been developed for primarily indoor environments. One issue is that any current image during homing may be tilted with respect to the home image. The second is that moving through a cluttered scene during homing may cause obstacles to interfere between the home scene and location and the current scene and location. In this paper, we introduce a robust method to improve a previous developed …
Disruption: The New Norm?, Singapore Management University
Disruption: The New Norm?, Singapore Management University
Perspectives@SMU
Accelerating automisation and increasing lifespans are creating disruptions to existing economic and education models. How can governments and industry address the resulting upheavals?
Knowing How: A Computational Approach, Joseph A. Roman
Knowing How: A Computational Approach, Joseph A. Roman
Student Publications
With advances in Artificial Intelligences being achieved through the use of Artificial Neural Networks, we are now at the point where computers are able to do tasks that were previously only able to be accomplished by humans. These advancements must cause us to reconsider our previous understanding of how people come to know how to do a particular task. In order to unpack this question, I will first look to an account of knowing how presented by Jason Stanley in his book Know How. I will then look towards criticisms of this view before using evidence presented by the existence …
Discovering Anomalous Events From Urban Informatics Data, Kasthuri Jayarajah, Vigneshwaran Subbaraju, Dulanga Kaveesha Weerakoon Mudiyanselage, Archan Misra, La Thanh Tam, Noel Athaide
Discovering Anomalous Events From Urban Informatics Data, Kasthuri Jayarajah, Vigneshwaran Subbaraju, Dulanga Kaveesha Weerakoon Mudiyanselage, Archan Misra, La Thanh Tam, Noel Athaide
Research Collection School Of Computing and Information Systems
Singapore's "smart city" agenda is driving the government to provide public access to a broader variety of urban informatics sources, such as images from traffic cameras and information about buses servicing different bus stops. Such informatics data serves as probes of evolving conditions at different spatiotemporal scales. This paper explores how such multi-modal informatics data can be used to establish the normal operating conditions at different city locations, and then apply appropriate outlier-based analysis techniques to identify anomalous events at these selected locations. We will introduce the overall architecture of sociophysical analytics, where such infrastructural data sources can be combined …
Machine Comprehension Using Match-Lstm And Answer Pointer, Shuohang Wang, Jing Jiang
Machine Comprehension Using Match-Lstm And Answer Pointer, Shuohang Wang, Jing Jiang
Research Collection School Of Computing and Information Systems
Machine comprehension of text is an important problem in natural language processing. A recently released dataset, the Stanford Question Answering Dataset (SQuAD), offers a large number of real questions and their answers created by humans through crowdsourcing. SQuAD provides a challenging testbed for evaluating machine comprehension algorithms, partly because compared with previous datasets, in SQuAD the answers do not come from a small set of candidate answers and they have variable lengths. We propose an end-to-end neural architecture for the task. The architecture is based on match-LSTM, a model we proposed previously for textual entailment, and Pointer Net, a sequence-to-sequence …
A Compare-Aggregate Model For Matching Text Sequences, Shuohang Wang, Jing Jiang
A Compare-Aggregate Model For Matching Text Sequences, Shuohang Wang, Jing Jiang
Research Collection School Of Computing and Information Systems
Many NLP tasks including machine comprehension, answer selection and text entailment require the comparison between sequences. Matching the important units between sequences is a key to solve these problems. In this paper, we present a general "compare-aggregate" framework that performs word-level matching followed by aggregation using Convolutional Neural Networks. We particularly focus on the different comparison functions we can use to match two vectors. We use four different datasets to evaluate the model. We find that some simple comparison functions based on element-wise operations can work better than standard neural network and neural tensor network.
Aerial Water Sampler, Carrick Detweiler, John-Paul Ore, Baoliang Zhao, Sebastian Elbaum
Aerial Water Sampler, Carrick Detweiler, John-Paul Ore, Baoliang Zhao, Sebastian Elbaum
School of Computing: Faculty Publications
In one aspect, a vehicle includes an aerial propulsion system, an altitude sensor system, a water sampling system, and a control system. The water sampling system includes a water sampling extension configured to extend away from the vehicle, one or more water sample receptacles, and a water pump. The control system is configured to perform operations including: guiding, using the aerial propulsion system, the vehicle over a water Source; causing, using sensor data from the altitude sensor system, the vehicle to descend towards the water source so that the water sampling extension contacts the water source; and causing, using the …
A Sandbox In Which To Learn And Develop Soar Agents, Daniel Lugo
A Sandbox In Which To Learn And Develop Soar Agents, Daniel Lugo
Theses and Dissertations
It is common for military personnel to leverage simulations (and simulators) as cost-effective tools to train and become proficient at various tasks (e.g., flying an aircraft and/or performing a mission, among others). These training simulations often need to represent humans within the simulated world in a realistic manner. Realistic implies creating simulated humans that exhibit behaviors that mimic real-world decision making and actions. Typically, to create the decision-making logic, techniques developed from the domain of artificial intelligence are used. Although there are several approaches to developing intelligent agents; we focus on leveraging and open source project called Soar, to define …
Vision-Based Mobile Robotic Platform For Autonomous Landing Of Quadcopters, Timothy R. Joe
Vision-Based Mobile Robotic Platform For Autonomous Landing Of Quadcopters, Timothy R. Joe
UNO Student Research and Creative Activity Fair
This project deals with the development of a vision-based control algorithm to assist quadcopters in the landing process. For demonstration purposes, the approach has been implemented in a mobile robotic platform (turtlebot). In this project, the objective is to use the mobile robot as a landing platform. The camera on-board the mobile robot detects the quadcopter (AprilTag attached to the flying robot) and keeps track of it. Based on this idea, the proposed approach estimates in real-time the landing zone. Once this zone is calculated, the mobile robot moves towards this area, stops under the quadcopter, and acts as a …
Passive Chemical Detection System For Uavs, John Hare 2185222
Passive Chemical Detection System For Uavs, John Hare 2185222
UNO Student Research and Creative Activity Fair
In this project we address the problem of autonomously detecting airborne gas particles using gas sensors that are mobilized using unmanned aerial vehicles (UAVs). The main hypothesis we investigate is whether a commercially available, off-the-shelf gas sensor can be suitably integrated on a UAV platform to detect ambient gas particles. The main challenges in this problem include addressing the weight constraints of the UAV’s payload and registering a consistent reading on the gas sensor in the presence of the turbulence in the air caused by the UAV’s rotors. To verify our hypothesis, we designed a passive funneling mechanism for airborne …
A Modular Robotic System For Assessment And Exercise Of Human Movement, Mohan Sai Ambati
A Modular Robotic System For Assessment And Exercise Of Human Movement, Mohan Sai Ambati
UNO Student Research and Creative Activity Fair
This project targets the problem of developing a wearable modular robotic system, for assessing human movement and providing different types of exercises for the user. The system attempts to provide not only a variety of exercises (concentric, eccentric, assisted and resisted), but also to assess the change in variability of the movement as the subject shows functional improvement. The system will not only be useful for patients with sensorimotor problem such as stroke, Parkinson’s, cerebral palsy, but also for special populations such as astronauts who spend long periods of time in space and experience muscle atrophy. In this work, a …
The Wonders Of The Spreadsheet Tool For Data Management And Insights, Michelle L. F. Cheong
The Wonders Of The Spreadsheet Tool For Data Management And Insights, Michelle L. F. Cheong
Research Collection School Of Computing and Information Systems
Ask any student at the Singapore Management University (SMU) toname one of the most practical and useful courses offered by theuniversity. The answer would inevitably include CAT. CAT stands forthe "Computer as an Analysis Tool" course. Originally based on acourse of the same title offered by the Wharton Business School, thefocus of CAT was shifted to provide business students the essentialpractical skills and necessary “real-world” exposure to better usepersonal computers for resolving business problems. The course isbasically centred on using the Excel spreadsheet to work onambiguous ill-defined problems (Leong & Cheong, 2009). Over theyears, three editions of a textbook have …
Privacy In Context-Aware Mobile Crowdsourcing Systems, Thivya Kandappu, Archan Misra, Shih-Fen Cheng, Hoong Chuin Lau
Privacy In Context-Aware Mobile Crowdsourcing Systems, Thivya Kandappu, Archan Misra, Shih-Fen Cheng, Hoong Chuin Lau
Research Collection School Of Computing and Information Systems
Mobile crowd-sourcing can become as a strategy to perform time-sensitive urban tasks (such as municipal monitoring and last mile logistics) by effectively coordinating smartphone users. The success of the mobile crowd-sourcing platform depends mainly on its effectiveness in engaging crowd-workers, and recent studies have shown that compared to the pull-based approach, which relies on crowd-workers to browse and commit to tasks they would want to perform, the push-based approach can take into consideration of worker’s daily routine, and generate highly effective recommendations. As a result, workers waste less time on detours, plan more in advance, and require much less planning …
Feature Learning Via Partial Differential Equation With Applications To Face Recognition, Cong Fang, Zhenyu Zhao, Pan Zhou, Zhouchen Lin
Feature Learning Via Partial Differential Equation With Applications To Face Recognition, Cong Fang, Zhenyu Zhao, Pan Zhou, Zhouchen Lin
Research Collection School Of Computing and Information Systems
Feature learning is a critical step in pattern recognition, such as image classification. However, most of the existing methods cannot extract features that are discriminative and at the same time invariant under some transforms. This limits the classification performance, especially in the case of small training sets. To address this issue, in this paper we propose a novel Partial Differential Equation (PDE) based method for feature learning. The feature learned by our PDE is discriminative, also translationally and rotationally invariant, and robust to illumination variation. To our best knowledge, this is the first work that applies PDE to feature learning …
Directed Acyclic Graph Continuous Max-Flow Image Segmentation For Unconstrained Label Orderings, John Sh Baxter, Martin Rajchl, A. Jonathan Mcleod, Jing Yuan, Terry M. Peters
Directed Acyclic Graph Continuous Max-Flow Image Segmentation For Unconstrained Label Orderings, John Sh Baxter, Martin Rajchl, A. Jonathan Mcleod, Jing Yuan, Terry M. Peters
Robarts Imaging Publications
Label ordering, the specification of subset–superset relationships for segmentation labels, has been of increasing interest in image segmentation as they allow for complex regions to be represented as a collection of simple parts. Recent advances in continuous max-flow segmentation have widely expanded the possible label orderings from binary background/foreground problems to extendable frameworks in which the label ordering can be specified. This article presents Directed Acyclic Graph Max-Flow image segmentation which is flexible enough to incorporate any label ordering without constraints. This framework uses augmented Lagrangian multipliers and primal–dual optimization to develop a highly parallelized solver implemented using GPGPU. This …
Exploring Algorithms To Recognize Similar Board States In Arimaa, Malik Khaleeque Ahmed
Exploring Algorithms To Recognize Similar Board States In Arimaa, Malik Khaleeque Ahmed
Theses and Dissertations
The game of Arimaa was invented as a challenge to the field of game-playing artificial intelligence, which had grown somewhat haughty after IBM's supercomputer Deep Blue trounced world champion Kasparov at chess. Although Arimaa is simple enough for a child to learn and can be played with an ordinary chess set, existing game-playing algorithms and techniques have had a difficult time rising up to the challenge of defeating the world's best human Arimaa players, mainly due to the game's impressive branching factor. This thesis introduces and analyzes new algorithms and techniques that attempt to recognize similar board states based on …
Toward A Collaborative Ai Framework For Assistive Dementia Care, Tze-Yun Leong
Toward A Collaborative Ai Framework For Assistive Dementia Care, Tze-Yun Leong
Research Collection School Of Computing and Information Systems
We envision an integrated framework for supporting the development and deployment of human-aware, general artificial intelligence (AI) that needs to collaborate in uncertain, changing environments. We examine the technology and system requirements of building assistive care agents for dementia or cognitive impaired patients through the continuum of care. We summarize the new AI capabilities and show examples of how an evolving, adaptive development approach would be able to support the basic functionalities and applications in a sound, practical, and scalable manner. We highlight the challenges and the opportunities involved in realizing the proposed framework, and call for future research and …
An Efficient Approach To Model-Based Hierarchical Reinforcement Learning, Zhuoru Li, Akshay Narayan, Tze-Yun Leong
An Efficient Approach To Model-Based Hierarchical Reinforcement Learning, Zhuoru Li, Akshay Narayan, Tze-Yun Leong
Research Collection School Of Computing and Information Systems
We propose a model-based approach to hierarchical reinforcement learning that exploits shared knowledge and selective execution at different levels of abstraction, to efficiently solve large, complex problems. Our framework adopts a new transition dynamics learning algorithm that identifies the common action-feature combinations of the subtasks, and evaluates the subtask execution choices through simulation. The framework is sample efficient, and tolerates uncertain and incomplete problem characterization of the subtasks. We test the framework on common benchmark problems and complex simulated robotic environments. It compares favorably against the stateof-the-art algorithms, and scales well in very large problems.
Collective Multiagent Sequential Decision Making Under Uncertainty, Duc Thien Nguyen, Akshat Kumar, Hoong Chuin Lau
Collective Multiagent Sequential Decision Making Under Uncertainty, Duc Thien Nguyen, Akshat Kumar, Hoong Chuin Lau
Research Collection School Of Computing and Information Systems
Multiagent sequential decision making has seen rapid progress with formal models such as decentralized MDPs and POMDPs. However, scalability to large multiagent systems and applicability to real world problems remain limited. To address these challenges, we study multiagent planning problems where the collective behavior of a population of agents affects the joint-reward and environment dynamics. Our work exploits recent advances in graphical models for modeling and inference with a population of individuals such as collective graphical models and the notion of finite partial exchangeability in lifted inference. We develop a collective decentralized MDP model where policies can be computed based …
Decentralized Planning In Stochastic Environments With Submodular Rewards, Rajiv Ranjan Kumar, Pradeep Varakantham, Akshat Kumar
Decentralized Planning In Stochastic Environments With Submodular Rewards, Rajiv Ranjan Kumar, Pradeep Varakantham, Akshat Kumar
Research Collection School Of Computing and Information Systems
Decentralized Markov Decision Process (Dec-MDP) providesa rich framework to represent cooperative decentralizedand stochastic planning problems under transition uncertainty.However, solving a Dec-MDP to generate coordinatedyet decentralized policies is NEXP-Hard. Researchershave made significant progress in providing approximate approachesto improve scalability with respect to number ofagents. However, there has been little or no research devotedto finding guarantees on solution quality for approximateapproaches considering multiple (more than 2 agents)agents. We have a similar situation with respect to the competitivedecentralized planning problem and the StochasticGame (SG) model. To address this, we identify models in thecooperative and competitive case that rely on submodular rewards,where we show …
Dynamic Repositioning To Reduce Lost Demand In Bike Sharing Systems, Supriyo Ghosh, Pradeep Varakantham, Yossiri Adulyasak, Patrick Jaillet
Dynamic Repositioning To Reduce Lost Demand In Bike Sharing Systems, Supriyo Ghosh, Pradeep Varakantham, Yossiri Adulyasak, Patrick Jaillet
Research Collection School Of Computing and Information Systems
Bike Sharing Systems (BSSs) are widely adopted in major cities of the world due to concerns associated with extensive private vehicle usage, namely, increased carbon emissions, traffic congestion and usage of nonrenewable resources. In a BSS, base stations are strategically placed throughout a city and each station is stocked with a pre-determined number of bikes at the beginning of the day. Customers hire the bikes from one station and return them at another station. Due to unpredictable movements of customers hiring bikes, there is either congestion (more than required) or starvation (fewer than required) of bikes at base stations. Existing …
Recurrent Neural Networks With Auxiliary Labels For Cross-Domain Opinion Target Extraction, Ying Ding, Jianfei Yu, Jing Jiang
Recurrent Neural Networks With Auxiliary Labels For Cross-Domain Opinion Target Extraction, Ying Ding, Jianfei Yu, Jing Jiang
Research Collection School Of Computing and Information Systems
Opinion target extraction is a fundamental task in opinion mining. In recent years, neural network based supervised learning methods have achieved competitive performance on this task. However, as with any supervised learning method, neural network based methods for this task cannot work well when the training data comes from a different domain than the test data. On the other hand, some rule-based unsupervised methods have shown to be robust when applied to different domains. In this work, we use rule-based unsupervised methods to create auxiliary labels and use neural network models to learn a hidden representation that works well for …
A Riemannian Network For Spd Matrix Learning, Zhiwu Huang, Gool L. Van
A Riemannian Network For Spd Matrix Learning, Zhiwu Huang, Gool L. Van
Research Collection School Of Computing and Information Systems
Symmetric Positive Definite (SPD) matrix learning methods have become popular in many image and video processing tasks, thanks to their ability to learn appropriate statistical representations while respecting Riemannian geometry of underlying SPD manifolds. In this paper we build a Riemannian network architecture to open up a new direction of SPD matrix non-linear learning in a deep model. In particular, we devise bilinear mapping layers to transform input SPD matrices to more desirable SPD matrices, exploit eigenvalue rectification layers to apply a non-linear activation function to the new SPD matrices, and design an eigenvalue logarithm layer to perform Riemannian computing …
Optimizing Expectation With Guarantees In Pomdps, Krishnendu Chatterjee, Guillermo A. Perez, Jean-François Raskin, Dorde Zikelic
Optimizing Expectation With Guarantees In Pomdps, Krishnendu Chatterjee, Guillermo A. Perez, Jean-François Raskin, Dorde Zikelic
Research Collection School Of Computing and Information Systems
A standard objective in partially-observable Markov decision processes (POMDPs) is to find a policy that maximizes the expected discounted-sum payoff. However, such policies may still permit unlikely but highly undesirable outcomes, which is problematic especially in safety-critical applications. Recently, there has been a surge of interest in POMDPs where the goal is to maximize the probability to ensure that the payoff is at least a given threshold, but these approaches do not consider any optimization beyond satisfying this threshold constraint. In this work we go beyond both the "expectation" and "threshold" approaches and consider a "guaranteed payoff optimization (GPO)" problem …
Malware Detection Using The Index Of Coincidence, Bhavna Gurnani
Malware Detection Using The Index Of Coincidence, Bhavna Gurnani
Master's Projects
In this research, we apply the Index of Coincidence (IC) to problems in malware analysis. The IC, which is often used in cryptanalysis of classic ciphers, is a technique for measuring the repeat rate in a string of symbols. A score based on the IC is applied to a variety of challenging malware families. We nd that this relatively simple IC score performs surprisingly well, with superior results in comparison to various machine learning based scores, at least in some cases.
Imitating The Brain: Autonomous Robots Harnessing The Power Of Artificial Neural Networks, Mohammad Khan
Imitating The Brain: Autonomous Robots Harnessing The Power Of Artificial Neural Networks, Mohammad Khan
Computer Science Honors Papers
Artificial Neural Networks (ANNs) imitate biological neural networks, which can have billions of neurons with trillions of interconnections. The first half of this paper focuses on fully-connected ANNs and hardware neural networks. The latter half of this paper focuses on Deep Learning, a strategy in Artificial Intelligence based on massive ANN architectures. We focus on Deep Convolutional Neural Networks, some of which are capable of differentiating between thousands of objects by self-learning from millions of images. We complete research in two areas of focus within the field of ANNs, and we provide ongoing work for and recommend two more areas …
Performance Verification For Robot Missions In Uncertain Environments, Damian Lyons, Ron Arkin, Shu Jiang, Matt O'Brien, Feng Tang, Peng Tang
Performance Verification For Robot Missions In Uncertain Environments, Damian Lyons, Ron Arkin, Shu Jiang, Matt O'Brien, Feng Tang, Peng Tang
Faculty Publications
Abstract—Certain robot missions need to perform predictably in a physical environment that may have significant uncertainty. One approach is to leverage automatic software verification techniques to establish a performance guarantee. The addition of an environment model and uncertainty in both program and environment, however, means the state-space of a model-checking solution to the problem can be prohibitively large. An approach based on behavior-based controllers in a process-algebra framework that avoids state-space combinatorics is presented here. In this approach, verification of the robot program in the uncertain environment is reduced to a filtering problem for a Bayesian Network. Validation results …
A System To Monitor Cognitive Workload In Naturalistic High-Motion Environments, Bethany K. Bracken, Seth Elkin-Frankston, Noa Palmon, Michael Farry, Blaise De B Frederick
A System To Monitor Cognitive Workload In Naturalistic High-Motion Environments, Bethany K. Bracken, Seth Elkin-Frankston, Noa Palmon, Michael Farry, Blaise De B Frederick
H-Workload 2017: Models and Applications (Works in Progress)
Across many careers, individuals face alternating periods of high and low attention and cognitive workload can impair cognitive function and undermine job performance. We have designed and are developing an unobtrusive system to Monitor, Extract, and Decode Indicators of Cognitive Workload (MEDIC) in naturalistic, high-motion environments. MEDIC is designed to warn individuals, teammates, or supervisors when steps should be taken to augment cognitive readiness. We first designed and manufactured a forehead sensor device that includes a custom fNIRS sensor and a three-axis accelerometer designed to be mounted on the inside of a baseball cap or headband, or standard issue gear …