5,258 research outputs found
Louis Butler with navigators in airplane
No full text''Capt. Louis Butler (C) teaches navigators. Plotting cross-country trip with Capt. Butler are Lts. J.T. Kazmerski, Russell Cary (L); Capt. R.F. Jackson and Lt. R.J. Pfrand (R), at Lackland AFB.'
R.J. Sommers
No full textThe single-spaced paragraph on the “About the Author” page of R.J. Sommers’ latest novel says she lives in a one-story house on the edge of a city. It says she is renowned for writing relatable characters and compelling relationships. It says nothing about her own friends.
Gazing from a photo at the top of the page, R.J. Sommers appears to point a camera toward her readers..
Language and tool support for event refinement structures in Event-B
No full textEvent-B is a formal method for modelling and verifying the consistency of chains of model refinements. The event refinement structure (ERS) approach augments Event-B with a graphical notation which is capable of explicit representation of control flows and refinement relationships. In previous work, the ERS approach has been evaluated manually in the development of two large case studies, a multimedia protocol and a spacecraft sub-system. The evaluation results helped us to extend the ERS constructors, to develop a systematic definition of ERS, and to develop a tool supporting ERS. We propose the ERS language which systematically defines the semantics of the ERS graphical notation including the constructors. The ERS tool supports automatic construction of the Event-B models in terms of control flows and refinement relationships. In this paper we outline the systematic definition of ERS including the presentation of constructors, the tool that supports it and evaluate the contribution that ERS and its tool make. Also we present how the systematic definition of ERS and the corresponding tool can ensure a consistent encoding of the ERS diagrams in the Event-B models
Mechanically axially chiral catenanes and noncanonical mechanically axially chiral rotaxanes
No full textChirality typically arises in molecules because of a rigidly chiral arrangement of covalently bonded atoms. Less generally appreciated is that chirality can arise when molecules are threaded through one another to create a mechanical bond. For example, when two macrocycles with chemically distinct faces are joined to form a catenane, the structure is chiral, although the rings themselves are not. However, enantiopure mechanically axially chiral catenanes in which the mechanical bond provides the sole source of stereochemistry have not been reported. Here we re-examine the symmetry properties of these molecules and in doing so identify a straightforward route to access them from simple chiral building blocks. Our analysis also led us to identify an analogous but previously unremarked upon rotaxane stereogenic unit, which also yielded to our co-conformational auxiliary approach. With methods to access mechanically axially chiral molecules in hand, their properties and applications can now be explored. [Figure not available: see fulltext.]</p
Combatting the #sin of self-sacrifice'? : Christian feminism in the women's suffrage struggle, 1903-1918.
No full textAuthor Co-Citation Analysis (ACA): a powerful tool for representing implicit knowledge of scholar knowledge workers
No full textIn the last decade, knowledge has emerged as one of the most important and valuable organizational assets. Gradually this importance caused to emergence of new discipline entitled ―knowledge management‖. However one of the major challenges of knowledge management is conversion implicit or tacit knowledge to explicit knowledge. Thus Making knowledge visible so that it can be better accessed, discussed, valued or generally managed is a long-standing objective in knowledge management. Accordingly in this paper author co- citation analysis (ACA) will be proposed as an efficient technique of knowledge visualization in academia (Scholar knowledge workers)
Facial selectivity in mechanical bond formation: axially chiral enantiomers and geometric isomers from a simple prochiral macrocycle
No full textIn 1971, Schill recognized that a prochiral macrocycle encircling an oriented axle led to geometric isomerism in rotaxanes. More recently, we identified an overlooked chiral stereogenic unit in rotaxanes that arises when a prochiral macrocycle encircles a prochiral axle. Here, we show that both stereogenic units can be accessed using equivalent strategies, with a single weak stereodifferentiating interaction sufficient for moderate to excellent stereoselectivity. Using this understanding, we demonstrated the first direct enantioselective (70% ee) synthesis of a mechanically axially chiral rotaxane.</p
Trouble at the top: The construction of a tenant identity in the governance of social housing organizations
No full textThe project of citizen governance has transformed the social housing sector in England where 20,000 tenants now sit as directors on the boards of housing associations, but the entrance of social housing tenants to the boardroom has aroused opposition from the chief executives of housing companies and triggered regulatory intervention from government inspectors. This paper investigates the cause of these tensions through a theoretical framework drawn from the work of feminist philosopher Judith Butler. It interprets housing governance as an identificatory project with the power to constitute tenant directors as regulated subjects, and presents evidence to suggest that this project of identity fails to completely enclose its subject, allowing tenant directors to engage in ‘identity work’ that threatens the supposed unity of the board. The paper charts the development of antagonism and political tension in the board rooms of housing companies to present an innovative account of the construction and contestation of identities in housing governance
- …
