The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Locally monotone Boolean and pseudo-Boolean functions (Q444430) (← links)
- Discovering all associations in discrete data using frequent minimally infrequent attribute sets (Q444438) (← links)
- The maximum degree and diameter-bounded subgraph in the mesh (Q444444) (← links)
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- Safe locking for multi-threaded Java with exceptions (Q444468) (← links)
- Formal modeling and validation of a power-efficient grouping protocol for WSNs (Q444471) (← links)
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- Reverse universal resolving algorithm and inverse driving (Q444478) (← links)
- Deadlock checking by a behavioral effect system for lock handling (Q444480) (← links)
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Automated debugging based on a constraint model of the program and a test case (Q444487) (← links)
- Modal transition systems with weight intervals (Q444490) (← links)
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Termination detection for active objects (Q444506) (← links)
- Recent advances in algorithmic differentiation. Selected papers based on the presentations at the 6th international conference on automatic differentiation (AD2012), Fort Collins, CO, USA, July 23--27, 2012. (Q444619) (← links)
- A new consensus algorithm for multi-agent systems via decentralized dynamic output feedback (Q444740) (← links)
- Indoor mobile robotics at Grima, PUC (Q444773) (← links)
- Passage of a liquid drop through a bifurcation (Q444798) (← links)
- Transient meshless boundary element method for prediction of chloride diffusion in concrete with time dependent nonlinear coefficients (Q444799) (← links)
- Multiquadric and its shape parameter -- a numerical investigation of error estimate, condition number, and round-off error by arbitrary precision computation (Q444824) (← links)
- Meshless point collocation for the numerical solution of Navier-Stokes flow equations inside an evaporating sessile droplet (Q444829) (← links)
- A posteriori error estimates for the Johnson-Nédélec FEM-BEM coupling (Q444831) (← links)
- A regularization method for the approximate particular solution of nonhomogeneous Cauchy problems of elliptic partial differential equations with variable coefficients (Q444835) (← links)
- Comparison of local weak and strong form meshless methods for 2-D diffusion equation (Q444840) (← links)
- Numerical modeling and simulation of pulsatile blood flow in rigid vessel using gradient smoothing method (Q444842) (← links)
- CMRH method as iterative solver for boundary element acoustic systems (Q444847) (← links)
- On error control in the element-free Galerkin method (Q444851) (← links)
- Meshless local Petrov-Galerkin analysis of free convection of nanofluid in a cavity with wavy side walls (Q444868) (← links)
- A new MLPG method for elastostatic problems (Q444871) (← links)
- A least squares procedure for the evaluation of multiple generalized stress intensity factors at 2D multimaterial corners by BEM (Q444873) (← links)
- The algebraic combinatorics of snakes (Q444898) (← links)
- An explicit formula for the number of permutations with a given number of alternating runs (Q444901) (← links)
- Asymptotic normality of posterior distributions for generalized linear mixed models (Q444957) (← links)
- Bootstrapping in non-regular smooth function models (Q444959) (← links)
- Change-point analysis in increasing dimension (Q444964) (← links)
- The inverse Riesz probability distribution on symmetric matrices (Q444968) (← links)
- Likelihood inference in small area estimation by combining time-series and cross-sectional data (Q444975) (← links)
- Simultaneous multiple response regression and inverse covariance matrix estimation via penalized Gaussian maximum likelihood (Q444979) (← links)
- Gaussian approximation of conditional elliptical copulas (Q444996) (← links)
- Hearing the clusters of a graph: A distributed algorithm (Q445023) (← links)
- On stochastic gradient and subgradient methods with adaptive steplength sequences (Q445032) (← links)
- Stochastic receding horizon control with output feedback and bounded controls (Q445037) (← links)
- Simultaneous optimization of performance weights and a controller in mixed-\(\mu\) synthesis (Q445045) (← links)
- A constraint sampling approach for multi-stage robust optimization (Q445078) (← links)
- Root locus for SISO dead-time systems: A continuation based approach (Q445082) (← links)
- Multiobjective hierarchical control architecture for greenhouse crop growth (Q445083) (← links)
- Oops! I cannot do it again: testing for recursive feasibility in MPC (Q445103) (← links)
- Stochastically exponential stability and stabilization of uncertain linear hyperbolic PDE systems with Markov jumping parameters (Q445109) (← links)
