We present a type-logical account of anaphora. The principal means is the introduction of type-constructors for`secondary wrap': wrap around the second of two split points in a discontinuous string. We illustrate in terms of preevaluated proof nets, proof nets in which lexico-syntactic interaction is computed in a lexical compilation rather than at the stage of derivation. We suggest that the a...

In the highly dynamic and information rich environment of military submarine operations, the Commanding Officer must make split second decisions that could ultimately result in the destruction or survival of ownship or the accomplishment of its designated mission. Despite extensive training and expertise, the fog of war often shadows real world encounters. Pieces of the tactical puzzle may be s...

Abstract This article explores the use of dharmaśāstra in Mughal India through case a little-known seventeenth-century Persian translation text entitled Aḥkām-i awāmir wa nawāhī-yi mazhab-i hunūd (Legal rulings on commanding [right] and forbidding [wrong] legal school Hindus). The work, apparently completed 1658 by Kāyastha named Lāl Bihārī Bhojpurī, is Yājñavalkya Smṛti together with Mitākṣarā...

This paper discusses a proof-of-concept prototype for ground-based automatic generation of validated rover command sequences from high-level science and engineering activities. This prototype is based on ASPEN, the Automated Scheduling and Planning Environment. This Artificial Intelligence (AI) based planning and scheduling system will automatically generate a command sequence that will execute...

This paper discusses a proof-of-concept prototype for ground-based automatic generation of validated rover command sequences from high-level science and engineering activities. This prototype is based on ASPEN, the Automated Scheduling and Planning Environment. This Artificial Intelligence (AI) based planning and scheduling system will automatically generate a command sequence that will execute...

This paper will discuss a proof-of-concept prototype for automatic generation of validated rover command sequences from high-level science and engineering activities. This prototype is based on ASPEN, the Automated Scheduling and Planning Environment. This AI-based planning and scheduling system will automatically generate a command sequence that will execute within resource constraints and sat...

This study examines the analysis of form and function directive speech acts in discourse ‘Mop’ humor Papuan society. The research method used is descriptive qualitative. collection technique this linguistic data instruments, namely listening techniques, note-taking proficient free-involvement techniques. Data consisted four stages, namely: (1) collection, (2) reduction, (3) presentation, (4) co...

Personal, inexpensive, easy-to-use, teleoperated, autonomous, mobile robots are starting to be a reality and are expected to be widespread within some few years. Fostering the development of these robots implies testing various hardware and software technologies. In this work we propose developing the communications with the robot through an IP wireless camera. The rational is that the required...

Abstract Commanding and managing a military formation is never easy, but it can be even more challenging when the commander has less professional experience than his subordinates. In such situation, very quickly, lose trust of subordinates, due to little uncertainty he feels at moment.