Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
120 | Erich L. Kaltofen, John P. May |
On approximate irreducibility of polynomials in several variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, pp. 161-168, 2003, ACM, 1-58113-641-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 46(3), pp. 181-212, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Areas in Cryptography ![In: Selected Areas in Cryptography, 11th International Workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004, Revised Selected Papers, pp. 144-158, 2004, Springer, 3-540-24327-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 153(3), pp. 451-455, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings, pp. 192-199, 2002, ACM, 1-58113-484-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Ondrej Kuzelka, Filip Zelezný |
Block-wise construction of acyclic relational features with monotone irreducibility and relevancy properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 26th Annual International Conference on Machine Learning, ICML 2009, Montreal, Quebec, Canada, June 14-18, 2009, pp. 569-576, 2009, ACM, 978-1-60558-516-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, PODC 2006, Denver, CO, USA, July 23-26, 2006, pp. 153-162, 2006, ACM, 1-59593-384-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 225-230, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
35 | Holger Boche, Martin Schubert |
On the Structure of the Multiuser QoS Region. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 55(7-1), pp. 3484-3495, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Yde Venema |
A Dual Characterization of Subdirectly Irreducible BAOs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(1), pp. 105-115, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Boolean algebras with operators, subdirect irreducibility, duality |
27 | Johan Janssen, Henk Corporaal |
Making Graphs Reducible with Controlled Node Splitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(6), pp. 1031-1052, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
compilation, instruction-level parallelism, reducibility, control flow graphs, node splitting, irreducibility |
27 | Johan Janssen, Henk Corporaal |
Controlled Node Splitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings, pp. 44-58, 1996, Springer, 3-540-61053-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 91(7), pp. 2481-2495, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.06348, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jonathan Gorard |
A Functorial Perspective on (Multi)computational Irreducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.04690, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Sarah Cannon |
Irreducibility of Recombination Markov Chains in the Triangular Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.17239, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yilun Zhu, Aaron Fjeldsted, Darren Holland, George Landon, Azaree Lintereur, Clayton Scott |
Mixture Proportion Estimation Beyond Irreducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.01253, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 135, pp. 100895, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Devendra Prasad |
Irreducibility of integer-valued polynomials in several variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 86(1), pp. 152-159, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Sarah Cannon |
Irreducibility of Recombination Markov Chains in the Triangular Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACDA ![In: SIAM Conference on Applied and Computational Discrete Algorithms, ACDA 2023, Seattle, WA, USA, May 31 - June 2, 2023, pp. 98-109, 2023, SIAM, 978-1-61197-771-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023, pp. 14-25, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yilun Zhu, Aaron Fjeldsted, Darren Holland, George Landon, Azaree Lintereur, Clayton Scott |
Mixture Proportion Estimation Beyond Irreducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 42962-42982, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Philip Kmentt, Alec Shute |
The Bertini irreducibility theorem for higher codimensional slices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 83, pp. 102085, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Adrien Poteaux, Martin Weimann |
A quasi-linear irreducibility test in 핂[[x]][y]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 31(1), pp. 6, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | George Barmpalias, Wei Wang 0150 |
Growth and irreducibility in path-incompressible trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.15425, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 45-64, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Syst. Inf. Dyn. ![In: Open Syst. Inf. Dyn. 28(1), pp. 2150001:1-2150001:39, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2021, pp. 5564589:1-5564589:17, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 49(2), pp. 171-175, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.06931, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Marius Krumm, Markus P. Müller |
Computational irreducibility and compatibilism: towards a formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.12033, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | David Krumm, Nicole Sutherland |
Galois groups over rational function fields and Explicit Hilbert Irreducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 103, pp. 108-126, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Miguel Ángel Marco Buzunáriz, María Pe Pereira |
Irreducibility of analytic arc-sections of hypersurface singularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 82(2), pp. 136-148, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Hiroshi Fujisaki |
On Irreducibility of the Stream Version of Asymmetric Binary Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 103-A(5), pp. 757-768, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.03673, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Jitender Singh, Sanjeev Kumar |
A Generalization of Bevelacqua's Irreducibility Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 127(5), pp. 456-459, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | John Abbott |
Certifying Irreducibility in ℤ[x]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 462-472, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Anuj Jakhar |
A Useful Irreducibility Result for Integer Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 126(10), pp. 943-944, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Santiago Escobar 0001, José Meseguer 0001 |
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Security, Protocols, and Equational Reasoning ![In: Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, pp. 15-38, 2019, Springer, 978-3-030-19051-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Life ![In: Artif. Life 24(1), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Jonathan Gorard |
The Slowdown Theorem: A Lower Bound for Computational Irreducibility in Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Syst. ![In: Complex Syst. 27(2), 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptogr. Commun. ![In: Cryptogr. Commun. 10(2), pp. 383-399, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Christian Borst, Evan Boyd, Claire Brekken, Samantha Solberg, Melanie Matchett Wood, Philip Matchett Wood |
Irreducibility of Random Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 27(4), pp. 498-506, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Anuj Jakhar |
An Irreducibility Criterion for Polynomials with Integer Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 125(5), pp. 464-465, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Mark B. Villarino, William Gasarch, Kenneth W. Regan |
Hilbert's Proof of His Irreducibility Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 125(6), pp. 513-530, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Hidetaka Kitayama, Daisuke Shiomi |
On the irreducibility of Fibonacci and Lucas polynomials over finite fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 48, pp. 420-429, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptogr. Commun. ![In: Cryptogr. Commun. 9(6), pp. 749-767, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Moises Delgado, Heeralal Janwa |
On the conjecture on APN functions and absolute irreducibility of polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 82(3), pp. 617-627, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Richard Booth 0001, Jake Chandler |
The Irreducibility of Iterated to Single Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 46(4), pp. 405-418, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR17, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Jameson Cahill, Dustin G. Mixon, Nate Strawn |
Connectivity and Irreducibility of Algebraic Varieties of Finite Unit Norm Tight Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Algebra Geom. ![In: SIAM J. Appl. Algebra Geom. 1(1), pp. 38-72, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.00558, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Lin Wang |
Deciding Irreducibility/Indecomposability of Feedback Shift Registers is NP-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.01423, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Antonio Cafure, Eda Cesaratto |
Irreducibility Criteria for Reciprocal Polynomials and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 124(1), pp. 37-53, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017, pp. 37-44, 2017, ACM, 978-1-4503-5064-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Tom McClelland |
Can self-representationalism explain away the apparent irreducibility of consciousness? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 193(6), pp. 1755-1776, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 47(12), pp. 2965-2974, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.05997, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Klara Stokes |
Irreducibility of configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 10(1), pp. 169-181, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIFI ![In: Arithmetic of Finite Fields - 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers, pp. 84-92, 2016, 978-3-319-55226-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Hervé Zwirn |
Computational Irreducibility and Computational Analogy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Syst. ![In: Complex Syst. 24(2), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Karl Dilcher, Larry Ericksen |
Factors and Irreducibility of Generalized Stern Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integers ![In: Integers 15, pp. A50, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.08940, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
22 | Eric Férard |
On the irreducibility of the hyperplane sections of Fermat varieties in ℙ3 in characteristic 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Math. Commun. ![In: Adv. Math. Commun. 8(4), pp. 497-509, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 114(12), pp. 728-733, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Periklis A. Papakonstantinou |
The Depth Irreducibility Hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR14, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Fernando Chamizo, Jorge Jiménez Urroz |
Irreducibility and the distribution of some exponential sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 23, pp. 53-59, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Natalio H. Guersenzvaig |
Simple Arithmetical Criteria for Irreducibility of Polynomials with Integer Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integers ![In: Integers 13, pp. A1, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
22 | Tetsuya Kobayashi, Akiko Manada, Takahiro Ota, Hiroyoshi Morita |
On the Irreducibility of Certain Shifts of Finite Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 96-A(12), pp. 2415-2421, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Heide Gluesing-Luerssen, G. David Forney Jr. |
Local Irreducibility of Tail-Biting Trellises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 59(10), pp. 6597-6610, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Hervé Zwirn |
Computational Irreducibility and Computational Analogy ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.5247, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
22 | Virgil Griffith, Jonathan Harel |
Synergy is a Special Case of Irreducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1311.7442, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
22 | Anthony J. Bevelacqua |
Another Irreducibility Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 120(7), pp. 648-650, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Steven H. Weintraub |
Several Proofs of the Irreducibility of the Cyclotomic Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 120(6), pp. 537-545, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Takafumi Shibuta |
Irreducibility criterion for algebroid curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 82(281), pp. 531-554, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Mark Giesbrecht |
Algorithms for irreducibility testing and for constructing irreducible polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Finite Fields ![In: Handbook of Finite Fields., pp. 374-379, 2013, CRC Press, 978-1-439-87378-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
22 | Hector Zenil, Fernando Soler-Toscano, Joost J. Joosten |
Empirical Encounters with Computational Irreducibility and Unpredictability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 22(3), pp. 149-165, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Heide Gluesing-Luerssen, G. David Forney Jr. |
Local Irreducibility of Tail-Biting Trellises ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1212.3621, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
22 | Stavros Garoufalidis, Christoph Koutschan |
Irreducibility of q-difference operators and the knot 7_4 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1211.6020, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
22 | James Stanier, Des Watson |
A study of irreducibility in C programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 42(1), pp. 117-130, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, pp. 73-90, 2012, Springer, 978-3-642-33166-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Víctor Blanco, José Carlos Rosales |
Irreducibility in the Set of Numerical Semigroups with Fixed Multiplicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 21(5), pp. 731-744, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Gabriela Hauser Bordalo |
Prime Filters, Normality and Irreducibility in Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 98(1-2), pp. 5-7, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Hector Zenil, Fernando Soler-Toscano, Joost J. Joosten |
Empirical Encounters with Computational Irreducibility and Unpredictability ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.3421, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
22 | Hervé Zwirn, Jean-Paul Delahaye |
Unpredictability and Computational Irreducibility ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1111.4121, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
22 | Radmarz Hosseinie, Mojtaba Mahzoon |
Irreducibility and emergence in complex systems and the quest for alternative insights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 17(2), pp. 10-18, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 104(3), pp. 227-238, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Jacob Ross |
The Irreducibility of Personal Obligation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 39(3), pp. 307-323, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 116(8), pp. 743-745, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 58(9), pp. 646-651, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | S. Aparna Lakshmanan, Ambat Vijayakumar |
Clique irreducibility of some iterative classes of graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discuss. Math. Graph Theory ![In: Discuss. Math. Graph Theory 28(2), pp. 307-321, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Scott Ahlgren |
On the irreducibility of Hecke polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 77(263), pp. 1725-1731, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 10th International Conference on Control, Automation, Robotics and Vision, ICARCV 2008, Hanoi, Vietnam, 17-20 December 2008, Proceedings, pp. 1039-1043, 2008, IEEE, 978-1-4244-2286-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Deepanjan Kesh, Shashank K. Mehta |
Polynomial irreducibility testing through Minkowski summand computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 20th Annual Canadian Conference on Computational Geometry, Montréal, Canada, August 13-15, 2008, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
22 | Tao-Ming Wang, Peter Che Bor Lam, Jun-Lin Kuo, Feng-Rung Hu |
On Irreducibility of Maximal Cliques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOCA ![In: Proceedings of the 19th International Workshop on Combinatorial Algorithms, IWOCA 2008, September 13-15, 2008, Nagoya, Japan, pp. 63-74, 2008, College Publications, 978-1-904987-74-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bus. Process. Integr. Manag. ![In: Int. J. Bus. Process. Integr. Manag. 2(1), pp. 37-48, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Daniel R. L. Brown |
Irreducibility to the One-More Evaluation Problems: More May Be Less. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2007, pp. 435, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALIFE ![In: First IEEE Symposium on Artificial Life, ALIFE 2007, Honolulu, Hawaii, USA, April 1-5, 2007, pp. 179-186, 2007, IEEE, 1-4244-0701-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Harold W. Gutch, Fabian J. Theis |
Independent Subspace Analysis Is Unique, Given Irreducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 7th International Conference, ICA 2007, London, UK, September 9-12, 2007., pp. 49-56, 2007, Springer, 978-3-540-74493-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: Ninth International Conference on Control, Automation, Robotics and Vision, ICARCV 2006, Singapore, 5-8 December 2006, Proceedings, pp. 1-5, 2006, IEEE, 1-4244-0341-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|