Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo, Irene Barba 0001 |
Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAEPIA ![In: Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers, pp. 269-279, 2005, Springer, 3-540-45914-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Krister Åhlander |
Mesh Generation for Symmetrical Geometries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part I, pp. 657-668, 2005, Springer, 3-540-25860-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith |
Conditional Symmetry Breaking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 256-270, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Richard Gault, Peter Jeavons 0001 |
Implementing a Test for Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(2), pp. 139-160, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Polyanna, complexity, polymorphism, symmetry, constraint language |
19 | Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux |
Extended SWN Solvers in GreatSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pp. 324-325, 2004, IEEE Computer Society, 0-7695-2185-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
ShatterPB: symmetry-breaking for pseudo-Boolean formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004, pp. 883-886, 2004, IEEE Computer Society, 0-7803-8175-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Yosi Keller, Yoel Shkolnisky |
An Algebraic Approach to Symmetry Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (3) ![In: 17th International Conference on Pattern Recognition, ICPR 2004, Cambridge, UK, August 23-26, 2004., pp. 186-189, 2004, IEEE Computer Society, 0-7695-2128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Yat Chiu Law, Jimmy Ho-Man Lee |
Global Constraints for Integer and Set Value Precedence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 362-376, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Tom Kelsey, Steve Linton, Colva M. Roney-Dougal |
New Developments in Symmetry Breaking in Search Using Computational Group Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 199-210, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov |
Exploiting structure in symmetry detection for CNF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 530-534, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
abstract algebra, partition refinement, symmetry, backtrack search, graph automorphism, boolean satisfiability (SAT) |
19 | Steven D. Prestwich |
Negative Effects of Modeling Techniques on Search Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 118(1-4), pp. 137-150, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
implied constraints, modeling, search, symmetry breaking |
19 | Hüseyin Tek, Benjamin B. Kimia |
Symmetry Maps of Free-Form Curve Segments via Wave Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 54(1-3), pp. 35-81, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
symmetry set, shock detection, shape, medial axis, perceptual organization |
19 | Bertrand Y. Zavidovique, Vito Di Gesù |
Soft Pyramid Symmetry Transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers, pp. 191-199, 2003, Springer, 3-540-31019-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Sudha Kannurao, Bogdan J. Falkowski |
Single variable symmetry conditions in Boolean functions through Reed-Muller transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (4) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 680-683, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Iain McDonald |
NuSBDS: An Easy to Use Symmetry Breaking System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 985, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Johan Gielis, Bert Beirinckx, Edwin Bastiaens |
Superquadrics with rational and irrational symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Proceedings of the Eighth ACM Symposium on Solid Modeling and Applications 2003, Seattle, Washington, USA, June 16 - 20, 2003, pp. 262-265, 2003, ACM, 1-58113-752-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
superformula, CAD, symmetry, superquadrics |
19 | Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager |
Adding Symmetry Reduction to Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers, pp. 46-59, 2003, Springer, 3-540-21671-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Gilles Audemard, Belaid Benhamou |
Reasoning by Symmetry and Function Ordering in Finite Model Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 226-240, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Sudha Kannurao, Bogdan J. Falkowski |
Identification of complement single variable symmetry in Boolean functions through Walsh transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 745-748, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Ian P. Gent, Warwick Harvey, Tom Kelsey |
Groups and Constraints: Symmetry Breaking during Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 415-430, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Alexander V. Shafarenko |
A symmetry-based formalism for array subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGAPL APL Quote Quad ![In: ACM SIGAPL APL Quote Quad 31(3), pp. 41-52, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey |
Optimizing Compilation of Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 74-89, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Gilles Audemard, Laurent Henocque |
The eXtended Least Number Heuristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 427-442, 2001, Springer, 3-540-42254-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Seok-Hee Hong 0001 |
Drawing Graphs Symmetrically in Three Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers, pp. 189-204, 2001, Springer, 3-540-43309-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Wei Wang, Malgorzata Chrzanowska-Jeske |
A global approach to the variable ordering problem in PSBDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 117-120, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Iain McDonald |
Optimum Symmetry Breaking in CSPs Using Group Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 771, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson |
SMC: a symmetry-based model checker for verification of safety and liveness properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 9(2), pp. 133-166, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
model checking, automata |
19 | Trieu-Kien Truong, Jyh-Horng Jeng, Irving S. Reed, P. C. Lee, Alan Q. Li |
A fast encoding algorithm for fractal image compression using the DCT inner product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 9(4), pp. 529-535, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Louise Lorentsen, Lars Michael Kristensen |
Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding, pp. 346-366, 2000, Springer, 3-540-67693-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Hüseyin Tek, Benjamin B. Kimia |
Symmetry Maps of Free-Form Curve Segments Via Wave Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Proceedings of the International Conference on Computer Vision, Kerkyra, Corfu, Greece, September 20-25, 1999, pp. 362-369, 1999, IEEE Computer Society, 0-7695-0164-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Ian Karl Levy, Roland Wilson |
Three Dimensional Wavelet Transform Video Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS, Vol. 2 ![In: IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume II, pp. 924-928, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Shunji Katahara, Masayoshi Aoki |
Face Parts Extraction Windows Based on Bilateral Symmetry of Gradient Direction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 8th International Conference, CAIP'99, Ljubljana, Slovenia, September 1-3, 1999, Proceedings, pp. 489-497, 1999, Springer, 3-540-66366-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Branko Grünbaum |
Realizations of Symmetric Maps by Symmetric Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 20(1), pp. 19-33, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Leslie Ann Goldberg, Mark Jerrum |
The "Burnside Process" Converges Slowly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RANDOM ![In: Randomization and Approximation Techniques in Computer Science, Second International Workshop, RANDOM'98, Barcelona, Spain, October 8-10, 1998, Proceedings, pp. 331-345, 1998, Springer, 3-540-65142-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Rolf Backofen |
Constraint Techniques for Solving the Protein Structure Prediction Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings, pp. 72-86, 1998, Springer, 3-540-65224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Jean-Michel Ilié, Khalil Ajami |
Model Checking Through Symbolic Reachability Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 213-224, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Fatih Ulupinar, Ramakant Nevatia |
Shape from Contour: Straight Homogeneous Generalized Cylinders and Constant Cross Section Generalized Cylinders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(2), pp. 120-135, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
staright homogeneous generalized cones, constant cross section generalized cones, symmetry analysis, Shape from contour, shape constraints |
19 | Hagit Zabrodsky, Shmuel Peleg, David Avnir |
Symmetry as a Continuous Feature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(12), pp. 1154-1166, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
local symmetry, symmetry distance, fuzzy shapes, face orientation, similarity measure, occlusion, Symmetry |
19 | John Esch, Robert Levinson |
In Implementation Model for Contexts and Negation in Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Applications, Implementation and Theory, Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, California, USA, August 14-18, 1995, Proceedings, pp. 247-262, 1995, Springer, 3-540-60161-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Contexts, Knowledge Representation, Consistency, Retrieval, Inference, Conceptual Graphs, Negation |
19 | Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta |
Modeling Symmetric Computer Architectures by SWNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 139-158, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Martin Freer, Miriam Davies |
Symmetries in Collisions as Explored through the Harmonic Oscillator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 16(2), pp. 231, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Jiayu Ding, Zhenyu Gan |
Breaking Symmetries Leads to Diverse Quadrupedal Gaits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 9(5), pp. 4782-4789, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Helmut Linde |
Does the Brain Infer Invariance Transformations From Graph Symmetries? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cogn. Dev. Syst. ![In: IEEE Trans. Cogn. Dev. Syst. 16(2), pp. 628-639, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Elizabeth S. Allman, Colby Long, John A. Rhodes |
Phylogenomic Models from Tree Symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Algebra Geom. ![In: SIAM J. Appl. Algebra Geom. 8(1), pp. 114-137, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Jason Yang |
Ruling Out Low-rank Matrix Multiplication Tensor Decompositions with Symmetries via SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.01011, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Felipe Ordoñez Apraez, Giulio Turrisi, Vladimir Kostic, Mario Martín, Antonio Agudo, Francesc Moreno-Noguer, Massimiliano Pontil, Claudio Semini, Carlos Mastalli |
Morphological Symmetries in Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.15552, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Sebastien Colla, Julien M. Hendrickx |
Exploiting Agent Symmetries for Performance Analysis of Distributed Optimization Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.11724, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Jacob R. Goodman, Leonardo J. Colombo |
Reduction by Symmetry and Optimal Control with Broken Symmetries on Riemannian Manifolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01129, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | William A. Clark, Leonardo Colombo, Anthony M. Bloch |
The Interplay Between Symmetries and Impact Effects on Hybrid Mechanical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.12842, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Koji Hashimoto, Yuji Hirono, Akiyoshi Sannai |
Unification of Symmetries Inside Neural Networks: Transformer, Feedforward and Neural ODE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.02362, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Mireille Boutin, Gregor Kemper |
Path Tracking using Echoes in an Unknown Environment: the Issue of Symmetries and How to Break Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.00698, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Pierre Cagne, Ulrik Buchholtz, Nicolai Kraus, Marc Bezem |
On symmetries of spheres in univalent foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.15037, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Bobak T. Kiani, Thien Le, Hannah Lawrence, Stefanie Jegelka, Melanie Weber 0001 |
On the hardness of learning under symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01869, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Jiayu Ding, Xulin Chen, Garrett E. Katz, Zhenyu Gan |
Leveraging Symmetries in Gaits for Reinforcement Learning: A Case Study on Quadrupedal Gaits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.10723, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Xiangpeng Xin, Meng Jin, Jiajia Yang, Yarong Xia |
Nonlocal symmetries and solutions of the (2+1) dimension integrable Burgers equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 148, pp. 108867, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Dominic Verdon |
Entanglement-symmetries of covariant channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum ![In: Quantum 8, pp. 1272, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Mohamed Rahioui, El Hassan El Kinani, Abdelaziz Ouhadan |
Lie symmetries, invariant subspace method, and conservation laws for a time fractional generalized Broer-Kaup system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Math. ![In: Comput. Appl. Math. 43(1), pp. 36, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Haojie Huang, Dian Wang 0001, Arsh Tangri, Robin Walters 0001, Robert Platt 0001 |
Leveraging symmetries in pick and place. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 43(4), pp. 550-571, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Martin Winter |
Capturing Polytopal Symmetries by Coloring the Edge-Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 71(3), pp. 1003-1020, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Almudena P. Márquez, Maria Luz Gandarias, Stephen C. Anco |
Conservation laws, symmetries, and line solitons of a Kawahara-KP equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 436, pp. 115412, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts 0001, Marc Denecker |
Using Symmetries to Lift Satisfiability Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 7961-7968, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Pavan Karjol, Rohan Kashyap, Aditya Gopalan, A. P. Prathosh |
A Unified Framework for Discovering Discrete Symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: International Conference on Artificial Intelligence and Statistics, 2-4 May 2024, Palau de Congressos, Valencia, Spain., pp. 793-801, 2024, PMLR. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
14 | Rahul Bandyopadhyay, Alex H. Rubin, Marina Radulaski, Mark M. Wilde |
Efficient Quantum Algorithms for Testing Symmetries of Open Quantum Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Syst. Inf. Dyn. ![In: Open Syst. Inf. Dyn. 30(3), pp. 2350017:1-2350017:42, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Amlan K. Halder, C. T. Duba, Peter G. L. Leach |
Symmetries and solutions for the inviscid oceanic Rossby wave equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 100(4), pp. 796-823, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Fabio Anselmi, Luca Manzoni, Alberto d'Onofrio, Alex Rodriguez, Giulio Caravagna, Luca Bortolussi, Francesca Cairoli |
Data Symmetries and Learning in Fully Connected Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 47282-47290, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Juan Gerardo Alcázar, Miroslav Lávicka, Jan Vrsek |
Computing symmetries of implicit algebraic surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Geom. Des. ![In: Comput. Aided Geom. Des. 104, pp. 102221, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Joanna N. Chen, Zhicong Lin |
Combinatorics of the symmetries of ascents in restricted inversion sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 143, pp. 102449, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Prateek Bhakta, Sara Krehbiel, Rachel Morris, Heather M. Russell, Aalok Sathe, Wesley Su, Maxine Xin |
Block symmetries in graph coloring reconfiguration systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 149, pp. 102556, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Lenka Mihokovic |
Coinciding Mean of the Two Symmetries on the Set of Mean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(3), pp. 238, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Luc Jaulin |
Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 159, pp. 108928, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Fawad Khan, Wajid Ullah, Tahir Hussain, Wojciech Sumelka |
Symmetries of the Energy-Momentum Tensor for Static Plane Symmetric Spacetimes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(8), pp. 1614, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Florian Nill |
Scaling Symmetries and Parameter Reduction in Epidemic SI(R)S Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(7), pp. 1390, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Muhammad Farhan, Suhad Subhi Aiadi, Tahir Hussain, Nabil Mlaiki |
Noether Symmetries and Conservation Laws in Static Cylindrically Symmetric Spacetimes via Rif Tree Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(1), pp. 184, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Nakia Carlevaro, Giovanni Montani, Fabio Moretti |
On the Effects of Tokamak Plasma Edge Symmetries on Turbulence Relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(9), pp. 1745, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Youngmo Han |
Fast Image Block Matching for Image Detection and MPEG Encoding Based on Underlying Symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(7), pp. 1333, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ugur Camci, Bobomurat Ahmedov, Ashfaque H. Bokhari |
Noether and Space-Time Symmetries in Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(4), pp. 933, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | József Cseh, Phong Dang, Sándor M. Szilágyi, Géza Lévai |
Orbital Regularity of Exoplanets and the Symmetries of the Kepler Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(12), pp. 2114, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | José F. Cariñena, Miguel C. Muñoz-Lecanda |
Geodesic and Newtonian Vector Fields and Symmetries of Mechanical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(1), pp. 181, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yifeng Xiang, Qingjin Luo, Siqi Yang, Kaiyuan Zhang |
Spherical, Axial, and Triaxial Symmetries in the Study of Halo Nuclei with Covariant Density Functional Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(7), pp. 1420, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Krishnan Balasubramanian |
Recursive Symmetries: Chemically Induced Combinatorics of Colorings of Hyperplanes of an 8-Cube for All Irreducible Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(5), pp. 1031, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Winter Sinkala |
A New Method for Finding Lie Point Symmetries of First-Order Ordinary Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(12), pp. 2198, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Simone G. O. Fiori, Luca Ciaramicoli, Giovanni Berluti |
Maximum Convergence Rate Control of a Switched Electrical Network with Symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(10), pp. 1861, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Mariano Torrisi, Rita Tracinà |
Symmetries and Conservation Laws for a Class of Fourth-Order Reaction-Diffusion-Advection Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(10), pp. 1936, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Alexandru-Lucian Dimb, Virgil-Florin Duma |
Symmetries of Scan Patterns of Laser Scanners with Rotational Risley Prisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(2), pp. 336, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | George F. R. Ellis, Paolo Di Sia |
Complexity Theory in Biology and Technology: Broken Symmetries and Emergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(10), pp. 1945, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Arnoldo Guerra IV, Narciso Román-Roy |
More Insights into Symmetries in Multisymplectic Field Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(2), pp. 390, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Francisco Delgado 0001 |
Parametric Symmetries in Architectures Involving Indefinite Causal Order and Path Superposition for Quantum Parameter Estimation of Pauli Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(5), pp. 1097, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Rangasamy Sinuvasan, Amlan K. Halder, Rajeswari Seshadri, Andronikos Paliathanasis, Peter G. L. Leach |
Solutions of Magnetohydrodynamics Equation through Symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(10), pp. 1908, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Andronikos Paliathanasis |
Classification of the Lie and Noether Symmetries for the Klein-Gordon Equation in Anisotropic Cosmology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(2), pp. 306, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Gabriel González Contreras, Alexander Yakhno |
Symmetries of Systems with the Same Jacobi Multiplier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(7), pp. 1416, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Andrzej Katunin |
Symmetries and Dynamics of Generalized Biquaternionic Julia Sets Defined by Various Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(1), pp. 43, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Tomasz Blachowicz, Pawel Steblinski, Andrea Ehrmann |
Influence of Physical Symmetries on the Magnetization Dynamics in Magnetic Fibers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(1), pp. 234, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Paola Marziani |
Accretion/Ejection Phenomena and Emission-Line Profile (A)symmetries in Type-1 Active Galactic Nuclei. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(10), pp. 1859, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | József Cseh |
On the Logical Structure of Composite Symmetries in Atomic Nuclei. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(2), pp. 371, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Eckart Marsch, Yasuhito Narita |
A New Route to Symmetries through the Extended Dirac Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(2), pp. 492, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Imre Pázsit |
Symmetries and Asymmetries in Branching Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(6), pp. 1154, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Peter O. Hess |
The Power of Symmetries in Nuclear Structure and Some of Its Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(6), pp. 1197, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yong-Liang Ma, Wen-Cong Yang |
Topology and Emergent Symmetries in Dense Compact Star Matter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(3), pp. 776, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Stanislav Frolík, Jaroslav Hrdina |
Local control of 2-link robotic worms based on additional symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 360(16), pp. 12280-12298, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Zhan Zhang, Huawei Chen, Congwei Feng, Susanto Rahardja |
Exploiting Symmetries in the Design and Implementation of Polynomial/Trigonometric Beamformers for Uniform Circular Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 70(10), pp. 4053-4066, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|