Tactician is a tool for refactoring tactic proof scripts for the HOL Light theorem prover. Its core operations are packaging up a series of tactic steps into a compact proof with tactical connectives, and the reverse operation of unravelling compact proofs into interactive steps. This can be useful for novices learning from legacy proof scripts, as well as for experienced users maintaining thei...

The DARPA IXO mission is to develop “systems for real-time sensing, exploitation, and decision making in a rich tactical environment”. The mission includes the development of individual technologies for sensors, sensor exploitation and command/control as well as the technology of information integration. Our research focuses on how to integrate distributed services in a dynamic networked enviro...

For the past 6 years, personnel from the National Institute of Standards and Technology (NIST) have served as the independent evaluation team for two major Defense Advanced Research Projects Agency (DARPA) programs. DARPA ASSIST (Advanced Soldier Sensor Information System and Technology) is an advanced technology research and development program whose objective is to exploit soldier-worn sensor...

To help understand how firms develop and maintain dynamic capabilities, we examine the effects of the dynamics, management, and governance of R&D and marketing resource deployments on firm-level economic performance. In a sample of technology-based entrepreneurial firms, we find that a history of increased investments in marketing is an enduring source of competitive advantage. We also find tha...

The need has become apparent for real time training and simulation tools. Such tools allow for realistic network planning and training of command personnel on real Command and Control Information Systems (C2IS). Real C2IS hardware and software are connected within the simulation loop, where a tactical radio communication infrastructure is modeled on a virtual terrain. Operators of C2IS systems ...

One of the most challenging tasks for uniformed service personnel serving in foreign countries is effective verbal communication with the local population. To remedy this problem, several companies and academic institutions have been funded to develop machine translation systems as part of the DARPA TRANSTAC (Spoken Language Communication and Translation System for Tactical Use) program. The go...

a r t i c l e i n f o Using resource-based view (RBV) of the firm as a theoretical backdrop; we aim to find out the relative impact of a firm's functional capabilities (namely, marketing and operations) and diversification strategies (product/ service and international diversification) on financial performance. We hypothesize that this linkage depends on the firm's relative efficiency to integr...

The Covid pandemic has been successfully overcome. Estimates of the weak world economy have also predicted. However, it is noted that need for housing continues to increase. Along with increasing residential homes, interior design services increased. This increase because people a comfortable place live. Especially house offering limited area, compact needed. Therefore, offer increasingly wides...

Does a market orientation approach focus too heavily on customers at the expense of other stakeholders? Managers also need to address the interests of other stakeholders when making marketing decisions. This gives an orientation to each stakeholder group, which exist simultaneously, giving a multiple stakeholder orientation profile (MSOP). In the reported empirical study of senior marketing exe...