Results 21 to 30 of about 735,212 (267)
Completeness of Flat Coalgebraic Fixpoint Logics
, 2010 Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type.
Gastin, P. +3 more
core +1 more source
Representation results for defeasible logic [PDF]
, 2000 The importance of transformations and normal forms in logic programming, and generally in computer science, is well documented. This paper investigates transformations and normal forms in the context of Defeasible Logic, a simple but efficient formalism ...
Antoniou, G. +3 more
core +7 more sources
Systematic profiling of cancer‐fibroblast interactions reveals drug combinations in ovarian cancer
Molecular Oncology, EarlyView.Fibroblasts, cells in the tumor environment, support ovarian cancer cell growth and alter morphology and drug response. We used fibroblast and cancer cell co‐culture models to test 528 drugs and discovered new drugs for combination treatment. We showed that adding Vorinostat or Birinapant to standard chemotherapy may improve drug response, suggesting ...
Greta Gudoityte +10 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This study explores combining two existing aerospace titanium alloy powders, processing them via field‐assisted sintering technology and the subsequent discovery of a novel alloy composition, termed S23, with ultra‐high tensile toughness. Fine‐scale alpha precipitates favorably form in the alloy despite the relatively slow cooling, providing an ...
Samuel Lister +2 more
wiley +1 more source
Modal logics are coalgebraic [PDF]
, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Cirstea, Corina +4 more
core +5 more sources
Advanced Engineering Materials, EarlyView.A powerful electronic control system enables a dielectric elastomer pump to operate at resonance, matching conventional pump performance. Using self‐sensing to reconstruct load pressure dynamically, the adaptive control adjusts resonance frequency accordingly.
Matthias Baltes +3 more
wiley +1 more source
Tarski's influence on computer science
, 2006 The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of ...
Prakash Panangaden, Solomon Feferman
core +2 more sources
Higher-Order Termination: from Kruskal to Computability [PDF]
, 2006 Termination is a major question in both logic and computer science. In logic, termination is at the heart of proof theory where it is usually called strong normalization (of cut elimination).
C. Borralleras +13 more
core +9 more sources
Spin‐Selective Anisotropic Magnetoresistance Driven by Chirality in DNA
Advanced Functional Materials, EarlyView.It is shown that magnetoresistance (MR) measurements carried out as a function of angular dependence between the magnetic field and a chiral (DNA) interface provide a valuable new insight into the charge transport mechanism associated with the chiral‐induced spin selectivity (CISS) effect.
Tapan Kumar Das +4 more
wiley +1 more source
Bisimulation, Logic and Reachability Analysis for Markovian Systems [PDF]
, 2008 In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verification is called stochastic reachability analysis, while in computer science ...
Bujorianu, L.M., Bujorianu, M.C.
core +2 more sources