Results 131 to 140 of about 2,116,656 (327)
Computing edge version of metric dimension of certain chemical networks
In the modern digital sphere, graph theory is a significant field of research that has a great deal of significance. It finds widespread application in computer science, robotic directions, and chemistry.
Muhammad Umer Farooq+5 more
doaj +1 more source
Trace Expressiveness of Timed and Probabilistic Automata [PDF]
Automata expressiveness is an essential feature in understanding which of the formalisms available should be chosen for modelling a particular problem. Probabilistic and stochastic automata are suitable for modelling systems exhibiting probabilistic behavior and their expressiveness has been studied relative to non-probabilistic transition systems and ...
arxiv
Surfaceome: a new era in the discovery of immune evasion mechanisms of circulating tumor cells
In the era of immunotherapies, many patients either do not respond or eventually develop resistance. We propose to pave the way for proteomic analysis of surface‐expressed proteins called surfaceome, of circulating tumor cells. This approach seeks to identify immune evasion mechanisms and discover potential therapeutic targets. Circulating tumor cells (
Doryan Masmoudi+3 more
wiley +1 more source
METABOLÔMICA DE PLANTAS: MÉTODOS E DESAFIOS
Metabolomics has played a central role in various areas of plant sciences, offering new perspectives for the advancement of agriculture, drug discovery, chemical ecology and taxonomy.
Alan C. Pilon+9 more
doaj +1 more source
Circulating tumor DNA (ctDNA) offers a possibility for different applications in early and late stage breast cancer management. In early breast cancer tumor informed approaches are increasingly used for detecting molecular residual disease (MRD) and early recurrence. In advanced stage, ctDNA provides a possibility for monitoring disease progression and
Eva Valentina Klocker+14 more
wiley +1 more source
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation [PDF]
Algorithms like those for differentiating functional expressions manipulate the syntactic structure of mathematical expressions in a mathematically meaningful way. A formalization of such an algorithm should include a specification of its computational behavior, a specification of its mathematical meaning, and a mechanism for applying the algorithm to ...
arxiv
Regular expressions over countable words [PDF]
We investigate the expressive power of regular expressions for languages of countable words and establish their expressive equivalence with logical and algebraic characterizations. Our goal is to extend the classical theory of regular languages - defined over finite words and characterized by automata, monadic second-order logic, and regular ...
arxiv
SAMM Long Videos: A Spontaneous Facial Micro- and Macro-Expressions Dataset [PDF]
With the growth of popularity of facial micro-expressions in recent years, the demand for long videos with micro- and macro-expressions remains high. Extended from SAMM, a micro-expressions dataset released in 2016, this paper presents SAMM Long Videos dataset for spontaneous micro- and macro-expressions recognition and spotting.
arxiv
Internet addiction and compulsive computer use [PDF]
Thesis (S.M. in Science Writing)--Massachusetts Institute of Technology, Dept. of Humanities, Graduate Program in Science Writing, 2008.Includes bibliographical references (leaves 39-43).Technology use-particularly the use of the Internet-is a pervasive ...
VanCott, Rachel Diane
core
In this explorative biomarker analysis, we assessed serial sampling of circulating tumor cells (CTCs) with CellSearch in two randomized trials testing immune checkpoint inhibitors (ICIs) in metastatic breast cancer. Our data demonstrate a prognostic potential of CTCs, most apparent 4 weeks into ICI therapy.
Nikolai Kragøe Andresen+13 more
wiley +1 more source