scholarly journals Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics

Author(s):  
Saranya Natarajan ◽  
David Broman
1954 ◽  
Vol 21 (2) ◽  
pp. 79-92 ◽  
Author(s):  
Henry Margenau
Keyword(s):  

2020 ◽  
Vol 19 (6) ◽  
pp. 1-27
Author(s):  
Ioannis Latifis ◽  
Karthick Parashar ◽  
Grigoris Dimitroulakos ◽  
Hans Cappelle ◽  
Christakis Lezos ◽  
...  
Keyword(s):  

2021 ◽  
pp. 1-17
Author(s):  
Stefan Bernhard ◽  
Stefan Hug ◽  
Alexander Elias Paul Stratmann ◽  
Maike Erber ◽  
Laura Vidoni ◽  
...  

A sufficient response of neutrophil granulocytes stimulated by interleukin (IL)-8 is vital during systemic inflammation, for example, in sepsis or severe trauma. Moreover, IL-8 is clinically used as biomarker of inflammatory processes. However, the effects of IL-8 on cellular key regulators of neutrophil properties such as the intracellular pH (pH<sub>i</sub>) in dependence of ion transport proteins and during inflammation remain to be elucidated. Therefore, we investigated in detail the fundamental changes in pH<sub>i</sub>, cellular shape, and chemotactic activity elicited by IL-8. Using flow cytometric methods, we determined that the IL-8-induced cellular activity was largely dependent on specific ion channels and transporters, such as the sodium-proton exchanger 1 (NHE1) and non-NHE1-dependent sodium flux. Exposing neutrophils in vitro to a proinflammatory micromilieu with N-formyl-Met-Leu-Phe, LPS, or IL-8 resulted in a diminished response regarding the increase in cellular size and pH. The detailed kinetics of the reduced reactivity of the neutrophil granulocytes could be illustrated in a near-real-time flow cytometric measurement. Last, the LPS-mediated impairment of the IL-8-induced response in neutrophils was confirmed in a translational, animal-free human whole blood model. Overall, we provide novel mechanistic insights for the interaction of IL-8 with neutrophil granulocytes and report in detail about its alteration during systemic inflammation.


2021 ◽  
Vol 151 ◽  
pp. 94-111
Author(s):  
Shriram Ramesh ◽  
Animesh Baranawal ◽  
Yogesh Simmhan

Materials ◽  
2021 ◽  
Vol 14 (4) ◽  
pp. 728
Author(s):  
David Donnermeyer ◽  
Magdalena Ibing ◽  
Sebastian Bürklein ◽  
Iris Weber ◽  
Maximilian P. Reitze ◽  
...  

The aim of this study was to gain information about the effect of thermal treatment of calcium silicate-based sealers. BioRoot RCS (BR), Total Fill BC Sealer (TFBC), and Total Fill BC Sealer HiFlow (TFHF) were exposed to thermal treatment at 37 °C, 47 °C, 57 °C, 67 °C, 77 °C, 87 °C and 97 °C for 30 s. Heat treatment at 97 °C was performed for 60 and 180 s to simulate inappropriate application of warm obturation techniques. Thereafter, specimens were cooled to 37 °C and physical properties (setting time/flow/film thickness according to ISO 6876) were evaluated. Chemical properties (Fourier-transform infrared spectroscopy) were assessed after incubation of the specimens in an incubator at 37 °C and 100% humidity for 8 weeks. Statistical analysis of physical properties was performed using the Kruskal-Wallis-Test (P = 0.05). The setting time, flow, and film thickness of TFBC and TFHF were not relevantly influenced by thermal treatment. Setting time of BR decreased slightly when temperature of heat application increased from 37 °C to 77 °C (P < 0.05). Further heat treatment of BR above 77 °C led to an immediate setting. FT-IR spectroscopy did not reveal any chemical changes for either sealers. Thermal treatment did not lead to any substantial chemical changes at all temperature levels, while physical properties of BR were compromised by heating. TFBC and TFHF can be considered suitable for warm obturation techniques.


2020 ◽  
Vol 18 (1) ◽  
pp. 303-313 ◽  
Author(s):  
Aamir Rasheed ◽  
Tahseen Ghous ◽  
Sumaira Mumtaz ◽  
Muhammad Nadeem Zafar ◽  
Kalsoom Akhter ◽  
...  

AbstractIn the present work, a novel continuous flow system (CFS) is developed for the preconcentration and determination of Cr (VI) using Pseudomonas aeruginosa static biomass immobilized onto an effective and low-cost solid support of powdered eggshells. A mini glass column packed with the immobilized biosorbent is incorporated in a CFS for the preconcentration and determination of Cr (VI) from aqueous solutions. The method is based on preconcentration, washing and elution steps followed by colorimetric detection with 1,5-diphenyl carbazide in sulphuric acid. The effects of several variables such as pH, retention time, flow rate, eluent concentration and loaded volume are studied. Under optimal conditions, the CFS method has a linear range between 10 and 100 μg L-1 and a detection limit of 6.25 μg L-1 for the determination of Cr (VI). The sampling frequency is 10 samples per hour with a preconcentration time of 5 mins. Furthermore, after washing with a 0.1 M buffer (pH 3.0), the activity of the biosorbent is regenerated and remained comparable for more than 200 cycles. Scanning electron microscopy reveals a successful immobilization of biomass on eggshells powder and precipitation of Cr (VI) on the bacterial cell surface. The proposed method proves highly sensitive and could be suitable for the determination of Cr (VI) at an ultra-trace level.


Sign in / Sign up

Export Citation Format

Share Document