CHaRy is a software system to support the synthesis of periodic controller applications, where hard real-time conditions must be guaranteed for software tasks. Due to complexity reasons, CHaRy decomposes the overall problem of implementing periodic controllers on parallel embedded computers to the sub-problems partitioning, timing analysis, allocation and schedulability analysis. This rigourous...

We discuss one parameter families of unimodal maps, with negative Schwarzian derivative, unfolding a saddle-node bifurcation. We show that there is a parameter set of positive but not full Lebesgue density at the bifurcation, for which the maps exhibit absolutely continuous invariant measures which are supported on the largest possible interval. We prove that these measures converge weakly to a...

We know that tilesets that can tile the plane always admit a quasiperiodic tiling [4, 8], yet they hold many uncomputable properties [3, 11, 21, 25]. The quasi-periodicity function is one way to measure the regularity of a quasiperiodic tiling. We prove that the tilings by a tileset that admits only quasiperiodic tilings have a recursively (and uniformly) bounded quasi-periodicity function. Thi...

MYLOIDOSIS has been experimentally produced in mice by repeated injections of sodium caseinate,’ of Freund’s adjuvant,2 and of Freund’s adjuvant plus brain.3 Teilum produced the condition in rabbits by hyperimmunization with Pfeiffer’s bacillus. In the spleens of the animals he found a marked proliferation of plasma cells, many of which stained positively with periodic acid-Schiff ( PAS ) . Sin...

We develop complex function theory within certain algebras of holomorphic functions on coverings of Stein manifolds. This, in particular, includes the results on holomorphic extension from complex submanifolds, corona type theorems, properties of divisors, holomorphic analogs of the Peter-Weyl approximation theorem, Hartogs type theorems, characterization of uniqueness sets. The model examples ...

The effects of exogenous glucose in artificial spring water (ASW) were studied on the survival and infectivity of Schistosoma mansoni cercariae. The mean percent survival of cercariae maintained in 1% glucose in ASW for 36 and 48 hr was significantly greater than that of cercariae maintained identically in ASW. Cercariae maintained in ASW with or without glucose for 24 hr, fixed in neutral buff...

We have previously reported the results of a clinical trial in which the Noveon laser was used to treat onychomycosis. In the 180-day follow-up therein it was noted that positive clinical impact was demonstrable by a clearly measurable decrease in positive fungal culture and a concomitant decrease in positive microscopy with periodic acid-Schiff-stained nail scrapings. Review of 270-day mycolog...

The difficult to handle and store zinc borohydride, Zn(BH4)2, is stabilized by supporting it on polyvinylpyridine. This new mild, efficient, selective, and regenerable polymer supported borohydride reducing agent reduces a variety organic compounds such as, aldehydes, a-b-unsaturated carbonyl compounds, acid chlorides, epoxides, disu...