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.

Characterization of hepatic fatty acids in mice with reduced liver fat by ultra-short echo time (1)H-MRS at 14.1 T in vivo.

Alterations in the hepatic lipid content (HLC) and fatty acid composition are associated with disruptions in whole body metabolism, both in humans and in rodent models, and can be non-invasively assessed by (1)H-MRS in vivo. We used (1)H-MRS to characterize the hepatic fatty-acyl chains of healthy mice and to follow changes caused by streptozotocin (STZ) injection. Using STEAM at 14.1 T with an ultra-short TE of 2.8 ms, confounding effects from T2 relaxation and J-coupling were avoided, allowing for accurate estimations of the contribution of unsaturated (UFA), saturated (SFA), mono-unsaturated (MUFA) and poly-unsaturated (PUFA) fatty-acyl chains, number of double bonds, PU bonds and mean chain length. Compared with in vivo (1) H-MRS, high resolution NMR performed in vitro in hepatic lipid extracts reported longer fatty-acyl chains (18 versus 15 carbons) with a lower contribution from UFA (61 ± 1% versus 80 ± 5%) but a higher number of PU bonds per UFA (1.39 ± 0.03 versus 0.58 ± 0.08), driven by the presence of membrane species in the extracts. STZ injection caused a decrease of HLC (from 1.7 ± 0.3% to 0.7 ± 0.1%), an increase in the contribution of SFA (from 21 ± 2% to 45 ± 6%) and a reduction of the mean length (from 15 to 13 carbons) of cytosolic fatty-acyl chains. In addition, SFAs were also likely to have increased in membrane lipids of STZ-induced diabetic mice, along with a decrease of the mean chain length. These studies show the applicability of (1)H-MRS in vivo to monitor changes in the composition of the hepatic fatty-acyl chains in mice even when they exhibit reduced HLC, pointing to the value of this methodology to evaluate lipid-lowering interventions in the scope of metabolic disorders.

Phylogenetic relationships of Apodemus Kaup, 1829 (Rodentia: Muridae) species in the Eastern Mediterranean inferred from mitochondrial DNA, with emphasis on iranian species

Wood mice of the genus Apodemus are widely distributed in Eurasia, with the Eastern Mediterranean being considered as a hotspot. Indeed, numerous species have been documented in Iran, including A. witherbyi, A. hyrcanicus, A. uralensis, A. avicennicus, A. hermonensis, and A. arianus. In this study, 129 specimens were collected from different Iranian localities and two specimens from Afghanistan. The animals were identified taxonomically and their phylogenetic relationships were investigated using cytochrome b mitochondrial DNA sequences. Five species of the genus Apodemus were identified in Iran, including A. hyrcanicus, A. witherbyi, A. cf. ponticus, A. uralensis, and A. mystacinus, beside, A. pallipes from Afghanistan. This study found no evidence of A. flavicollis or A. sylvaticus in Iran, despite their occurrence in Turkey, shedding doubt on the status of A. flavicollis in Iran, Asia Minor, and the Levant. Phylogenetic analyses imply that A. witherbyi has priority over A. avicennicus, A. hermonensis, and A. iconicus. Estimation of the divergence time for these taxa suggests a separation at around 7.2 Ma for the subgenera Karstomys (including A. mystacinus and A. epimelas) and Sylvaemus (including A. flavicollis, A. sylvaticus, A. uralensis, A. pallipes, A. hyrcanicus, A. witherbyi, and A. cf. ponticus). Within the subgenus Karstomys, the divergence times for A. mystacinus and A. epimelas were between 3.0 and 6.1 Ma, and divergence times within the subgenus Sylvaemus were between 5.2 and 6.9 Ma for A. witherbyi and other species in this subgenus. It is postulated that vicariance events including the uplifting of the Zagros Mountains and Anatolian Plateau in the middle Miocene and climate oscillations during the Messinian Salinity Crisis besides formation of the Hyrcanian tertiary forests during the Neogene probably played substantial roles in the radiation and distribution of the genus Apodemus in the Eastern Mediterranean.

Responders to Wide-Pulse, High-Frequency Neuromuscular Electrical Stimulation Show Reduced Metabolic Demand: A 31P-MRS Study in Humans.

Conventional (CONV) neuromuscular electrical stimulation (NMES) (i.e., short pulse duration, low frequencies) induces a higher energetic response as compared to voluntary contractions (VOL). In contrast, wide-pulse, high-frequency (WPHF) NMES might elicit-at least in some subjects (i.e., responders)-a different motor unit recruitment compared to CONV that resembles the physiological muscle activation pattern of VOL. We therefore hypothesized that for these responder subjects, the metabolic demand of WPHF would be lower than CONV and comparable to VOL. 18 healthy subjects performed isometric plantar flexions at 10% of their maximal voluntary contraction force for CONV (25 Hz, 0.05 ms), WPHF (100 Hz, 1 ms) and VOL protocols. For each protocol, force time integral (FTI) was quantified and subjects were classified as responders and non-responders to WPHF based on k-means clustering analysis. Furthermore, a fatigue index based on FTI loss at the end of each protocol compared with the beginning of the protocol was calculated. Phosphocreatine depletion (ΔPCr) was assessed using 31P magnetic resonance spectroscopy. Responders developed four times higher FTI's during WPHF (99 ± 37 ×103 N.s) than non-responders (26 ± 12 ×103 N.s). For both responders and non-responders, CONV was metabolically more demanding than VOL when ΔPCr was expressed relative to the FTI. Only for the responder group, the ∆PCr/FTI ratio of WPHF (0.74 ± 0.19 M/N.s) was significantly lower compared to CONV (1.48 ± 0.46 M/N.s) but similar to VOL (0.65 ± 0.21 M/N.s). Moreover, the fatigue index was not different between WPHF (-16%) and CONV (-25%) for the responders. WPHF could therefore be considered as the less demanding NMES modality-at least in this subgroup of subjects-by possibly exhibiting a muscle activation pattern similar to VOL contractions.

In Vivo Longitudinal (1)H MRS Study of Transgenic Mouse Models of Prion Disease in the Hippocampus and Cerebellum at 14.1 T.

In vivo (1)H MR spectroscopy allows the non invasive characterization of brain metabolites and it has been used for studying brain metabolic changes in a wide range of neurodegenerative diseases. The prion diseases form a group of fatal neurodegenerative diseases, also described as transmissible spongiform encephalopathies. The mechanism by which prions elicit brain damage remains unclear and therefore different transgenic mouse models of prion disease were created. We performed an in vivo longitudinal (1)H MR spectroscopy study at 14.1 T with the aim to measure the neurochemical profile of Prnp -/- and PrPΔ32-121 mice in the hippocampus and cerebellum. Using high-field MR spectroscopy we were able to analyze in details the in vivo brain metabolites in Prnp -/- and PrPΔ32-121 mice. An increase of myo-inositol, glutamate and lactate concentrations with a decrease of N-acetylaspartate concentrations were observed providing additional information to the previous measurements.

Alai! Alai! - a new species of the Gloydius halys (Pallas, 1776) complex (Viperidae, Crotalinae), including a brief review of the complex

During a scientific field expedition to the Alai-Pamir range five specimens of the genus Gloydius have been collected in the larger Alai. A morphological and genetical examination of the specimens has shown that they are part of the G. halys complex, but represent a new taxon which is characterized by the following unique character combination: It is a slender and moderately stout small snake, up to 479 mm total length. The head has nine symmetrical plates on the upper head, 7 supralabial and 8-9 infralabial scales. Body scales in 20-22 rows around midbody, 143-156 ventral and 35-45 usually paired subcaudal scales. The cloacal plate not divided. The general coloration consists of various different tones of olive, tan and brown, having a distinct head, but an indistinct body pattern with, excluding the tail, 26-29 transverse crossbands, which are not extending to the sides of the body. The haplotype network shows the new species within the G. halys complex and close related to both, G. h. halys and G. h. caraganus. So far the new described species is only known from the Alai range. However, various Gloydius specimens are found in Kyrgyzstan and because of the complicated taxonomy those specimens have to re-identified to clarify their status and the status of the new species.

Le Cultivateur (Paris. 1829)

Variante(s) de titre : Le Cultivateur, journal des progrès agricoles

THOMÉ RODRIGUES SOBRAL (1759-1829) E A VIRTUDE FEBRÍFUGA DE UM GRANDE NÚMERO DE QUINAS

AbstractIn the beginning of the 19th century, Portugal received from Brazil several barks that were used as cure for fevers for the purpose of chemical analysis. These analyses were intended to determine the principle compositional components responsible for the febrifuge power of these barks. At the University of Coimbra, the samples were analyzed under the supervision of Thomé Rodrigues Sobral, the Director of the university's Chemical Laboratory. In the interpretation of the obtained results, Sobral put forward his own ideas about the febrifuge principles of the analyzed barks in relation to their chemical composition. Here, we refer to both Rodrigues Sobral's reported results and his ideas about the febrifuge principle.