Results 61 to 70 of about 2,767,476 (321)

Semantic rule-checking for regulation compliance checking: an overview of strategies and approaches [PDF]

, 2015
As more and more architectural design and construction data is represented in the Resource Description Framework (RDF) data model, it makes sense to take advantage of the underlying logical basis of RDF and realise a semantic rule-checking process as it ...
Zhang, Sijie, Pauwels, Pieter
core  

Integration of Automated Safety Rule Checking (ASRC) System for Safety Planning BIM-Based Projects in Malaysia☆

, 2016
It has been observed that safety and project execution planning has been carried out separately for most Building Information Modelling (BIM)-Based projects.
R. Takim, M. H. Zulkifli, A. H. Nawawi
semanticscholar   +1 more source

Log Posterior Approach in Learning Rules Generated using N-Gram based Edit distance for Keyword Search

Journal of Intelligent Systems, 2018
Challenging searching mechanisms are required to cater to the needs of search engine users in probing the voluminous web database. Searching the query matching keyword based on a probabilistic approach is attractive in most of the application areas, viz.
Priya M., Kalpana R.
doaj   +1 more source

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

Differential expression of cancer‐related genes supports prediction of poor response to first‐line treatments in T‐ALL pediatric patients with high minimal residual disease

Molecular Oncology, EarlyView.
In the present work, we have identified a transcriptional signature based on the differential expression of six genes (BCL2&MAST4, HSH2D&LAT2, METRN&PITPNM2) that would facilitate the early detection of T‐cell acute lymphoblastic leukemia (T‐ALL) patients prone to a poor treatment response and could be implemented at diagnosis, along with other risk ...
Antonio Lahera, Laura Vela‐Martín, Pablo Fernández‐Navarro, José Luis López‐Lorenzo, Javier Cornago, Pilar Llamas, Eduardo Pérez‐Gómez, José Luis Marín‐Rubio, Manuel Fresno, Javier Santos, José Fernández‐Piqueras, María Villa‐Morales   +11 more
wiley   +1 more source

Generative AI for Education in Infrastructure Systems: Lessons from a BIM-Based Rule-Checking

Computers
This study investigates the educational potential of Large Language Models (LLMs) for automating rule-checking tasks in Building Information Modeling (BIM) instruction.
Islem Sahraoui, Kinam Kim, Lu Gao, Zia Ud Din, Ahmed Senouci   +4 more
doaj   +1 more source

Interaction of HS1BP3 with cortactin modulates TKS5 localisation, cell secretion and cancer malignancy

Molecular Oncology, EarlyView.
Here, we demonstrate that HS1BP3 interacts with Cortactin through a proline‐rich region (PRR3.1) and show that this interaction, and HS1BP3 itself, promote cancer cell proliferation and invasion. Inhibition of this interaction leads to build‐up of TKS5 in multivesicular endosomes and altered secretion of CD63 and CD9, providing an explanation for the ...
Arja Arnesen Løchen, Kristiane Søreng, Chiara Veroni, Laura Trachsel‐Moncho, Nagham Asp, Robin Gaupset, Lars Gustav Lyckander, Helene Knævelsrud, Lars Eftang, Anne Simonsen   +9 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

Checking the triple product rule for the compression and expansion of gases

Physics Open
It is shown here that the well-known thermodynamic relation which stems from the Euler's Chain Relationship is not valid for descriptions of the compression and expansion of gases.
Igor A. Stepanov
doaj   +1 more source