Results 11 to 20 of about 1,698,061 (303)
Artificial Intelligence, 2021 The SAT Competitions constitute a well-established series of yearly open international algorithm implementation competitions, focusing on the Boolean satisfiability (or propositional satisfiability, SAT) problem. In this article, we provide a detailed account on the 2020 instantiation of the SAT Competition, including the new competition tracks and ...
Froleyks, Nils +4 more
openaire +4 more sources
SAT: 2D Semantics Assisted Training for 3D Visual Grounding [PDF]
IEEE International Conference on Computer Vision, 2021 3D visual grounding aims at grounding a natural language description about a 3D scene, usually represented in the form of 3D point clouds, to the targeted object region.
Zhengyuan Yang +3 more
semanticscholar +1 more source
On Explaining Random Forests with SAT [PDF]
International Joint Conference on Artificial Intelligence, 2021 Random Forest (RFs) are among the most widely used Machine Learning (ML) classifiers. Even though RFs are not interpretable, there are no dedicated non-heuristic approaches for computing explanations of RFs.
Yacine Izza, Joao Marques-Silva
semanticscholar +1 more source
Science Advances, 2021 Essay content and style have stronger relationships to household income than do SAT scores and strongly predict SAT scores.
AJ Alvero +5 more
semanticscholar +1 more source
Latency and Energy Optimization for MEC Enhanced SAT-IoT Networks
IEEE Access, 2020 Mobile edge computing (MEC) enhanced satellite based internet of things (SAT-IoT) is an important complement for terrestrial networks based IoT, especially for the remote and depopulated areas.
Gaofeng Cui +3 more
semanticscholar +1 more source
Le identità transgender tra espressioni e vincoli dei corpi. L’autodeterminazione nell’approccio medicalizzato alla transizione [PDF]
S&F_scienzaefilosofia.it, 2020 Trangender identities between body’s expression and constrictions. Self-determination in medicalized gender transition Trans identities, through their non-conforming bodies, undermine a natural order based on the correspondence between sex and gender ...
GIARDINA, GIULIA, ZABONATI, ANNALISA
doaj
The relationship between frailty and social participation: focus on subjective health
BMC Research Notes, 2023 Objective Active participation of the older adults in the society is crucial; however, frailty prevents social participation. Meanwhile, many older adults participate daily in social activities, even with frailty. This study aims to examine whether older
Yuho Shimizu +3 more
doaj +1 more source
LSTM-ANN based DTC of Induction Motor with 5 Level Inverter [PDF]
E3S Web of ConferencesMedium voltage drives especially induction motor drives are mostly using in industries for many applications. The precious intelligent control of induction motors are high required in nuclear power generation units.
Singh Satendra +3 more
doaj +1 more source
Linear time algorithm for quantum 2SAT [PDF]
, 2016 A canonical result about satisfiability theory is that the 2-SAT problem can be solved in linear time, despite the NP-hardness of the 3-SAT problem. In the quantum 2-SAT problem, we are given a family of 2-qubit projectors $\Pi_{ij}$ on a system of $n ...
Arad, Itai +3 more
core +2 more sources
Anti-SAT: Mitigating SAT Attack on Logic Locking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019 Logic locking is a technique that is proposed to protect outsourced IC designs from piracy and counterfeiting by untrusted foundries. A locked IC preserves the correct functionality only when a correct key is provided.
Yang Xie, Ankur Srivastava
semanticscholar +1 more source