Search results for "irreducibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
120	Erich L. Kaltofen, John P. May	On approximate irreducibility of polynomials in several variables.	ISSAC	2003	DBLP DOI BibTeX RDF	absolute irreducibility, effective Noether irreducibility forms, multivariate polynomial factorization, radius of irreducibility, approximate factorization, symbolic/numeric hybrid method
118	Fatima K. Abu Salem, Laurence Tianruo Yang	Parallel methods for absolute irreducibility testing.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Bivariate polynomials, Absolute irreducibility, Newton polytopes, Bulk synchronous model, Parallel algorithms, Multivariate polynomials
74	Soonhak Kwon, Chang Hoon Kim, Chun Pyo Hong	Fast Irreducibility Testing for XTR Using a Gaussian Normal Basis of Low Complexity.	Selected Areas in Cryptography	2004	DBLP DOI BibTeX RDF	XTR cryptosystem, Gauss period, cubic residue, normal basis, roots of unity
57	Jonathan Bentwich	The duality principle: irreducibility of sub-threshold psychophysical computation to neuronal brain activation.	Synth.	2006	DBLP DOI BibTeX RDF	Materialistic reductionism, Duality principle, Body-mind, Binding problem, Computation, Psychophysics, Neuroscience
57	Kosaku Nagasaka	Towards certified irreducibility testing of bivariate approximate polynomials.	ISSAC	2002	DBLP DOI BibTeX RDF
39	Ondrej Kuzelka, Filip Zelezný	Block-wise construction of acyclic relational features with monotone irreducibility and relevancy properties.	ICML	2009	DBLP DOI BibTeX RDF
39	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers	Irreducibility and additivity of set agreement-oriented failure detector classes.	PODC	2006	DBLP DOI BibTeX RDF	fault-tolerance, asynchronous system, unreliable failure detector
39	Dima Grigoriev	Complexity of Irreducibility Testing for a System of Linear Ordinary Differential Equations.	ISSAC	1990	DBLP DOI BibTeX RDF
35	Holger Boche, Martin Schubert	On the Structure of the Multiuser QoS Region.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
27	Yde Venema	A Dual Characterization of Subdirectly Irreducible BAOs.	Stud Logica	2004	DBLP DOI BibTeX RDF	Boolean algebras with operators, subdirect irreducibility, duality
27	Johan Janssen, Henk Corporaal	Making Graphs Reducible with Controlled Node Splitting.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compilation, instruction-level parallelism, reducibility, control flow graphs, node splitting, irreducibility
27	Johan Janssen, Henk Corporaal	Controlled Node Splitting.	CC	1996	DBLP DOI BibTeX RDF	compilation, instruction level parallelism, reducibility, control flow graphs, node splitting, irreducibility
22	Moises Delgado, Heeralal Janwa, Carlos Agrinsoni	Some new techniques and progress towards the resolution of the conjecture of exceptional APN functions and absolutely irreducibility of a class of polynomials.	Des. Codes Cryptogr.	2023	DBLP DOI BibTeX RDF
22	Raúl López-Rueda, Santiago Escobar 0001, Julia Sapiña	An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis.	CoRR	2023	DBLP DOI BibTeX RDF
22	Jonathan Gorard	A Functorial Perspective on (Multi)computational Irreducibility.	CoRR	2023	DBLP DOI BibTeX RDF
22	Sarah Cannon	Irreducibility of Recombination Markov Chains in the Triangular Lattice.	CoRR	2023	DBLP DOI BibTeX RDF
22	Yilun Zhu, Aaron Fjeldsted, Darren Holland, George Landon, Azaree Lintereur, Clayton Scott	Mixture Proportion Estimation Beyond Irreducibility.	CoRR	2023	DBLP DOI BibTeX RDF
22	Raúl López-Rueda, Santiago Escobar 0001, Julia Sapiña	An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
22	Devendra Prasad	Irreducibility of integer-valued polynomials in several variables.	Period. Math. Hung.	2023	DBLP DOI BibTeX RDF
22	Sarah Cannon	Irreducibility of Recombination Markov Chains in the Triangular Lattice.	ACDA	2023	DBLP DOI BibTeX RDF
22	Santiago Escobar 0001, Raúl López-Rueda, Julia Sapiña	Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints.	FTSCS	2023	DBLP DOI BibTeX RDF
22	Yilun Zhu, Aaron Fjeldsted, Darren Holland, George Landon, Azaree Lintereur, Clayton Scott	Mixture Proportion Estimation Beyond Irreducibility.	ICML	2023	DBLP BibTeX RDF
22	Philip Kmentt, Alec Shute	The Bertini irreducibility theorem for higher codimensional slices.	Finite Fields Their Appl.	2022	DBLP DOI BibTeX RDF
22	Adrien Poteaux, Martin Weimann	A quasi-linear irreducibility test in 핂[[x]][y].	Comput. Complex.	2022	DBLP DOI BibTeX RDF
22	George Barmpalias, Wei Wang 0150	Growth and irreducibility in path-incompressible trees.	CoRR	2022	DBLP DOI BibTeX RDF
22	Raúl López-Rueda, Santiago Escobar 0001	Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
22	Julián Agredo, Franco Fagnola, Damiano Poletti	Gaussian Quantum Markov Semigroups on a One-Mode Fock Space: Irreducibility and Normal Invariant States.	Open Syst. Inf. Dyn.	2021	DBLP DOI BibTeX RDF
22	Phitthayathon Phetnun, Narakorn Rompurk Kanasri, Patiwat Singthongla	On the Irreducibility of Polynomials Associated with the Complete Residue Systems in any Imaginary Quadratic Fields.	Int. J. Math. Math. Sci.	2021	DBLP DOI BibTeX RDF
22	Jiejian Feng, Michael Zhang, Jinglei Yang	New necessary and sufficient condition for the irreducibility of joint inventory positions in an assemble-to-order system.	Oper. Res. Lett.	2021	DBLP DOI BibTeX RDF
22	Stephen Wolfram	After 100 Years, Can We Finally Crack Post's Problem of Tag? A Story of Computational Irreducibility, and More.	CoRR	2021	DBLP BibTeX RDF
22	Marius Krumm, Markus P. Müller	Computational irreducibility and compatibilism: towards a formalization.	CoRR	2021	DBLP BibTeX RDF
22	David Krumm, Nicole Sutherland	Galois groups over rational function fields and Explicit Hilbert Irreducibility.	J. Symb. Comput.	2021	DBLP DOI BibTeX RDF
22	Miguel Ángel Marco Buzunáriz, María Pe Pereira	Irreducibility of analytic arc-sections of hypersurface singularities.	Period. Math. Hung.	2021	DBLP DOI BibTeX RDF
22	Hiroshi Fujisaki	On Irreducibility of the Stream Version of Asymmetric Binary Systems.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2020	DBLP DOI BibTeX RDF
22	Yu Yao, Tongliang Liu, Bo Han 0003, Mingming Gong, Gang Niu 0001, Masashi Sugiyama, Dacheng Tao	Towards Mixture Proportion Estimation without Irreducibility.	CoRR	2020	DBLP BibTeX RDF
22	Jitender Singh, Sanjeev Kumar	A Generalization of Bevelacqua's Irreducibility Criterion.	Am. Math. Mon.	2020	DBLP DOI BibTeX RDF
22	John Abbott	Certifying Irreducibility in ℤ[x].	ICMS	2020	DBLP DOI BibTeX RDF
22	Anuj Jakhar	A Useful Irreducibility Result for Integer Polynomials.	Am. Math. Mon.	2019	DBLP DOI BibTeX RDF
22	Santiago Escobar 0001, José Meseguer 0001	Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method.	Foundations of Security, Protocols, and Equational Reasoning	2019	DBLP DOI BibTeX RDF
22	Santiago Hernández-Orozco, Francisco Hernández Quiroz, Hector Zenil	Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence.	Artif. Life	2018	DBLP DOI BibTeX RDF
22	Jonathan Gorard	The Slowdown Theorem: A Lower Bound for Computational Irreducibility in Physical Systems.	Complex Syst.	2018	DBLP DOI BibTeX RDF
22	Elena Dubrova, Mats Näslund, Göran Selander, Fredrik Lindqvist	Message Authentication Based on Cryptographically Secure CRC without Polynomial Irreducibility Test.	Cryptogr. Commun.	2018	DBLP DOI BibTeX RDF
22	Christian Borst, Evan Boyd, Claire Brekken, Samantha Solberg, Melanie Matchett Wood, Philip Matchett Wood	Irreducibility of Random Polynomials.	Exp. Math.	2018	DBLP DOI BibTeX RDF
22	Anuj Jakhar	An Irreducibility Criterion for Polynomials with Integer Coefficients.	Am. Math. Mon.	2018	DBLP DOI BibTeX RDF
22	Mark B. Villarino, William Gasarch, Kenneth W. Regan	Hilbert's Proof of His Irreducibility Theorem.	Am. Math. Mon.	2018	DBLP DOI BibTeX RDF
22	Hidetaka Kitayama, Daisuke Shiomi	On the irreducibility of Fibonacci and Lucas polynomials over finite fields.	Finite Fields Their Appl.	2017	DBLP DOI BibTeX RDF
22	Eric Férard	On the irreducibility of the hyperplane sections of Fermat varieties in ℙ 3 $\mathbb {P}^{3}$ in characteristic 2. II.	Cryptogr. Commun.	2017	DBLP DOI BibTeX RDF
22	Moises Delgado, Heeralal Janwa	On the conjecture on APN functions and absolute irreducibility of polynomials.	Des. Codes Cryptogr.	2017	DBLP DOI BibTeX RDF
22	Richard Booth 0001, Jake Chandler	The Irreducibility of Iterated to Single Revision.	J. Philos. Log.	2017	DBLP DOI BibTeX RDF
22	Vishwas Bhargava, Gábor Ivanyos, Rajat Mittal 0001, Nitin Saxena 0001	Irreducibility and deterministic r-th root finding over finite fields.	Electron. Colloquium Comput. Complex.	2017	DBLP BibTeX RDF
22	Jameson Cahill, Dustin G. Mixon, Nate Strawn	Connectivity and Irreducibility of Algebraic Varieties of Finite Unit Norm Tight Frames.	SIAM J. Appl. Algebra Geom.	2017	DBLP DOI BibTeX RDF
22	Vishwas Bhargava, Gábor Ivanyos, Rajat Mittal 0001, Nitin Saxena 0001	Irreducibility and r-th root finding over finite fields.	CoRR	2017	DBLP BibTeX RDF
22	Lin Wang	Deciding Irreducibility/Indecomposability of Feedback Shift Registers is NP-hard.	CoRR	2017	DBLP BibTeX RDF
22	Antonio Cafure, Eda Cesaratto	Irreducibility Criteria for Reciprocal Polynomials and Applications.	Am. Math. Mon.	2017	DBLP BibTeX RDF
22	Vishwas Bhargava, Gábor Ivanyos, Rajat Mittal 0001, Nitin Saxena 0001	Irreducibility and Deterministic r-th Root Finding over Finite Fields.	ISSAC	2017	DBLP DOI BibTeX RDF
22	Tom McClelland	Can self-representationalism explain away the apparent irreducibility of consciousness?	Synth.	2016	DBLP DOI BibTeX RDF
22	Jun Zhou 0010, Xinbiao Lu, Huimin Qian	Controllability discrepancy and irreducibility/reducibility of Floquet factorisations in linear continuous-time periodic systems.	Int. J. Syst. Sci.	2016	DBLP DOI BibTeX RDF
22	Moises Delgado, Heeralal Janwa	On the absolute irreducibility of hyperplane sections of generalized Fermat varieties in P3 and the conjecture on exceptional APN functions: the Kasami-Welch degree case.	CoRR	2016	DBLP BibTeX RDF
22	Klara Stokes	Irreducibility of configurations.	Ars Math. Contemp.	2016	DBLP DOI BibTeX RDF
22	Akihiro Munemasa, Hiroko Nakamura	A Note on the Brawley-Carlitz Theorem on Irreducibility of Composed Products of Polynomials over Finite Fields.	WAIFI	2016	DBLP DOI BibTeX RDF
22	Hervé Zwirn	Computational Irreducibility and Computational Analogy.	Complex Syst.	2015	DBLP DOI BibTeX RDF
22	Karl Dilcher, Larry Ericksen	Factors and Irreducibility of Generalized Stern Polynomials.	Integers	2015	DBLP BibTeX RDF
22	Marina Diakonova, Vincenzo Nicosia, Vito Latora, Maxi San Miguel	Irreducibility of multilayer network dynamics: the case of the voter model.	CoRR	2015	DBLP BibTeX RDF
22	Eric Férard	On the irreducibility of the hyperplane sections of Fermat varieties in ℙ3 in characteristic 2.	Adv. Math. Commun.	2014	DBLP DOI BibTeX RDF
22	Chen Avin, Michael Borokhovich, Yoram Haddad 0001, Erez Kantor, Zvi Lotker, Merav Parter, David Peleg	Testing the irreducibility of nonsquare Perron-Frobenius systems.	Inf. Process. Lett.	2014	DBLP DOI BibTeX RDF
22	Periklis A. Papakonstantinou	The Depth Irreducibility Hypothesis.	Electron. Colloquium Comput. Complex.	2014	DBLP BibTeX RDF
22	Fernando Chamizo, Jorge Jiménez Urroz	Irreducibility and the distribution of some exponential sums.	Finite Fields Their Appl.	2013	DBLP DOI BibTeX RDF
22	Natalio H. Guersenzvaig	Simple Arithmetical Criteria for Irreducibility of Polynomials with Integer Coefficients.	Integers	2013	DBLP BibTeX RDF
22	Tetsuya Kobayashi, Akiko Manada, Takahiro Ota, Hiroyoshi Morita	On the Irreducibility of Certain Shifts of Finite Type.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2013	DBLP DOI BibTeX RDF
22	Heide Gluesing-Luerssen, G. David Forney Jr.	Local Irreducibility of Tail-Biting Trellises.	IEEE Trans. Inf. Theory	2013	DBLP DOI BibTeX RDF
22	Hervé Zwirn	Computational Irreducibility and Computational Analogy	CoRR	2013	DBLP BibTeX RDF
22	Virgil Griffith, Jonathan Harel	Synergy is a Special Case of Irreducibility.	CoRR	2013	DBLP BibTeX RDF
22	Anthony J. Bevelacqua	Another Irreducibility Criterion.	Am. Math. Mon.	2013	DBLP DOI BibTeX RDF
22	Steven H. Weintraub	Several Proofs of the Irreducibility of the Cyclotomic Polynomials.	Am. Math. Mon.	2013	DBLP DOI BibTeX RDF
22	Takafumi Shibuta	Irreducibility criterion for algebroid curves.	Math. Comput.	2013	DBLP DOI BibTeX RDF
22	Mark Giesbrecht	Algorithms for irreducibility testing and for constructing irreducible polynomials.	Handbook of Finite Fields	2013	DBLP BibTeX RDF
22	Hector Zenil, Fernando Soler-Toscano, Joost J. Joosten	Empirical Encounters with Computational Irreducibility and Unpredictability.	Minds Mach.	2012	DBLP DOI BibTeX RDF
22	Heide Gluesing-Luerssen, G. David Forney Jr.	Local Irreducibility of Tail-Biting Trellises	CoRR	2012	DBLP BibTeX RDF
22	Stavros Garoufalidis, Christoph Koutschan	Irreducibility of q-difference operators and the knot 7_4	CoRR	2012	DBLP BibTeX RDF
22	James Stanier, Des Watson	A study of irreducibility in C programs.	Softw. Pract. Exp.	2012	DBLP DOI BibTeX RDF
22	Serdar Erbatur, Santiago Escobar 0001, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Sonia Santiago, Ralf Sasse	Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.	ESORICS	2012	DBLP DOI BibTeX RDF
22	Víctor Blanco, José Carlos Rosales	Irreducibility in the Set of Numerical Semigroups with Fixed Multiplicity.	Int. J. Algebra Comput.	2011	DBLP DOI BibTeX RDF
22	Gabriela Hauser Bordalo	Prime Filters, Normality and Irreducibility in Lattices.	Stud Logica	2011	DBLP DOI BibTeX RDF
22	Hector Zenil, Fernando Soler-Toscano, Joost J. Joosten	Empirical Encounters with Computational Irreducibility and Unpredictability	CoRR	2011	DBLP BibTeX RDF
22	Hervé Zwirn, Jean-Paul Delahaye	Unpredictability and Computational Irreducibility	CoRR	2011	DBLP BibTeX RDF
22	Radmarz Hosseinie, Mojtaba Mahzoon	Irreducibility and emergence in complex systems and the quest for alternative insights.	Complex.	2011	DBLP DOI BibTeX RDF
22	Sergej B. Gashkov, Igor Gashkov	Some Remarks on Testing Irreducibility of Polynomials and Normality of Bases in Finite Fields.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
22	Jacob Ross	The Irreducibility of Personal Obligation.	J. Philos. Log.	2010	DBLP DOI BibTeX RDF
22	Anca I. Bonciocat, Nicolae C. Bonciocat	On the Irreducibility of Polynomials with Leading Coefficient Divisible by a Large Prime Power.	Am. Math. Mon.	2009	DBLP BibTeX RDF
22	Ülle Kotta, Zbigniew Bartosiewicz, Ewa Pawluszewicz, Malgorzata Wyrwas	Irreducibility, reduction and transfer equivalence of nonlinear input-output equations on homogeneous time scales.	Syst. Control. Lett.	2009	DBLP DOI BibTeX RDF
22	S. Aparna Lakshmanan, Ambat Vijayakumar	Clique irreducibility of some iterative classes of graphs.	Discuss. Math. Graph Theory	2008	DBLP DOI BibTeX RDF
22	Scott Ahlgren	On the irreducibility of Hecke polynomials.	Math. Comput.	2008	DBLP DOI BibTeX RDF
22	Ülle Kotta, Palle Kotta, Miroslav Halás	Irreducibility and reduction of nonlinear control systems: Unification and extension via pseudo-linear algebra.	ICARCV	2008	DBLP DOI BibTeX RDF
22	Deepanjan Kesh, Shashank K. Mehta	Polynomial irreducibility testing through Minkowski summand computation.	CCCG	2008	DBLP BibTeX RDF
22	Tao-Ming Wang, Peter Che Bor Lam, Jun-Lin Kuo, Feng-Rung Hu	On Irreducibility of Maximal Cliques.	IWOCA	2008	DBLP BibTeX RDF
22	Wei Zhao 0002, Barrett R. Bryant, Fei Cao, Rainer Hauser, Kamal Bhattacharya, Tao Tao	Transforming business process models in the presence of irreducibility and concurrency.	Int. J. Bus. Process. Integr. Manag.	2007	DBLP DOI BibTeX RDF
22	Daniel R. L. Brown	Irreducibility to the One-More Evaluation Problems: More May Be Less.	IACR Cryptol. ePrint Arch.	2007	DBLP BibTeX RDF
22	Ranjitha A. Dhanasekaran, Gregory J. Podgorski, Nicholas S. Flann	Co-option and Irreducibility in Regulatory Networks for Cellular Pattern Development.	ALIFE	2007	DBLP DOI BibTeX RDF
22	Harold W. Gutch, Fabian J. Theis	Independent Subspace Analysis Is Unique, Given Irreducibility.	ICA	2007	DBLP DOI BibTeX RDF
22	Ülle Kotta, Palle Kotta, Sven Nomm, Maris Tõnso	Irreducibility Conditions for Continuous-time Multi-input Multi-output Nonlinear Systems.	ICARCV	2006	DBLP DOI BibTeX RDF