5,701 research outputs found
Enriching OCL Using Observational Mu-Calculus
No full textThe Object Constraint Language is a textual specification language which forms part of the Unified Modelling Language[ 8 ]. Its principal uses are specifying constraints such as well-formedness conditions (e.g. in the definition of UML itself) and specifying contracts between parts of a system being modelled in UML. Focusing on the latter, we propose a systematic way to extend OCL with temporal constructs in order to express richer contracts. Our approach is based on observational mu-calculus, a two-level temporal logic in which temporal features at the higher level interact cleanly with a domain specific logic at the lower level. Using OCL as the lower level logic, we achieve much improved expressiveness in a modular way. We present a unified view of invariants and pre/post conditions, and we show how the framework can be used to permit the specification of liveness properties
J.C. Steyn Collection index
No full textThis index describes the J. C. Steyn collection which includes background material for 3 biographies by J.C. (Jaap) Steyn namely N.P. van Wyk Louw, P.J. Cillié and MER (M.E. Rothman). Prof. J.C. Steyn (1939-) is an educationist, linguist and author. Correspondence ; clippings ; photographs ; book reviews ; articles ; speeches ; varia compiled in 23 pamphlet boxes
Product Innovation Knowledge Transfer for Developing Countries: Towards a systematic Transfer Approach
No full textThe transfer of knowledge on product innovation to small- and medium-sized enterprises and local knowledge institutions in developing countries is expected to be one of the key drivers for competiveness and economical growth, and a part of the solution to environmental and social challenge. In that respect, this PhD study focuses on how the process of the current knowledge transfer takes place and how it can be improved. A combination of literature review and empirical research has resulted into a conceptual framework to describe the complex and dynamic process of product innovation knowledge transfer to developing countries. In order to improve this process, a systematic approach has been developed and operationalized by a needs assessment tool and a design manual: The UNEP Design for Sustainability for Developing Economies (D4S-DE) Manual (www.d4s-de.org). Both tools have been tested in practice by practitioners and have been evaluated by an academic review board.Design EngineeringIndustrial Design Engineerin
Where do we draw lines: professional relationship boundaries and the child and youth care practitioner
No full textThe question of professional relationship boundaries is a poignant one, in light of the many boundary grey-zones that are created by the variety of young people’s needs, practice settings and professional relationship contexts within the field of child and youth care. In order to support practitioners’ development of critical thought and awareness of professional boundaries, this paper applies a professional relationship boundaries conceptual framework to child and youth care work, and the literature is consulted to explore the impacts of boundary violations, influences on individual’s boundaries, cues to indicate blurring boundaries, and key strategies to maintain balanced boundaries
Phi Mu Chi Beta, 1954-1955 Officers
No full textThese Jacksonville State College students were also Phi Mu Chi Beta officers in 1954-1955. Phi Mu Chi Beta was the Science Club organized by science majors and minors. Shown are, seated, Dr. J.C. Wilkes (faculty advisor), Ross Smith (president), Reuben Boozer (faculty advisor), Shirley Dunn (secretary treasurer), Gerald Poore (vice president), Blanche Rutland (reporter), and Jo Ann Lewis (historian).https://digitalcommons.jsu.edu/lib-ac-histimg/11728/thumbnail.jp
Anthropometry of the Beaver, Sekani, and Carrier Indians:
No full textby J.C. Boileau GrantBulletin (National Museum of Canada) ; 81. Bulletin (National Museum of Canada). Anthropological series. ; 18
J.C. Painter letter to Benjamin Lundy
No full textLetter from J.E. Painter to (presumably) Benjamin Lundy, answering a request for information about the history and operations of the Underground Railroad. Letter includes details of a story of an ex-slave transported on the Underground Railroad through Ohio and stories of the plight of other fugitive slaves crossing the Ohio River.
Benjamin Lundy (1789-1839) was a prominent Quaker abolitionist best known for his development of abolitionist periodicals. His "Genius of Universal Emancipation" was first published in 1821 from his home in Mt. Pleasant, Ohio, and enjoyed a wide circulation across the antebellum United States. In the 1820s, the young William Lloyd Garrison came to work for The Genius. Benjamin Lundy traveled widely seeking subscriptions to The Genius, giving talks about the anti-slavery movement, and observing and documenting the conditions of enslaved people across the Americas. He was also involved in the establishment of freed slave colonies in Mexico
Sponge-associated fungi and their bioactive compounds - the Suberites case
No full textSpecimens of Suberites domuncula that had been cultured in aquaria for 4 weeks were analyzed for their associated fungi. A total of 81 fungal strains belonging to 20 different genera was isolated and identified by morphological and molecular methods. The most frequently isolated taxa were Cladosporium spp., Penicillium spp., Petriella sp., Phialophora spp. and Engyodontium album. Based on chromatographic and mass spectrometric analysis of fungal extracts, as well as on bioassay results, Aspergillus ustus, Penicillium sp., Petriella sp. and Scopulariopsis sp. were selected for in-depth analysis of their natural products. A total of 19 different fungal metabolites, including three new natural products, was isolated and structurally identified. A. ustus yielded two sesquiterpenes, a drimane derivative and deoxyuvidin, as well as a sesterterpene ophiobolin H. The drimane derivative had an ED50 value against L5178Y cells of 1.9 mu g ml(-1) in vitro. The crude extract of Petriella sp. was also strongly cytotoxic against the L5178Y cell line. The cyclic tetrapeptide WF-3161 was primarily responsible for the activity; the ED50 value was <0.1 mu g ml(-1). It was identical to the known compound WF-3161 and had been previously isolated from Petriella guttulata. In addition to WF-3161, three further natural products were obtained and unequivocally identified as new derivatives of infectopyrone by one-and two-dimensional NMR spectroscopy and by mass spectroscopy. Of the new compounds, only dihydroinfectopyrone was active against L5178Y cells; the ED50 value was 0.2 mu g ml(-1). Penicillium sp. yielded the largest number of metabolites. Viridicatin, viridicatol, cyclopenin and cyclopenol suppressed larval growth of the polyphagous pest insect Spodoptera littoralis when incorporated into an artificial diet at an arbitrarily chosen concentration of 237 ppm. Viridicatol was the most active compound and had an ED50 value of ca. 50 ppm. Scopulariopsis sp. yielded three metabolites, including the known acetylcholinesterase inhibitors quinolactacin A1 and A2
Turbulent wakes of plates with non-equilibrium similarity scalings
No full textWe have conducted hot wire anemometry measurements of six different axisymmetric turbulent wakes which demonstrate the existence in all these wakes of non-equilibrium mean flow profile scalings and of the underlying self-preservation and non-equilibrium dissipation scalings. These mean flow profile scalings are different from those of all documented canonical boundary-free turbulent shear flows to date, all of which have been established for very far downstream regions
Energy dissipation and flux laws for unsteady turbulence
No full textDirect Numerical Simulations of spatially periodic unsteady turbulence show that the high Reynolds number scalings of the instantaneous energy dissipation rate and interscale energy flux at intermediate wavenumbers are qualitatively different from the well-known cornerstone scalings of equilibrium turbulence where and are time-dependent rms velocity and integral length-scales. Instead, they both scale as where and are length and velocity scales characterizing initial/overall unsteady turbulence conditions
- …
