The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Effect of 3D grain structure representation in polycrystal simulations (Q352844) (← links)
- Efficient recovery-based error estimation for the smoothed finite element method for smooth and singular linear elasticity (Q352849) (← links)
- An approach for simulating microstructures of polycrystalline materials (Q352853) (← links)
- A contact algorithm for shell problems via Delaunay-based meshing of the contact domain (Q352855) (← links)
- Asymmetric quadrilateral shell elements for finite strains (Q352860) (← links)
- Monolithic and partitioned time integration methods for real-time heterogeneous simulations (Q352862) (← links)
- Tandem queues with impatient customers for blood screening procedures (Q352888) (← links)
- Markov chains competing for transitions: application to large-scale distributed systems (Q352904) (← links)
- A class of quantum low-density parity check codes by combining seed graphs (Q352913) (← links)
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Multi-completion with termination tools (Q352956) (← links)
- Uncurrying for termination and complexity (Q352959) (← links)
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Simulating circuit-level simplifications on CNF (Q352967) (← links)
- Case splitting in an automatic theorem prover for real-valued special functions (Q352970) (← links)
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Paramodulation with non-monotonic orderings and simplification (Q352977) (← links)
- Geometric algebra for multidimension-unified geographical information system (Q353021) (← links)
- Induced representations and hypercomplex numbers (Q353028) (← links)
- Sparse adaptive approximation of high dimensional parametric initial value problems (Q353046) (← links)
- Chaos in a seasonally perturbed SIR model: avian influenza in a seabird colony as a paradigm (Q353081) (← links)
- The Morris-Lecar neuron model embeds a leaky integrate-and-fire model (Q353094) (← links)
- Optimal control approach to termination of re-entry waves in cardiac electrophysiology (Q353099) (← links)
- Computing the conjugate of convex piecewise linear-quadratic bivariate functions (Q353145) (← links)
- A model-based approach and analysis for multi-period networks (Q353173) (← links)
- Subgradient method for nonconvex nonsmooth optimization (Q353174) (← links)
- Optimizing experimental design in genetics (Q353179) (← links)
- The design of laminates as a global optimization problem (Q353184) (← links)
- Modularity-based decompositions for valued CSP (Q353312) (← links)
- Regular maps of graphs of order \(4p\) (Q353587) (← links)
- Toward microeconomic allocation of resources in multi-service overlay networks (Q353696) (← links)
- Multiperiod optimal planning of thermal generation using cross decomposition (Q353701) (← links)
- Least-modules estimates for spatial autoregression coefficients (Q353728) (← links)
- Decomposition of systems of Boolean functions determined by binary decision diagrams (Q353738) (← links)
- Recognizing recurrent neural networks (rRNN): Bayesian inference for recurrent neural net\-works (Q353805) (← links)
- Efficient and robust associative memory from a generalized Bloom filter (Q353819) (← links)
- Regularized logistic regression and multiobjective variable selection for classifying MEG data (Q353839) (← links)
- Bifurcation control of the Morris-Lecar neuron model via a dynamic state-feedback control (Q353849) (← links)
- Human hand modelling: kinematics, dynamics, applications (Q353861) (← links)
- A saliency-based bottom-up visual attention model for dynamic scenes analysis (Q353884) (← links)
- Asymmetry in neural fields: a spatiotemporal encoding mechanism (Q353887) (← links)
- Measuring frequency domain Granger causality for multiple blocks of interacting time series (Q353890) (← links)
- Delay-induced oscillations in Wilson and Cowan's model: an analysis of the subthalamo-pallidal feedback loop in healthy and parkinsonian subjects (Q353891) (← links)
- A novel method for the identification of synchronization effects in multichannel ECoG with an application to epilepsy (Q353892) (← links)
- Metabolic cost of neuronal information in an empirical stimulus-response model (Q353894) (← links)
- Aircraft control with anti-windup compensation (Q353939) (← links)
- A very simple proof of Pascal's hexagon theorem and some applications (Q353960) (← links)
