Search
Search Results
-
On Non-deterministic Functional Completeness
We introduce N-functional completeness as a natural generalization to non-deterministic matrices of the notion of functional completeness in ordinary... -
Functional Non-perturbative Methods
This chapter is an introduction to non-perturbative analytic functional methods for anomalies, that is the Schwinger’s proper-time method, the heat... -
Non-interactive Zero-Knowledge Functional Proofs
In this paper, we consider to generalize NIZK by empowering a prover to share a witness in a fine-grained manner with verifiers. Roughly, the prover... -
Functional linear non-Gaussian acyclic model for causal discovery
In causal discovery, non-Gaussianity has been used to characterize the complete configuration of a linear non-Gaussian acyclic model (LiNGAM),...
-
Pullback Exponential Attractors with Explicit Fractal Dimensions for Non-Autonomous Partial Functional Differential Equations
The aim of this paper is to propose a new method to construct pullback exponential attractors with explicit fractal dimensions for non-autonomous...
-
How do Android developers improve non-functional properties of software?
Nowadays there is an increased pressure on mobile app developers to take non-functional properties into account. An app that is too slow or uses much...
-
Non-adiabatic approximations in time-dependent density functional theory: progress and prospects
Time-dependent density functional theory continues to draw a large number of users in a wide range of fields exploring myriad applications involving...
-
Typed Non-determinism in Functional and Concurrent Calculi
We study functional and concurrent calculi with non-determinism, along with type systems to control resources based on linearity. The interplay... -
Towards Optimal Non-functional Requirements Elicitation and Documentation in Agile Software Development: A Case Study
In agile software development, non-functional requirements are often underspecified and improperly handled due to the focus on rapidly delivering... -
Intellectual Property Law
This chapter discusses intellectual property including patents, copyrights and trademarks. Intellectual property law deals with the rules that apply... -
Multi-input Non-interactive Functional Encryption: Constructions and Applications
We consider a non-interactive secure computation protocol that we call multi-input non-interactive functional encryption (MINI-FE). In a MINI-FE... -
Urban regeneration VS residential property characteristics: which is the most influential on property values?
Urban regenerations have always been a tool towards the improvement of the urban environment through environmental integration and thereafter the...
-
Continuous Certification of Non-functional Properties Across System Changes
Existing certification schemes implement continuous verification techniques aiming to prove non-functional (e.g., security) properties of software... -
Property
While it is obvious that AI may be an object of property and other proprietary rights, a controversial point of debate is whether AI may also be an... -
Donkey milk as a non-bovine alternative: a review of its nutri-functional properties, applications, and challenges
Elevation in incidences of cow milk protein allergies warrants the need to investigate the suitability of non-bovine milk alternatives for human...
-
Decryption of sequence, structure, and functional features of SINE repeat elements in SINEUP non-coding RNA-mediated post-transcriptional gene regulation
RNA structure folding largely influences RNA regulation by providing flexibility and functional diversity. In silico and in vitro analyses are...
-
Cryptographic Primitives with Hinting Property
A hinting pseudorandom generator (PRG) is a potentially stronger variant of PRG with a “deterministic” form of circular security with respect to the...
-
Non-invasive assessment of stimulation-specific changes in cerebral glucose metabolism with functional PET
PurposeFunctional positron emission tomography (fPET) with [ 18 F]FDG allows quantification of stimulation-induced changes in glucose metabolism...
-
Global Intellectual Property Law
Globalization may be defined as a process, or a series of processes, to create and consolidate a unified world economy, a single ecological system...