Results 1 to 10 of about 263,394 (160)
Cell-specific monitoring of protein synthesis in vivo. [PDF]
PLoS ONE, 2009 Analysis of general and specific protein synthesis provides important information, relevant to cellular physiology and function. However, existing methodologies, involving metabolic labelling by incorporation of radioactive amino acids into nascent ...
Nikos Kourtis, Nektarios Tavernarakis
doaj +4 more sources
PSTMonitor: Monitor synthesis from probabilistic session types [PDF]
Science of Computer Programming, 2022 We present PSTMonitor, a tool for the run-time verification of quantitative specifications of message-passing applications, based on probabilistic session types. The key element of PSTMonitor is the detection of executions that deviate from expected probabilistic behaviour.
Christian Bartolo Burlo +2 more
exaly +4 more sources
Survey and Synthesis of State of the Art in Driver Monitoring [PDF]
Sensors, 2021 Road vehicle accidents are mostly due to human errors, and many such accidents could be avoided by continuously monitoring the driver. Driver monitoring (DM) is a topic of growing interest in the automotive industry, and it will remain relevant for all vehicles that are not fully autonomous, and thus for decades for the average vehicle owner.
Anaïs Halin +2 more
openaire +5 more sources
Improving Runtime Overheads for detectEr [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs.
Ian Cassar +2 more
doaj +1 more source
Synthesis of Monitoring Rules with STL
Journal of Circuits, Systems and Computers, 2020 Online monitoring is essential to enhance the reliability for various systems including cyber-physical systems and Web services. During online monitoring, the system traces are checked against monitoring rules in real time to detect deviations from normal behaviors.
Sertaç Kagan Aydin, Ebru Aydin Gol
openaire +2 more sources
NMR reaction monitoring in flow synthesis [PDF]
Beilstein Journal of Organic Chemistry, 2017 Recent advances in the use of flow chemistry with in-line and on-line analysis by NMR are presented. The use of macro- and microreactors, coupled with standard and custom made NMR probes involving microcoils, incorporated into high resolution and benchtop NMR instruments is reviewed.
M. Victoria Gomez, Antonio de la Hoz
openaire +4 more sources
Features of simulation of operator control of unmanned aerial vehicle and its target load
Системный анализ и прикладная информатика, 2023 The article is devoted to the formulation of the problem of synthesis of the control system of an unmanned aerial vehicle (UAV) with the participation of a human operator. An analysis is made of various approaches to the synthesis of systems, models of a
P. I. Savelov, Penghao Gu, A. A. Lobaty
doaj +1 more source
Pharmaceuticals, 2021 Antibody-drug conjugates (ADCs) are biotherapeutics consisting of a tumor-targeting monoclonal antibody (mAb) linked covalently to a cytotoxic drug. Early generation ADCs were predominantly obtained through non-selective conjugation methods based on ...
Evolène Deslignière +9 more
doaj +1 more source
Photonics, 2023 In situ, real-time, and non-destructive monitoring of the synthesis of nanomaterials is essence crucial for the development and prospective applications of nanoscience and nanotechnology.
Ziyi Gong +6 more
doaj +1 more source
Protein Synthesis Rate Assessment by Fluorescence Recovery after Photobleaching (FRAP)
Bio-Protocol, 2017 Currently available biochemical methods cannot be applied to monitor protein synthesis in specific cells or tissues, in live specimens. Here, we describe a non-invasive method for monitoring protein synthesis in single cells or tissues with intrinsically
Nikos Kourtis, Nektarios Tavernarakis
doaj +1 more source