Publications
-
Theory of Reals for Verification and Synthesis of Hybrid Dynamical Systems
Formal verification and synthesis are both indispensable components of any methodology for designing and efficiently developing safe cyber-physical systems.
-
Trypanosoma Cruzi-Induced Activation of Functionally Distinct Alpha Beta and Gamma Delta CD4(-) CD8(-) T Cells in Individuals with Polar Forms of Chagas’ Disease
In this work, we sought to investigate whether αβ or γδ DN T cells display distinct immunoregulatory potentials in patients with polar forms of human Chagas' disease.
-
Bayesian Minimax Estimation of the Normal Model with Incomplete Prior Covariance Matrix Specification
This work addresses the issue of Bayesian robustness in the multivariate normal model when the prior covariance matrix is not completely specified, but rather is described in terms of positive…
-
Modes Effect of ionospheric depth on the ionospheric feedback instability: cutoff and subsequent E|| modes
In this work we test this assumption by solving the two-fluid equations for a representative ionospheric slab of finite thickness.
-
Lorentzian Symmetry in an Expanding Hyperbolic Geometry: the Connection with Minkowski Space
The geometric isometry of negative curvature in both position and velocity spaces now provides additional evidence for a previously demonstrated reciprocal relationship between the Lorentz transformation phenomenology and the Hubble…
-
Pontocerebellar Volume Deficits and Ataxia in Alcoholic Men and Women: No Evidence for “Telescoping”
Whether women are more vulnerable to brain dysmorphology than men despite lower alcohol consumption levels or shorter dependency remains controversial and has not been considered with respect to infratentorial structures…
-
Siderite Concretions Bearing Angular-Quartz in the Vicinity of Tai Lake, Southeast of China: Implications for an Impact Origin of Tai Lake
-
Synthesis and Tissue Distribution Studies of Acyloxyalkyl Prodrug Derivative of an Anti-HBV Dinucleotide
The preferential distribution of the dinucleotide 1 and its prodrug 2 into liver may be attributed to the presence of nucleoside phosphorothioate backbone because phosphorothioate oligonucleotides also reveal a similar…
-
21st Century Skills in STEM Workforce Training Assessments
What skills do tech employers seek? A scenario-based learning approach for teaching STEM tech education is posited.
-
Applying Evidence-Centered Design To Alternate Assessments In Mathematics For Students With Significant Cognitive Disabilities (Alternate Assessment Design
-
Understanding Signalling Networks as Collections of Signal Transduction Pathways
In this paper we introduce a method to compute all pathways in a signalling network that satisfy a simple property constraining initial, final and intermediate states.
-
Biomimetic Actinide Chelators: an Update on the Preclinical Development of the Orally Active Hydroxypyridonate Decorporation Agents 3,4,3-Li(1,2-HOPO) and 5-LIO(Me-3,2-HOPO)
A perspective on the preclinical development of two hydroxypyridonate actinide decorporation agents, 3,4,3-LI(1,2-HOPO) and 5-LIO(Me-3,2-HOPO), is presented. The chemical syntheses of both candidate compounds have been optimized for scale-up.