Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- Robotics (4)
- Robot (2)
- Robots (2)
- AI (1)
- Abstraction (1)
-
- Aesthetics (1)
- Affective Computing (1)
- Arduino (1)
- Artificial Intelligence (1)
- Automation (1)
- Behavior-Based (1)
- Biology (1)
- Botany (1)
- Brain (1)
- Coding (1)
- Computer Architecture (1)
- Computer programming (1)
- Computer science education (1)
- Controlled burn (1)
- Data analysis (1)
- Diversity (1)
- Ecology (1)
- Emotion (1)
- Fire (1)
- Formal Verification (1)
- Formal verification (1)
- LESS (1)
- Logic (1)
- MIS (1)
- Metaphors (1)
Articles 1 - 11 of 11
Full-Text Articles in Engineering
Design Of A Flexible Control Platform And Miniature In Vivo Robots For Laparo-Endoscopic Single-Site Surgeries, Lou P. Cubrich
Design Of A Flexible Control Platform And Miniature In Vivo Robots For Laparo-Endoscopic Single-Site Surgeries, Lou P. Cubrich
Department of Mechanical and Materials Engineering: Dissertations, Theses, and Student Research
Minimally-invasive laparoscopic procedures have proven efficacy for a wide range of surgical procedures as well as benefits such as reducing scarring, infection, recovery time, and post-operative pain. While the procedures have many advantages, there are significant shortcomings such as limited instrument motion and reduced dexterity. In recent years, robotic surgical technology has overcome some of these limitations and has become an effective tool for many types of surgeries. These robotic platforms typically have an increased workspace, greater dexterity, improved ergonomics, and finer control than traditional laparoscopic methods. This thesis presents the designs of both a four degree-of-freedom (DOF) and 5-DOF …
Formal Performance Guarantees For Behavior-Based Localization Missions, Damian Lyons, Ron Arkin, Shu Jiang, Matt O'Brien, Feng Tang, Peng Tang
Formal Performance Guarantees For Behavior-Based Localization Missions, Damian Lyons, Ron Arkin, Shu Jiang, Matt O'Brien, Feng Tang, Peng Tang
Faculty Publications
Abstract— Localization and mapping algorithms can allow a robot to navigate well in an unknown environment. However, whether such algorithms enhance any specific robot mission is currently a matter for empirical validation. In this paper we apply our MissionLab/VIPARS mission design and verification approach to an autonomous robot mission that uses probabilistic localization software.
Two approaches to modeling probabilistic localization for verification are presented: a high-level approach, and a sample-based approach which allows run-time code to be embedded in verification. Verification and experimental validation results are presented for two different missions, each using each method, demonstrating the accuracy …
Studying The Effects Of Serpentine Soil On Adapted And Non-Adapted Species Using Arduino Technology, Kiana Saniee, Edward Himelblau, Brian Paavo
Studying The Effects Of Serpentine Soil On Adapted And Non-Adapted Species Using Arduino Technology, Kiana Saniee, Edward Himelblau, Brian Paavo
STAR Program Research Presentations
Abstract: Serpentine soils are formed from ultramafic rocks and are represent an extreme environment for plants. Serpentine soils are unique in that they carry high concentrations of heavy metals, are nutrient deficient, particularly in calcium, and have poor water retention capabilities. Although these soils constitute harsh conditions for plant growth, there are a number of species that are adapted and even endemic to serpentine soil. Water retention by commercial potting mix was compared with serpentine soil. Also, serpentine adapted and non-adapted species were grown in both soil treatments and physiological data were collected. We used the Arduino electronic platform to …
Landmark Detection With Surprise Saliency Using Convolutional Neural Networks, Feng Tang, Damian Lyons, Daniel Leeds
Landmark Detection With Surprise Saliency Using Convolutional Neural Networks, Feng Tang, Damian Lyons, Daniel Leeds
Faculty Publications
Abstract—Landmarks can be used as reference to enable people or robots to localize themselves or to navigate in their environment. Automatic definition and extraction of appropriate landmarks from the environment has proven to be a challenging task when pre-defined landmarks are not present. We propose a novel computational model of automatic landmark detection from a single image without any pre-defined landmark database. The hypothesis is that if an object looks abnormal due to its atypical scene context (what we call surprise saliency), it then may be considered as a good landmark because it is unique and easy to spot by …
Pythagorean Combinations For Lego Robot Building., Ronald I. Greenberg
Pythagorean Combinations For Lego Robot Building., Ronald I. Greenberg
Computer Science: Faculty Publications and Other Works
This paper provides tips for LEGO robot construction involving bracing or gear meshing along a diagonal using standard Botball kits.
Flying By Fire: Making Controlled Burns Safer For Humans And Uavs, Rebecca Horzewski, Carrick Detweiler
Flying By Fire: Making Controlled Burns Safer For Humans And Uavs, Rebecca Horzewski, Carrick Detweiler
UCARE Research Products
A temperature sensing circuit board was developed that will allow Nimbus Lab's controlled burn starting UAV to react to the temperatures around it.
“My Logic Is Undeniable”: Replicating The Brain For Ideal Artificial Intelligence, Samuel C. Adams
“My Logic Is Undeniable”: Replicating The Brain For Ideal Artificial Intelligence, Samuel C. Adams
Senior Honors Theses
Alan Turing asked if machines can think, but intelligence is more than logic and reason. I ask if a machine can feel pain or joy, have visions and dreams, or paint a masterpiece. The human brain sets the bar high, and despite our progress, artificial intelligence has a long way to go. Studying neurology from a software engineer’s perspective reveals numerous uncanny similarities between the functionality of the brain and that of a computer. If the brain is a biological computer, then it is the embodiment of artificial intelligence beyond anything we have yet achieved, and its architecture is advanced …
Establishing Performance Guarantees For Behavior-Based Robot Missions Using An Smt Solver, Feng Tang, Damian M. Lyons, Ronald Arkin
Establishing Performance Guarantees For Behavior-Based Robot Missions Using An Smt Solver, Feng Tang, Damian M. Lyons, Ronald Arkin
Faculty Publications
In prior work we developed an approach to formally representing behavior-based multi-robot programs, and the uncertain environments in which they operate, as process networks. We automatically extract a set of probabilistic equations governing program execution in that environment using a static analysis module called VIPARS, and solve these using a Dynamic Bayesian Network (DBN) to establish whether stated performance guarantees hold for the program in that environment. In this paper we address the challenge of expanding the range of performance guarantees that are possible by using an SMT-solver instead of a DBN. We translate flow functions, which are recursive probabilistic …
Teaching Robot Kinematics For Engineering Technology Students Using A Created Three-Dimensional Robot And Camera, Cheng Y. Lin, Yuzhong Shen
Teaching Robot Kinematics For Engineering Technology Students Using A Created Three-Dimensional Robot And Camera, Cheng Y. Lin, Yuzhong Shen
Engineering Technology Faculty Publications
Teaching robot kinematics is important to engineering technology students in the robot automation. The study can help students not only in the coordinate transformation principles from a joint to its following joint in a robot, but also in relating the coordinate systems between a robot and a machine vision system. While students can utilize math software to compute robot kinematic transformations, they have problems verifying their answers. In this paper, a three dimensional vertically articulated robot is created to help students visualize the location and orientation of the end effector. Students can check their robot kinematic answers based on the …
Robots As Legal Metaphors, Ryan Calo
Robots As Legal Metaphors, Ryan Calo
Articles
This Article looks at the specific role robots play in the judicial imagination. The law and technology literature is replete with examples of how the metaphors and analogies that courts select for emerging technology can be outcome determinative. Privacy law scholar Professor Daniel Solove argues convincingly, for instance, that George Orwell's Big Brother metaphor has come to dominate, and in ways limit, privacy law and policy in the United States. Even at a more specific, practical level, whether a judge sees email as more like a letter or a postcard will dictate the level of Fourth Amendment protection she is …
Use Of A Small Unmanned Aerial System For The Sr-530 Mudslide Incident Near Oso, Washington, Robin Murphy, Brittany Duncan, Tyler Collins, Justin Kendrick, Patrick Lohman, Tamara Palmer, Frank Sanborn
Use Of A Small Unmanned Aerial System For The Sr-530 Mudslide Incident Near Oso, Washington, Robin Murphy, Brittany Duncan, Tyler Collins, Justin Kendrick, Patrick Lohman, Tamara Palmer, Frank Sanborn
School of Computing: Faculty Publications
The Center for Robot-Assisted Search and Rescue deployed three commercially available small unmanned aerial systems (SUASs)—an AirRobot AR100B quadrotor, an Insitu Scan Eagle, and a PrecisionHawk Lancaster—to the 2014 SR-530 Washington State mudslides. The purpose of the flights was to allow geologists and hydrologists to assess the eminent risk of loss of life to responders from further slides and flooding, as well as to gain a more comprehensive understanding of the event. The AirRobot AR100B in conjunction with PrecisionHawk postprocessing software created two-dimensional (2D) and 3D reconstructions of the inaccessible “moonscape” region of the slide and provided engineers with a …