Search results for "Static"
showing 10 items of 1528 documents
Lithographic fabrication of soda-lime glass based microfluidics
2013
Abstract Glass is an important material for chemical processing and analysis because of its relatively low cost, mechanical strength, chemical inertness, optical transparency, and electrical insulation and temperature resistance far beyond that of most polymeric materials. We have investigated techniques for direct writing with MeV ions on soda-lime glass as well as capping procedures to form closed buried channels suitable for high-pressure driven flow. Exposure and development of open-channel structures was studied using a combination of programmable proximity aperture lithography and different developers. Unlike our previous work on MeV ion beam lithography of natural silica where an 8% …
A laboratory analysis of falling head infiltration procedures for estimating the hydraulic conductivity of soils
2006
Abstract Falling head (FH) infiltration procedures can give rapid estimates of the field saturated hydraulic conductivity ( K fs ) of soils. The objectives of this investigation were to develop a procedure for estimating both the K fs and the α ⁎ parameter of the exponential hydraulic conductivity function from a FH experiment, and to compare FH procedures differing by experimental and computational demands. A total of 33 FH experiments were carried out on repacked, sandy loam and loam soil cores. A two level (TL) analysis was applied to determine a value of α ⁎ for each soil core. K fs was then calculated by three different approaches, ranging from the fitting approach (FA) that used the m…
2020
Even though the acute effects of pre-exercise static stretching and dynamic muscle activity on muscular and functional performance have been largely investigated, their effects on the corticospinal pathway are still unclear. For that reason, this study examined the acute effects of 5×20 s of static stretching, dynamic muscle activity and a control condition on spinal excitability, corticospinal excitability and plantar flexor neuromuscular properties. Fifteen volunteers were randomly tested on separate days. Transcranial magnetic stimulation was applied to investigate corticospinal excitability by recording the amplitude of the motor-evoked potential (MEP) and the duration of the cortical s…
Sound and reusable components for abstract interpretation
2019
Abstract interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments, stores, etc. However, static analyses often tightly couple these abstractions in the implementation, which not only complicates the implementation, but also makes it hard to decide which parts of the analyses can be proven sound independently from each other. Furthermore, this coupling makes it hard to combine soundness lemmas for parts of the analysis to a soundness proof of the complete analysis. To solve this problem, we propose to c…
An Exploratory Empirical Study of Internal Quality Attributes of Open Source Software Systems
2012
This exploratory empirical study has focused on open source software (OSS). Seven medium-sized OSS systems from the SourceForge repository were analysed. Over 100 internal quality attributes and programming practices were scrutinized by using two semi-automated source code analysis tools (FindBugs and SoftCalc). Many statistically significant relations were revealed by the conducted regression analyses. Seven so-called bad programming practices; as manifested by the measured source code inconsistencies were identified as having significant relations to internal software quality. Additionally we set and tested two hypotheses. That investigation provided mixed results partly supporting some o…
Suppression of Penning discharges between the KATRIN spectrometers
2020
The KArlsruhe TRItium Neutrino experiment (KATRIN) aims to determine the effective electron (anti)neutrino mass with a sensitivity of $0.2\textrm{ eV/c}^2$ (90$\%$ C.L.) by precisely measuring the endpoint region of the tritium $\beta$-decay spectrum. It uses a tandem of electrostatic spectrometers working as MAC-E (magnetic adiabatic collimation combined with an electrostatic) filters. In the space between the pre-spectrometer and the main spectrometer, an unavoidable Penning trap is created when the superconducting magnet between the two spectrometers, biased at their respective nominal potentials, is energized. The electrons accumulated in this trap can lead to discharges, which create a…
Gamma-induced background in the KATRIN main spectrometer
2019
The KATRIN experiment aims to measure the effective electron antineutrino mass $$m_{\overline{\nu }_e}$$ mν¯e with a sensitivity of $${0.2}\,{\hbox {eV}/\hbox {c}^2}$$ 0.2eV/c2 using a gaseous tritium source combined with the MAC-E filter technique. A low background rate is crucial to achieving the proposed sensitivity, and dedicated measurements have been performed to study possible sources of background electrons. In this work, we test the hypothesis that gamma radiation from external radioactive sources significantly increases the rate of background events created in the main spectrometer (MS) and observed in the focal-plane detector. Using detailed simulations of the gamma flux in the e…
Molecular mechanism of T-cell protein tyrosine phosphatase (TCPTP) activation by mitoxantrone.
2013
T-cell protein tyrosine phosphatase (TCPTP) is a ubiquitously expressed non-receptor protein tyrosine phosphatase. It is involved in the negative regulation of many cellular signaling pathways. Thus, activation of TCPTP could have important therapeutic applications in diseases such as cancer and inflammation. We have previously shown that the α-cytoplasmic tail of integrin α1β1 directly binds and activates TCPTP. In addition, we have identified in a large-scale high-throughput screen six small molecules that activate TCPTP. These small molecule activators include mitoxantrone and spermidine. In this study, we have investigated the molecular mechanism behind agonist-induced TCPTP activation.…
Thermal and pressure-induced spin crossover in a novel three-dimensional Hoffman-like clathrate complex
2011
The synthesis and crystal structure of the interpenetrated metal–organic framework material Fe(bpac)2[Ag(CN)2]2 (bpac = 4,4′-bis(pyridyl)acetylene) are reported along with the characterization of its spin crossover properties by variable temperature magnetometry and Mossbauer spectroscopy. The complex presents an incomplete stepped spin transition as a function of temperature that is modified upon successive thermal cycling. The pressure-induced transition has also been investigated by means of high pressure Raman spectroscopy using a diamond anvil cell. The results show that it is possible to reach the thermally-inaccessible fully low spin state at room temperature by applying hydrostatic …
Pressure-Induced High Spin State in [Fe(btr)2(NCS)2]·H2O (btr = 4,4′-bis-1,2,4-triazole)
2000
Application of hydrostatic pressure (≤ 10.5 kbar) on the two-dimensional spin transition compound [Fe(btr)2(NCS)2]·H2O (btr = 4,4‘-bis-1,2,4-triazole) results in an unexpected stabilization of the HS state. On release of the pressure, the HS state is found to be partially trapped. After thermal relaxation of the metastable HS state obtained by the LIESST effect (light-induced excited spin state trapping), a pure LS state is obtained in contrast to the pressure experiments. This different behavior supports a structural phase transition as the likely basis of the pressure-induced HS state.