The following pages link to (Q3999188):
Displaying 24 items.
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- Facial geometry parameterisation based on partial differential equations (Q652882) (← links)
- Minimal distortion morphs generated by time-dependent vector fields (Q847702) (← links)
- Locally linear reconstruction for instance-based learning (Q941602) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- Current trends in geometric modeling and selected computational applications (Q1377890) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- Grid-distortion on nonrectangular grids (Q1605725) (← links)
- Clouds over a public key cryptosystem based on Lyndon words (Q1607122) (← links)
- An energy-minimization framework for monotonic cubic spline interpolation (Q1612340) (← links)
- Controlling file access with types (Q1744439) (← links)
- A new logic for electronic commerce protocols (Q1853749) (← links)
- A comparison of three authentication properties. (Q1853750) (← links)
- Towards invariant face recognition (Q1854016) (← links)
- Verifying persistent security properties (Q1886452) (← links)
- Constructing a quasi-uniform function space (Q1903595) (← links)
- Constructing quadratic birational maps via their complex rational representation (Q2020348) (← links)
- Mediating secure information flow policies (Q2381505) (← links)
- A note on the emptiness problem for alternating finite-memory automata (Q2437765) (← links)
- Online graph exploration on trees, unicyclic graphs and cactus graphs (Q2656355) (← links)
- Computational Probabilistic Non-interference (Q5030175) (← links)
- A logical approach to multilevel security of probabilistic systems (Q5137350) (← links)
- Persistent Stochastic Non-Interference (Q5158656) (← links)
- Characterising FS domains by means of power domains (Q5941557) (← links)
