SRI International
-
Verification and Synthesis Using Real Quantifier Elimination
We present the application of real quantifier elimination to formal verification and synthesis of continuous and switched dynamical systems.
-
Compliant Electroactive Polymer Transducers for Sonic Applications
-
Design Patterns To Support Storyboards And Scenario-Based, Innovative Item Types
We report on current research in which we are examining the extension and application of inquiry-based design patterns to guide the development of complex science tasks for use in a statewide science assessment.
-
Fuel-Structure Dependence of Benzene Formation Processes in Premixed Flames Fueled By C6H12 Isomers
Close to the burner surface, successive dehydrogenation of the fuel is found to be important for the cyclohexane flame and to some smaller extent for the methylcyclopentane flame.
-
Introduction to the Special Issue on Question Answering
This special issue issue of AI Magazine presents six articles on some of the most interesting question answering systems in development today.
-
Light Driven Formation of Adhesive Emulsion Drops to Form Lipid Bilayers
We demonstrate optical manipulation of nanoliter aqueous droplets containing surfactant or lipid molecules and immersed in an organic liquid using near infrared light.
-
Reports of the AAAI 2010 Fall Symposia
The Association for the Advancement of Artificial Intelligence was pleased to present the 2010 Fall Symposium Series.
-
Effects of Rg3487 at the Alpha 7 Beta 2 Nicotinic Acetylcholine Receptor Expressed in Xenopus Oocytes
-
From Biology to Inspiration and Back: Is the Pallidal Complex a Reservoir?
This paper explores parallels between Reservoir Computing models and basal ganglia nuclei including the subthalamic nucleus and globus pallidus.
-
Functional and Anatomical Remapping of Corticocerebellar Loops in Alcoholism
-
Micro Robot Manufacturing
-
Modes of Excess Heat Production in the Fleischmann-Pons Effect