Reachability analysis of augmented marked graphs via integer linear programming /

क्यूआर कोड

Reachability analysis of augmented marked graphs via integer linear programming /

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Chen, Chien-Liang.
अन्य लेखक:	Chin, Shao-Chi., Yen, Hsu-Chun.
स्वरूप:	लेख
भाषा:	English
विषय:	Augmented marked graphs Integer linear programming Model checking Reachability
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

समान संसाधन

Advances in linear and integer programming /
प्रकाशित: (1996)

Linear and Mixed Integer Programming for Portfolio Optimization
द्वारा: Mansini, Renata, और अन्य
प्रकाशित: (2015)

Trade Marks and Brands: An Interdisciplinary Critique
द्वारा: Bently, Lionel, और अन्य
प्रकाशित: (2013)

Efficient algorithms for integer division by constants using multiplication /
द्वारा: Cavagnino, D.

The Cambridge introduction to Mark Twain
द्वारा: Messent, Peter B
प्रकाशित: (2013)

The Cambridge introduction to Mark Twain
द्वारा: Messent, Peter B
प्रकाशित: (2013)

Integer programming and combinatorial optimization : 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings /
प्रकाशित: (1998)

Integer programming and combinatorial optimization : 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings /
प्रकाशित: (1998)

Integer programming and combinatorial optimization : 8th International IPCO Conference, Utrecht, the Netherlands, June 13-15, 2001 : proceedings /
प्रकाशित: (2001)

Augmented Reality-based Mobile Application for Learning English
द्वारा: Chau, Thi Ma, और अन्य
प्रकाशित: (2024)

Heuristic-guided abstraction refinement /

How Does Data Augmentation Affect to Model Performance in Long-Tailed Classification?
द्वारा: Vu, Quang Duc, और अन्य
प्रकाशित: (2024)

Preserving User Privacy in Retrieval Augmented Generation: A Novel Approach Using Local Placeholder Tagging
द्वारा: Nguyen, Xuan Thang, और अन्य
प्रकाशित: (2026)

Towards automating model selection for a mark-recapture-recovery analysis /
द्वारा: Sisson, S. A.

Comparing four methods of augmentative release of Eretmocerus nr. emiratus against Bemisia argentifolii /
द्वारा: Gould, Juli R.

Methods of marking fish and shellfish
द्वारा: Nielsen, Larry A.
प्रकाशित: (1992)

Applications of Polyas theorem to distribution problems and partitions of integers /
द्वारा: Longani, V.

Augmentative biological control of arthropods in Latin America /
द्वारा: Lenteren, Joop C. Van.

NVR-BIP : Nuclear vector replacement using binary integer programming for NMR structure-based assignments /

Optimal Augmented Nonlinear PD for Quadruped Robot with Uncertainties
द्वारा: Nguyen, Van Truong, और अन्य
प्रकाशित: (2026)

Planarity of joined graphs /
द्वारा: Sitthiwiratham, T.

Shannon graphs, subshifts and lambda-graph systems /
द्वारा: Krieger, Wolfgang.

Algorithmic graph theory and perfect graphs
द्वारा: Golumbic, Martin Charles
प्रकाशित: (2004)

4-Regular graph of diameter 2 /
द्वारा: Do Nhu An.

4-Regular graph of diameter 2
द्वारा: Đỗ, Như An, और अन्य
प्रकाशित: (2012)

CONDITIONS FOR GRAPHS ON n VERTICES WITH THE SUM OF DEGREES OF ANY TWO NONADJACENT VERTICES EQUAL TO n-2 TO BE A HAMILTONIAN GRAPH
द्वारा: Do, Nhu An, और अन्य
प्रकाशित: (2024)

Checking Electrical Safety Measures /
द्वारा: Grohmann Siegfried
प्रकाशित: (2001)

Graph theory
द्वारा: W. T. Tutte
प्रकाशित: (2001)

Graph theory
द्वारा: Diestel, Reinhard
प्रकाशित: (2005)

Graph theory /
द्वारा: Diestel, Reinhard.
प्रकाशित: (2000)

4-regular graph of diameter 2
द्वारा: Do, Nhu An, और अन्य
प्रकाशित: (2014)

Introduction to graph theory
द्वारा: Richard J Trudeau
प्रकाशित: (1993)

Graphs, Algorithms, and Optimization
द्वारा: Kocay, William
प्रकाशित: (2005)

Introduction to graph theory
द्वारा: Robin J Wilson
प्रकाशित: (1996)

Graphs, algorithms, and optimization /
द्वारा: Kocay, William.
प्रकाशित: (2005)

Graphs, algorithms, and optimization /
द्वारा: Kocay, William.
प्रकाशित: (2005)

Graphs, algorithms, and optimization /
द्वारा: Kocay, William.
प्रकाशित: (2005)

Algebraic graph theory /
द्वारा: Godsil, C. D. 1949-
प्रकाशित: (2001)

Graph algorithms and applications.
प्रकाशित: (2002)

A GAN-based Rain Augmentation for Enhancing the Accuracy of the License Plate Detection
द्वारा: Nguyen, Dai Anh Tuan, और अन्य
प्रकाशित: (2024)