skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Results 1 - 20 of 47  for All Library Resources

Results 1 2 3 next page
Show only
Refined by: subject: Computer Science remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Graph theoretic methods in multiagent networks
Material Type:
Book
Add to My Research

Graph theoretic methods in multiagent networks

2010 Princeton University Press ;ISBN: 1400835356 ;ISBN: 9781400835355 ;ISBN: 9780691140612 ;ISBN: 0691140618 ;EISBN: 1400835356 ;EISBN: 9781400835355 ;DOI: 10.1515/9781400835355 ;OCLC: 701703574 ;LCCallNum: T57.85.M43 2010

Full text available

2
Type Synthesis Method for Parallel Robots With Special Topologies
Material Type:
Article
Add to My Research

Type Synthesis Method for Parallel Robots With Special Topologies

IEEE access, 2023, Vol.11, p.129269-129284 [Peer Reviewed Journal]

ISSN: 2169-3536 ;EISSN: 2169-3536 ;DOI: 10.1109/ACCESS.2023.3332508 ;CODEN: IAECCG

Full text available

3
Design of Incidence Matrices with Limited Constellation Expansion in Massive Connectivity NOMA Systems
Material Type:
Article
Add to My Research

Design of Incidence Matrices with Limited Constellation Expansion in Massive Connectivity NOMA Systems

IEEE access, 2023-01, Vol.11, p.1-1 [Peer Reviewed Journal]

Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2023 ;ISSN: 2169-3536 ;EISSN: 2169-3536 ;DOI: 10.1109/ACCESS.2023.3235825 ;CODEN: IAECCG

Full text available

4
Research on Bus and Metro Transfer From Perspective of Hypernetwork-A Case Study of Xi'an, China (December 2020)
Material Type:
Article
Add to My Research

Research on Bus and Metro Transfer From Perspective of Hypernetwork-A Case Study of Xi'an, China (December 2020)

IEEE access, 2020, Vol.8, p.227048-227063 [Peer Reviewed Journal]

Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2020 ;ISSN: 2169-3536 ;EISSN: 2169-3536 ;DOI: 10.1109/ACCESS.2020.3045989 ;CODEN: IAECCG

Full text available

5
Distributed Inexact Consensus-Based ADMM Method for Multi-Agent Unconstrained Optimization Problem
Material Type:
Article
Add to My Research

Distributed Inexact Consensus-Based ADMM Method for Multi-Agent Unconstrained Optimization Problem

IEEE access, 2019, Vol.7, p.79311-79319 [Peer Reviewed Journal]

Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2019 ;ISSN: 2169-3536 ;EISSN: 2169-3536 ;DOI: 10.1109/ACCESS.2019.2923269 ;CODEN: IAECCG

Full text available

6
Multi-Robot Graph Exploration and Map Building with Collision Avoidance: A Decentralized Approach
Material Type:
Article
Add to My Research

Multi-Robot Graph Exploration and Map Building with Collision Avoidance: A Decentralized Approach

Journal of intelligent & robotic systems, 2016-09, Vol.83 (3-4), p.503-523 [Peer Reviewed Journal]

Springer Science+Business Media Dordrecht 2015 ;Springer Science+Business Media Dordrecht 2016 ;ISSN: 0921-0296 ;EISSN: 1573-0409 ;DOI: 10.1007/s10846-015-0309-9

Full text available

7
Exploring Auto-Generation of Network Models With Performance Evaluation Process Algebra
Material Type:
Article
Add to My Research

Exploring Auto-Generation of Network Models With Performance Evaluation Process Algebra

IEEE access, 2018-01, Vol.6, p.42971-42983 [Peer Reviewed Journal]

Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2018 ;ISSN: 2169-3536 ;EISSN: 2169-3536 ;DOI: 10.1109/ACCESS.2018.2862390 ;CODEN: IAECCG

Full text available

8
Discrete Derivatives for Atom-Pairs as a Novel Graph-Theoretical Invariant for Generating New Molecular Descriptors: Orthogonality, Interpretation and QSARs/QSPRs on Benchmark Databases
Material Type:
Article
Add to My Research

Discrete Derivatives for Atom-Pairs as a Novel Graph-Theoretical Invariant for Generating New Molecular Descriptors: Orthogonality, Interpretation and QSARs/QSPRs on Benchmark Databases

Molecular informatics, 2014-05, Vol.33 (5), p.343-368 [Peer Reviewed Journal]

2014 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. ;ISSN: 1868-1743 ;EISSN: 1868-1751 ;DOI: 10.1002/minf.201300173 ;PMID: 27485891

Full text available

9
A Compositional Analysis Method for Petri-Net Models
Material Type:
Article
Add to My Research

A Compositional Analysis Method for Petri-Net Models

IEEE access, 2017-01, Vol.5, p.27599-27610 [Peer Reviewed Journal]

Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2017 ;ISSN: 2169-3536 ;EISSN: 2169-3536 ;DOI: 10.1109/ACCESS.2017.2772829 ;CODEN: IAECCG

Full text available

10
Derivatives in discrete mathematics: a novel graph-theoretical invariant for generating new 2/3D molecular descriptors. I. Theory and QSPR application
Material Type:
Article
Add to My Research

Derivatives in discrete mathematics: a novel graph-theoretical invariant for generating new 2/3D molecular descriptors. I. Theory and QSPR application

Journal of computer-aided molecular design, 2012-11, Vol.26 (11), p.1229-1246 [Peer Reviewed Journal]

Springer Science+Business Media B.V. 2012 ;Springer Science+Business Media Dordrecht 2012 ;ISSN: 0920-654X ;EISSN: 1573-4951 ;DOI: 10.1007/s10822-012-9591-9 ;PMID: 23124489

Full text available

11
Hulls of codes from incidence matrices of connected regular graphs
Material Type:
Article
Add to My Research

Hulls of codes from incidence matrices of connected regular graphs

Designs, codes, and cryptography, 2014, Vol.70 (1-2), p.35-54 [Peer Reviewed Journal]

Springer Science+Business Media, LLC 2012 ;ISSN: 0925-1022 ;EISSN: 1573-7586 ;DOI: 10.1007/s10623-012-9635-0

Full text available

12
New invariants for incidence structures
Material Type:
Article
Add to My Research

New invariants for incidence structures

Designs, codes, and cryptography, 2013-07, Vol.68 (1-3), p.163-177 [Peer Reviewed Journal]

Springer Science+Business Media, LLC 2012 ;ISSN: 0925-1022 ;EISSN: 1573-7586 ;DOI: 10.1007/s10623-012-9636-z

Full text available

13
2-Ranks of incidence matrices associated with conics in finite projective planes
Material Type:
Article
Add to My Research

2-Ranks of incidence matrices associated with conics in finite projective planes

Designs, codes, and cryptography, 2014-08, Vol.72 (2), p.381-404 [Peer Reviewed Journal]

Springer Science+Business Media New York 2012 ;2015 INIST-CNRS ;ISSN: 0925-1022 ;EISSN: 1573-7586 ;DOI: 10.1007/s10623-012-9772-5

Full text available

14
Certified Parsing of Regular Languages
Material Type:
Conference Proceeding
Add to My Research

Certified Parsing of Regular Languages

Certified Programs and Proofs, p.98-113 [Peer Reviewed Journal]

Springer International Publishing Switzerland 2013 ;ISSN: 0302-9743 ;ISBN: 9783319035444 ;ISBN: 3319035444 ;EISSN: 1611-3349 ;EISBN: 9783319035451 ;EISBN: 3319035452 ;DOI: 10.1007/978-3-319-03545-1_7

Full text available

15
Proofs of two conjectures on the dimensions of binary codes
Material Type:
Article
Add to My Research

Proofs of two conjectures on the dimensions of binary codes

Designs, codes, and cryptography, 2014-03, Vol.70 (3), p.273-304 [Peer Reviewed Journal]

Springer Science+Business Media, LLC 2012 ;2015 INIST-CNRS ;ISSN: 0925-1022 ;EISSN: 1573-7586 ;DOI: 10.1007/s10623-012-9682-6

Full text available

16
Incidence simplicial matrices formalized in Coq/SSReflect
Material Type:
Conference Proceeding
Add to My Research

Incidence simplicial matrices formalized in Coq/SSReflect

Lecture Notes in Artificial Intelligence, 2011 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-642-22673-1_3

Digital Resources/Online E-Resources

17
Mining Frequent Subgraph by Incidence Matrix Normalization
Material Type:
Article
Add to My Research

Mining Frequent Subgraph by Incidence Matrix Normalization

Journal of computers, 2008-10, Vol.3 (10)

ISSN: 1796-203X ;EISSN: 1796-203X ;DOI: 10.4304/jcp.3.10.109-115

Full text available

18
Morphisms preserving the set of words coding three interval exchange
Material Type:
Article
Add to My Research

Morphisms preserving the set of words coding three interval exchange

RAIRO. Informatique théorique et applications, 2012-01, Vol.46 (1), p.107-122 [Peer Reviewed Journal]

EDP Sciences 2012 ;ISSN: 0988-3754 ;EISSN: 1290-385X ;DOI: 10.1051/ita/2012009 ;CODEN: RITAE4

Full text available

19
Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism
Material Type:
Article
Add to My Research

Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism

Cybernetics and systems analysis, 2012-11, Vol.48 (6), p.823-831 [Peer Reviewed Journal]

Springer Science+Business Media New York 2012 ;COPYRIGHT 2012 Springer ;Cybernetics and Systems Analysis is a copyright of Springer, 2012. ;ISSN: 1060-0396 ;EISSN: 1573-8337 ;DOI: 10.1007/s10559-012-9461-4

Full text available

20
A simple algorithm that proves half-integrality of bidirected network programming
Material Type:
Article
Add to My Research

A simple algorithm that proves half-integrality of bidirected network programming

Networks, 2006-08, Vol.48 (1), p.36-38 [Peer Reviewed Journal]

Copyright © 2006 Wiley Periodicals, Inc. ;2006 INIST-CNRS ;ISSN: 0028-3045 ;EISSN: 1097-0037 ;DOI: 10.1002/net.20117 ;CODEN: NTWKAA

Full text available

Results 1 - 20 of 47  for All Library Resources

Results 1 2 3 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (42)

Refine My Results

Creation Date 

From To
  1. Before 1997  (7)
  2. 1997 To 2003  (7)
  3. 2004 To 2008  (11)
  4. 2009 To 2014  (15)
  5. After 2014  (7)
  6. More options open sub menu

Searching Remote Databases, Please Wait