Search results for "enumerations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Dieter Spreen	Computable One-to-one Enumerations of Effective Domains.	MFPS	1987	DBLP DOI BibTeX RDF
36	Alexandra A. Soskova	A Jump Inversion Theorem for the Degree Spectra.	CiE	2007	DBLP DOI BibTeX RDF	enumeration degrees, degree spectra, Marker’s extensions, enumerations
35	Abraham Bernstein, Foster J. Provost, Shawndra Hill	Toward Intelligent Assistance for a Data Mining Process: An Ontology-Based Approach for Cost-Sensitive Classification.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	metalearning, data mining, machine learning, knowledge discovery, Cost-sensitive learning, intelligent assistants, knowledge discovery process, data mining process
35	L. Almagor, Keith D. Cooper, Alexander Grosul, Timothy J. Harvey, Steven W. Reeves, Devika Subramanian, Linda Torczon, Todd Waterman	Finding effective compilation sequences.	LCTES	2004	DBLP DOI BibTeX RDF	learning models, adaptive compilers
35	Gene Cooperman, Victor Grinberg	Scalable parallel coset enumeration using bulk definition.	ISSAC	2001	DBLP DOI BibTeX RDF
35	Philippe Flajolet	Analytic Analysis of Algorithms.	ICALP	1992	DBLP DOI BibTeX RDF
35	Juris Hartmanis, Lane A. Hemachandra	Complexity Classes Without Machines: On Complete Languages for UP.	ICALP	1986	DBLP DOI BibTeX RDF
23	Lin Yang, Sheng-Liang Yang	Some γ-positive polynomials arising from enumerations of the pseudo Schröder paths.	Discret. Math.	2024	DBLP DOI BibTeX RDF
23	Noam Greenberg, Matthew Harrison-Trainor, Joseph S. Miller, Dan Turetsky	Enumerations of families closed under finite differences.	Comput.	2024	DBLP DOI BibTeX RDF
23	Sebastian Koch	Introduction to Graph Enumerations.	Formaliz. Math.	2023	DBLP DOI BibTeX RDF
23	Yidong Sun, Weichen Wang, Cheng Sun	The bfuvu-Avoiding (a, b, c)-Generalized Motzkin Paths with Vertical Steps: Bijections and Statistic Enumerations.	Graphs Comb.	2023	DBLP DOI BibTeX RDF
23	Yidong Sun, Weichen Wang, Cheng Sun	Correction to: The uvu-Avoiding (a, b, c)-Generalized Motzkin Paths with Vertical Steps: Bijections and Statistic Enumerations.	Graphs Comb.	2023	DBLP DOI BibTeX RDF
23	Kévin Perrot, Sylvain Sené, Léah Tapin	On countings and enumerations of block-parallel automata networks.	CoRR	2023	DBLP DOI BibTeX RDF
23	George Barmpalias, Xiaoyan Zhang, Bohua Zhan	Compression of enumerations and gain.	CoRR	2023	DBLP DOI BibTeX RDF
23	David M. Nicol, Gregory Shannon, Monika Akbar, Matt Bishop, Michael M. Chaney, Matthew E. Luallen	Toward Common Weakness Enumerations in Industrial Control Systems.	IEEE Secur. Priv.	2023	DBLP DOI BibTeX RDF
23	Minoru Hirose, Toshiki Matsusaka, Ryutaro Sekigawa, Hyuga Yoshizaki	Bijective Enumerations for Symmetrized Poly-Bernoulli Polynomials.	Electron. J. Comb.	2022	DBLP DOI BibTeX RDF
23	Krishnan Balasubramanian	Symmetry and Combinatorial Concepts for Cyclopolyarenes, Nanotubes and 2D-Sheets: Enumerations, Isomers, Structures Spectra & Properties.	Symmetry	2022	DBLP DOI BibTeX RDF
23	Lukás Sadlek, Pavel Celeda, Daniel Tovarnák	Current Challenges of Cyber Threat and Vulnerability Identification Using Public Enumerations.	CoRR	2022	DBLP DOI BibTeX RDF
23	Zuling Chang, Jie Xue 0004	Enumerations of universal cycles for k-permutations.	Discret. Math.	2022	DBLP DOI BibTeX RDF
23	Lukás Sadlek, Pavel Celeda, Daniel Tovarnák	Current Challenges of Cyber Threat and Vulnerability Identification Using Public Enumerations.	ARES	2022	DBLP DOI BibTeX RDF
23	Pin-Chieh Tseng, Ching-Yi Lai, Wei-Hsuan Yu	Improved semidefinite programming bounds for binary codes by split distance enumerations.	ISIT	2022	DBLP DOI BibTeX RDF
23	Rigoberto Flórez, José Luis Ramírez	Enumerations of Rational Non-decreasing Dyck Paths with Integer Slope.	Graphs Comb.	2021	DBLP DOI BibTeX RDF
23	Phani Ghanakota, Pieter H. Bos, Kyle D. Konze, Joshua Staker, Gabriel Marques, Kyle Marshall, Karl Leswing, Robert Abel, Sathesh Bhat	Combining Cloud-Based Free-Energy Calculations, Synthetically Aware Enumerations, and Goal-Directed Generative Machine Learning for Rapid Large-Scale Chemical Exploration and Optimization.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
23	Kazuhiro Kurita, Yasuaki Kobayashi	Efficient Enumerations for Minimal Multicuts and Multiway Cuts.	CoRR	2020	DBLP BibTeX RDF
23	Sergi Elizalde, Katherine Moore	Characterizations and enumerations of patterns of signed shifts.	Discret. Appl. Math.	2020	DBLP DOI BibTeX RDF
23	Kazuhiro Kurita, Yasuaki Kobayashi	Efficient Enumerations for Minimal Multicuts and Multiway Cuts.	MFCS	2020	DBLP DOI BibTeX RDF
23	Daniel Schlette, Florian Menges, Thomas Baumer, Günther Pernul	Security Enumerations for Cyber-Physical Systems.	DBSec	2020	DBLP DOI BibTeX RDF
23	Ahmad Sabri, Huong Thi Thu Tran	Combinatorial enumerations and Graycodeness on restricted growth functions avoiding vincular patterns.	ACOMP	2020	DBLP DOI BibTeX RDF
23	Florian Aigner	Refined enumerations of alternating sign triangles.	Adv. Appl. Math.	2019	DBLP DOI BibTeX RDF
23	Yansheng Wu, Qin Yue	Factorizations of Binomial Polynomials and Enumerations of LCD and Self-Dual Constacyclic Codes.	IEEE Trans. Inf. Theory	2019	DBLP DOI BibTeX RDF
23	Maryam Bahrani, Jérémie O. Lumbroso	Enumerations, Forbidden Subgraph Characterizations, and the Split-Decomposition.	Electron. J. Comb.	2018	DBLP DOI BibTeX RDF
23	Beáta Bényi, Gábor V. Nagy	Bijective enumerations of Γ-free 0-1 matrices.	Adv. Appl. Math.	2018	DBLP DOI BibTeX RDF
23	Susanna Fishel, Elizabeth Milicevic, Rebecca Patrias, Bridget Eileen Tenner	Enumerations relating braid and commutation classes.	Eur. J. Comb.	2018	DBLP DOI BibTeX RDF
23	Éva Czabarka, Rigoberto Flórez, Leandro Junes, José Luis Ramírez	Enumerations of peaks and valleys on non-decreasing Dyck paths.	Discret. Math.	2018	DBLP DOI BibTeX RDF
23	Rigoberto Flórez, José Luis Ramírez	Some enumerations on non-decreasing Motzkin paths.	Australas. J Comb.	2018	DBLP BibTeX RDF
23	Ilse Fischer	Constant term formulas for refined enumerations of Gog and Magog trapezoids.	J. Comb. Theory, Ser. A	2018	DBLP DOI BibTeX RDF
23	Quang-Vinh Dang 0001, Jérôme François	Utilizing attack enumerations to study SDN/NFV vulnerabilities.	NetSoft	2018	DBLP DOI BibTeX RDF
23	Jérémie O. Lumbroso, Jessica Shi 0001	Exponential Bounds on Graph Enumerations from Vertex Incremental Characterizations.	ANALCO	2018	DBLP DOI BibTeX RDF
23	Christian Bean, Henning Úlfarsson, Anders Claesson	Enumerations of Permutations Simultaneously Avoiding a Vincular and a Covincular Pattern of Length 3.	J. Integer Seq.	2017	DBLP BibTeX RDF
23	Sanjay Jain 0001, Jason Teutsch	Enumerations including laconic enumerators.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
23	Jimmy Devillet	Bisymmetric and quasitrivial operations: characterizations and enumerations.	CoRR	2017	DBLP BibTeX RDF
23	Miguel Couceiro, Jimmy Devillet, Jean-Luc Marichal	Quasitrivial semigroups: characterizations and enumerations.	CoRR	2017	DBLP BibTeX RDF
23	Sen-Peng Eu, Seunghyun Seo, Heesung Shin	Enumerations of vertices among all rooted ordered trees with levels and degrees.	Discret. Math.	2017	DBLP DOI BibTeX RDF
23	Alexander P. Kreuzer, Keita Yokoyama	On principles between ∑1- and ∑2-induction, and monotone enumerations.	J. Math. Log.	2016	DBLP DOI BibTeX RDF
23	Maryam Bahrani, Jérémie O. Lumbroso	Enumerations, Forbidden Subgraph Characterizations, and the Split-Decomposition.	CoRR	2016	DBLP BibTeX RDF
23	Éva Czabarka, Rigoberto Flórez, Leandro Junes	Some Enumerations on Non-Decreasing Dyck Paths.	Electron. J. Comb.	2015	DBLP DOI BibTeX RDF
23	Domenico Cantone, Marianna Nicolosi Asmundo	The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations.	ICTCS	2015	DBLP DOI BibTeX RDF
23	Domenico Cantone, Marianna Nicolosi Asmundo	The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations.	CoRR	2015	DBLP BibTeX RDF
23	P. Christopher Staecker	Some enumerations of binary digital images.	CoRR	2015	DBLP BibTeX RDF
23	Rosena R. X. Du, Yingying Nie, Xuezhi Sun	Enumerations of humps and peaks in (k, a)-paths and (n, m)-Dyck paths via bijective proofs.	Discret. Appl. Math.	2015	DBLP DOI BibTeX RDF
23	Yuri N. Sotskov, Alexandre Dolgui, Tsung-Chyan Lai, Aksana Zatsiupa	Enumerations and stability analysis of feasible and optimal line balances for simple assembly lines.	Comput. Ind. Eng.	2015	DBLP DOI BibTeX RDF
23	Jerzy Mycka	Recursively enumerable sets and well-ordering of their enumerations.	Reports Math. Log.	2014	DBLP BibTeX RDF
23	Maciej Dziemianczuk	Enumerations of plane trees with multiple edges and Raney lattice paths.	Discret. Math.	2014	DBLP DOI BibTeX RDF
23	Riccardo Biagioli, Fabrizio Caselli	Weighted enumerations on projective reflection groups.	Adv. Appl. Math.	2012	DBLP DOI BibTeX RDF
23	Angel V. Ditchev	Least enumerations of partial structures.	J. Log. Comput.	2012	DBLP DOI BibTeX RDF
23	Anthony Morphett	Prompt enumerations and relative randomness.	J. Log. Comput.	2012	DBLP DOI BibTeX RDF
23	Ilse Fischer	Linear relations of refined enumerations of alternating sign matrices.	J. Comb. Theory, Ser. A	2012	DBLP DOI BibTeX RDF
23	Sangwook Kim	Flag enumerations of matroid base polytopes.	J. Comb. Theory, Ser. A	2010	DBLP DOI BibTeX RDF
23	Alexander G. Melnikov	Enumerations and Completely Decomposable Torsion-Free Abelian Groups.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Torsion-free Abelian groups, Degree spectra, Computable models
23	Edy Tri Baskoro, Yus Mochamad Cholily, Mirka Miller	Enumerations of vertex orders of almost Moore digraphs with selfrepeats.	Discret. Math.	2008	DBLP DOI BibTeX RDF
23	Paul Brodhead, Douglas A. Cenzer	Effectively closed sets and enumerations.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D30, 03D25
23	Alexander G. Melnikov	Enumerations and Torsion Free Abelian Groups.	CiE	2007	DBLP DOI BibTeX RDF
23	Paul Brodhead	Enumerations of Pi10 Classes: Acceptability and Decidable Classes.	CCA	2006	DBLP DOI BibTeX RDF
23	Richard Beigel, Harry Buhrman, Peter A. Fejer, Lance Fortnow, Piotr Grabowski, Luc Longpré, Andrej Muchnik, Frank Stephan 0001, Leen Torenvliet	Enumerations of the Kolmogorov function.	J. Symb. Log.	2006	DBLP DOI BibTeX RDF
23	Ivan N. Soskov, Bogomil Kovachev	Uniform regular enumerations.	Math. Struct. Comput. Sci.	2006	DBLP DOI BibTeX RDF
23	Huaien Li, David C. Torney	Enumerations of Unlabelled Multigraphs.	Ars Comb.	2005	DBLP BibTeX RDF
23	Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon	Enumerations in computable structure theory.	Ann. Pure Appl. Log.	2005	DBLP DOI BibTeX RDF
23	Richard Beigel, Harry Buhrman, Peter A. Fejer, Lance Fortnow, Piotr Grabowski, Luc Longpré, Andrei A. Muchnik, Frank Stephan 0001, Leen Torenvliet	Enumerations of the Kolmogorov Function	Electron. Colloquium Comput. Complex.	2004	DBLP BibTeX RDF
23	A. L. Perezhogin	On cyclic -enumerations.	Discret. Appl. Math.	2004	DBLP DOI BibTeX RDF
23	Ivan N. Soskov, V. Baleva	Regular Enumerations.	J. Symb. Log.	2002	DBLP DOI BibTeX RDF
23	Anthony J. Guttmann	Enumerations in statistical mechanics and combinatorics.	Comput. Sci. Eng.	2001	DBLP DOI BibTeX RDF
23	A. A. Evdokimov, A. L. Perezhogin	Minimal enumerations of subsets of a finite set and the middle level problem.	Discret. Appl. Math.	2001	DBLP DOI BibTeX RDF
23	Christophe Luc	Une typologie des énumérations basée sur les structures rhétoriques et architecturales du texte.	TALN (Articles longs)	2001	DBLP BibTeX RDF
23	Alex M. McAllister	Completions of PA: Models and Enumerations of Representable Sets.	J. Symb. Log.	1998	DBLP DOI BibTeX RDF
23	Anne Bottreau, Yves Métivier	Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling.	FoSSaCS	1998	DBLP DOI BibTeX RDF
23	Jim Pitman	Enumerations of trees and forests related to branching processes and random walks.	Microsurveys in Discrete Probability	1997	DBLP DOI BibTeX RDF
23	Antoni W. Mazurkiewicz	Locally Computable Enumerations.	FCT	1997	DBLP DOI BibTeX RDF
23	Sergei S. Goncharov, Serikzhan A. Badaev	Classes with Pairwise Equivalent Enumerations.	LFCS	1994	DBLP DOI BibTeX RDF
23	Jiang Zeng	Énumérations de Permutations et J-Fractions Continues.	Eur. J. Comb.	1993	DBLP DOI BibTeX RDF
23	Sergei S. Goncharov, Alexander Yakhnis, Vladimir Yakhnis	Some Effectively Infinite Classes of Enumerations.	Ann. Pure Appl. Log.	1993	DBLP DOI BibTeX RDF
23	Yanpei Liu	On functional equations arising from map enumerations.	Discret. Math.	1993	DBLP DOI BibTeX RDF
23	Ivan N. Soskov	Second Order Definability Via enumerations.	Math. Log. Q.	1991	DBLP DOI BibTeX RDF
23	Angel V. Ditchev	Effective Enumerations of Families of Finite Sets of Natural Numbers.	Math. Log. Q.	1991	DBLP DOI BibTeX RDF
23	Yutaka Hata, Masaharu Yuhara, Fujio Miyawaki, Kazuharu Yamato	On the Complexity of Enumerations for Multiple-Valued Kleenean Functions and Unate Functions.	ISMVL	1991	DBLP DOI BibTeX RDF
23	Charles Lins	Programming without enumerations in Oberon.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
23	David Marker	Enumerations of Turing Ideals with Applications.	Notre Dame J. Formal Log.	1990	DBLP DOI BibTeX RDF
23	Ivan N. Soskov	Computability by means of effectively definable schemes and definability via enumerations.	Arch. Math. Log.	1990	DBLP DOI BibTeX RDF
23	Dieter Spreen	Computable One-to-One Enumerations of Effective Domains	Inf. Comput.	1990	DBLP DOI BibTeX RDF
23	Ivan N. Soskov	Definability Via Enumerations.	J. Symb. Log.	1989	DBLP DOI BibTeX RDF
23	Andrzej Orlicki	Correction to "Strong Reducibilities of Enumerations and Partial Enumerated Algebras".	Math. Log. Q.	1989	DBLP DOI BibTeX RDF
23	Andrzej Orlicki	Strong Reducibilities of Enumerations and Partial Enumerated Algebras.	Math. Log. Q.	1988	DBLP DOI BibTeX RDF
23	Andrzej Orlicki	On Constructively Non-Morphisms of Enumerated Sets and Constructive Non-Reducibility of Enumerations.	Math. Log. Q.	1987	DBLP DOI BibTeX RDF
23	Hideki Hirakawa, Takashi Chikayama, Koichi Furukawa	Eager and Lazy Enumerations in Concurrent Prolog.	ICLP	1984	DBLP BibTeX RDF
23	Stephan Heilbrunner, Lothar Schmitz	For Statements with Restricted Enumerations.	Symposium on Programming	1984	DBLP DOI BibTeX RDF
23	Giuseppe Longo, Eugenio Moggi	Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II).	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
23	H. M. Gladney	A Note on Enumerations.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
23	Phillip Schultz	Enumerations of rooted trees with an application to group presentations.	Discret. Math.	1982	DBLP DOI BibTeX RDF
23	David V. Moffat	Enumerations in Pascal, ADA, and beyond.	ACM SIGPLAN Notices	1981	DBLP DOI BibTeX RDF
23	Nachum Dershowitz, Shmuel Zaks	Applied Tree Enumerations.	CAAP	1981	DBLP DOI BibTeX RDF
23	Nachum Dershowitz, Shmuel Zaks	Enumerations of ordered trees.	Discret. Math.	1980	DBLP DOI BibTeX RDF