The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Incomplete symbols -- definite descriptions revisited (Q253123) (← links)
- A dual-mode dynamic model of the human accommodation system (Q253210) (← links)
- Sliding window discretization: a new method for multiple band matching of bacterial genotyping fingerprints (Q253681) (← links)
- Constructing rooted supertrees using distances (Q253705) (← links)
- Competitive regulation of plant allometry and a generalized model for the plant self-thinning process (Q253721) (← links)
- Dynamics of predator-prey models with a strong Allee effect on the prey and predator-dependent trophic functions (Q253877) (← links)
- Homogenization of compressible two-phase two-component flow in porous media (Q253884) (← links)
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- Optimal cost almost-sure reachability in POMDPs (Q253969) (← links)
- Games for query inseparability of description logic knowledge bases (Q253977) (← links)
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Broken triangles: from value merging to a tractable class of general-arity constraint satisfaction problems (Q253988) (← links)
- The scope and limits of simulation in automated reasoning (Q253998) (← links)
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Aggregate data and the Prohorov metric framework: efficient gradient computation (Q254019) (← links)
- A benchmark for the surface Cahn-Hilliard equation (Q254041) (← links)
- Robustness analysis of elementary flux modes generated by column generation (Q254086) (← links)
- Modeling a dynamic bi-layer contact network of injection drug users and the spread of blood-borne infections (Q254104) (← links)
- Linear-quadratic regulator. I: A new solution (Q254118) (← links)
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- Generalized method of trimmed moments (Q254204) (← links)
- Bayes linear analysis for Bayesian optimal experimental design (Q254214) (← links)
- Orthogonal one step greedy procedure for heteroscedastic linear models (Q254223) (← links)
- Elliptical insights: understanding statistical methods through elliptical geometry (Q254335) (← links)
- Bayes model selection with path sampling: factor models and other examples (Q254343) (← links)
- On quantifying dependence: a framework for developing interpretable measures (Q254346) (← links)
- Estimating the distribution of dietary consumption patterns (Q254350) (← links)
- Estimation of HIV burden through Bayesian evidence synthesis (Q254353) (← links)
- Bayesian estimation of population-level trends in measures of health status (Q254357) (← links)
- Bayesian population projections for the united nations (Q254375) (← links)
- Discussion of big Bayes stories and BayesBag (Q254383) (← links)
- A parametric framework for the comparison of methods of very robust regression (Q254398) (← links)
- Higher criticism for large-scale inference, especially for rare and weak effects (Q254401) (← links)
- Monte Carlo null models for genomic data (Q254411) (← links)
- Capturing multivariate spatial dependence: model, estimate and then predict (Q254433) (← links)
- On the question of effective sample size in network modeling: an asymptotic inquiry (Q254438) (← links)
- A conversation with Robert C. Elston (Q254455) (← links)
- A conversation with Jerry Friedman (Q254457) (← links)
- On particle methods for parameter estimation in state-space models (Q254462) (← links)
- Fourth moments and independent component analysis (Q254467) (← links)
- A conversation with Alan Gelfand (Q254470) (← links)
- On the functional Hodrick-Prescott filter with non-compact operators (Q254482) (← links)
- Distributed control of inverter-based lossy microgrids for power sharing and frequency regulation under voltage constraints (Q254544) (← links)
- Stability analysis of feedback systems with dead-zone nonlinearities by circle and Popov criteria (Q254548) (← links)
- Analysis of a nonsmooth optimization approach to robust estimation (Q254560) (← links)
- Errors-in-variables system identification using structural equation modeling (Q254591) (← links)
- Iterative learning control based on extremum seeking (Q254596) (← links)
- Comprehensive admissibility for descriptor systems (Q254610) (← links)
- The Chebyshev points of the first kind (Q254644) (← links)
- Approximate marginalization of absorption and scattering in fluorescence diffuse optical tomography (Q254804) (← links)
