LIU , Qian

We study the use of Multiform Logical Time, as embodied in Esterel/SyncCharts and Clock Constraint Specification Language (CCSL), for the specification of assume-guarantee constraints providing safe driving rules related to time and space, in the context of Automated Driving Assistance Systems (ADAS). The main novelty lies in the use of logical...

Due to the mobility of autonomous vehicles and changing context through time, the constraints in safe driving rules specification need to be irregularly updated for monitoring the trajectory plan. This is not assumed in the Spatial-Temporal Logic. This paper proposes a novel approach to build the specification of assume-guarantee constraints...

Plant-parasitic nematodes secrete numerous effectors to facilitate parasitism, but detailed functions of nematode effectors and their plant targets remain largely unknown. Here, we characterized four macrophage migration inhibitory factors (MIFs) in Meloidogyne incognita resembling the MIFs secreted by human and animal parasites....

Summary Meloidogyne enterolobii is an emerging root‐knot nematode species that overcomes most of the nematode resistance genes in crops. Nematode effector proteins secreted in planta are key elements in the molecular dialogue of parasitism. Here, we show the MeMSP1 effector is secreted into giant cells and promotes M. enterolobii parasitism....

Today, increasing attention is being paid to research into spike-based neural computation both to gain a better understanding of the brain and to explore biologically-inspired computation. Within this field, the primate visual pathway and its hierarchical organization have been extensively studied. Spiking Neural Networks (SNNs), inspired by...

Speech recognition has become an important task to improve the human-machine interface. Taking into account the limitations of current automatic speech recognition systems, like non-real time cloud-based solutions or power demand, recent interest for neural networks and bio-inspired systems has motivated the implementation of new...