Learn More
BACKGROUND The goal of the study is presentation broad abilities like gives Ilizarov method in the treatment of posttraumatic nonunion the of forearm with concomitant shortening and axis deformity, in minimally invasive technique, with contemporary axis correction and lengthening . MATERIAL AND METHODS . Authors present 6 patient operated on with the use(More)
In this paper we consider an adaptation of counter abstraction for the CSP/FDR setting. The technique allows us to transform a concurrent system with an unbounded number of agents into a finite-state abstraction. The systems to which the method can be applied are composed of many identical node processes that run in parallel with a controller process.(More)
This article reports on the activation of dioxygen on nickel(I) dispersed inside the nanopores of the ZSM-5 zeolite, which can be regarded as a heterogeneous mimetic system (zeozyme) for Ni-bearing enzymes. The side-on η(2)-coordination of the resulting nickel-bound superoxo adduct was ascertained by detailed analysis of the EPR spectra of both (16)O(2) and(More)
Zastosowania osteogenezy dystrakcyjno-kompresyjnej w leczeniu pourazowych stawów rzekomych przedramienia Treatment of non-union of forearm bones using distraction-compression osteogenesis SUMMARY Background. The goal of the study is presentation broad abilities like gives Ilizarov method in the treatment of posttraumatic nonu-nion the of forearm with(More)
The Parameterised Model Checking Problem asks whether an implementation Impl (t) satisfies a specification Spec(t) for all instantiations of parameter t. In general, t can determine numerous entities: the number of processes used in a network, the type of data, the capacities of buffers, etc. The main theme of this paper is automation of uniform(More)
Interaction of tetracoordinated nickel(I) centers generated inside the channels of ZSM-5 zeolite with carbon monoxide ((12,13)CO, pCO < 1 Torr) led to the formation of T-shaped, top-on monocarbonyl adducts with a unique trigonal nickel core, supported by two oxygen donor ligands. The mechanism of the formation of the {Ni(I)-CO}ZSM-5 species was accounted(More)
Quantum mechanical calculations at various levels of theory indicate that charges (both "+" and "-") on organic polymers can be stabilized by radicals on nearby polymer chains. The stabilization mechanism is based on the formation of intermolecular odd-electron, two-center bonds with possible concomitant spin density redistribution (depending on the polymer(More)
  • 1