30mm DS30M Mark 2 Automated Small Calibre Gun
Semantic Scholar uses AI to extract papers important to this topic.
Inter-cell interference coordination (ICIC) is a promising technique to improve the performance of frequency-domain packet… Expand The USSR and the Fate of Austrian Communism 1944–1956 The essay focuses on post-war Stalinist policies towards Austria as a… Expand We propose an Adaptive Stochastic Conjugate Gradient (ASCG) optimization algorithm for temporal medical image registration. This… Expand Time Petri Net (TPN) models have been widely used to the specification and verification of real-time systems. However, the claim… Expand Novel engineered step-chirped gratings (SCG) for broadband frequency doublers based on quasi-phase matched second harmonic… Expand The paper is organized as follows. Section 2 reviews the terminology of time Petri nets and the definitions of their state spaces… Expand Abstract In this paper, we propose a method for building a Timed Transition Graph (TTG) that uses a single clock from the state… Expand This paper aims at applying the CTL* model checking method to the time Petri net (TPN) model. We show here how to contract its… Expand We show in this paper how to contract the TPN state space into a graph that captures all its CTL* properties. This graph called… Expand The paper proposes adaptive spreading and channel coding gain (ASCG) control with QPSK data modulation according to the… Expand