AFDX (Avionics Full Duplex Switched Ethernet) standardised as ARINC 664 is a major upgrade for avionics systems. The certification imposes to guarantee that the end-toend delay of any frame transmitted on the network is upperbounded and that no frame is lost due to buffer overflow. This guarantee is obtained thanks to a worst-case analysis assuming a FIFO scheduling policy of flows on each outp...

Our group OKSAT submitted five runs for Chinese and Japanese subtasks of the NTCIR-12 Short Text Conversation task (STC). We searched not only posts but also comments for terms of each query (post). We also gave more priority to short comments than longer ones. Then we filtered retrieved comments by characteristic words including proper nouns. We added attributes to the corpus and also to the q...

A minimal model based on individual interactions is proposed to study the non-Poisson statistical properties of human behavior: individuals in the system interact with their neighbors, the probability of an individual acting correlates to its activity, and all individuals involved in action will change their activities randomly. The model creates rich non-Poisson spatial-temporal properties in ...

This paper analyzes court priority queuing behavior by examining the time lapse between when a case enters a court’s docket and when it is ultimately disposed of. Using data from the Supreme courts of the United States, Massachusetts, and Canada we show that each court’s docket features a slow decay with a decreasing tail. This demonstrates that, in each of the courts examined, the vast majorit...

Several projects aimed at identifying priority issues for conservation with high relevance to policy have recently been completed in several countries. Two major types of projects have been undertaken, aimed at identifying (i) policy-relevant questions most imperative to conservation and (ii) horizon scanning topics, defined as emerging issues that are expected to have substantial implications ...