A5028818540- AI-based Problem Solving and Planning
- Logic, programming, and type systems
- Formal Methods in Verification
- Language, Linguistics, Cultural Analysis
- Parallel Computing and Optimization Techniques
- Robot Manipulation and Learning
- Linguistic research and analysis
- Global Maritime and Colonial Histories
- Linguistics and language evolution
- African history and culture analysis
- Robotic Path Planning Algorithms
- Syntax, Semantics, Linguistic Variation
- History and advancements in chemistry
- Chemical Synthesis and Analysis
- Phonetics and Phonology Research
- Data Mining Algorithms and Applications
- Logic, Reasoning, and Knowledge
- Geophysical and Geoelectrical Methods
- Distributed and Parallel Computing Systems
- Robotic Locomotion and Control
- Model-Driven Software Engineering Techniques
- Electrokinetic Soil Remediation Techniques
- Natural Language Processing Techniques
- Advanced Software Engineering Methodologies
- Topic Modeling
University of Massachusetts Amherst
1993-2022
National Museum of the Philippines
2018
Western Colorado University
2006-2017
Virginia Tech
2017
Union College
2017
University of Aberdeen
2008
Yale University
1993-2003
Supercon (United States)
2002
EKOS Corporation
1996
Statistics New Zealand
1994
Functional Reactive Programming (FRP) extends a host programming language with notion of time flow. Arrowized FRP (AFRP) is version embedded in Haskell based on the arrow combinators. AFRP powerful synchronous dataflow hybrid modeling capabilities, combining advanced features higher-order lazy functional abstractions Haskell. In this paper, we describe style and our Haskell-based implementation. Of particular interest are combinators that support dynamic collections continuation-based...
We have applied methodologies developed for domain-specific embedded languages to create a high-level robot control language called Frob, functional robotics. Frob supports programming style that cleanly separates the what from how of robotic program. That is, is simple, easily understood definition strategy using groups equations and primitives which combine sets these system into complex system. The aspect program addresses unpleasant details, such as method used realize equations,...
We describe the implementation of a type checker for functional programming language Haskell that supports use classes. This extends system ML to support overloading (ad-hoc polymorphism) and can be used implement features such as equality types numeric in simple general way.
The primary goal of our effort is the development robust and portable language processing capabilities for information extraction applications. system under evaluation here based on components that have demonstrated strong performance in previous evaluations [Lehnert et al. 1992a]. Having general viability these techniques, we are now concentrating practicality technology by creating trainable to replace hand-coded data manually-engineered software.
This paper describes work currently underway at the University of Birmingham concerning application electrokinetic stabilisation to clay soils. Electrokinetic combines processes electroosmosis and chemical grouting, is most effective in silty clayey soils where hydraulic conductivity low. introduces electroosmotic theory an overview research performed date. Field trials are reported which a depth 1·1 m below ground level. The electrodes were perforated steel tubes driven into spacing 2·5 m....
The Electric Series Compliant Humanoid for Emergency Response (ESCHER) platform represents the culmination of four years development at Virginia Tech to produce a full‐sized force‐controlled humanoid robot capable operating in unstructured environments. ESCHER's locomotion capability was demonstrated DARPA Robotics Challenge (DRC) Finals when it successfully navigated 61 m loose dirt course. Team VALOR, Track A team, developed ESCHER leveraging and improving upon bipedal technologies...
Describes the enhancement of XVision, a large library C++ code for real-time vision processing, into FVision (pronounced fission), fully-featured domain-specific language (DSL) embedded in Haskell. The resulting prototype system substantiates claims increased modularity, effective reuse and rapid prototyping that characterize DSL approach to systems design. It also illustrates need judicious interface design: relegating computationally expensive tasks XVision (pre-existing components)...
In this paper we present our experiences using a novel programming style, reactive programming, to deliver summer camp for students in grades 8 through 12. This software uses declarative approach allow without background computing explore wide variety of subject material within 3D virtual environment, including computer science, mathematics, physics, and art. work is based on PyFRP, library written Python. We describe experience provide examples how style supports educational activities.
Effective robotic teammates should be able to interact with humans in natural language about all task aspects, keep track of and team states coordinate their actions, handle unexpected events autonomously. In this paper, we introduce a multi-robot architectural framework for effective robot that allows robots learn new tasks on the fly monitor execution detect faults events. It enables generate recovery plans, assess effectiveness, engage human problem solving dialogues. We demonstrate...
By integrating advanced computational design and synthesis, a series of structurally diverse reaction products based on three core scaffolds were prepared by propietary high throughput synthesis method. Incorporation auto-mated work stations sample handling techniques allowed for the production more than 20,000 compounds in relatively short time. A method to efficiently obtain quantitative qualitative analytical data these was developed. Structural comparison individual members this library...
We present an experience report demonstrating the use a Domain-Specific Language, Nuterpea, in general education music class. While of computing is common, we demonstrate that {\em coding} allows students without background or to explore topics form and theory. Coding supports new style education, one focused on creating musical compositions rather performance appreciation existing music. focus styles can be built algorithmically from structural description. With such coding define patterns...