Phase of beta-frequency tACS over primary motor cortex modulates corticospinal excitability

The assessment of corticospinal excitability by means of transcranial magnetic stimulation-induced motor evoked potentials is an established diagnostic tool in neurophysiology and a widely used procedure in fundamental brain research. However, concern about low reliability of these measures has grown recently. One possible cause of high variability of MEPs under identical acquisition conditions could be the influence of oscillatory neuronal activity on corticospinal excitability. Based on research showing that transcranial alternating current stimulation can entrain neuronal oscillations we here test whether alpha or beta frequency tACS can influence corticospinal excitability in a phase-dependent manner. We applied tACS at individually calibrated alpha- and beta-band oscillation frequencies, or we applied sham tACS. Simultaneous single TMS pulses time locked to eight equidistant phases of the ongoing tACS signal evoked MEPs. To evaluate offline effects of stimulation frequency, MEP amplitudes were measured before and after tACS. To evaluate whether tACS influences MEP amplitude, we fitted one-cycle sinusoids to the average MEPs elicited at the different phase conditions of each tACS frequency. We found no frequency-specific offline effects of tACS. However, beta-frequency tACS modulation of MEPs was phase-dependent. Post hoc analyses suggested that this effect was specific to participants with low (<19 Hz) intrinsic beta frequency. In conclusion, by showing that beta tACS influences MEP amplitude in a phase-dependent manner, our results support a potential role attributed to neuronal oscillations in regulating corticospinal excitability. Moreover, our findings may be useful for the development of TMS protocols that improve the reliability of MEPs as a meaningful tool for research applications or for clinical monitoring and diagnosis. (C) 2018 Elsevier Ltd. All rights reserved

Residence time distribution and hold-up in a cocurrent upflow packed bed reactor at elevated pressure

The residence time distribution in liquid phase was measured in a cocurrent upflow packed bed reactor for the system methanol-hydrogen at low Reynolds numbers and at elevated pressure. The plug flow with axial dispersion model was used to describe mixing in the system. The imperfect pulse method was used to measure the system response to a tracer pulse input. The parameters were calculated using the weighted moments method. The influence of the weighting factor was investigated. The experimental and theoretical outputs, as calculated by convolution, agreed very well. Different types of correlations were used for the Bodenstein number and liquid hold-up. From these correlations, the optimal one was selected for each parameter. A comparison was made between the ordinary moments and the weighted moments methods which led to the conclusion that the latter method is superior with respect to the accuracy of the estimated parameters and therefore strongly recommended

Визначення правового статусу садівницьких, городницьких та дачних товариств

Розкриваються особливості правового статусу садівницьких, городницьких та дач­них товариств, досліджується їх організаційно-правова форма та ті специфічні пра­вові ознаки, що знаходяться в її основі. У зв’язку з відсутністю правової бази діяль­ності цих товариств, робиться спроба сформувати основні теоретико-правові кон­цептуальні підходи до розуміння їх природи та змоделювати законодавчу схему регулювання їх діяльності.Раскрываются особенности правового статуса садоводческих, огороднических и дачных товариществ, исследуются их организационно-правовая форма и правовые особенности, составляющие ее основание. В связи с отсутствием правовых обоснований деятельности этих товариществ автор стремится сформировать основные теоре­тико-правовые концептуальные подходы к раскрытию их сущности и смоделировать законодательную схему регулирования деятельности рассматриваемых товариществ.In article features of legal status of garden, vegetable-garden and country companies reveal, their organizational legal form and those specific features that are in its basis are investigated. In connection with absence of legal base of activity of these communities is attempted to generate the basic theoretical-legal conceptual approaches to understanding of their nature and model legislative sphere of regulation of their activity becomes

Efficient Certified Resolution Proof Checking

We present a novel propositional proof tracing format that eliminates complex processing, thus enabling efficient (formal) proof checking. The benefits of this format are demonstrated by implementing a proof checker in C, which outperforms a state-of-the-art checker by two orders of magnitude. We then formalize the theory underlying propositional proof checking in Coq, and extract a correct-by-construction proof checker for our format from the formalization. An empirical evaluation using 280 unsatisfiable instances from the 2015 and 2016 SAT competitions shows that this certified checker usually performs comparably to a state-of-the-art non-certified proof checker. Using this format, we formally verify the recent 200 TB proof of the Boolean Pythagorean Triples conjecture

Towards an Ontology for Scenario Definition for the Assessment of Automated Vehicles: An Object-Oriented Framework

The development of new assessment methods for the performance of automated vehicles is essential to enable the deployment of automated driving technologies, due to the complex operational domain of automated vehicles. One contributing method is scenario-based assessment in which test cases are derived from real-world road traffic scenarios obtained from driving data. Given the complexity of the reality that is being modeled in these scenarios, it is a challenge to define a structure for capturing these scenarios. An intensional definition that provides a set of characteristics that are deemed to be both necessary and sufficient to qualify as a scenario assures that the scenarios constructed are both complete and intercomparable. In this article, we develop a comprehensive and operable definition of the notion of scenario while considering existing definitions in the literature. This is achieved by proposing an object-oriented framework in which scenarios and their building blocks are defined as classes of objects having attributes, methods, and relationships with other objects. The object-oriented approach promotes clarity, modularity, reusability, and encapsulation of the objects. We provide definitions and justifications of each of the terms. Furthermore, the framework is used to translate the terms in a coding language that is publicly available.Comment: 16 pages, 7 figures, 1 tabl

Sociobiological Control of Plasmid copy number

Background:&#xd;&#xa;All known mechanisms and genes responsible for the regulation of plasmid replication lie with the plasmid rather than the chromosome. It is possible therefore that there can be copy-up mutants. Copy-up mutants will have within host selective advantage. This would eventually result into instability of bacteria-plasmid association. In spite of this possibility low copy number plasmids appear to exist stably in host populations. We examined this paradox using a computer simulation model.&#xd;&#xa;&#xd;&#xa;Model:&#xd;&#xa;Our multilevel selection model assumes a wild type with tightly regulated replication to ensure low copy number. A mutant with slightly relaxed replication regulation can act as a &#x201c;cheater&#x201d; or &#x201c;selfish&#x201d; plasmid and can enjoy a greater within-host-fitness. However the host of a cheater plasmid has to pay a greater cost. As a result, in host level competition, host cell with low copy number plasmid has a greater fitness. Furthermore, another mutant that has lost the genes required for conjugation was introduced in the model. The non-conjugal mutant was assumed to undergo conjugal transfer in the presence of another conjugal plasmid in the host cell.&#xd;&#xa;&#xd;&#xa;Results:&#xd;&#xa;The simulatons showed that if the cost of carrying a plasmid was low, the copy-up mutant could drive the wild type to extinction or very low frequencies. Consequently, another mutant with a higher copy number could invade the first invader. This process could result into an increasing copy number. However above a certain copy number within-host selection was overcompensated by host level selection leading to a rock-paper-scissor (RPS) like situation. The RPS situation allowed the coexistence of high and low copy number plasmids. The non-conjugal &#x201c;hypercheaters&#x201d; could further arrest the copy numbers to a substantially lower level.&#xd;&#xa;&#xd;&#xa;Conclusions:&#xd;&#xa;These sociobiological interactions might explain the stability of copy numbers better than molecular mechanisms of replication regulation alone

Дефініції поняття “інтеграція” та його ролі в конкурентному ринковому процесі

Метою даної роботи є дослідження дефініцій розуміння інтеграційних процесів в аграрній сфері та їх ролі в конкурентному економічному середовищі

Synthesis and crystal structure of (+)-(2R,3R)-N, N '-bis-trityl-2,3-bis-aziridine

Contains fulltext : 14200.pdf (publisher's version ) (Open Access

Bounded-width polynomial-size branching programs recognize exactly those languages in NC1

AbstractWe show that any language recognized by an NC1 circuit (fan-in 2, depth O(log n)) can be recognized by a width-5 polynomial-size branching program. As any bounded-width polynomial-size branching program can be simulated by an NC1 circuit, we have that the class of languages recognized by such programs is exactly nonuniform NC1. Further, following Ruzzo (J. Comput. System Sci. 22 (1981), 365–383) and Cook (Inform. and Control 64 (1985) 2–22), if the branching programs are restricted to be ATIME(logn)-uniform, they recognize the same languages as do ATIME(log n)-uniform NC1 circuits, that is, those languages in ATIME(log n). We also extend the method of proof to investigate the complexity of the word problem for a fixed permutation group and show that polynomial size circuits of width 4 also recognize exactly nonuniform NC1