Porcine epidemic diarrhea (PED) was recognized in U.S. swine for the first time in early 2013. A plaque-purified PED virus (PEDV) isolate (USA/Iowa/18984/2013) was obtained from a diarrheic piglet. The isolate is genetically close to other previously reported U.S. PEDVs and recent Chinese PEDVs and was virulent when inoculated into neonatal pigs.

We examine the use of model-checking in the analysis of information leakage in social networks. We take previous work on the formal analysis of digital crowds and show how a variation on the formalism can naturally model the interaction of people and groups of followers in intersecting social networks. We then show how probabilistic models of the forwarding and reposting behaviour of individual...

This work proposes the Cultural Greedy Ant (CGrAnt) protocol to solve the problem of data delivery in opportunistic and intermittently connected networks referred to as Delay Tolerant Networks (DTNs). CGrAnt is a hybrid Swarm Intelligence-based forwarding protocol designed to address the dynamic and complex environment of DTNs. CGrAnt is based on: (1) Cultural Algorithms (CA) and Ant Colony Opt...

We present a new methodology for predicting the spread of information in a social network. We focus on the Twitter network, where information is in the form of 140 character messages called tweets, and information is spread by users forwarding tweets, a practice known as retweeting. Using data of who and what was retweeted, we train a probabilistic collaborative filter model to predict future r...

Network coding allows the routers to mix the received information before forwarding them to the next nodes. Though this information mixing has been proven to maximize network throughput, it also introduces security challenges such as pollution attacks. A malicious node could insert a malicious packet into the system and this corrupted packet will propagate more quickly than in traditional copy-...

We propose a novel routing framework called PWave that supports multi-source multi-sink anycast routing for wireless sensor networks. A distributed and scalable potential field estimation algorithm and a probabilistic forwarding scheme are proposed to ensure low overhead and high resilience to network dynamics. Key properties of this framework are proved through theoretical analysis and verifie...

We define an analytical approach and a methodology to determine the set of Service Level Agreements (SLA) that can be effectively supported by a DiffServ IP network. We consider the Assured Forwarding (AF) Per Hop Behavior (PHB), and, based on the SLA probabilistic description, we derive a worst-case mathematical formulation for the overbooking probability, i.e., the probability that the traffi...

SOCRATES is a software system for testing correctness of im plementations of IP routing protocols such as RIP OSPF and BGP It uses a probabilistic algorithm to construct random network topologies For each generated network topology it checks the correctness of routing table cal culation and the IP packet forwarding behavior For OSPF it also checks the consistency between network topologies and ...