Results 41 to 50 of about 549,692 (299)

BRIoT: Behavior Rule Specification-Based Misbehavior Detection for IoT-Embedded Cyber-Physical Systems

IEEE Access, 2019
The identification of vulnerabilities in a mission-critical system is one of the challenges faced by a cyber-physical system (CPS). The incorporation of embedded Internet of Things (IoT) devices makes it tedious to identify vulnerability and difficult to
Vishal Sharma, Ilsun You, Kangbin Yim, Ing-Ray Chen, Jin-Hee Cho   +4 more
doaj   +1 more source

Development of Quality Control Requirements for Improving the Quality of Architectural Design Based on BIM

Applied Sciences, 2020
Building information modeling (BIM) technology has been utilized increasingly in quantitative ways in the architecture, engineering, and construction disciplines.
Jungsik Choi, Sejin Lee, Inhan Kim
doaj   +1 more source

You can’t suggest that?!

Nordlyd: Tromsø University Working Papers on Language & Linguistics, 2022
In this article, we study correction of spelling errors, specifically on how the spelling errors are made and how can we model them computationally in order to fix them.
Heiki-Jaan Kaalep, Flammie Pirinen, Sjur Moshagen   +2 more
doaj   +1 more source

Detection of circulating tumor DNA in colorectal cancer patients using a methylation‐specific droplet digital PCR multiplex

Molecular Oncology, EarlyView.
We developed a cost‐effective methylation‐specific droplet digital PCR multiplex assay containing tissue‐conserved and tumor‐specific methylation markers. The assay can detect circulating tumor DNA with high accuracy in patients with localized and metastatic colorectal cancer.
Luisa Matos do Canto, Louise Raunkilde, Jan Lindebjerg, Mads Malik Aagaard, Christina Therkildsen, Jakob Kleif, Lars Henrik Jensen, Torben Frøstrup Hansen, Rikke Fredslund Andersen   +8 more
wiley   +1 more source

Money in monetary policy design under uncertainty: a formal characterization of ECB-style cross-checking [PDF]

, 2006
The European Central Bank has assigned a special role to money in its two pillar strategy and has received much criticism for this decision. The case against including money in the central bank’s interest rate rule is based on a standard model of the ...
Beck, Günter W., Wieland, Volker
core  

Monitoring of circulating tumor DNA allows early detection of disease relapse in patients with operable breast cancer

Molecular Oncology, EarlyView.
Monitoring circulating tumor DNA (ctDNA) in patients with operable breast cancer can reveal disease relapse earlier than radiology in a subset of patients. The failure to detect ctDNA in some patients with recurrent disease suggests that ctDNA could serve as a supplement to other monitoring approaches.
Kristin Løge Aanestad, Marie Austdal, Oddmund Nordgård, Gunnar Mellgren, Satu Oltedal, Marie L. Austbø, Ylva H. Vignes, Thomas Helland, Kristin Jonsdottir, Tone H. Lende, Emilius A. M. Janssen, Bjørnar Gilje, Kjersti Tjensvoll, PBCB study group, Gunnar Mellgren, Tone Hoel Lende, Anette Heie, Kristin Viste, Anita Røyneberg Alvheim, Emiel AM Janssen, Kristin Jonsdottir, Ann Cathrine Kroksveen, Thomas Helland, Einar Gudlaugsson, Oddmund Nordgård, Satu Oltedal, Kristin Løge Aanestad, Jan Terje Kvaløy, Kirsten Lode, Kari Britt Hagen, Marie Austdal, Ylva H. Vignes, Siri Tungland Sola, Nina Egeland Amundsen, Finn Magnus Eliassen, Emeritus Ernst A Lien   +35 more
wiley   +1 more source

Grouping based calculus for propositional linear temporal logic

Lietuvos Matematikos Rinkinys
In this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj   +3 more sources

LINC01116, a hypoxia‐lncRNA marker of pathological lymphangiogenesis and poor prognosis in lung adenocarcinoma

Molecular Oncology, EarlyView.
The LINC01116 long noncoding RNA is induced by hypoxia and associated with poor prognosis and high recurrence rates in two cohorts of lung adenocarcinoma patients. Here, we demonstrate that besides its expression in cancer cells, LINC01116 is markedly expressed in lymphatic endothelial cells of the tumor stroma in which it participates in hypoxia ...
Marine Gautier‐Isola, Rafael Lopes Goncalves, Marin Truchi, Caroline Lacoux, Célia Scribe, Hugo Cadis, Laetitia Guardini, Sophie Bekisz, Marius Ilié, Paul Hofman, Georges Vassaux, Bernard Mari, Roger Rezzonico   +12 more
wiley   +1 more source

Forwarding Tables Verification through Representative Header Sets [PDF]

, 2016
Forwarding table verification consists in checking the distributed data-structure resulting from the forwarding tables of a network. A classical concern is the detection of loops.
Boufkhad, Yacine, De La Paz, Ricardo, Linguaglossa, Leonardo, Mathieu, Fabien, Perino, Diego, Viennot, Laurent   +5 more
core   +3 more sources

The evolution of refractive status in Chinese infants during the first year of life and its affected factors [PDF]

International Journal of Ophthalmology, 2017
AIM: To study the evolution of the refractive status and examine the affected factors in infants during the first year of life in a large sample size in China.
Shu-Juan Yu, Guo-Hua Liu, Yi Liu, Jing Huang, Ming-Lei Han, Bo-Jun Zhao, Zhong-Tao Gai   +6 more
doaj   +1 more source