Publications
-
Electrically Controlled G Factor and Magnetism in Conjugated Metallorganic Molecules
Here we construct model Hamiltonians based on first-principles calculations to describe spins at the ions and π electrons in the ligands.
-
Introduction to the 2nd Edition of the Workshop “Advances in Semantics for Web Services 2007” (Semantics4Ws 2007)
These proceedings contain the papers accepted for the 2nd edition of the workshop ”Advances in Semantics for Web services 2007” (semantics4ws 2007).
-
Large-Scale Many-Class Learning
We present novel online index learning algorithms. When compared to other approaches, including one-versus-rest and top-down learning and classification using support vector machines, we find that indexing is highly advantageous…
-
Lifting Abstract Interpreters to Quantified Logical Domains
We describe a general technique for building abstract interpreters over powerful universally quantified abstract domains that leverage existing quantifier-free domains.
-
A Brief Overview of PVS
Abstract PVS is now 15 years old, and has been extensively used in research, industry, and teaching. The system is very expressive, with unique features such as predicate subtypes, recursive…
-
Amperometric Gas Sensors – a Review
The amperometric gas sensor, or AGS, belongs to a large and important class of electrochemical gas sensors, and they play an ever-increasing role in environmental monitoring, medical and health applications,…
-
Using PFISR Measurements and Gravity Wave Dissipative Theory to Determine the Neutral, Background Thermospheric Winds
Understanding the propagation and dissipation of an atmospheric gravity wave (GW) in the thermosphere requires an accurate dissipative GW dispersion relation, the GW's horizontal wavelength and period, and the background…
-
Voice-Based Speaker Recognition Combining Acoustic and Stylistic Features
We present a survey of the state of the art in voice-based speaker identification research. We describe the general framework of a text-independent speaker verification system, and, as an example,…
-
First Estimates of Volume Distribution of HF-Pump Enhanced Emissions at 6300 and 5577 Angstrom: a Comparison Between Observations and Theory
We present bi-static observations of radio-wave induced optical emissions at 6300 and 5577 Å from a night-time radio-induced optical emission ionospheric pumping experiment at the HIPAS (Fairbanks) facility in Alaska.
-
How Post-Secondary Journalism Educators Teach Advanced Car Data Analysis Skills In The Digital Age
Survey responses from 232 journalism educators in 33 nations were analyzed for descriptions of how they have taught a subset of the most pedagogically challenging computer-assisted reporting (CAR) skills-advanced data…
-
Mathematics Worth Knowing, Resources Worth Growing, And Research Worth Nothing: A Response To The National Mathematics Advisory Panel Report
The authors praise Foundations for Success: The Final Report of the National Mathematics Advisory Panel (2008) for focusing on the mathematics within mathematics education.
-
Multimedia Information Extraction Roadmap