Publications
-
Role of Conjugate and Local Terminators for Ionospheric Dynamics at Arecibo
Using some recent Plasma drift data at Arecibo, we present evidences of Electric Field (E) changes induced by sunrise and sunset transitions at both local and conjugate regions.
-
Characterization of Genetic Variation in the Vgll4 Gene in Anorexia Nervosa
-
A Multiparameter Aerosol Classification Method and Its Application to Retrievals from Spaceborne Polarimetry
Classifying observed aerosols into types helps to understand aerosol sources, transformations, effects, and feedback mechanisms; to improve accuracy of satellite retrievals; and to quantify aerosol radiative impacts on climate.
-
Cortical nNOS/NK1 Neurons Are Regulated by Cholinergic Inputs
CCh has a network effect on excitability within the cortex, as both presynaptic and postsynaptic effects result in an oscillating pattern of nNOS/NK1 neuron excitability.
-
Digital Fabrication of Flexible Electronic Systems
In this talk, the speaker will discuss PARC's approach to circuit design and modeling in the context of building sensor systems in partnership with Thinfilm Electronics based on an ink-jet…
-
Model-Based Approach for Optimal Maintenance Strategy
In this paper we introduce a novel model-based reliability analysis methodology to guide the best maintenance practices for the different components in complex engineered systems.
-
A Nonlinear Real Arithmetic Fragment
We present a new procedure for testing satisability (over the reals) of a conjunction of polynomial equations.
-
An Operational Semantics for the Goal Life-Cycle in BDI Agents
A fundamental feature of intelligent agents is their ability to deliberate over their goals. Operating in an environment that may change in unpredictable ways, an agent needs to regularly evaluate…
-
Yices 2.2
We describe the latest release of Yices, namely, Yices 2.2. We present the tool’s architecture and discuss the algorithms it implements, and we describe recent developments such as support for…
-
N-CANDA Data Integration: Anatomy of an Asynchronous Infrastructure for Multi-Site, Multi-Instrument Longitudinal Data Capture
The concepts implemented in N-CANDA’s data collection system helped reduce project start-up time by several months.
-
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors
In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are…
-
Evaluation of Functional Activity and Aggregation Properties of Hemopressin
We tested the hemopressin peptide for CB1 receptor agonist and antagonist activity in cAMP and β-arrestin recruitment assay and found it to be inactive.