Results 221 to 230 of about 639,060 (269)
Some of the next articles are maybe not open access.
2014
Cascade is a program static analysis tool developed at New York University. Cascade takes as input a program and a control file. The control file specifies one or more assertions to be checked together with restrictions on program behaviors. The tool generates verification conditions for the specified assertions and checks them using an SMT solver ...
Wei Wang 0062 +2 more
openaire +1 more source
Cascade is a program static analysis tool developed at New York University. Cascade takes as input a program and a control file. The control file specifies one or more assertions to be checked together with restrictions on program behaviors. The tool generates verification conditions for the specified assertions and checks them using an SMT solver ...
Wei Wang 0062 +2 more
openaire +1 more source
The cascade vulnerability problem
Proceedings 1993 IEEE Computer Society Symposium on Research in Security and Privacy, 1993A network of computers is vulnerable to the cascading problem when data of a security level d can be passed to a user with a lower security clearance u elsewhere on the network, without having to defeat any single component of the system that has an accreditation range great enough to allow users of level u and data of level d on a single system.
Joseph D. Horton +7 more
openaire +1 more source
Journal of the Operational Research Society, 2006
This paper presents results from a bulk service queueing system, where the main service takes place at fixed time intervals, but where back-up (or relief) services may be introduced in times of heavy demand on the system. On occasions the back-up service itself may receive further back-up services, thus leading to the concept of a cascade of queues ...
openaire +1 more source
This paper presents results from a bulk service queueing system, where the main service takes place at fixed time intervals, but where back-up (or relief) services may be introduced in times of heavy demand on the system. On occasions the back-up service itself may receive further back-up services, thus leading to the concept of a cascade of queues ...
openaire +1 more source
IEEE Transactions on Information Theory, 1993
Summary: Pseudorandom binary sequences with high linear complexity and low correlation function values are sought in many applications of modern communication systems. A new family of pseudorandom binary sequences, cascaded GMW sequences, is constructed.
Andrew Klapper +2 more
openaire +1 more source
Summary: Pseudorandom binary sequences with high linear complexity and low correlation function values are sought in many applications of modern communication systems. A new family of pseudorandom binary sequences, cascaded GMW sequences, is constructed.
Andrew Klapper +2 more
openaire +1 more source
2005
Neural network ensembles are widely use for classification and regression problems as an alternative to the use of isolated networks. In many applications, ensembles has proven a performance above the performance of just one network. In this paper we present a new approach to neural network ensembles that we call “cascade ensembles”. The approach is
Nicolás García-Pedrajas +3 more
openaire +1 more source
Neural network ensembles are widely use for classification and regression problems as an alternative to the use of isolated networks. In many applications, ensembles has proven a performance above the performance of just one network. In this paper we present a new approach to neural network ensembles that we call “cascade ensembles”. The approach is
Nicolás García-Pedrajas +3 more
openaire +1 more source
Hemodialysis International, 2006
AbstractThe coagulation cascade is now recognized to be a series of proteolytic events mainly localized to the surface of activated platelets. Once platelets become activated by exposure to activated endothelium, they release mediators such as P‐selectin and von Willebrand factor that promote microvesicle formation and platelet adherence.
openaire +2 more sources
AbstractThe coagulation cascade is now recognized to be a series of proteolytic events mainly localized to the surface of activated platelets. Once platelets become activated by exposure to activated endothelium, they release mediators such as P‐selectin and von Willebrand factor that promote microvesicle formation and platelet adherence.
openaire +2 more sources
IEEE Transactions on Electronic Computers, 1965
A new principle and circuit for the generation of the product of two variables is described in which the required result is a linear combination of readily produced secondary variables. The product of two variables can be expanded in a series in which each term is derived from the preceding one and from an auxiliary variable by linear operations and by
openaire +1 more source
A new principle and circuit for the generation of the product of two variables is described in which the required result is a linear combination of readily produced secondary variables. The product of two variables can be expanded in a series in which each term is derived from the preceding one and from an auxiliary variable by linear operations and by
openaire +1 more source
Enzyme Mimics for Engineered Biomimetic Cascade Nanoreactors: Mechanism, Applications, and Prospects
Advanced Functional Materials, 2021Zhiwen Zhang, Yongning Wu, Guang Chen
exaly