Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

30mm DS30M Mark 2 Automated Small Calibre Gun

Known as: ASCG, DS30M 
The 30mm DS30M Mark 2 is a ship-protection system made by MSI-Defence Systems consisting of a 30mm Mark 44 Bushmaster II cannon on an automated mount… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Adaptive Sector Coloring Game for Geometric Network Information-Based Inter-Cell Interference Coordination in Wireless Cellular Networks
Inter-cell interference coordination (ICIC) is a promising technique to improve the performance of frequency-domain packet… Expand
  • table I
  • figure 1
  • figure 2
  • table II
  • figure 3
2017
2017
The USSR and the Fate of Austrian Communism 1944-1956
The USSR and the Fate of Austrian Communism 1944–1956 The essay focuses on post-war Stalinist policies towards Austria as a… Expand
2013
2013
Adaptive Stochastic Conjugate Gradient optimization for temporal medical image registration
We propose an Adaptive Stochastic Conjugate Gradient (ASCG) optimization algorithm for temporal medical image registration. This… Expand
  • figure 1.1
  • figure 1.2
  • figure 3.1
  • figure 4.1
  • table 4.1
2011
2011
Some issues in real-time systems verification using time Petri Nets
Time Petri Net (TPN) models have been widely used to the specification and verification of real-time systems. However, the claim… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 7
2009
2009
Novel Designs for Efficient Broadband Frequency Doublers Using Singly Pump-Resonant Waveguide and Engineered Chirped Gratings
Novel engineered step-chirped gratings (SCG) for broadband frequency doublers based on quasi-phase matched second harmonic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2008
Review
2008
Abstract State Spaces for Time Petri Nets Analysis
The paper is organized as follows. Section 2 reviews the terminology of time Petri nets and the definitions of their state spaces… Expand
  • figure 1.1
2008
2008
The Verification of Real Time Systems Using the TINA Tool
Abstract In this paper, we propose a method for building a Timed Transition Graph (TTG) that uses a single clock from the state… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
2006
2006
CTL* model checking for time Petri nets
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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2006
2006
Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets
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
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 5
2004
2004
Adaptive spreading and channel coding gain control and its experimental results in broadband DS-CDMA reverse link
The paper proposes adaptive spreading and channel coding gain (ASCG) control with QPSK data modulation according to the… Expand
  • figure I
  • table 1
  • figure 3
  • figure 4
  • figure 7
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE