Results 61 to 70 of about 552,177 (296)

Targeted modulation of IGFL2‐AS1 reveals its translational potential in cervical adenocarcinoma

Molecular Oncology, EarlyView.
Cervical adenocarcinoma patients face worse outcomes than squamous cell carcinoma counterparts despite similar treatment. The identification of IGFL2‐AS1's differential expression provides a molecular basis for distinguishing these histotypes, paving the way for personalized therapies and improved survival in vulnerable populations globally.
Ricardo Cesar Cintra, Lucca Paolo Hsu Helmich, Daniel Rodrigues de Bastos, Laura Sichero, Patrícia Savio de Araujo‐Souza, Fabio Passetti, Luisa Lina Villa   +6 more
wiley   +1 more source

A Semantic Web and IFC-Based Framework for Automated BIM Compliance Checking

Buildings
In the architectural design phase, the inspection of design deliverables is critical, yet traditional manual checking methods are time-consuming, labor-intensive, and inefficient, with numerous drawbacks. With the development of BIM technology, automated
Lu Jia, Maokang Chen, Chen Chen, Yanfeng Jin   +3 more
doaj   +1 more source

Development of K-BIM e-Submission prototypical system for the openBIM-based building permit framework

Journal of Civil Engineering and Management, 2020
With the popularization of Building Information Modeling (BIM) technology, increasing numbers of countries are attempting to introduce BIM into their national building permitting processes.
Inhan Kim, Jungsik Choi, Evelyn Ai Lin Teo, Hongwei Sun   +3 more
doaj   +1 more source

Axiomatizing GSOS with Predicates [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
In this paper, we introduce an extension of the GSOS rule format with predicates such as termination, convergence and divergence. For this format we generalize the technique proposed by Aceto, Bloom and Vaandrager for the automatic generation of ground ...
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingolfsdottir   +3 more
doaj   +1 more source

The perseveration of checking thoughts and mood–as–input hypothesis [PDF]

, 2003
This paper describes two experiments designed to investigate how a current model of task perseveration, the mood-as-input hypothesis, might be applied to activities relevant to compulsive checking. The mood-as-input hypothesis predicts that perseveration
Andrews, Andy P. Field, Ayten Zara, Borkovec, Brown, Burke, C.Benie MacDonald, Christianson, Cohen, Constans, Craske, Davey, Davey, Frost, Graham C.L. Davey, Helen M. Startup, Martin, Martin, McNally, Meyer, Miguel, Rachman, Rachman, Radomsky, Rheaume, Salkovskis, Schut, Sheffler-Rubenstein, Sher, Sher, Startup, Tolin, Van den Hout, Vasey, Watkins, Watts, Williams, Wilson   +37 more
core   +1 more source

Interrogating the immune landscape of microsatellite stable RAS‐mutated colon cancer

Molecular Oncology, EarlyView.
COLOSSUS project RAS‐mutated MSS colon cancer study explored transcriptomics and immune cell density by immunohistochemistry (IHC), Immunoscore (IS), ISIC/TuLIS scores, mutation counts, and detected different prevalences but similar microenvironment composition across immune markers with clinical relevance for future immunotherapy combination ...
Rodrigo Dienstmann, Eduardo García‐Galea, Alice O'Farrell, Zak Kinsella, Maxime Meylan, Florent Petitprez, Ingrid Arijs, Tom Venken, Hari Ps, Adrian Lärkeryd, Ian Miller, Janick Selves, Nadja Meindl‐Beinker, Fiorella Ruiz‐Pace, Elena Élez, Raquel Comas‐Navarro, Frank Lincoln, Dirk Fey, Gift Nyamundanda, Aoife Nolan, Joern Lewin, Raquel Perez‐Lopez, Jonathan Briody, Kathleen Bennett, Walter Kolch, David Matallanas, Alexander Kel, Enrique Arenas, Joaquín Arribas, Bart Ghesquière, Josep Tabernero, Julie Meilleroux, Deborah McNamara, Ray McDermott, Marvin Lim, Mary O'Reilly, Brian Bird, Lisa Stack, Lucia Moloney, Patrick Morris, Keith Egan, Maciej Milewski, Lars Scheuer, Joachim Behringer, Georg Bolz, Ramon Salazar, Cristina Santos, Andrea Ruiz, Orla Casey, Verena Murphy, Matthias Ebert, Livio Trusolino, Diether Lambrechts, Anguraj Sadanandam, Catherine Sautès‐Fridman, Jochen Prehn, Paolo Nuciforo, Jacques Fieschi, Florence Monville, Darran O'Connor, Wolf Fridman, Annette Byrne   +61 more
wiley   +1 more source

Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi [PDF]

Logical Methods in Computer Science
The coalgebraic $\mu$-calculus provides a generic semantic framework for fixpoint logics over systems whose branching type goes beyond the standard relational setup, e.g. probabilistic, weighted, or game-based.
Daniel Hausmann, Lutz Schröder
doaj   +1 more source

Software Model Checking via Large-Block Encoding [PDF]

, 2009
The construction and analysis of an abstract reachability tree (ART) are the basis for a successful method for software verification. The ART represents unwindings of the control-flow graph of the program.
Alberto Griggio, Alessandro Cimatti, Dirk Beyer, Fbk-irst Trento, M. Erkan Keremoglu, Roberto Sebastiani   +5 more
core   +5 more sources

Somatic mutational landscape in von Hippel–Lindau familial hemangioblastoma

Molecular Oncology, EarlyView.
The causes of central nervous system (CNS) hemangioblastoma in Von Hippel–Lindau (vHL) disease are unclear. We used Whole Exome Sequencing (WES) on familial hemangioblastoma to investigate events that underlie tumor development. Our findings suggest that VHL loss creates a permissive environment for tumor formation, while additional alterations ...
Maja Dembic, Anne Nørremølle, Lilian Bomme Ousager, Lars van Brakel Andersen, Marie Louise Mølgaard Binderup, Mads Thomassen   +5 more
wiley   +1 more source

A Building Information Modeling Based Automated Rule-Checking Application for Zoning Regulation Compliance: The Case of Turkiye

Firat University Journal of Experimental and Computational Engineering
The aim of this study is to develop an automated rule-checking application that enables the rapid, transparent, and efficient verification of building design data, created through Building Information Modeling (BIM), in compliance with zoning regulations
Cengiz Yılmaz, Hüseyin Atilla Dikbaş
doaj   +1 more source