Publications
-
Advice for Mathematical Argumentation
“Telling” can be an effective tool in helping students engage in intellectually demanding argumentation and productive behavior.
-
Generalized Effective-Medium Theory for Metamaterials
We present an effective-medium model for calculating the frequency-dependent effective permittivity ε(ω) and permeability μ(ω) of metamaterial composites containing spherical particles with arbitrary permittivity and permeability.
-
ISOMER: Informative Segment Observations for Multimedia Event Recounting
This paper describes a system for multimedia event detection and recounting. The goal is to detect a high level event class in unconstrained web videos and generate event oriented summarization…
-
Multi-Modal Image Retrieval for Complex Queries Using Small Codes
We propose a unified framework for image retrieval capable of handling complex and descriptive queries of multiple modalities in a scalable manner.
-
Computational thinking practices: Analyzing and modeling a critical domain in computer science education
This paper discusses the design process used to develop an assessment of computational thinking to support the adoption of a high school computer science curriculum.
-
Incoherent Scatter Radar-FAST Satellite Common Volume Observations of Upflow-to-Outflow Conversion
Measurements have been combined with all-sky images, polar convection measurements, and FAST particle and field measurements to quantify the contribution of different magnetosphere-ionosphere coupling processes to the extraction efficiency of…
-
Who is where? Characteristics of deaf and hard-of-hearing students in regular and special schools
A secondary analysis of the National Longitudinal Transition Study 2 database was conducted to examine differences in the characteristics of students who attended special schools, such as schools for the…
-
Fabrication of Highly Spin-Polarized Co2FeAl0.5Si0.5 Thin-Films
Ferromagnetic Heusler Co2FeAl0.5Si0.5 epitaxial thin-films have been fabricated in the L21 structure with saturation magnetizations over 1200 emu/cm3.
-
Mechatronic Design of an Integrated Robotic Hand
In this paper, we present a hand designed for minimalistic dexterous manipulation, in which every stage of the design process also considered its manufacturing cost. Finally, we present the results…
-
The Gradual Verifier
We propose a gradual verification approach, GraVy. For a given piece of Java code, GraVy partitions the statements into those that are unreachable, or from which exceptional termination is impossible, inevitable, or…
-
Computer-Guided Inquiry to Improve Science Learning
Engaging students in inquiry practices is known to motivate them to persist in science, technology, engineering, and mathematics (STEM) fields and to create lifelong learners. In inquiry, students initiate investigations,…
-
A Synthesized Algorithm for Interactive Consistency
We discovered our algorithm using an automated synthesis technique that is based on bounded model checking and QBF solving. Our synthesis technique is general and simple, and it is a…