4,565 research outputs found
Hand-list of books printed by London printers, 1501-1556.
No full textPart I. Wynkyn de Worde, Julian Notary, R. and W. Faques, John Skot /by E. Gordon Duff ; Part II. R. Pynson, R. Copland, J. Rastell, P. Treveris, R. Bankes, L. Andrewe, .../ by E. Gordon Duff, e.a. ; Part III. T. Berthelet, J. Butler, J. Herford, T. Gibson, J. Nycholson, R. Grafton ... / by E. Gordon Duff, e.a. ; Part IV. H. Pepwell, R. Redman, R. Wyer, T. Petyt, E. Whitchurch, J. Cawood ... / by E.G. Duff, e.a. (Le titre complet de l'ouvrage apparaît seulement à la 4e partie. Les 3 premières parties ne portent qu'un titre provisoire abrégé : "Hand-list of English printers, 1501-1556".)
On Proving with Event-B that a Pipelined Processor Model Implements its ISA Specification
No full textMicroprocessor pipelining is a well-established technique that improves performance and reduces power consumption by overlapping instruction execution. Verifying, however, that an implementation meets this ISA specification is complex and time-consuming. One of the key verification issues that must be addressed is that of overlapping instruction execution. This can introduce hazards where, for instance, a new instruction reads the value from a register which will be written by an earlier instruction that has not yet completed. Using Event-B’s support for refinement with automated proof, a method is explored where the abstract machine represents directly an instruction from the ISA that specifies the effect that the instruction has on the microprocessor register file. Refinement is then used systematically to derive a concrete, pipelined execution of that instruction. Microarchitectural considerations are raised to the specification level and design choices can be verified much earlier in the flow. The method proposed therefore has the potential to be integrated into an existing high-level synthesis methodology, providing an automated design and verification flow from high-level specification to hardware
The campaign for democratic socialism 1960-1964.
No full textPhDIn early 1960 it seemed likely that the official Labour
Party defence policy would be defeated by a unilateralist
resolution at the Scarborough Conference. In response to
this possibility the Campaign for Democratic Socialism,
or CDS, was established.
The CDS projected the image of a grass-roots movement
inspired by Gaitskell's "fight and fight again" speech.
But it was run by a Campaign Committee which included
leading members of the Party like Tony Crosland, Roy
Jenkins and Patrick Gordon Walker, as well as less well
known members like Bill Rodgers, Dick Taverne, Philip
Williams, Brian Walden, Denis Howell and David Marquand.
This highly talented group launched an elaborate and
successful lobbying, publicity and briefing operation
which was influential in overturning the unilateralist
vote at the Blackpool Conference of 1961. After Blackpool
the Campaign helped many of its leading members find
seats in the House of Commons while continuing to put the
"revisionist" case through its newspaper Campaign.
The importance of the CDS in the history of the Labour
Party is, primarily, as the first internal pressure group
organised by the right of the Party. It was also the
first internal Party group to use such sophisticated
lobbying techniques. Moreover, the subsequent careers of
the leading members of the Campaign influenced the
development of the Labour Party. The CDS was an important
formative political action for many of them. Finally many
of the CDS supporters set-up or joined the SDP when it
was launched
Supplemental material for Variation and Likeness in Ambient Artistic Portraiture
No full textSupplemental material for Variation and Likeness in Ambient Artistic Portraiture by Susan Hayes, Nick Rheinberger, Meagan Powley, Tricia Rawnsley, Linda Brown, Malcolm Brown, Karen Butler, Ann Clarke, Stephen Crichton, Maggie Henderson, Helen McCosker, Ann Musgrave, Joyce Wilcock, Darren Williams, Karin Yeaman, T. S. Zaracostas, Adam C. Taylor and Gordon Wallace in Perception</p
Polluters’ Profits and Political Response: Direct Control versus Taxes: Comment
No full textIn a recent issue of this Review, James Buchanan and Gordon Tullock (B-T) presented a public choice analysis of the relative merits of direct controls and taxes in externality control. In Section IV of their paper, B-T consider the case of reciprocal external diseconomies of consumption. They ask whether ... persons in this sort of interaction, acting through the political processes of the community, will impose on themselves either a penalty tax or direct regulation (p. 143). Their analysis is carried out within the context of a two-person model in which each person consumes the same quantity of a good (or carries out the same quantity of an activity) in the precontrol equilibrium, but in which the two transactors exhibit different price elasticities of demand for the good. B-T show that under these circumstances the imposition of equal quotas would be preferred to the imposition of an efficient tax by one transactor but not the other. Their analysis that supports that conclusion is incorrect
Line Item Veto and the Tax Legislative Process: A Futile Effort at Deficit Reduction, But a Step Toward Tax Integrity
No full textIn this Article, Professor Butler considers the effect of the line item veto on the tax legislative process. The Article begins with a description of the development of the crises in the federal deficit and the efforts made by Congress to limit spending so as to balance the budget. In particular, it describes the Gramm, Rudman, Hollings Act and the Budget Enforcement Act of 1990 which attempted to impose structural restraints on new tax and spending legislation. When these efforts proved insufficient to balance the budget, Congress turned to the line item veto as an additional structural restraint. The Article describes the Line Item Veto Act of 1996, discusses its constitutionality, and focuses in depth on the application of the Act to the veto of certain types of federal income tax provisions called limited tax benefits. It criticizes the use of special tax bills to help individual taxpayers and suggests that the line item veto is unlikely to have the desired effect of reducing such pork barrel spending through tax bills. While the Article predicts that the veto of these special items will have little effect on the deficit, it concludes that the line item veto could, if aggressively used by the President, have some positive effect on restoring the integrity of the Internal Revenue Code
Line Item Veto and the Tax Legislative Process: A Futile Effort at Deficit Reduction, But a Step Toward Tax Integrity
No full textIn this Article, Professor Butler considers the effect of the line item veto on the tax legislative process. The Article begins with a description of the development of the crises in the federal deficit and the efforts made by Congress to limit spending so as to balance the budget. In particular, it describes the Gramm, Rudman, Hollings Act and the Budget Enforcement Act of 1990 which attempted to impose structural restraints on new tax and spending legislation. When these efforts proved insufficient to balance the budget, Congress turned to the line item veto as an additional structural restraint. The Article describes the Line Item Veto Act of 1996, discusses its constitutionality, and focuses in depth on the application of the Act to the veto of certain types of federal income tax provisions called limited tax benefits. It criticizes the use of special tax bills to help individual taxpayers and suggests that the line item veto is unlikely to have the desired effect of reducing such pork barrel spending through tax bills. While the Article predicts that the veto of these special items will have little effect on the deficit, it concludes that the line item veto could, if aggressively used by the President, have some positive effect on restoring the integrity of the Internal Revenue Code
A program evaluation, factors affecting volunteer retention within the DeKalb County CASA program, 2002
No full textThis process evaluation focused on volunteer retention issues at the DeKalb County Court Appointed Special Advocate (CASA) Program. Literature on the topic of volunteer retention continually reports that the problem of retention can usually be linked to the motivation of the volunteer. Marlene Wilson reviewed researchers McClelland and Atkinson's work on motivation. They identified three distinct motives that affect people's work related behavior (Wilson, 1976): 'the need for achievement, the need for power, the need for affiliation.' The research considered all three motivations in varying degrees. This process evaluation assessed whether there is a relationship between status, current or former, and level of motivational satisfaction. The evaluation examined which motivational style is being catered to the most by the CASA staff: Affiliation, Achievement, Power, and Altruism. Additionally, this evaluation examined the relationship between the suggested motivational techniques and the effective management of the CASA volunteers. The Gordon Howard Assessment Tool was the instrument. The sample consisted of 27 current volunteers who were sent surveys through the mail. The sample also consisted of 7 former volunteers who were telephoned first for permission to mail them a survey. Those former volunteers who were not reached by telephone were sent surveys to their last known addresses. The participants vary in length of time in service, age, educational levels, occupation, and ethnicity. Ultimately, this research can be beneficial in recruiting, rewarding, and retaining volunteers
Perfect Difference Sets
No full textPerfect difference sets are a set of residues, or remainders, under the modulo difference operation. This set, S, contains n elements drawn from V = {0, 1, 2, . . ., v-1}, where v is of the form n^2+ n + 1. Per the Prime Power Conjecture, these sets only exist when n is a prime power. All nonzero residues in V can be expressed uniquely in the form x - y (mod v) for x and y in S. The existence of perfect difference sets has been verified for n \u3c 2,000,000,000 by L. Baumert and D. Gordon.
We implemented and analyzed tests for perfect difference sets developed by T. Evans and H. Mann in a computer program. In particular, we reorganized the tests according their run time and eliminated numbers more quickly. Using this technique, we also verified the Prime Power Conjecture up to n \u3c 1,000,000,000, but we encountered storage constraints. By restructuring the problem in residue classes, we are now able to reduce the storage complexity. We suspect it may also dramatically improve time efficiency. In fact, we are redesigning our implementation to leverage residues and verify n up to 10^14
- …
