Search results for "Symmetries"

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.	CAEPIA	2005	DBLP DOI BibTeX RDF
19	Krister Åhlander	Mesh Generation for Symmetrical Geometries.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
19	Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith	Conditional Symmetry Breaking.	CP	2005	DBLP DOI BibTeX RDF
19	Richard Gault, Peter Jeavons 0001	Implementing a Test for Tractability.	Constraints An Int. J.	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.	QEST	2004	DBLP DOI BibTeX RDF
19	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	ShatterPB: symmetry-breaking for pseudo-Boolean formulas.	ASP-DAC	2004	DBLP DOI BibTeX RDF
19	Yosi Keller, Yoel Shkolnisky	An Algebraic Approach to Symmetry Detection.	ICPR (3)	2004	DBLP DOI BibTeX RDF
19	Yat Chiu Law, Jimmy Ho-Man Lee	Global Constraints for Integer and Set Value Precedence.	CP	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.	AISC	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.	DAC	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.	Ann. Oper. Res.	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.	Int. J. Comput. Vis.	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.	WILF	2003	DBLP DOI BibTeX RDF
19	Sudha Kannurao, Bogdan J. Falkowski	Single variable symmetry conditions in Boolean functions through Reed-Muller transform.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
19	Iain McDonald	NuSBDS: An Easy to Use Symmetry Breaking System.	CP	2003	DBLP DOI BibTeX RDF
19	Johan Gielis, Bert Beirinckx, Edwin Bastiaens	Superquadrics with rational and irrational symmetry.	Symposium on Solid Modeling and Applications	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.	FORMATS	2003	DBLP DOI BibTeX RDF
19	Gilles Audemard, Belaid Benhamou	Reasoning by Symmetry and Function Ordering in Finite Model Generation.	CADE	2002	DBLP DOI BibTeX RDF
19	Sudha Kannurao, Bogdan J. Falkowski	Identification of complement single variable symmetry in Boolean functions through Walsh transform.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
19	Ian P. Gent, Warwick Harvey, Tom Kelsey	Groups and Constraints: Symmetry Breaking during Search.	CP	2002	DBLP DOI BibTeX RDF
19	Alexander V. Shafarenko	A symmetry-based formalism for array subtyping.	ACM SIGAPL APL Quote Quad	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.	ICLP	2001	DBLP DOI BibTeX RDF
19	Gilles Audemard, Laurent Henocque	The eXtended Least Number Heuristic.	IJCAR	2001	DBLP DOI BibTeX RDF
19	Seok-Hee Hong 0001	Drawing Graphs Symmetrically in Three Dimensions.	GD	2001	DBLP DOI BibTeX RDF
19	Wei Wang, Malgorzata Chrzanowska-Jeske	A global approach to the variable ordering problem in PSBDDs.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
19	Iain McDonald	Optimum Symmetry Breaking in CSPs Using Group Theory.	CP	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.	ACM Trans. Softw. Eng. Methodol.	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.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
19	Louise Lorentsen, Lars Michael Kristensen	Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF
19	Hüseyin Tek, Benjamin B. Kimia	Symmetry Maps of Free-Form Curve Segments Via Wave Propagation.	ICCV	1999	DBLP DOI BibTeX RDF
19	Ian Karl Levy, Roland Wilson	Three Dimensional Wavelet Transform Video Compression.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF
19	Shunji Katahara, Masayoshi Aoki	Face Parts Extraction Windows Based on Bilateral Symmetry of Gradient Direction.	CAIP	1999	DBLP DOI BibTeX RDF
19	Branko Grünbaum	Realizations of Symmetric Maps by Symmetric Polyhedra.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
19	Leslie Ann Goldberg, Mark Jerrum	The "Burnside Process" Converges Slowly.	RANDOM	1998	DBLP DOI BibTeX RDF
19	Rolf Backofen	Constraint Techniques for Solving the Protein Structure Prediction Problem.	CP	1998	DBLP DOI BibTeX RDF
19	Jean-Michel Ilié, Khalil Ajami	Model Checking Through Symbolic Reachability Graph.	TAPSOFT	1997	DBLP DOI BibTeX RDF
19	Fatih Ulupinar, Ramakant Nevatia	Shape from Contour: Straight Homogeneous Generalized Cylinders and Constant Cross Section Generalized Cylinders.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	ICCS	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.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
14	Martin Freer, Miriam Davies	Symmetries in Collisions as Explored through the Harmonic Oscillator.	Symmetry	2024	DBLP DOI BibTeX RDF
14	Jiayu Ding, Zhenyu Gan	Breaking Symmetries Leads to Diverse Quadrupedal Gaits.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
14	Helmut Linde	Does the Brain Infer Invariance Transformations From Graph Symmetries?	IEEE Trans. Cogn. Dev. Syst.	2024	DBLP DOI BibTeX RDF
14	Elizabeth S. Allman, Colby Long, John A. Rhodes	Phylogenomic Models from Tree Symmetries.	SIAM J. Appl. Algebra Geom.	2024	DBLP DOI BibTeX RDF
14	Jason Yang	Ruling Out Low-rank Matrix Multiplication Tensor Decompositions with Symmetries via SAT.	CoRR	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.	CoRR	2024	DBLP DOI BibTeX RDF
14	Sebastien Colla, Julien M. Hendrickx	Exploiting Agent Symmetries for Performance Analysis of Distributed Optimization Methods.	CoRR	2024	DBLP DOI BibTeX RDF
14	Jacob R. Goodman, Leonardo J. Colombo	Reduction by Symmetry and Optimal Control with Broken Symmetries on Riemannian Manifolds.	CoRR	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.	CoRR	2024	DBLP DOI BibTeX RDF
14	Koji Hashimoto, Yuji Hirono, Akiyoshi Sannai	Unification of Symmetries Inside Neural Networks: Transformer, Feedforward and Neural ODE.	CoRR	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.	CoRR	2024	DBLP DOI BibTeX RDF
14	Pierre Cagne, Ulrik Buchholtz, Nicolai Kraus, Marc Bezem	On symmetries of spheres in univalent foundations.	CoRR	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.	CoRR	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.	CoRR	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.	Appl. Math. Lett.	2024	DBLP DOI BibTeX RDF
14	Dominic Verdon	Entanglement-symmetries of covariant channels.	Quantum	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.	Comput. Appl. Math.	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.	Int. J. Robotics Res.	2024	DBLP DOI BibTeX RDF
14	Martin Winter	Capturing Polytopal Symmetries by Coloring the Edge-Graph.	Discret. Comput. Geom.	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.	J. Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
14	Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts 0001, Marc Denecker	Using Symmetries to Lift Satisfiability Checking.	AAAI	2024	DBLP DOI BibTeX RDF
14	Pavan Karjol, Rohan Kashyap, Aditya Gopalan, A. P. Prathosh	A Unified Framework for Discovering Discrete Symmetries.	AISTATS	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.	Open Syst. Inf. Dyn.	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.	Int. J. Comput. Math.	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.	IEEE Access	2023	DBLP DOI BibTeX RDF
14	Juan Gerardo Alcázar, Miroslav Lávicka, Jan Vrsek	Computing symmetries of implicit algebraic surfaces.	Comput. Aided Geom. Des.	2023	DBLP DOI BibTeX RDF
14	Joanna N. Chen, Zhicong Lin	Combinatorics of the symmetries of ascents in restricted inversion sequences.	Adv. Appl. Math.	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.	Adv. Appl. Math.	2023	DBLP DOI BibTeX RDF
14	Lenka Mihokovic	Coinciding Mean of the Two Symmetries on the Set of Mean Functions.	Axioms	2023	DBLP DOI BibTeX RDF
14	Luc Jaulin	Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals.	Int. J. Approx. Reason.	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.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Florian Nill	Scaling Symmetries and Parameter Reduction in Epidemic SI(R)S Models.	Symmetry	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.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Nakia Carlevaro, Giovanni Montani, Fabio Moretti	On the Effects of Tokamak Plasma Edge Symmetries on Turbulence Relaxation.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Youngmo Han	Fast Image Block Matching for Image Detection and MPEG Encoding Based on Underlying Symmetries.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Ugur Camci, Bobomurat Ahmedov, Ashfaque H. Bokhari	Noether and Space-Time Symmetries in Physics.	Symmetry	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.	Symmetry	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.	Symmetry	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.	Symmetry	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.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Winter Sinkala	A New Method for Finding Lie Point Symmetries of First-Order Ordinary Differential Equations.	Symmetry	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.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Mariano Torrisi, Rita Tracinà	Symmetries and Conservation Laws for a Class of Fourth-Order Reaction-Diffusion-Advection Equations.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Alexandru-Lucian Dimb, Virgil-Florin Duma	Symmetries of Scan Patterns of Laser Scanners with Rotational Risley Prisms.	Symmetry	2023	DBLP DOI BibTeX RDF
14	George F. R. Ellis, Paolo Di Sia	Complexity Theory in Biology and Technology: Broken Symmetries and Emergence.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Arnoldo Guerra IV, Narciso Román-Roy	More Insights into Symmetries in Multisymplectic Field Theories.	Symmetry	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.	Symmetry	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.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Andronikos Paliathanasis	Classification of the Lie and Noether Symmetries for the Klein-Gordon Equation in Anisotropic Cosmology.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Gabriel González Contreras, Alexander Yakhno	Symmetries of Systems with the Same Jacobi Multiplier.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Andrzej Katunin	Symmetries and Dynamics of Generalized Biquaternionic Julia Sets Defined by Various Polynomials.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Tomasz Blachowicz, Pawel Steblinski, Andrea Ehrmann	Influence of Physical Symmetries on the Magnetization Dynamics in Magnetic Fibers.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Paola Marziani	Accretion/Ejection Phenomena and Emission-Line Profile (A)symmetries in Type-1 Active Galactic Nuclei.	Symmetry	2023	DBLP DOI BibTeX RDF
14	József Cseh	On the Logical Structure of Composite Symmetries in Atomic Nuclei.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Eckart Marsch, Yasuhito Narita	A New Route to Symmetries through the Extended Dirac Equation.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Imre Pázsit	Symmetries and Asymmetries in Branching Processes.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Peter O. Hess	The Power of Symmetries in Nuclear Structure and Some of Its Problems.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Yong-Liang Ma, Wen-Cong Yang	Topology and Emergent Symmetries in Dense Compact Star Matter.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Stanislav Frolík, Jaroslav Hrdina	Local control of 2-link robotic worms based on additional symmetries.	J. Frankl. Inst.	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.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF