Filters








14,361 Hits in 3.0 sec

On Avoiding Redundancy in Inductive Logic Programming [chapter]

Nuno Fonseca, Vítor S. Costa, Fernando Silva, Rui Camacho
2004 Lecture Notes in Computer Science  
The generation of redundant hypotheses may prevent the systems from finding good models and increases the time to induce them.  ...  In this paper we propose a classification of hypotheses redundancy and show how expert knowledge can be provided to an ILP system to avoid it.  ...  However, in our opinion, one should try to eliminate the redundancy as a built-in procedure of the refinement operator instead of using mechanisms like user-defined pruning since the first option should  ... 
doi:10.1007/978-3-540-30109-7_13 fatcat:5nqimiv3m5efbb5o7rgxczgr24

Combining mechanical commutators and semiconductors in fast changing redundant inverter topologies

A. Cordeiro, J. Palma, J. Maia, M. Resende
2011 2011 IEEE EUROCON - International Conference on Computer as a Tool  
This paper presents some solutions for fast changing and "soft" commutation between main and redundant branches in fault-tolerant inverter topologies through the combination of mechanical commutators and  ...  The present study deals with redundant two-level three-phase voltage-source inverters. Experimental results confirm the validity of the proposed solutions.  ...  Compared to power semiconductors, mechanical commutators are rather slow but minimise losses and may perform total isolation and stress elimination to redundant devices.  ... 
doi:10.1109/eurocon.2011.5929393 dblp:conf/eurocon/CordeiroPMR11 fatcat:n26jwiubbvg5fbcwedlm5c4wia

Redundancy Elimination Might Be Overrated: A Quantitative Study on Real-World Wireless Traffic [article]

Xueheng Hu, Aaron Striegel
2016 arXiv   pre-print
The premise of this paper is to explore whether or not significant potential for redundancy elimination exists and whether the rise of video and encryption might blunt said efforts.  ...  Critically, we find that absent significant synchronized interests of mobile users, the actual redundancy falls well short of the promising values from the literature.  ...  Further support was provided by the University of Notre Dame and the Northern Indiana Commuter Transportation District, as the granted permissions and courtesy for wireless data gathering.  ... 
arXiv:1605.04021v1 fatcat:fo7srqnoxbfivldc5r5yyoqpwi

Ordered chaining for total orderings [chapter]

Leo Bachmair, Harald Ganzinger
1994 Lecture Notes in Computer Science  
We show that variable elimination is an admissible simplification techniques within our redundancy framework, and that consequently for dense total orderings without endpoints no variable chaining is needed  ...  We demonstrate that our inference systems are compatible with a concept of (global) redundancy for clauses and inferences that covers such widely used simplification techniques as tautology deletion, subsumption  ...  1, by the German Ministry for Research and Technology (Bundesministerium für Forschung und Technologie) under grant ITS 9102/ITS 9103 and by the ESPRIT Basic Research Working Group 6028 (Construction of  ... 
doi:10.1007/3-540-58156-1_32 fatcat:losit2c3prhvtdxl7mf5qylwoy

Detection and Diagnosis Solutions for Fault-Tolerant VSI

Armando Cordeiro, Joao C.P. Palma, Jose Maia, Maia J. Resende
2014 Journal of Power Electronics (JPE)  
A survey of previously developed fault-tolerant VSI structures and several aspects of failure modes, detection and isolation mechanisms within VSI is first discussed.  ...  The proposed solutions combine redundant standby VSI structures and contactors (or relays) to improve the fault-tolerant capabilities of power electronics in applications with safety requirements.  ...  Experimental results using the Z-source circuit combined with hardware detection and diagnosis circuits have shown that the arrangement of mechanical commutators and redundant power devices can provide  ... 
doi:10.6113/jpe.2014.14.6.1272 fatcat:l3yrd7t3fja77b6fvkbstl56qa

Alternative Approach to Noncommutative Quantum Mechanics on a Curved Space [article]

M. Nakamura
2016 arXiv   pre-print
Starting with the first-order singular Lagrangian containing the redundant variables, the noncommutative quantum mechanics on a curved space is investigated by the constraint star-product quantization  ...  Imposing the additional constraints to eliminate the reduntant degrees of freedom, the noncommutative quantum system with noncommutativity among the coordinates on the curved space is exactly constructed  ...  Imposing the two kinds of addtional constraints to eliminate the redundant degrees of freedom, in Sect.4, the resultant noncommutative quantum systems on the curved space are constructed in the exact form  ... 
arXiv:1512.00143v5 fatcat:7h44j6v55jco5gzno5iqrbrbq4

Unification nets: canonical proof net quantifiers [article]

Dominic J. D. Hughes
2018 arXiv   pre-print
Redundant existential witnesses cause Girard's MLL1 nets to suffer from severe complexity issues: (1) cut elimination is non-local and exponential-time (and -space), and (2) some sequents require exponentially  ...  Unification nets solve both problems: (1) cut elimination is local and linear-time, and (2) cut-free unification nets grow linearly with the size of the sequent.  ...  Such syntactic redundancies are not merely subjective aesthetic failures: as noted by Girard [Gir96] , they burden sequent calculus cut elimination with endless mechanical rule commutations.  ... 
arXiv:1802.03224v1 fatcat:3mz5xcqzuvbzljrllx5lzajgwq

Design of Electrical/Mechanical Hybrid 4-Redundancy Brushless DC Torque Motor

Guo Hong, Wang Wei, Xing Wei, Li Yanming
2010 Chinese Journal of Aeronautics  
Furthermore, compared to the scheme of two electrical dual-redundancy BLDCMs linked by a mechanical transmission, the proposed motor has lower volume and lighter weight, eliminates the nonlinearity caused  ...  This motor is characteristic of electrical/mechanical hybrid 4-redundancy by securing two stators along with two rotors on the same shaft.  ...  Compared to the structure in which two electrical dual-redundancy BLDCMs are linked by the mechanical transmission, the proposed structure provides smaller volume and lighter weight, eliminates the nonlinearity  ... 
doi:10.1016/s1000-9361(09)60207-7 fatcat:52iqvqr2ffgyfawdrmqnathxmu

Suppressing the spurious states of the centre of mass [article]

P. Dita, L. Micu
2008 arXiv   pre-print
Following Dirac's ideas concerning the quantization of constrained systems, we suggest to replace the free centre of mass Hamiltonian H_CM by another operator which commutes with all the elements of the  ...  algebra generated via the commutation relations by H_CM and the constraints which fix the centre of mass position.  ...  The financial support from the Romanian Ministry of Education and Research under the contract PN06 35 01 01 is acknowledged.  ... 
arXiv:0802.2493v1 fatcat:snzpb7vucveidnvcailxa5p26i

Fractional Zero-Point Angular Momenta in Noncommutative Quantum Mechanics

Si-Jia Liu, Yu-Fei Zhang, Zheng-Wen Long, Jian Jing
2016 Zeitschrift fur Naturforschung A-A Journal of Physical Sciences  
These fractional angular momenta are not only determined by the flux inside the thin long solenoid but also affected by the noncommutativities of phase space.  ...  We find that the canonical orbital angular momenta of the reduced models, which are obtained by setting the mass and a dimensionless parameter to zero, take fractional values.  ...  Since the constraints χ i = p i ≈ 0 are second class, they can be used to eliminate the redundant degrees of freedom.  ... 
doi:10.1515/zna-2016-0191 fatcat:wlsj3xqpb5g7zawnsrdiuiut64

Page 294 of Bulletin of the American Physical Society Vol. 4, Issue 4 [page]

1959 Bulletin of the American Physical Society  
redundant variables.  ...  In general, these secondary coordinate conditions will not maintain themselves off this hypersurface and hence cannot be used to eliminate additional redundant While it should be find secondary conditions  ... 

Removing staggered fermionic matter in U(N) and SU(N) lattice gauge theories

Erez Zohar, J. Ignacio Cirac
2019 Physical Review D  
In this work, we present a way that uses all the Gauss laws in lattice gauge theories with staggered fermions for completely removing the matter degrees of freedom, at the cost of locally extending the  ...  interaction range, breaking the symmetry and introducing new local constraints, due to the finiteness of the original local matter spaces.  ...  local constraints, and eliminating part of the matter fields.  ... 
doi:10.1103/physrevd.99.114511 fatcat:amp3bhmwvzcmjbrtuhyawe3ree

Removing Staggered Fermionic Matter in U(N) and SU(N) Lattice Gauge Theories [article]

Erez Zohar, J. Ignacio Cirac
2019 arXiv   pre-print
In this work, we present a way that uses all the Gauss laws in lattice gauge theories with staggered fermions for completely removing the matter degrees of freedom, at the cost of locally extending the  ...  interaction range, breaking the symmetry and introducing new local constraints, due to the finiteness of the original local matter spaces.  ...  local constraints, and eliminating part of the matter fields.  ... 
arXiv:1905.00652v1 fatcat:ahb66a5sqbampcjoucmiuemrdq

Combining algebra and universal algebra in first-order theorem proving: The case of commutative rings [chapter]

Leo Bachmair, Harald Ganzinger, Jürgen Stuber
1995 Lecture Notes in Computer Science  
We adopt ideas from the Gr obner basis method to show that many inferences of the superposition calculus are redundant.  ...  More specifically, we consider theorem proving problems speci ed by sets of rstorder clauses that contain the axioms of a commutative ring with a unit element.  ...  More speci cally, we attempt to eliminate the addition function from terms that need to be considered for superposition (and hence would require associative-commutative uni cation).  ... 
doi:10.1007/bfb0014420 fatcat:h7fr556bpra3tjrlf4jymclqq4

Higgs Mechanism and Symmetry Breaking without Redundant Variables [article]

D. Stoll, M. Thies
1995 arXiv   pre-print
The Higgs mechanism is reconsidered in the canonical Weyl gauge formulation of quantized gauge theories, using an approach in which redundant degrees of freedom are eliminated.  ...  All the established physics consequences of the Higgs mechanism are recovered without invoking gauge symmetry breaking.  ...  Throughout this work, our guiding principle was to eliminate all the redundant degrees of freedom characteristic for gauge theories.  ... 
arXiv:hep-th/9504068v1 fatcat:e6flcs4hmbbmtegdio7vfup6ee
« Previous Showing results 1 — 15 out of 14,361 results