Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 209,972,820 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
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
Woong-Hee Lee
,
Jeongsik Choi
,
Yong-Hwa Kim
,
Jong-Ho Lee
,
Seong-Cheol Kim
IEEE/ACM Transactions on Networking
2018
Corpus ID: 3422167
Inter-cell interference coordination (ICIC) is a promising technique to improve the performance of frequency-domain packet…
Expand
2017
2017
The USSR and the Fate of Austrian Communism 1944-1956
W. Mueller
2017
Corpus ID: 55080297
The USSR and the Fate of Austrian Communism 1944–1956 The essay focuses on post-war Stalinist policies towards Austria as a…
Expand
2015
2015
Community Based Health Information Network for Cherokees
Sohail Khan
2015
Corpus ID: 74073109
This project is supported under contract no. NO1-LM-1-3514 with the NN/LM MidContinental Region from the National Library of…
Expand
2013
2013
Adaptive Stochastic Conjugate Gradient optimization for temporal medical image registration
Huanhuan Xu
2013
Corpus ID: 16039352
We propose an Adaptive Stochastic Conjugate Gradient (ASCG) optimization algorithm for temporal medical image registration. This…
Expand
2011
2011
Some issues in real-time systems verification using time Petri Nets
P. Foyo
,
J. R. Silva
2011
Corpus ID: 16074910
Time Petri Net (TPN) models have been widely used to the specification and verification of real-time systems. However, the claim…
Expand
2009
2009
Novel Designs for Efficient Broadband Frequency Doublers Using Singly Pump-Resonant Waveguide and Engineered Chirped Gratings
A. Tehranchi
,
R. Kashyap
IEEE Journal of Quantum Electronics
2009
Corpus ID: 38425839
Novel engineered step-chirped gratings (SCG) for broadband frequency doublers based on quasi-phase matched second harmonic…
Expand
Review
2008
Review
2008
Abstract State Spaces for Time Petri Nets Analysis
B. Berthomieu
,
Florent Peres
,
F. Vernadat
IEEE International Symposium on Real-Time…
2008
Corpus ID: 10115664
The paper is organized as follows. Section 2 reviews the terminology of time Petri nets and the definitions of their state spaces…
Expand
2008
2008
The Verification of Real Time Systems Using the TINA Tool
P. Foyo
,
J. R. Silva
2008
Corpus ID: 39077970
Abstract In this paper, we propose a method for building a Timed Transition Graph (TTG) that uses a single clock from the state…
Expand
2006
2006
CTL* model checking for time Petri nets
H. Boucheneb
,
Rachid Hadjidj
Theoretical Computer Science
2006
Corpus ID: 1939631
2006
2006
Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets
H. Boucheneb
,
Rachid Hadjidj
International Journal of Embedded Systems
2006
Corpus ID: 37113738
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE