This paper describes a technique based on network grammars and abstraction to verify families of state transition systems The family of state transition systems is represented by a context free network grammar Using the structure of the network grammar our tech nique constructs an invariant which simulates all the state transition systems in the family A novel idea used in this paper is to use ...

Can the topology of a network that consists of many particles interacting with each other change in complexity when a phase transition occurs? The answer to this question is particularly interesting to understand the nature of the phase transitions if the distinct phases do not break any symmetry, such as topological phase transitions. Here we present a novel theoretical framework established b...

Identifying a critical transition and its leading biomolecular network during the initiation and progression of a complex disease is a challenging task, but holds the key to early diagnosis and further elucidation of the essential mechanisms of disease deterioration at the network level. In this study, we developed a novel computational method for identifying early-warning signals of the critic...

Many models and real complex systems possess critical thresholds at which the systems shift dramatically from one sate to another. The discovery of early-warnings in the vicinity of critical points are of great importance to estimate how far the systems are away from the critical states. Multifractal Detrended Fluctuation analysis (MF-DFA) and visibility graph method have been employed to inves...

A s y n t a c t i c a n a l y s i s procedure is descr ibed which ob ta ins d i r e c t l y the deep s t r u c t u r e i n f o r m a t i o n assoc ia ted w i t h an inpu t sentence. The implementat i o n u t i l i z e s a s t a t e t r a n s i t i o n network c h a r a c t e r i z i n g those l i n g u i s t i c f a c t s r ep resen tab le in a contex t f r ee fo rm, and a number of techn iques...

A common goal in the control of a large network is to minimize the number of driver nodes or control inputs. Yet, the physical determination of control signals and the properties of the resulting control trajectories remain widely underexplored. Here we show that (i) numerical control fails in practice even for linear systems if the controllability Gramian is ill conditioned, which occurs frequ...

Purpose: To report on the use of a user-centred model and methodology to assess the quality of care transition and network activation action, in light of an ongoing home supported discharge procedure for stroke patients in Portugal. Theory: In Portugal, the health care system presents weaknesses resulting from a remarkable diversity of entry points, inadequate use of scarce and expensive resour...

In order to present large-scale malicious attacks on an ISP network to maintain network services, we have designed a method to record key packets classified by sessions. Session is the service provided above the IP layer. We define a TCP connection a session, a UDP packet exchange a session, or echo and echo response of ICMP to be a session. The research of network attack/intrusion/information ...