Results 31 to 40 of about 237,519 (286)
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
Frontiers in ImagingIntroductionHomomorphic encryption (HE) enables privacy-preserving face recognition by allowing encrypted facial embeddings to be compared without decryption.
Amina Bassit +9 more
doaj +1 more source
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
, 1958 In this thesis an operational semantics for a subset of the Java Virtual Machine (JVM) is developed and presented. The subset contains standard operations such as control flow, computation, and memory management.
Shimm, Melvin G.
core +1 more source
LIN28B Promotes Cancer Cell Dissemination and Angiogenesis
Advanced Biology, EarlyView.Children diagnosed with high‐risk neuroblastoma have a 5‐year event‐free survival rate of less than 50% and poor outcomes after recurrence. Deregulation of the LIN28B oncogene can be addressed in these patients. Upregulation of LIN28B is shown to support the metastatic cascade.
Diana Corallo +8 more
wiley +1 more source
Advanced Functional Materials, EarlyView.AI is transforming the research paradigm of battery materials and reshaping the entire landscape of battery technology. This comprehensive review summarizes the cutting‐edge applications of AI in the advancement of battery materials, underscores the critical challenges faced in harnessing the full potential of AI, and proposes strategic guidance for ...
Qingyun Hu +5 more
wiley +1 more source
BMC Bioinformatics, 2007 The bio-ontology community falls into two camps: first we have biology domain experts, who actually hold the knowledge we wish to capture in ontologies; second, we have ontology specialists, who hold knowledge about techniques and best practice on ...
Aranguren Mikel +4 more
doaj +1 more source
Brain Sciences, 2021 Graph theory in the last two decades penetrated sociology, molecular biology, genetics, chemistry, computer engineering, and numerous other fields of science.
Balázs Szalkai +2 more
doaj +1 more source
Formal change impact analyses for emulated control software [PDF]
, 2006 Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games.
A.C. Shaw +17 more
core +3 more sources
Advanced Functional Materials, EarlyView.Advances in integrating artificial intelligence into 3D bioprinting are systematically reviewed here. Machine learning, computer vision, robotics, natural language processing, and expert systems are examined for their roles in optimizing bioprinting parameters, real‐time monitoring, quality control, and predictive maintenance.
Joao Vitor Silva Robazzi +10 more
wiley +1 more source