Publications
-
AMP-Activated Protein Kinase Inhibits Transforming Growth Factor-Beta-Induced Smad3-Dependent Transcription and Myofibroblast Transdifferentiation
In wound healing, myofibroblast transdifferentiation (MFT) is a metaplastic change in phenotype producing profibrotic effector cells that secrete and remodel the extracellular matrix.
-
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,…
-
A Micromachined Surface Stress Sensor with Electronic Readout
A micromachined surface stress sensor has been fabricated and integrated off chip with a low-noise, differential capacitance, electronic readout circuit.
-
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.