Results 61 to 70 of about 973,180 (337)
One-way quantum computing in superconducting circuits
, 2018 We propose a method for the implementation of one-way quantum computing in superconducting circuits. Measurement-based quantum computing is a universal quantum computation paradigm in which an initial cluster-state provides the quantum resource, while ...
Albarrán-Arriagada, F. +6 more
core +1 more source
Experience on material implication computing with an electromechanical memristor emulator [PDF]
, 2016 Memristors are being considered as a promising emerging device able to introduce new paradigms in both data storage and computing. In this paper the authors introduce the concept of a quasi-ideal experimental device that emulates the fundamental behavior
Escudero López, Manuel +5 more
core +1 more source
From omics to AI—mapping the pathogenic pathways in type 2 diabetes
FEBS Letters, EarlyView.Integrating multi‐omics data with AI‐based modelling (unsupervised and supervised machine learning) identify optimal patient clusters, informing AI‐driven accurate risk stratification. Digital twins simulate individual trajectories in real time, guiding precision medicine by matching patients to targeted therapies.
Siobhán O'Sullivan +2 more
wiley +1 more source
On the identity type as the type of computational paths [PDF]
Logic Journal of the IGPL, 2017 We introduce a new way of formalizing the intensional identity type based on the fact that a entity known as computational paths can be interpreted as terms of the identity type. Our approach enjoys the fact that our elimination rule is easy to understand and use.
Anjolina Grisi de Oliveira +2 more
openaire +2 more sources
Computational Paths and the Fundamental Groupoid of a Type
Anais do VI Encontro de Teoria da Computação (ETC 2021), 2021 Using computational paths as the fundamental concept, we show that we can leverage Category Theory to propose the concept of fundamental groupoid of a type.
Arthur F. Ramos +2 more
openaire +4 more sources
Efficient implicit simulation for incremental forming [PDF]
, 2010 Single Point Incremental Forming (SPIF) is a displacement controlled process performed on a CNC machine. A clamped blank is deformed by the movement of a small sized tool that follows a prescribed tool path.
Boogaard, A.H. van den, Hadoush, A.
core +1 more source
FEBS Letters, EarlyView.Single‐cell RNA sequencing reveals an opposite role of SLPI in basal tumors based on metastatic spread, along with shared activation of specific regulons in cancer cells and mature luminal lactocytes, as well as downregulation of MALAT1 and NEAT1 in the latter.
Pietro Ancona +4 more
wiley +1 more source
Algorithms for computing QoS paths with restoration [PDF]
IEEE/ACM Transactions on Networking, 2003 There is a growing interest among service providers to offer new services with quality of service (QoS) guaranties that are also resilient to failures. Supporting QoS connections requires the existence of a routing mechanism, that computes the QoS paths, i.e., paths that satisfy QoS constraints (e.g., delay or bandwidth). Resilience to failures, on the
Bejerano, Yigal +4 more
openaire +4 more sources
CAD Adjacency Computation Using Validated Numerics
, 2017 We present an algorithm for computation of cell adjacencies for well-based cylindrical algebraic decomposition. Cell adjacency information can be used to compute topological operations e.g.
Strzebonski, Adam
core +1 more source
Molecular Oncology, EarlyView.Combining melting curve analysis enhances the multiplexing capability of digital PCR. Here, we developed a 14‐plex assay to simultaneously measure single nucleotide mutations and amplifications of KRAS and GNAS, which are common driver genes in pancreatic cancer precursors. This assay accurately quantified variant allele frequencies in clinical samples
Junko Tanaka +10 more
wiley +1 more source