DIMACS series in discrete mathematics and theoretical computer science

• 資料種別: 図書
• タイトル: DIMACS series in discrete mathematics and theoretical computer science
• 出版事項: American Mathematical Society; Association for Computing Machinery
• 出版地（国名コード）: us
• 対象利用者: 一般
• 関連情報: DNA based computers III : DIMACS Workshop, June 23-25, 1997; https://cir.nii.ac.jp/crid/1130000793669357312; Expanding graphs : proceedings of a DIMACS workshop, May 11-14, 1992; https://cir.nii.ac.jp/crid/1130000793733811712; Modeling paradigms and analysis of disease transmission models; https://cir.nii.ac.jp/crid/1130000793748067072; Robust communication networks: interconnection and survivability : DIMACS workshop, robust communication networks: interconnection and survivability, November 18-20, 1998, DIMACS Center; https://cir.nii.ac.jp/crid/1130000793844189440; Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University; https://cir.nii.ac.jp/crid/1130000793976580736; Codes and association schemes : DIMACS Workshop Codes and Association Schemes, November 9-12, 1999, DIMACS Center; https://cir.nii.ac.jp/crid/1130000794037302144; Unusual applications of number theory : DIMACS Workshop, Unusual Applications of Number Theory, January 10-14, 2000, DIMACS Center; https://cir.nii.ac.jp/crid/1130000794084175360; Partitioning data sets : DIMACS workshop, April 19-21, 1993; https://cir.nii.ac.jp/crid/1130000794186913920; Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996; https://cir.nii.ac.jp/crid/1130000794220508544; Mathematical methods of analysis of biopolymer sequences; https://cir.nii.ac.jp/crid/1130000794393466752; Parallel processing of discrete optimization problems : DIMACS workshop, April 28-29, 1994; https://cir.nii.ac.jp/crid/1130000794551555712; The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996; https://cir.nii.ac.jp/crid/1130000794591846656; Global minimization of nonconvex energy functions : molecular conformation and protein folding : DIMACS workshop, March 20-21, 1995; https://cir.nii.ac.jp/crid/1130000794768064512; Formal power series and algebraic combinatorics, 1994 : DIMACS workshop, May 23-27, 1994 = Séries formelles et combinatoire algébrique, 1994; https://cir.nii.ac.jp/crid/1130000795136115584; Mathematical hierarchies and biology : DIMACS workshop, November 13-15, 1996; https://cir.nii.ac.jp/crid/1130000795418909696; Interconnection networks and mapping and scheduling parallel computations : DIMACS workshop, February 7-9, 1994; https://cir.nii.ac.jp/crid/1130000795904382848; Discrete mathematical chemistry : DIMACS Workshop Discrete Mathematical Chemistry, March 23-24, 1998, Rutgers University; https://cir.nii.ac.jp/crid/1130000795925673600; Microsurveys in discrete probability : DIMACS workshop, June 2-6, 1997; https://cir.nii.ac.jp/crid/1130000796019216000; Graphs and discovery : DIMACS working group, computer-generated conjectures from graph theoretic and chemical databases, November 12-16, 2001, DIMACS Center, CoRE Building, Rutgers University : DIMACS public event, graph theory day 42, November 10, 2001, DIMACS Center, CoRE Building, Rutgers University; https://cir.nii.ac.jp/crid/1130000796069478144; Advances in network information theory : DIMACS Workshop Network Information Theory, March 17-19, 2003, Piscataway, New Jersey; https://cir.nii.ac.jp/crid/1130000796142967168; Quadratic assignment and related problems : DIMACS workshop, May 20-21, 1993; https://cir.nii.ac.jp/crid/1130000796243911168; Language computations : DIMACS Workshop on Human Language, March 20-22, 1992; https://cir.nii.ac.jp/crid/1130000796302709120; Disease evolution : models, concepts, and data analyses; https://cir.nii.ac.jp/crid/1130000796332415872; Parallel algorithms : third DIMACS implementation challenge, October 17-19, 1994; https://cir.nii.ac.jp/crid/1130000796819971840; Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996; https://cir.nii.ac.jp/crid/1130000796908444288; Network design : connectivity and facilities location : DIMACS Workshop, April 28-30, 1997; https://cir.nii.ac.jp/crid/1130000796930554624; Randomization methods in algorithm design : DIMACS workshop, December 12-14, 1997; https://cir.nii.ac.jp/crid/1130000796937484672; Advances in switching networks : DIMACS workshop, July 7-9, 1997; https://cir.nii.ac.jp/crid/1130000797148861568; Specification of parallel algorithms : DIMACS workshop, May 9-11, 1994; https://cir.nii.ac.jp/crid/1130000797288745088; Distributed computing and cryptography : proceedings of a DIMACS workshop held at the Nassau Inn in Princeton, New Jersey, October 4-6, 1989; https://cir.nii.ac.jp/crid/1130000797402617856; DNA based computers II : DIMACS workshop, June 10-12, 1996; https://cir.nii.ac.jp/crid/1130000797417921280; Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993; https://cir.nii.ac.jp/crid/1130000797503163392; Algebraic coding theory and information theory : DIMACS workshop December 15-18, 2003; https://cir.nii.ac.jp/crid/1130000797532877952; Constraint programming and large scale discrete optimization : DIMACS Workshop Constraint Programming and Large Scale Discrete Optimization, September 14-17, 1998, DIMACS Center; https://cir.nii.ac.jp/crid/1130000797688786432; Applied geometry and discrete mathematics : the Victor Klee festschrift; https://cir.nii.ac.jp/crid/1130000798077231104; Networks in distributed computing : DIMACS Workshop, October 27-30, 1997; https://cir.nii.ac.jp/crid/1130000798154023936; External memory algorithms : DIMACS Workshop External Memory Algorithms and Visualization, May 20-22, 1998; https://cir.nii.ac.jp/crid/1130000798245348992; Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,; https://cir.nii.ac.jp/crid/1130282269022894208; Data structures, near neibor searches, and methodology : fifth and sixth DIMACS implementation challenges : papers related to the DIMACS challenge on dictionaries and priority queues (1995-1996) and the DIMACS challenge on near neighbor searches (1998-1999); https://cir.nii.ac.jp/crid/1130282269033125504; Groups and computation; https://cir.nii.ac.jp/crid/1130282269420033792; Computational support for discrete mathematics : DIMACS workshop, March 12-14, 1992; https://cir.nii.ac.jp/crid/1130282269488904064; Planar graphs; https://cir.nii.ac.jp/crid/1130282269591656576; DNA based computers V : DIMACS Workshop DNA Based Computers V, June 14-15, 1999, Massachusetts Institute of Technology; https://cir.nii.ac.jp/crid/1130282269618834048; Reliability of computer and communication networks : proceedings of a DIMACS Workshop, December 2-4, 1989; https://cir.nii.ac.jp/crid/1130282269702645504; Multichannel optical networks : theory and practice : DIMACS Workshop, March 16-19, 1998; https://cir.nii.ac.jp/crid/1130282269937016832; Geometric and algorithmic aspects of computer-aided design and manufacturing : DIMACS Workshop Computer Aided Design and Manufacturing, October 7-9, 2003, Piscataway, New Jersey; https://cir.nii.ac.jp/crid/1130282270377152768; Geometric and computational perspectives on infinite groups : proceedings of a Joint DIMACS/Geometry Center Workshop, January 3-14 and March 17-20, 1994; https://cir.nii.ac.jp/crid/1130282270432358912; Coding and quantization : DIMACS/IEEE Workshop, October 19-21, 1992; https://cir.nii.ac.jp/crid/1130282270460471168; Network threats : DIMACS workshop, December 2-4, 1996; https://cir.nii.ac.jp/crid/1130282270509738752; Mobile networks and computing : DIMACS Workshop mobile networks and computing, March 25-27, 1999, DIMACS Center; https://cir.nii.ac.jp/crid/1130282270556465920; African Americans in mathematics : DIMACS workshop, June 26-28, 1996; https://cir.nii.ac.jp/crid/1130282270611859200; Data depth : robust multivariate analysis, computational geometry and applications; https://cir.nii.ac.jp/crid/1130282270650933760; Discrete and computational geometry : papers from the DIMACS special year; https://cir.nii.ac.jp/crid/1130282270706997632; Discrete mathematics in the schools; https://cir.nii.ac.jp/crid/1130282270929222528; Set theory : the Hajnal Conference, October 15-17, 1999 DIMACS Center; https://cir.nii.ac.jp/crid/1130282271142636032; Biomath in the schools; https://cir.nii.ac.jp/crid/1130282271183206656; Advances in computational complexity theory; https://cir.nii.ac.jp/crid/1130282271195086080; Combinatorial optimization; https://cir.nii.ac.jp/crid/1130282271238067712; The random projection method; https://cir.nii.ac.jp/crid/1130282271312575744; Polyhedral combinatorics : proceedings of a DIMACS workshop : June 12-16, 1989; https://cir.nii.ac.jp/crid/1130282271479135872; DNA based computers : proceedings of a DIMACS workshop, April 4, 1995, Princeton University; https://cir.nii.ac.jp/crid/1130282271492599808; Advances in information recording; https://cir.nii.ac.jp/crid/1130282271571773184; On-line algorithms : proceedings of a DIMACS workshop, February 11-13, 1991; https://cir.nii.ac.jp/crid/1130282271673405696; Bioconsensus : DIMACS working group meetings on Bioconsensus, October 25-26, 2000 and October 2-5, 2001, DIMACS Center; https://cir.nii.ac.jp/crid/1130282271939888512; The shortest path problem : ninth DIMACS implementation challenge; https://cir.nii.ac.jp/crid/1130282272267847040; Mathematical support for molecular biology : papers related to the special year in mathematical support for molecular biology 1994-1998; https://cir.nii.ac.jp/crid/1130282272346345856; Multiantenna channels : capacity, coding and signal processing : DIMACS Workshop Signal Processing for Wireless Transmission, October 7-9, 2002, DIMACS Center; https://cir.nii.ac.jp/crid/1130282272531686144; Graphs, morphisms and statistical physics : DIMACS Workshop Graphs, Morphisms and Statistical Physics, March 19-21, 2001, DIMACS Center; https://cir.nii.ac.jp/crid/1130282272541261056; Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990; https://cir.nii.ac.jp/crid/1130282272626685312; Algorithmic and quantitative real algebraic geometry : DIMACS workshop, Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, March 12-16, 2001, DIMACS Center; https://cir.nii.ac.jp/crid/1130282272775967232; Discrete mathematical problems with medical applications : DIMACS workshop discrete mathematical problems with medical applications, December 8-10, 1999, DIMACS Center; https://cir.nii.ac.jp/crid/1130282272881147008; Contemporary trends in discrete mathematics : from DIMACS and DIMATIA to the future : DIMATIA-DIMACS conference, May 19-25, 1997, Štiřín Castle, Czech Republic; https://cir.nii.ac.jp/crid/1130282273039678464; Logic and random structures : DIMACS workshop, November 5-7, 1995; https://cir.nii.ac.jp/crid/1130282273070898944; Discrete methods in epidemiology; https://cir.nii.ac.jp/crid/1130282273103463808; Network flows and matching : first DIMACS implementation challenge; https://cir.nii.ac.jp/crid/1130282273272917120
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA12282377#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA12282377 : BA12282377

目次

DNA based computers III : DIMACS Workshop, June 23-25, 1997

Expanding graphs : proceedings of a DIMACS workshop, May 11-14, 1992

Modeling paradigms and analysis of disease transmission models

Robust communication networks: interconnection and survivability : DIMACS workshop, robust communication networks: interconnection and survivability, November 18-20, 1998, DIMACS Center

Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University