Results 51 to 60 of about 518,705 (322)
Serret-Frenet Frame and Curvatures of Bézier Curves
Mathematics, 2018 The aim of this study is to view the role of Bézier curves in both the Euclidean plane E 2 and Euclidean space E 3 with the help of the fundamental algorithm which is commonly used in Computer Science and Applied Mathematics and without ...
Esra Erkan, Salim Yüce
doaj +1 more source
Category theory : definitions and examples [PDF]
, 1990 Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic.
Srinivas, Yellamraju V.
core
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Dynamic-Epistemic reasoning on distributed systems [PDF]
, 2007 We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located (but potentially mobile), interconnected agents witnessing a distributed computation.
Mardare, Radu
core
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.Vacuum‐based deposition is promising for perovskite solar cells to be successfully commercialized. However, co‐evaporation, the most common vapor phase deposition technique, suffers from very low deposition rates. In this work, we reveal that high deposition rates can lead to carbon flakes depositing into the perovskite absorber layers due to material ...
Thomas Feeney +13 more
wiley +1 more source
A functional quantum programming language
, 2004 We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations, which provides
Altenkirch, Thorsten, Grattage, Jonathan
core +8 more sources
Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
, 2009 We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Norman, G. +3 more
core +3 more sources
Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics
Advanced Functional Materials, EarlyView.Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha +18 more
wiley +1 more source
HeliyonThis study presents a comprehensive framework to enhance Wikidata as an open and collaborative knowledge graph by integrating Open Biological and Biomedical Ontologies (OBO) and Medical Subject Headings (MeSH) keywords from PubMed publications.
Houcemeddine Turki +6 more
doaj +1 more source