Yivi is a privacy-preserving digital identity platform that has successfully launched production deployments using IRMA/Idemix protocols based on zero-knowledge proof (ZKP) schemes. With the ...
The Delhi High Court recently granted regular bail to social media influencer Sandeepa Virk in a money laundering case in ...
The New York Court of Appeals in Government Employees Insurance Co. v. Mayzenberg upheld that insurers can deny no-fault claims based on providers’ failure to meet licensing requirements, but not ...
Chow, K. (2025) Financial Intelligence: A Crucial Pillar of National Security. Modern Economy, 16, 2032-2043. doi: 10.4236/me.2025.1612094 .
This repository contains code for the paper "Fine-Grained Predicates Learning for Scene Graph Generation (CVPR 2022)". This code is based on Scene-Graph-Benchmark.pytorch. News: An extented verison of ...
Abstract: Handling safety is crucial to achieve lifelong autonomy for robots. Unsafe situations might arise during manipulation in unstructured environments due to noises in sensory feedback, improper ...
Abstract: Advanced tools used in model-based systems engineering (MBSE) frequently represent their models as graphs. In order to test those tools, the automated generation of well-formed (or ...
Spatio-temporal model checking is perforemd with a variant of Computation Tree Logic (CTL) featuring spatial operators coming from the tradition of topological spatial logics. CTL is widely known. See ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback