Results 31 to 40 of about 189,135 (277)
Specifying ODP computational objects in Z [PDF]
, 1996 The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable interworking.
B Meyer +6 more
core +2 more sources
Formal Verification of Security Protocol Implementations: A Survey [PDF]
, 2014 Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages.
A Bauer +27 more
core +3 more sources
Multi-Image Encryption Method via Computational Integral Imaging Algorithm
Entropy, 2022 Under the framework of computational integral imaging, a multi-image encryption scheme based on the DNA-chaos algorithm is proposed. In this scheme, multiple images are merged to one image by a computational integral imaging algorithm, which ...
Xiaowu Li, Chuying Yu, Junfeng Guo
doaj +1 more source
A Superfast Super-Resolution Method for Radar Forward-Looking Imaging
Sensors, 2021 The super-resolution method has been widely used for improving azimuth resolution for radar forward-looking imaging. Typically, it can be achieved by solving an undifferentiable L1 regularization problem. The split Bregman algorithm (SBA) is a great tool
Weibo Huo +5 more
doaj +1 more source
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
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
Artificial Intelligence as the Next Visionary in Liquid Crystal Research
Advanced Functional Materials, EarlyView.The functions of AI in the research laboratory are becoming increasingly sophisticated, allowing the entire process of hypothesis formulation, material design, synthesis, experimental design, and reiterative testing to be automated. In our work, we conceive how the incorporation of AI in the laboratory environment will transform the role and ...
Mert O. Astam +2 more
wiley +1 more source
A More Efficient Conditional Private Preservation Scheme in Vehicular Ad Hoc Networks
Applied Sciences, 2018 It is a challenging issue to provide a secure and conditional anonymous authentication scheme in vehicle ad hoc networks (VANETs) with low storage space and computational cost. In 2008, Lu et al.
Tao Wang, Xiaohu Tang
doaj +1 more source
Black Holes and Complexity via Constructible Universe
Universe, 2020 The relation of randomness and classical algorithmic computational complexity is a vast and deep subject by itself. However, already, 1-randomness sequences call for quantum mechanics in their realization.
Jerzy Król, Paweł Klimasara
doaj +1 more source
Constraint-based computational semantics : a comparison between LTAG and LRS [PDF]
, 2006 This paper compares two approaches to computational semantics, namely semantic unification in Lexicalized Tree Adjoining Grammars (LTAG) and Lexical Resource Semantics (LRS) in HPSG.
Kallmeyer, Laura, Richter, Frank
core