1. Instituto de Geociencias (IGEO) (CSIC, UCM), Plaza de Ciencias 1 & 3, 28040 Madrid, Spain. E-mail: [email protected], [email protected], [email protected]. 2. Instituto de Ciencias Matemáticas (ICMAT), CSIC-UAM-UCM-UC3M, C. Nicolás Cabrera 13-15, 28049 Madrid, Spain. E-mail: [email protected] 3. Departamento de Matemáticas, Facultad de Ciencias, Universidad Autónoma de Madrid, 2804...

*Correspondence: Dino Di Carlo, Microfluidics Biotechnology Laboratory, Department of Bioengineering, University of California Los Angeles, 420 Westwood Plaza, Los Angeles, CA, USA [email protected]; Gaurav Sant, Laboratory for the Chemistry of Construction Materials (LC), Department of Civil and Environmental Engineering, University of California Los Angeles, 420 Westwood Plaza, Los Angele...

OPTIMASBA: A Microsoft Excel workbook to optimise the mass-balance modelling applied to magmatic differentiation processes and subsolidus overprints Marı́a Teresa Cabero , Santiago Mecoleta , Francisco Javier López-Moro c,n a Department of Statistics, University of Salamanca, Plaza de Los Caı́dos, s/n. 37008 Salamanca, Spain b Atalaya 3, 31 C, 37193 Salamanca, Spain c Department of Geology, Unive...

1 2 RUNNING HEAD: Cortical-hippocampal interactions at sleep onset 3 4 AUTHORS: Daniel C. Haggerty, Daoyun Ji 5 6 Department of Molecular and Cellular Biology, Department of Neuroscience, Baylor College of 7 Medicine, One Baylor Plaza, Houston, TX 77030. 8 9 CORRESPONDING AUTHOR 10 Daoyun Ji 11 [email protected] 12 713-798-5822 13 Baylor College of Medicine, M130, 14 One Baylor Plaza, 15 Houston, TX ...

In this paper, the development of a microscopic simulation model of the New Jersey Turnpike (NJTPK) using Paramics microscopic simulation software is presented. The model is validated/calibrated using the detailed vehicle-by-vehicle toll data at each toll plaza in the NJTPK. The dataset includes the entry toll plaza, exit toll plaza, entry and exit times, entry and exit lanes, etc. for each veh...

In his seminal work [Plaza, 1989], Plaza proposed the public announcement logic (PAL), which is considered as the pilot logic in the field of dynamic epistemic logic. In the same paper, Plaza also introduced an interesting “know-value” operator Kv and listed a few valid formulas of PAL+Kv. However, it is unknown that whether these formulas, on top of the axioms for PAL, completely axiomatize PA...