http://dx.doi.org/10.1016/j.comcom.2014.08.005 0140-3664/ 2014 Elsevier B.V. All rights reserved. ⇑ Corresponding author at: Department of Automation, Tsinghua University, Beijing, China. E-mail addresses: [email protected] (K. Wang), fu-z13@mails. tsinghua.edu.cn (Z. Fu), [email protected] (X. Hu), [email protected]. cn (J. Li). Kai Wang a,b,⇑, Zhe Fu , Xiaohe Hu , Ju...

0140-3664/$ see front matter 2010 Elsevier B.V. A doi:10.1016/j.comcom.2010.01.026 q This work has been supported in part by the proje Architecture) (IST-27489), the PENED 2003 program Research and Technology (GSRT) co-financed by the and by National Sources (25%) and the NoE CONTENT * Corresponding author. Address: National and Kapo Department of Informatics and Telecommunications, I Tel.: +30...

Bin Zhou1 & William T Pu2† †Author for correspondence 1Department of Cardiology, Children’s Hospital Boston and Harvard Stem Cell Institute, Harvard University, Boston, MA, USA Tel.: +1 617 919 4643; E-mail: [email protected]. harvard.edu 2Department of Cardiology, Children’s Hospital Boston and Harvard Stem Cell Institute, Harvard University, Boston, MA, USA Tel.: +1 617 919 2091; Fax: +1 617 7...

0140-3664/$ see front matter 2011 Elsevier B.V. A doi:10.1016/j.comcom.2010.12.014 q The work described in this paper was partly Commission through the 7th ICT-Framework Program and BONE (Building the Future Optical Network Excellence). ⇑ Corresponding author. Tel.: +32 9 331 49 42; fax: E-mail addresses: [email protected] (J. B ugent.be (C. Develder). 1 J. Buysse is supported by the a...

We present additional details on our static semantics and our corpus analysis that were omitted from the main body of the paper Safely Composable Type-Specific Languages for concision [1]. We acknowledge the support of the United States Air Force Research Laboratory and the National Security Agency lablet contract #H98230-14-C-0140, as well as the Royal Society of New Zealand Marsden Fund. Cyru...

0140-3664/$ see front matter 2013 Elsevier B.V. All rights reserved. http://dx.doi.org/10.1016/j.comcom.2013.06.001 ⇑ Corresponding author. Tel.: +49 241 8020913. E-mail addresses: [email protected] (J. Ansari), [email protected] (X. Zhang), [email protected] (P. Mähönen). 1 We have described an earlier version of CogMAC [6]. This article significant design enhancements for...

talo, T; Crampin, AC; Robertson, L; Herbst, K; Newell, ML; Todd, J; Byass, P; Boerma, T; Ronsmans, C (2013) Effect of HIV infection on pregnancy-related mortality in sub-Saharan Africa: secondary analyses of pooled community-based data from the network for Analysing Longitudinal Population-based HIV/AIDS data on Africa (ALPHA). Lancet, 381 (9879). pp. 1763-1771. ISSN 0140-6736 DOI: 10.1016/S014...