972 research outputs found
Audio Twister
No full textDaniel Cermak-Sassenrath, Rodrigo Moreno Garcia, Stefanos Monastiridis. Audio Twister. Installation. P-Hack Copenhagen 2015, Copenhagen, DK, Apr 24, 2015
The Association Between Two Sensory Processing Measures: The Sensory Over-Responsivity Inventory and the Adolescent/Adult Sensory Profile
No full textAbstract
Date Presented 3/31/2017
Concurrent validity between the Sensory Over-Responsivity Inventory and the Adolescent/Adult Sensory Profile was examined among 556 typical adults. Results indicate a moderate correlation between measures that varies across individual sensory systems.
Primary Author and Speaker: Michelle Kanda
Additional Authors and Speakers: Laura Ruzzano, Emily Cohen, Sharon Cermak</jats:p
Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications
No full textStrategy Logic (SL) has recently come to the fore as a useful
specification language to reason about multi-agent systems.
Its one-goal fragment, or SL[1G], is of particular interest as
it strictly subsumes widely used logics such as ATL*, while
maintaining attractive complexity features. In this paper we
put forward an automata-based methodology for verifying
and synthesising multi-agent systems against specifications
given in SL[1G]. We show that the algorithm is sound and
optimal from a computational point of view. A key feature
of the approach is that all data structures and operations on
them can be performed on BDDs. We report on a BDD-based
model checker implementing the algorithm and evaluate its
performance against a number of scalable scenarios
Enabling high-throughput single-cell growth measurements with parallel microchannel resonators
No full textThesis: Ph. D., Massachusetts Institute of Technology, Computational and Systems Biology Program, 2017.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.Cataloged from student-submitted PDF version of thesis.Includes bibliographical references (pages 119-130).Single cells constitute a fundamental unit of biological organization, yet most laboratory techniques are unable to characterize single cell behavior and instead measure average properties of many thousands of cells. Among cellular behaviors, one of the most fundamental is growth, in which a cell turns inanimate material into biomass, which is then used to further create more biomass. However, there are few tools available to study the process of single cells growing. In this thesis, I demonstrate a new method for observing and quantifying the growth of single cells in high-throughput. This method is applicable to any cell that can grow in suspension (including bacteria, yeast, and mammalian cells), is extremely precise, and directly measures single-cell biomass accumulation. This method utilizes an array of suspended microchannel resonators (SMRs), which are microcantilevers with an interior fluidic channel through which cells flow. Cells traversing the interior fluidic channel transiently change the mass of the microcantilever, changing its resonant frequency, which we measure. Previously, it has only been possible to operate a single SMR per microfluidic chip. To enable high-throughput growth measurements, we first developed scalable hardware to operate multiple SMRs on a single chip, utilizing frequency-division multiplexing and a digitally-implemented phase-locked loop array. We call this hardware MURC - the MUltiple Resonance Controller. Outside of operating SMRs, we envision that MURC may ultimately be useful for operating many resonator-based sensors (including mass, light, or force sensors). We next developed a microfluidic chip called the serial SMR array, consisting of 10- 12 SMRs interspersed along a single long microfluidic channel. Cells are periodically weighed as they flow through this channel, typically every 30 seconds or every two minutes. The change in cell mass between when a cell enters and exits the channel tells us how fast the cell is growing. Importantly, an entire queue of cells can transit this array nearly simultaneously, yielding growth rate measurements of hundreds of cells per hour. Compared to existing methods, this system is at least an order of magnitude more precise and provides similar or higher throughput.by Nathan Cermak.Ph. D
The Chronicle of A Life. The Life and Opinions of Josef Čermák (1884-1958), a Citizen of Humpolec
No full textThis diploma thesis is a look at the life story of an agronomists, beekeeper and originally also an admirer of Russia, Josef Cermak (1884-1958). The main source was the ancestral chronicle and memoirs written by Josef Cermak which guide the reader through the life of the author. He witnessed important historic events of the twentieth century, like the two world wars, the effects of the Russian revolution, the Great Depression and the 1948 Czechoslovak coup d'état. The author was inspired by historico-anthropological approaches that deal specifically with the question of one?s identity formation, self-presentation and the image of the other. The attention was also focused on the memory of Josef Cermak and methods of its formation. The work is divided into two parts. The first one deals with memory and self-presentation of the actor, in the other one the image of Russia in the eyes of the Czech lands and Josef Cermak is being addressed
Cross Section of the Testis (C57BL/6N - WT; DCAF12 KO) H&E
No full textIsolated mouse testes (5-7 weeks old) were fixed for 24 h in a modified Davidson's fluid and processed by standard histological methods using an automated tissue processor (Leica). Five μm-thick sections were stained with hematoxylin-eosin (Ventana Symphony H&E Slide Stainer). The prepared samples were scanned using Axio Scan.Z1 slide scanner. Available are exported data (TIF), and preview (PDF).
Samples are as followed:
19-041 & 19-042 - C57B6/N - WT
19-088 & 19-089 - C57B6/N - DCAF12 KO (∆ex4)
Lidak, T.; Baloghova, N.; Korinek, V.; Sedlacek, R.; Balounova, J.; Kasparek, P.; Cermak, L. CRL4-DCAF12 Ubiquitin Ligase Controls MOV10 RNA Helicase during Spermatogenesis and T Cell Activation. Int. J. Mol. Sci. 2021, 22, 539
Absorptive root area and stem resistivity in whole trees of contrasting structure and size - improvement of methods
No full textAims
The study was focused on comparing the results of the three instrumental methods applied simultaneously for root studies in several tree species representing contrasting situations: root systems of different structure and stems of a wide range of diameters (especially when considering their resistivity). We want to learn properties of the methods, make some improvements and test their validity, before they will be applied to a large series of trees at the stand level.
Material and methods
Douglas fir (Pseudotsuga menziessii (Mirbel) Franco) with very asymmetric root system and Blue spruce (Picea pungens Engelm.) with homogeneous root system growing in the Mendel University Training Forest Enterprise in Křtiny, were selected as the main sample trees. Three variants of stem impedance measurements needed for absorptive root area estimates were applied to an additional series of over 20 trees. In order to characterize vertical and circumferential (around stem) root distribution we applied (1) the sap flow radial patterns measured by the multi-point sensors based on the heat field deformation (HFD) method, and (2) a modified earth impedance (MEI) method from the group of thermodynamic and electric measuring methods and finally we (3) almost harmlessly excavated the whole root system by supersonic air stream. Three steps of absorptive root area measurements were improved: (a) Impact of stem impedance was almost eliminated, (b) Excessive variation of stem impedance values measured too close to stems (in a place with the most heterogeneous materials) was compensated by extrapolation of several close points, (c) Impact of high curvature of small stems was determined and eliminated by an equation.
Results
All the methods gave similar results when considering differences between individual trees as well as between stem sides. Sap flow density was interesting when expressed per measured absorptive root area and leaf area. Experimental data of main and additional sample trees confirmed validity of relationship, which can be applied to improve stem resistivity especially in small trees.
Conclusions
Results indicated, that all the instrumental methods are field applicable and suitable for quantitative measurements, when specific properties of the methods and stem macrostructure are taken into account. Soil electric parameters characterize the important properties related to presence of cracks, water content, and ion concentration, which are being analyzed now
Erratum to: Absorptive root area and stem resistivity in whole trees of contrasting structure and size – improvement of methods(Plant and Soil, (2014),383, 257, 273, DOI 10.1007/s11104-014-2126-5)
No full textMCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
No full textModel checking has come of age. A number of techniques are increasingly used in industrial setting to verify hardware and software systems, both against models and concrete implementations. While it is generally accepted that obstacles still remain, notably handling infinite state systems efficiently, much of current work involves refining and improving existing techniques such as predicate abstraction
- …
