skip to content

Hofmann, Mark

Overview
Works: 86 works in 118 publications in 2 languages and 5,134 library holdings
Roles: Performer
Classifications: TK7, 793.93
Publication Timeline
Key
Publications about Mark Hofmann
Publications by Mark Hofmann
Most widely held works about Mark Hofmann
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Mark Hofmann
Futaba-Kun change : a whole new you by Hiroshi Aro( Book )
1 edition published in 1999 in English and held by 7 libraries worldwide
Northern vehicles compendium two : tanks & artillery : Heavy gear sourcebook : swords of faith ( Book )
1 edition published in 1998 in English and held by 3 libraries worldwide
A method for topological compaction of programmed logic arrays by Mark Hofmann( Book )
1 edition published in 1980 in English and held by 2 libraries worldwide
Delay optimization and structured layout of combinational logic by Mark Hofmann( Book )
1 edition published in 1986 in English and held by 2 libraries worldwide
On behavioural abstraction and behavioural satisfaction in higher-order logic by Martin Hofmann( Book )
1 edition published in 1995 in English and held by 2 libraries worldwide
Abstract: "The behavioural semantics of specifications with higher-order logical formulae as axioms is analyzed. A characterization of behavioural abstraction via behavioural satisfaction of formulae in which the equality symbol is interpreted as indistinguishability, which is due to Reichel and was recently generalized to the case of first-order logic by Bidoit et al, is further generalized to this case. The fact that higher- order logic is powerful enough to express the indistinguishability relation is used to characterize behavioural satisfaction in terms of ordinary satisfaction, and to develop new methods for reasoning about specifications under behavioural semantics."
Sita by Gustav Holst( Sound Recording )
in English and held by 1 library worldwide
Delay optimization of combination static CMOS logic by Mark Hofmann( Book )
1 edition published in 1986 in English and held by 1 library worldwide
Manpower and Personnel for Soldier Systems in the Objective Force ( file )
1 edition published in 2001 in English and held by 1 library worldwide
The Army Science Board was tasked to analyze future Soldier Systems in the 2001 Summer Study 'Objective Force Soldier/Soldier Team'. This Manpower and Personnel Special Study was developed to support that primary Study by assessing Manpower and Personnel related issues. Taskings specific to this Special Study include: (1) Investigate the demographic characteristics of soldiers in 2015 and assess their capabilities; (2) Investigate the projected Knowledge, Skills and Attributes (KSA) required for Future Combat Systems tasks and assess the match/mismatch between the projected skill set of soldiers and required skills based on FCS tasks; (3) Assess the Army R & D that is going on in the manpower and personnel area and investigate university/industry R & D in the manpower and personnel area. Major study recommendations include: (1) Create and validate a new selection measure (e.g., revise ASVAB); (2) Improve the match of the Knowledge, Skills and Attributes of available Objective Force Soldiers with available positions; (3) Analyze the cost effectiveness of the various well-being initiatives to improve retention; (4) Develop virtual distributed Man-in-the-Loop simulations for personnel life cycle functions
 
moreShow More Titles
fewerShow Fewer Titles
Languages
English (58)
German (2)
Covers
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.