In a many-to-many matching model in which agents’ preferences satisfy substitutability and the law of aggregate demand, we present an algorithm to compute full set stable matchings. This relies on idea “cycles preferences” generalizes presented Roth Sotomayor (1990) for one-to-one model.

This paper addresses the analysis of combinational cycles in synchronous, sequential circuits. A circuit that has a com-binational cycle does not necessarily have unstable output behavior: the cycle may be \false" for all reachable states and possible input sequences, or the unstable behavior on the cycle may not aaect the outputs. We provide a procedure to determine whether a circuit produces ...

Passive dynamic walkers (PDWs) are simple dynamical systems that have been used to study the fundamentals of normal human walking. In essence, they are a collection of links and joints capable of “walking” down shallow slopes with a surprisingly human-like gait. PDWs have no active motors or control system, rather they are “powered” by gravity. With judicious choice of model parameters and init...

As fretting fatigue cracks are initiated at an early stage of life, the fretting fracture process is dominated by the stable growth of cracks. Hence the measurement of crack length is very important. This paper demonstrates the suitability of the DC potential drop technique for the measurement of fretting cracks. A calibration has been established for monitoring crack growth in BS L65 copper al...

Background: Drying and rewetting process, frequently occurred during climatic changes, is an important process in soil aggregate slacking and dissolution. The severer interference of human activities on global climate makes the extreme climate scenarios like drought and rainstorm occur frequently. Therefore, there is necessity to further our understanding on the impact of the drying–wetting cyc...

Symmetry is used to investigate the existence and stability of heteroclinic cycles involving steady-state and periodic solutions in coupled cell systems with Dn-symmetry. Using the lattice of isotropy subgroups, we study the normal form equations restricted to invariant fixed-point subspaces and prove that it is possible for the normal form equations to have robust, asymptotically stable, heter...

In proliferating cells, DNA synthesis must be performed with extreme precision. We show that groups of replicons, labeled together as replicon clusters, form stable units of chromosome structure. HeLa cells were labeled with 5-bromodeoxyuridine (BrdU) at different times of S phase. At the onset of S phase, clusters of replicons were activated in each of approximately 750 replication sites. The ...

An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even number of negative edges. For a normal logic program that has no odd cycles, while it is known that such a program always has a stable model, and such a stable model can be computed in polynomial time, we show in this...