SELF-SORTING IN TWO-DIMENSIONAL ASSEMBLIES OF SIMPLE CHIRAL MOLECULES



Fluctuating Demand-Oriented Optimization of Train Line Planning Considering Carriage Resources Transfer under Flexible Compositions

The intercity railway is subject to variation and fluctuation in demand both in time and space over a day to a large extent.In that case, more advanced line planning techniques are practically needed to match the non-equilibrium passenger demand.We propose an integer linear programming model for adapting to the fluctuating demand and improving rail

read more


Iterable Forward Reachability Analysis of Monitor-DPNs

There is a close connection between data-flow analysis Jeans and model checking as observed and studied in the nineties by Steffen and Schmidt.This indicates that automata-based analysis techniques developed in the realm of infinite-state model checking can be applied as data-flow analyzers that interpret complex control structures, which motivates

read more