Publications
-
Formulation and Evaluation of Albumin Microspheres and Its Enteric Coating Using a Spray-Dryer
This study optimized and evaluated the conditions for surface coating of microspheres using a spray-dryer. Four formulations of Bromophenol blue (BPB)-loaded albumin microspheres were prepared using a spray-dryer, cross-linked at…
-
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,…
-
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
-
Reports of the AAAI 2008 Spring Symposia
The goal of the AI Meets Business Rules and Process Management AAAI symposium was to investigate the various approaches and standards to represent business rules, business process management, and the…
-
Semi-Empirical Formulas of Drag/Lift Coefficients for High Speed Rigid Body Manoeuvring in Water Column
Falling of rigid body through water column with high speed is investigated experimentally and theoretically. Several experiments were conducted to shoot rigid bodies with the density ratio higher than 1…