Results 31 to 40 of about 535,963 (306)
, 2023 The logic embedding tool is a tool for embedding non-classical logics into higher-order logic (HOL). The tool translates a TPTP problem statement formulated in a non-classical logic (using the logic specification format) into monomorphic or polymorphic ...
Alexander Steen
core +1 more source
Computing the nearest euclidean distance matrix with low embedding dimensions [PDF]
, 2013 Euclidean distance embedding appears in many high-profile applications including wireless sensor network localization, where not all pairwise distances among sensors are known or accurate.
Qi, Hou-Duo, Yuan, Xiaoming, Qi, Hou Duo
core +1 more source
Universes and simulations: Civilizational development in nested embedding
Foundations of Computing and Decision Sciences, 2018 The rapid development of technology has allowed computer simulations to become routinely used in an increasing number of fields of science. These simulations become more and more realistic, and their energetic efficiency grows due to progress in computer
Komosinski Maciej
doaj +1 more source
Social network influences on employee responses to organizational withdrawals [PDF]
Organization Management Journal, 2020 Purpose – The purpose of this paper is to develop a more detailed understanding of how embedding in different social networks relates to different types of action that individuals choose in the context of organizational closures, downsizing or ...
Frank Siedlok +2 more
doaj +1 more source
Multistatic Passive Radar for drone detection based Random Finite State
Emitter: International Journal of Engineering TechnologyConsidering the implication of radar sensors in our daily life and environment. Localizing and identifying drones are becoming a research with a greater focus in recent years.
Junior Milembolo Miantezila +3 more
doaj +1 more source
Frontiers in Bioinformatics, 2022 As one of the most important posttranslational modifications (PTMs), protein lysine glycation changes the characteristics of the proteins and leads to the dysfunction of the proteins, which may cause diseases.
Yinbo Liu +5 more
doaj +1 more source
Proceedings of the ACM on Programming Languages, 2023 Embedding is a language development technique that implements the object language as a library in a host language. There are many advantages of the approach, including being lightweight and the ability to inherit features of the host language.
Kazutaka Matsuda +3 more
openaire +3 more sources
Detecting Domain Names Generated by DGAs With Low False Positives in Chinese Domain Names
IEEE AccessAttackers are known to utilize domain generation algorithms (DGAs) to generate domain names for command and control (C&C) servers and facilitate the distribution of uniform resource locators within malicious software.
Huiju Lee +3 more
doaj +1 more source
Semi-Supervised Convolutional Neural Network for Law Advice Online
Applied Sciences, 2019 With the rapid developments of Internet technology, a mass of law cases is constantly occurring and needs to be dealt with in time. Automatic classification of law text is the most basic and critical process in the online law advice platform. Deep neural
Fen Zhao +4 more
doaj +1 more source
IEEE AccessTokenization is an important early step in natural language processing (NLP) tasks. The idea is to split the input sentence into smaller units, called tokens, for further processing.
Dorieh Alomari, Irfan Ahmad
doaj +1 more source