Filters








8 Hits in 5.0 sec

Wrinkles in Time: Detecting Internet-wide Events via NTP

Meenakshi Syamkumar, Sathiya Kumaran Mani, Ramakrishnan Durairajan, Paul Barford, Joel Sommers
2018 2018 IFIP Networking Conference (IFIP Networking) and Workshops  
We develop a tool for analyzing NTP traces called Tezzeract, which applies Robust Principal Components Analysis to detect Internet events.  ...  Our approach is based on analyzing data that is readily available from Network Time Protocol (NTP) servers.  ...  ACKNOWLEDGMENTS We thank the NTP operators for providing the datasets. This work is supported by NSF grants CNS-1703592, DHS BAA 11-01, AFRL FA8750-12-2-0328.  ... 
doi:10.23919/ifipnetworking.2018.8696566 dblp:conf/networking/SyamkumarMDBS18 fatcat:za72ig5rbjalfigvbkqtg47zuq

An Integrated View of Aristolochic Acid Nephropathy: Update of the Literature

Inès Jadot, Anne-Emilie Declèves, Joëlle Nortier, Nathalie Caron
2017 International Journal of Molecular Sciences  
often not considered in AAN.  ...  latest data available about underlying pathophysiological mechanisms leading to AAN development with a particular emphasis on the imbalance between vasoactive factors as well as a focus on the vascular events  ...  Author Contributions: Inès Jadot is the major writer of the manuscript; and Anne-Emilie Declèves, Joëlle Nortier and Nathalie Caron have overseen the writing.  ... 
doi:10.3390/ijms18020297 pmid:28146082 pmcid:PMC5343833 fatcat:736et3ueejhvbaxnugnbbsrzuq

Engineering with Logic

Steve Bishop, Matthew Fairbairn, Hannes Mehnert, Michael Norrish, Tom Ridge, Peter Sewell, Michael Smith, Keith Wansbrough
2018 Journal of the ACM  
dependent, with asynchronous event handlers, intertwined with the operating system, and security critical.  ...  Ultimately, the actual standard is the de facto one of the common implementations, including, for example, the 15 000 to 20 000 lines of the BSD implementation-optimized and multithreaded C code, time  ...  to events in the model.  ... 
doi:10.1145/3243650 fatcat:757h4fuegvclbm4qjpxuckaofe

Engineering with logic: Rigorous test-oracle specification and validation for TCP/IP and the Sockets API

S Bishop, M Fairbairn, H Mehnert, M Norrish, T Ridge, Peter Sewell, M Smith, K Wansbrough, Apollo-University Of Cambridge Repository, Apollo-University Of Cambridge Repository
2019
, with asynchronous event handlers, intertwined with the operating system, and security-critical.  ...  Ultimately, the actual standard is the de facto one of the common implementations, including, for example, the 15\,000--20\,000 lines of the BSD implementation --- optimised and multithreaded C code, time-dependent  ...  to events in the model.  ... 
doi:10.17863/cam.34900 fatcat:uucsze7tcrdg5ohrbdxqlnr34y

Proceedings of the NOSA-FAAR Symposium 2015

Ari Leskinen, Jenni Kontkanen
2015 REPORT SERIES IN AEROSOL SCIENCE   unpublished
The CSC IT center for Science in Espoo, Finland is acknowledged for computer time.  ...  ACKNOWLEDGEMENTS ACKNOWLEDGEMENTS We thank CSC-IT Center for Science, Espoo, Finland, for computing time, and ERC StG 257360 MOCAPAF, and the Academy of Finland (Center of Excellence program project  ...  ) and stearic acid (SA, solid at NTP) particles.  ... 
fatcat:fubzfc43k5aaxki2ugsvp4j7ra

Realising affect-sensitive multimodal human-computer interface: hardware and software infrastructure

Jie Shen, Maja Pantic, European Research Council, European Commission
2015
the hardware, as well as the existence of different methods for time-stamping the recorded data.  ...  In addition, sensor fusion should be realised with high accuracy as to achieve tight synchronisation between sensors and, in turn, enable studies of correlation between various behavioural signals.  ...  if the flag event is in a raised state.  ... 
doi:10.25560/25104 fatcat:fp3slrrpevcljcyptonv3ijb5q

Proteomic analysis of flax (Linum usitatissimum L.) phloem fibres and stem tissues

Hotte, Naomi Sela Clare, 1980-
2008
, loan, distribute and sell theses worldwide, for commercial or noncommercial purposes, in microform, paper, electronic and/or any other formats.  ...  NOTICE: The author has granted a nonexclusive license allowing Library and Archives Canada to reproduce, publish, archive, preserve, conserve, communicate to the public by telecommunication or on the Internet  ...  a past tandem duplication event.  ... 
doi:10.7939/r3-59x1-fa94 fatcat:55lrxlthoncqrhbj5wta26szji

CHAPTER I LIFE SCIENCE

Ali Mohamad, Fulazzaky, Jamaluddin Iddris, Abdul Hamid, M Pd, Gregory Vanderbilt, Natsuko Saeki, H Sayuti, Halus Satriawan, M Si
2015 Technology and Society   unpublished
Acknowledgements Thanks and highest appreciation to the Dean of the faculty of Medicine Universitas Malikussaleh for permission to participate in this event.  ...  The Internet Journal of Geriatric and Gerontology, 6:1. Manurung,A.K.W. (2012).  ...  This study reports on the National TB Control Programmed (NTP) surveillance data for the period 2003 to 2011.  ... 
fatcat:g3umfhf5grbbvcdpleotb7ip5q