Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

In-Vessel Penetrator -käärmerobotin mallinnus ADAMS-ohjelmistolla

Työn tavoitteena oli muodostaa virtuaaliprototyyppi fuusioreaktorin huollossa käytettävästä IVP-robotista. Työssä mallinnettiin robotin mekaniikka joustavana sekä toimilaitteiden ja käyttöjen dynaamiset ominaisuudet valmistajien esitietojen ja mitoitustietojen perusteella. Käyttöjen ja mekaniikan mallit yhdistettiin ADAMS-ohjelmistossa. Mekaanisten joustojen mallinnuksessa sekä verifioinnissa käytettiin apuna ANSYS –ohjelmistoa. Virtuaaliprototyypin toimivuudesta varmistuttiin vertaamalla sitä robotin suunnittelutietoihin ja fyysiseen prototyyppiin. Robotin ohjauksessa käytettävän P-säätäjän vaikutusta tutkittiin eri vahvistuksen arvoilla sekä verrattiin mekaanisia vasteita fyysisen prototyypin dynaamisiin testeihin. Esimerkkinä robotin käyttäytymisestä todellisessa tilanteessa simuloitiin sen ajoa reaktoriin. Toteutetun simulointimallin todettiin vastaavan rakenteeltaan sekä siinä esiintyvien voimien osalta suunnitelmien mukaista konstruktiota. Käytetyillä parametreilla se toteutti hyvin robotille asetetut nopeusvaatimukset.

Las relaciones constituyen las unidades sociales basicas: En la muerte de Charles Tilly

Esta nota necrológica es una adaptación para la RIS del comentario publicado por Salvador Aguilar en la página web de la Editorial Hacer con motivo del fallecimiento de Charles Tilly. Esta editorial, uno de cuyos editores es Salvador Aguilar, ha publicado o está en vías de hacerlo cinco obras mayores del sociólogo norteamericano desaparecido el 29 de abril de 2008 a los 78 años. Salvador Aguilar es Profesor Titular de Estructura y Cambio Social (Universidad de Barcelona).

Traducció del testament de Charles Robert Darwin

L’objectiu principal d’aquest treball és assumir el que podria ser un encàrrec real d’un text jurídic. Així que, en aquest treball es tradueix un testament. Els testaments són documents a través dels quals una persona disposa els seus béns per tal que després de la seva mort una altra se’n faci càrrec. El testament escollit ha estat el de Charles Robert Darwin, que va morir el 19 d’abril de 1882 a Down, en el comptat de Kent, Anglaterra, on hi visqué 40 anys, des del 1842 fins la seva mort. Aquest testament té unes particularitats concretes, ja que fa uns 190 anys que es va firmar. El dret successori anglès, regit per la Llei de successions de protecció de la família i tuïció de 1975 és molt diferent del dret successori català. Així doncs, coneixerem les diferències entre el dret successori català i l’anglès. També, veurem tots passos que han estat necessaris per portar a terme aquest treball.

La llengua de l’heroi : notes sobre la llengua del segle xx a partir de les traduccions catalanes de David Copperfield de Charles Dickens

A comparative study of the two published Catalan translations of Charles Dickens’ David Copperfield, the first translated by Josep Carner in 1930 but not published until 1964, and the second by Joan Sellent in 2003. The analysis shows that both translations, magnificent, reflect the unique evolution of the language model that the translators pass on to their readers, an evolution shaped by the complex history of the Catalan language in the 20th century, which is still to be written

Taped Examples for lecture on Charles Ives

Digitoitu 8. 1. 2009

Le Crédit : journal quotidien / directeur-gérant : Léopold Amail ; [rédacteur en chef : Charles Duveyrier]

1850/07/31 (N631)-1850/08/06 (N637).