The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Bounds on the quality of reconstructed images in binary tomography (Q387857) (← links)
- Two efficient algorithms for computing the characteristics of a subsegment of a digital straight line (Q387866) (← links)
- Polynomiality of monotone Hurwitz numbers in higher genera (Q387874) (← links)
- Tackling continuous state-space explosion in a Markovian process algebra (Q387988) (← links)
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- On optimal cryptographic key derivation (Q388109) (← links)
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Context granulation and subjective-information quantification (Q388152) (← links)
- Hyperovals of \(H(3,q^2)\) when \(q\) is even (Q388186) (← links)
- The intersection condition for regular polytopes (Q388199) (← links)
- Full abstraction for Reduced ML (Q388212) (← links)
- A game semantics for disjunctive logic programming (Q388214) (← links)
- Converting nondeterministic automata and context-free grammars into Parikh equivalent one-way and two-way deterministic automata (Q388216) (← links)
- Simulation of local instabilities during crack propagation in the ductile-brittle transition region (Q388227) (← links)
- Three-dimensional elastic solutions for functionally graded circular plates (Q388232) (← links)
- Material behavior of the hexagonal alpha phase of a titanium alloy identified from nanoindentation tests (Q388240) (← links)
- High temperature damage model for carbon-carbon composites (Q388241) (← links)
- Crack insertion, meshing and fracture analysis of structures using tetrahedral finite elements (Q388252) (← links)
- Analysis of repeated impacts on a steel rod with visco-plastic material behavior (Q388265) (← links)
- Accurate and approximate integrations of Drucker-Prager plasticity with linear isotropic and kinematic hardening (Q388268) (← links)
- Painlevé paradox during oblique impact with friction (Q388290) (← links)
- A level set based approach for the finite element simulation of a forming process involving multiphysics coupling: ultrasonic welding of thermoplastic composites (Q388295) (← links)
- A polynomial chaos approach to the robust analysis of the dynamic behaviour of friction systems (Q388313) (← links)
- The effect of the riveting process and aging on the mechanical behaviour of an aluminium self-piercing riveted connection (Q388318) (← links)
- Sequential linearization method for viscous/elastic heterogeneous materials (Q388323) (← links)
- A continuous material law for modeling thin-sheet piles and their frictional connection (Q388329) (← links)
- Microscale prediction of deformation in an austenitic stainless steel under uniaxial loading (Q388340) (← links)
- A study of the Yld2004 yield function and one extension in polynomial form: a new implementation algorithm, modeling range, and earing predictions for aluminum alloy sheets (Q388349) (← links)
- A multi-fiber approach for modeling corroded reinforced concrete structures (Q388376) (← links)
- Experimental and numerical investigation of localized thinning in hydroforming of micro-tubes (Q388404) (← links)
- An isogeometrical approach to error estimation and stress recovery (Q388409) (← links)
- Estimation of material properties for linear elastic strain gradient effective media (Q388412) (← links)
- A novel formulation for integrating nonlinear kinematic hardening Drucker-Prager's yield condition (Q388417) (← links)
- Damage at negative triaxiality (Q388420) (← links)
- Optimal random matchings, tours, and spanning trees in hierarchically separated trees (Q388460) (← links)
- A parallel two-level finite element variational multiscale method for the Navier-Stokes equations (Q388476) (← links)
- Group classification and conservation laws for a two-dimensional generalized Kuramoto-Sivashinsky equation (Q388477) (← links)
- Induced \(\mathcal{L}_2\) norm control for LPV system with specified class of disturbance inputs (Q388546) (← links)
- A Lanczos method for approximating composite functions (Q388581) (← links)
- Higher order Runge-Kutta methods for impulsive differential systems (Q388584) (← links)
- High-order parameter approximation for von Mises-Fisher distributions (Q388596) (← links)
- Analysis on Takens-Bogdanov points for delay differential equations (Q388598) (← links)
- Efficient mixed rational and polynomial approximation of matrix functions (Q388611) (← links)
- Spectral collocation solutions to multiparameter Mathieu's system (Q388625) (← links)
- Generalized guaranteed cost control with D-stability and multiple output constraints (Q388629) (← links)
- Reconstruction for cavities with impedance boundary condition (Q388718) (← links)
- An infinite family of tight triangulations of manifolds (Q388735) (← links)
- Fully packed loop configurations in a triangle (Q388736) (← links)
