Results 81 to 90 of about 518,705 (322)

Data Mining Meets Logic: Situation-Based Modal Logic and Metadata Veracity

Science & Philosophy
Logic and theoretical computer science are deeply interconnected, with logic forming a foundational pillar in the emergence of computer science. This connection has grown stronger over time, driven by advancements in symbolic systems within artificial ...
Simone Cuconato
doaj   +1 more source

Program Synthesis and Linear Operator Semantics

, 2014
For deterministic and probabilistic programs we investigate the problem of program synthesis and program optimisation (with respect to non-functional properties) in the general setting of global optimisation.
Wiklicky, Herbert
core   +2 more sources

Challenges and Future Directions in Assessing the Quality and Completeness of Advanced Materials Safety Data for Re‐Usability: A Position Paper From the Nanosafety Community

Advanced Sustainable Systems, EarlyView.
Nanosafety data provide a guiding example for establishing best practices in data management, aligning with FAIR principles and quality criteria. This review explores existing quality assessment approaches for reliability, relevance, and completeness, emphasizing the need for harmonization and adaptation to nanomaterials and advanced materials. The aim
Verónica I. Dumit, Irini Furxhi, Penny Nymark, Antreas Afantitis, Ammar Ammar, Monica J. B. Amorim, Dalila Antunes, Svetlana Avramova, Chiara L. Battistelli, Gianpietro Basei, Cecilia Bossa, Emil Cimpan, Mihaela Roxana Cimpan, Dmitri Ciornii, Anna Costa, Camilla Delpivo, Maria Dusinska, Ana Sofia Fonseca, Steffi Friedrichs, Vasile‐Dan Hodoroaba, Danail Hristozov, Panagiotis Isigonis, Nina Jeliazkova, Nikolay Kochev, Eva Kranjc, Dieter Maier, Georgia Melagraki, Anastasios G. Papadiamantis, Tomasz Puzyn, Hubert Rauscher, Katie Reilly, Araceli Sánchez Jiménez, Janeck J. Scott‐Fordsmand, Neeraj Shandilya, Hyun Kil Shin, Gergana Tancheva, Jeaphianne P. M. van Rijn, Egon L. Willighagen, Ewelina Wyrzykowska, Martine I. Bakker, Damjana Drobne, Thomas E. Exner, Martin Himly, Iseult Lynch   +43 more
wiley   +1 more source

Single‐Nucleus Multi‐Omics Reveals Hypoxia‐Driven Angiogenic Programs and Their Epigenetic Control in Sinonasal Squamous Cell Carcinoma

Advanced Science, EarlyView.
Single‐nucleus multi‐omics profiling of sinonasal squamous cell carcinoma unveils a hypoxia‐driven angiogenic axis. A specific hypoxic tumor subpopulation orchestrates endothelial tip cell differentiation via epigenetically regulated ADM and VEGFA secretion.
Chaelin You, Jaewoo Park, Jung Yeon Jang, Junho Noh, Jaehyun Lee, Geunho Kwon, Myeong Sang Yu, Yoo‐Sam Chung, Seung‐Jun Lee, Keunsoo Kang, Jihwan Park, Ji Heui Kim, Kyuho Kang   +12 more
wiley   +1 more source

Path querying on acyclic graphs using Boolean grammars

Труды Института системного программирования РАН, 2019
Graph data models are widely used in different areas of computer science such as bioinformatics, graph databases, social networks and static code analysis. One of the problems in graph data analysis is querying for specific paths.
Ekaterina Nikolaevna Shemetova, Semyon Vyatcheslavovitch Grigorev   +1 more
doaj   +1 more source

On coalgebras with internal moves

, 2014
In the first part of the paper we recall the coalgebraic approach to handling the so-called invisible transitions that appear in different state-based systems semantics.
A Joyal, A Kock, A Silva, A Sokolova, B Jacobs, B Jacobs, B Jacobs, C Baier, D Sangiorgi, E Manes, E Manes, I Hasuo, J Rutten, J Rutten, JE Hopcroft, M Barr, N Benton, P Aczel, R Milner, R Segala, RJ Glabbeek van, S Abramsky, S Mac Lane, S Staton, T Brengos, U Montanari   +25 more
core   +1 more source

Foundation Model‐Enabled Multimodal Deep Learning for Prognostic Prediction in Colorectal Cancer with Incomplete Modalities: A Multi‐Institutional Retrospective Study

Advanced Science, EarlyView.
FLARE, a multimodal AI framework, combines pathology slides, radiology scans, and clinical reports to predict colorectal cancer outcomes, even when some tests are missing. Evaluated retrospectively in 1679 patients from four medical centers, it consistently achieved the best prognostic accuracy and clearly separated high‐ and low‐risk groups.
Linhao Qu, Chengsheng Zhang, Yingyong Hou, Feng Tang, Weiqi Sheng, Dan Huang, Zhijian Song   +6 more
wiley   +1 more source

DualPG‐DTA: A Large Language Model‐Powered Graph Neural Network Framework for Enhanced Drug‐Target Affinity Prediction and Discovery of Novel CDK9 Inhibitors Exhibiting in Vivo Anti‐Leukemia Activity

Advanced Science, EarlyView.
This study introduces DualPG‐DTA, a framework integrating two pre‐trained models to generate molecular and protein representations. It constructs dual graphs processed by specialized neural networks with dynamic attention for feature fusion, achieving superior benchmark performance.
Yihao Chen, Jindi Huang, Cong Liu, Shipeng Zhang, Xinze Li, Zhang Zhang, Tie‐Gen Chen, Ling Wang   +7 more
wiley   +1 more source

CELLama: Foundation Model for Single Cell and Spatial Transcriptomics by Cell Embedding Leveraging Language Model Abilities

Advanced Science, EarlyView.
CELLama is created, a framework that harnesses language models to convert cellular data into “sentences” that represent gene expression and metadata, enabling a universal embedding of cells. Unlike most single‐cell foundation models, CELLama supports scalable analysis and offers flexible applications including spatial transcriptomics.
Jeongbin Park, Sumin Kim, Jiwon Kim, Dongjoo Lee, Sungwoo Bae, Haenara Shin, Daeseung Lee, Hongyoon Choi   +7 more
wiley   +1 more source

Exploring Clique Transversal Problems for d-degenerate Graphs with Fixed d: From Polynomial-Time Solvability to Parameterized Complexity

Axioms
This paper explores the computational challenges of clique transversal problems in d-degenerate graphs, which are commonly encountered across theoretical computer science and various network applications. We examine d-degenerate graphs to highlight their
Chuan-Min Lee
doaj   +1 more source