Search results for "discrete mathematics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Ben Setzer	A lab course for discrete mathematics.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	discrete mathematics
3	Vicki L. Almstrum, Peter B. Henderson, Valerie J. Harvey, Cinda Heeren, William A. Marion, Charles Riedesel, Leen-Kiat Soh, Allison Elliott Tew	Concept inventories in computer science for the topic discrete mathematics.	SIGCSE Bulletin	2006	DBLP DOI BibTeX RDF	distractors, assessment, discrete mathematics, misconceptions, assessment tools, concept inventory
3	Bill Marion	Status report on the SIGCSE committee on the implementation of a discrete mathematics course.	SIGCSE	2005	DBLP DOI BibTeX RDF	SIGCSE committee initiative, course models, discrete mathematics, CC2001, computing curriculum, syllabi
3	Evan Golub	Handwritten slides on a tabletPC in a discrete mathematics course.	SIGCSE	2004	DBLP DOI BibTeX RDF	discrete mathematics, classroom presentations
3	Rex L. Page	Software is discrete mathematics.	ICFP	2003	DBLP DOI BibTeX RDF	software engineering, formal methods, functional programming, correctness proofs, discrete mathematics, predicate logic
3	Rolf H. Möhring	Scheduling under Uncertainty: Bounding the Makespan Distribution.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
2	Kung-Jui Pai, Jou-Ming Chang, Yue-Li Wang	Erratum to "A new upper bound on the queuenumber of hypercubes" [Discrete Mathematics 310 (2010) 935-939].	Discrete Mathematics	2010	DBLP DOI BibTeX RDF
2	Michael A. Henning	Erratum to: "Local edge domination critical graphs" [Discrete Mathematics 161 (1996) 175-184].	Discrete Mathematics	2010	DBLP DOI BibTeX RDF
2	Frédéric Havet, Min-Li Yu	Corrigendum to "(p, 1)-total labelling of graphs" [Discrete Mathematics 308 (2008) 496-513].	Discrete Mathematics	2010	DBLP DOI BibTeX RDF
2	Norman Neff	Problem-directed discrete structures course.	SIGCSE	2010	DBLP DOI BibTeX RDF	course models, discrete mathematics, cc2001, computing curriculum, discrete structures
2	Dragan Marusic	Preface: Special issue of discrete mathematics on Hamiltonicity problem for vertex-transitive (Cayley) graphs.	Discrete Mathematics	2009	DBLP DOI BibTeX RDF
2	Timothy Daryl Stanley	Using digital logic simulation as a teaching aid in discrete mathematics, hardware and operating systems, networking, computer organization and computer architecture: a workshop outline.	SIGITE Conference	2009	DBLP DOI BibTeX RDF	visualization, learning environment, logic simulation
2	Reinhard Klette, Ruyi Jiang, Sandino Morales, Tobi Vaudrey	Discrete Driver Assistance.	ISMM	2009	DBLP DOI BibTeX RDF	distance transform, Discrete mathematics, driver assistance, lane detection, stereo analysis
2	Yi Li	A New Approach to Teaching Logic in Discrete Mathematics.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Sun-Yuan Hsieh, Yu-Shu Chen	Strongly Diagnosable Product Networks Under the Comparison Diagnosis Model.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Fault tolerance, modeling, evaluation, Reliability, Measurement, Graph Theory, Graph Theory, Discrete Mathematics, Discrete Mathematics, On-chip interconnection networks, Testing and Fault-Tolerance, Mathematics of Computing, Mathematics of Computing, simulation of multiple-processor systems, Network problems
2	Kevin L. Huggins, Rachelle DeCoste	Reflections on teaching discrete math for the first time.	SIGCSE Bulletin	2007	DBLP DOI BibTeX RDF	team-teaching, teaching, discrete mathematics
2	Bill Marion	Final oral report of the SIGCSE committee on the implementation of a discrete mathematics course.	SIGCSE	2006	DBLP DOI BibTeX RDF	SIGCSE committee initiative, course models, discrete mathematics, CC2001, computing curriculum, syllabi
2	Mark D. LeBlanc, Rochelle Leibowitz	Discrete partnership: a case for a full year of discrete math.	SIGCSE	2006	DBLP DOI BibTeX RDF	CC2005, course models, discrete mathematics, CC2001, computing curriculum, syllabi
2	John Cigas, Wen-Jung Hsin	Teaching proofs and algorithms in discrete mathematics with online visual logic puzzles.	ACM Journal of Educational Resources in Computing	2005	DBLP DOI BibTeX RDF	education, Logic, proof
2	Timothy S. Gegg-Harrison	Constructing contracts: Making discrete mathematics relevant to beginning programmers.	ACM Journal of Educational Resources in Computing	2005	DBLP DOI BibTeX RDF	programming by contract, Formal methods, program verification, weakest preconditions, programming tools, loop invariants, axiomatic semantics
2	Klaus Sutner	CDM: Teaching discrete mathematics to computer science majors.	ACM Journal of Educational Resources in Computing	2005	DBLP DOI BibTeX RDF	Experimental mathematics, symbolic computation, mathematics education
2	Mustafa Murat Inceoglu	A Discrete Mathematics Package for Computer Science and Engineering Students.	ICCSA	2005	DBLP DOI BibTeX RDF
2	Ignacio M. Pelayo	Comment on "The Steiner number of a graph" by G. Chartrand and P. Zhang: [Discrete Mathematics 242 (2002) 41-54].	Discrete Mathematics	2004	DBLP DOI BibTeX RDF
2	T. Aaron Gulliver, Masaaki Harada, Jon-Lark Kim	Erratum to "Construction of new extremal self-dual codes" [Discrete Mathematics 263 (2003) 81-91].	Discrete Mathematics	2004	DBLP DOI BibTeX RDF
2	William D. Weakley	Erratum to "Upper bounds for domination numbers of the queen's graph": [Discrete Mathematics 242 (2002) 229-243].	Discrete Mathematics	2004	DBLP DOI BibTeX RDF
2	Carlos A. S. Oliveira	Review of "Selected Papers in Discrete Mathematics by D. Knuth", CSLI (Center for the Study of Language and Information Publication) paperback, $72.00.	SIGACT News	2004	DBLP DOI BibTeX RDF
2	Doug Baldwin, Bill Marion, Henry MacKay Walker	Status report on the SIGCSE committee on the implementation of a discrete mathematics course.	SIGCSE	2004	DBLP DOI BibTeX RDF	SIGCSE committee initiative, discrete mathematics, CC2001, computing curriculum
2	Vito Napolitano	Erratum to "On a class of finite linear spaces with few lines": [Discrete Mathematics 270 (2003) 207-224].	Discrete Mathematics	2003	DBLP DOI BibTeX RDF
2	Joseph Zaks	Erratum to "The Beckman-Quarles theorem for rational spaces": [Discrete Mathematics 365 (2003) 311-320].	Discrete Mathematics	2003	DBLP DOI BibTeX RDF
2	Darla Kremer	Postscript: "Permutations with forbidden subsequences and a generalized Schro"der number" [Discrete Mathematics 218 (2000) 121-130].	Discrete Mathematics	2003	DBLP DOI BibTeX RDF
2	Michael Böttcher, Ulrich Knauer	Postscript: "Endomorphism spectra of graphs" [Discrete Mathematics 109 (1992) 45-57].	Discrete Mathematics	2003	DBLP DOI BibTeX RDF
2	Rögnvaldur G. Möller	Erratum to "Descendants in highly arc transitive digraphs" [Discrete Mathematics 247 (2002) 147-157].	Discrete Mathematics	2003	DBLP DOI BibTeX RDF
2	Dale Peterson, Douglas R. Woodall	Erratum to "Edge-choosability in line-perfect multigraphs" [Discrete Mathematics 202 (1999) 191].	Discrete Mathematics	2003	DBLP DOI BibTeX RDF
2	Ljiljana Brankovic, Jozef Sirán	2-Compromise Usability in 1-Dimensional Statistical Databases.	COCOON	2002	DBLP DOI BibTeX RDF	privacy in data mining, statistical database security, combinatorics, discrete mathematics
2	Helmut Alt (eds.)	Computational Discrete Mathematics, Advanced Lectures	Computational Discrete Mathematics	2001	DBLP BibTeX RDF
2	Ralph-Hardo Schulz	Check Character Systems and Anti-symmetric Mappings.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
2	Hans Jürgen Prömel, Anusch Taraz	Random Graphs, Random Triangle-Free Graphs, and Random Partial Orders.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
2	Gernot Stroth	Algorithms in Pure Mathematics.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
2	Bernd Gärtner, Emo Welzl	Explicit and Implicit Enforcing - Randomized Optimization.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
2	Heinz Adolf Jung	Degree Bounds for Long Paths and Cycles in k-Connected Graphs.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
2	Tor Helleseth	Codes over Z4.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
2	Christoph Meinel, Christian Stangier	Data Structures for Boolean Functions.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
2	Helmut Alt	The Nearest Neighbor.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
2	Günter M. Ziegler	Coloring Hamming Graphs, Optimal Binary Codes, and the 0/1-Borsuk Problem in Low Dimensions.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
2	Günter Rote	Division-Free Algorithms for the Determinant and the Pfaffian: Algebraic and Combinatorial Approaches.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
2	Martin Aigner	Lattice Paths and Determinants.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
2	D. S. Tomer, Doug Baldwin, Carl H. Smith, Peter B. Henderson, Venu Vadisigi	CS1 and CS2 (panel session): foundations of computer science and discrete mathematics.	SIGCSE	2000	DBLP DOI BibTeX RDF
2		To: Kenneth P. Bogart and Ann N. Trenk, "Bipartite tolerance", Discrete Mathematics 132 (1994) 11-22.	Discrete Mathematics	1995	DBLP DOI BibTeX RDF
2	Paul Erdös	Problems and results in discrete mathematics.	Discrete Mathematics	1994	DBLP DOI BibTeX RDF
2	Paul Monsky	Discrete Mathematics: To: O. Heden, "On the modular n-queen problem" 102 (1992) 155-161.	Discrete Mathematics	1993	DBLP DOI BibTeX RDF
2		Discrete Mathematics: To: D.A. Holton, D. Lou and M.D. Plummer, "On the 2-extendability of planar graphs" 96 (1991) 81-99.	Discrete Mathematics	1993	DBLP DOI BibTeX RDF
2		Corrigendum : To: D. Bienstock, "On the complexity of testing for odd holes and induced odd paths" Discrete Mathematics 90 (1991) 85-92.	Discrete Mathematics	1992	DBLP DOI BibTeX RDF
2		Corrigendum : To: Shaoji Xu, "The chromatic uniqueness of complete bipartite graphs", Discrete Mathematics 94 (1991) 153-159.	Discrete Mathematics	1992	DBLP DOI BibTeX RDF
2	Roger L. Wainwright	Introducing functional programming in discrete mathematics.	SIGCSE	1992	DBLP DOI BibTeX RDF	Miranda
2		Generalized partially balanced incomplete block designs : To: Kishore Sinha, Discrete Mathematics 67 (1987) 315-318.	Discrete Mathematics	1991	DBLP DOI BibTeX RDF
2		Affine and projective planes : To: E.F. Assmus Jr and J.D. Key, Discrete Mathematics 83 (1990) 161-187.	Discrete Mathematics	1991	DBLP DOI BibTeX RDF
2		To: J.M. van den Akker, J.H. Koolen and R.J.M. Vaessens, "Perfect codes with distinct protective radii", Discrete Mathematics 81 (1990) 103-109.	Discrete Mathematics	1991	DBLP DOI BibTeX RDF
2	Gary Marc Levin	ISETL: A Language for Teaching Discrete Mathematics (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	SETL
2	William A. Marion	Discrete mathematics for computer science majors - where are we? How do we proceed?	SIGCSE	1989	DBLP DOI BibTeX RDF
2	James R. Sidbury	A statistical analysis of the effect of discrete mathematics on the performance of computer science majors in beginning computing classes.	SIGCSE	1986	DBLP DOI BibTeX RDF
1	Robert Szarka	Review of pearls of discrete mathematics by Martin Erickson.	SIGACT News	2012	DBLP DOI BibTeX RDF
1	Richard H. Schelp	Some Ramsey-Turán type problems and related questions.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Abdollah Alimadadi, Changiz Eslahchi, Teresa W. Haynes, Michael A. Henning, Nader Jafari Rad, Lucas C. van der Merwe	Erratum to "Total domination supercritical graphs with respect to relative complements" [Discrete Math. 258 (2002) 361-371].	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Jochen Harant, Stanislav Jendrol	Nonrepetitive vertex colorings of graphs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	P. Paulraja, S. Sampath Kumar	Closed trail decompositions of some classes of regular graphs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Jin-Xin Zhou, Yan-Tao Li	Cubic non-normal Cayley graphs of order 4p2.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Gerard Jennhwa Chang, Daphne Der-Fen Liu	Strong edge-coloring for cubic Halin graphs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Jianbin Zhang, Bo Zhou, Zhongzhu Liu	On the minimal eccentric connectivity indices of graphs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Piotr Micek, Bartosz Walczak	Parity in graph sharing games.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Petr Kovár, Michael Kubesa, Mariusz Meszka	Factorizations of complete graphs into brooms.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Noga Alon, Alexandr V. Kostochka	Dense uniform hypergraphs have high list chromatic number.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Min Chen, Mickaël Montassier, André Raspaud	Some structural properties of planar graphs and their applications to 3-choosability.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Xiaodong Zhang, Cun-Quan Zhang	Kotzig frames and circuit double covers.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Rafael R. Kamalian, Petros A. Petrosyan	A note on upper bounds for the maximum span in interval edge-colorings of graphs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Kazuyoshi Suzuki	Complete m-spotty weight enumerators of binary codes, Jacobi forms, and partial Epstein zeta functions.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Pavol Hell, Wilfried Imrich, Jaroslav Nesetril	Preface.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Tomás Kaiser	A short proof of the tree-packing theorem.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Shuya Chiba, Jun Fujisawa, Masao Tsugaki, Tomoki Yamashita	Long cycles in unbalanced bipartite graphs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Jason R. Lobb, Charles J. Colbourn, Peter Danziger, Brett Stevens, Jose Torres-Jimenez	Cover starters for covering arrays of strength two.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Atsuhiro Nakamoto, Shoichi Tsuchiya	On geometrically realizable Möbius triangulations.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Mark N. Ellingham, Justin Z. Schroeder	Nonorientable hamilton cycle embeddings of complete tripartite graphs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Benjian Lv, Kaishun Wang	The eigenvalues of q-Kneser graphs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Hao Li, Wantao Ning, Junqing Cai	An implicit degree condition for hamiltonian graphs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Seiya Negami	The distinguishing numbers of graphs on closed surfaces.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Jian-Hua Yin, Xiao-Fei Huang	A Gale-Ryser type characterization of potentially 1-s2.0-S0012365X1100584X-si1-bigraphic pairs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Le Anh Vinh	Singular matrices with restricted rows in vector spaces over finite fields.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Daniel Pragel	Determinants of box products of paths.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe, A. Pawel Wojda	On (Kq, k) vertex stable graphs with minimum size.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Konrad Dabrowski, Vadim V. Lozin, Rajiv Raman, Bernard Ries	Colouring vertices of triangle-free graphs without forests.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	P. C. Li, G. H. J. van Rees, Stela H. Seo, N. M. Singhi	Friendship 3-hypergraphs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Paul B. Larson, Nicholas Matteo, Saharon Shelah	Majority decisions when abstention is possible.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Reza Akhtar, Anthony B. Evans, Dan Pritikin	Representation numbers of complete multipartite graphs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Gerard J. Chang, Nicolas Roussel	(Δ+1)-total choosability of planar graphs with no cycles of length from 4 to k and without close triangles.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Salvatore Milici, Giorgio Ragusa, Fulvio Zuanni	Small embedding of an S3(2, 4, u) into an Sλ(2, 4, u+w).	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Yandong Bai, Binlong Li, Shenggui Zhang	Covering the edges of digraphs in D(3, 3) and D(4, 4) with directed cuts.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Po-Yi Huang, Tsai-Lien Wong, Xuding Zhu	Weighted-1-antimagic graphs of prime power order.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Ivo L. Hofacker, Christian M. Reidys, Peter F. Stadler	Symmetric circular matchings and RNA folding.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Diana Avella-Alaminos, Ernesto Vallejo	Kronecker products and the RSK correspondence.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Jin-ichi Itoh, Costin Vîlcu	Cut locus structures on graphs.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF
1	Endre Boros, Ondrej Cepek, Vladimir Gurvich	Total tightness implies Nash-solvability for three-person game forms.	Discrete Mathematics	2012	DBLP DOI BibTeX RDF