Sökning: "direct sum"

Visar resultat 1 - 5 av 58 avhandlingar innehållade orden direct sum.

1. 1. Hardness of Constraint Satisfaction and Hypergraph Coloring : Constructions of Probabilistically Checkable Proofs with Perfect Completeness

   Författare :Sangxia Huang; Johan Håstad; Rishi Saket; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Combinatorial optimization; approximation; inapproximability; hardness; probabilistically checkable proofs; pcp; perfect completeness; boolean constraint satisfaction problem; csp; graph coloring; hypergraph coloring; direct sum; superposition; label cover; Computer Science; Datalogi;

   Sammanfattning : A Probabilistically Checkable Proof (PCP) of a mathematical statement is a proof written in a special manner that allows for efficient probabilistic verification. The celebrated PCP Theorem states that for every family of statements in NP, there is a probabilistic verification procedure that checks the validity of a PCP proof by reading only 3 bits from it. LÄS MER

3. 2. Fixed Point Iterations for Finite Sum Monotone Inclusions

   Författare :Martin Morin; Institutionen för reglerteknik; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; monotone inclusions; operator splitting;

   Sammanfattning : This thesis studies two families of methods for finding zeros of finite sums of monotone operators, the first being variance-reduced stochastic gradient (VRSG) methods. This is a large family of algorithms that use random sampling to improve the convergence rate compared to more traditional approaches. LÄS MER

4. 3. Direct RF sampling receivers for wireless systems in CMOS technology

   Författare :Darius Jakonis; Linköpings universitet; []
   Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP;

   Sammanfattning : The fast development of wireless communication systems asks for more flexible and more cost-effective radio architectures. A long term goal is a software defined radio, where communication standards are chosen by reconfiguration of hardware. LÄS MER

5. 4. Sexual conflict and selection on pistil and pollen traits

   Författare :Josefin Madjidian; Biologiska institutionen; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Antagonistic trait; Collinsia heterophylla; delayed stigma receptivity; direct cost; first-donor advantage; gender bias; heritability; indirect benefit; mate choice; mixed-mating system; paternal diversity; pollen competition; pollen deposition; pollen load size; pollen tube growth rate; self-compatibility; semantics; sexual conflict; sexual selection; sexually antagonistic co-evolution;

   Sammanfattning : The incidence of sexual selection in plants is today acknowledged, however, just as in animals, evolution and maintenance of mate choice is gravely underexplored. Moreover, the potential for sexual conflicts to occur in plants has only been assessed empirically to a very limited degree. LÄS MER

7. 5. On Robot Feedback from Range Sensors : Reliable Control by Active Reduction of Uncertainty and Ambiguities

   Författare :Jonas Nygårds; John Hallam; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; robot gripping and docking; LQG-feedback; posture estimation; Gaussian sum; optronic sensing; sheet of light range camera; time-of-flight laser; specular reflection s; multiple scattering; range ghosts ; active reduction of ambiguities; reliability; uncertainty; tolerances;

   Sammanfattning : This thesis is on modelling and experimental tests when non contact sensing isused for feedback control in robotics. The motion of the robot is to be controlled relative to objects in the surrounding workspace during operations like gripping/docking, surface following, shape measuring etc. LÄS MER