Search

Your search keyword '"Institute for Automation"' showing total 107 results

Search Constraints

Start Over You searched for: Author "Institute for Automation" Remove constraint Author: "Institute for Automation" Topic mathematics Remove constraint Topic: mathematics
107 results on '"Institute for Automation"'

Search Results

1. Counting Co-Cyclic Lattices

2. Estimating Sink Parameters of Stochastic Functional-Structural Plant Models Using Organic Series-Continuous and Rhythmic Development

Catalog

Books, media, physical & digital resources

3. Centroid-aware local discriminative metric learning in speaker verification

4. A note on BDD problems with λ2-gap

5. Fluid Flow Estimation with Multiscale Ensemble Filters Based on Motion Measurements Under Location Uncertainty

6. From diagrammatic confluence to modularity

7. blending multiple surfaces in polar coordinates

8. Computing the minimum distance between two Bézier curves

9. Computing the minimum distance between a point and a clamped B-spline surface

10. Computing the minimum distance between a point and a NURBS curve

11. Adaptive geometry compression based on four-point interpolatory subdivision schemes with labels

12. A knowledge-and-data-driven modeling approach for simulating plant growth: A case study on tomato growth

13. A Genetic Algorithm for Searching the Shortest Lattice Vector of SVP Challenge

14. Improved Attacks on Reduced-Round Camellia-128/192/256

15. Simpler Efficient Group Signatures from Lattices

16. Meet-in-the-Middle Technique for Truncated Differential and Its Applications to CLEFIA and Camellia

17. A rational extension of Piegl’s method for filling -sided holes

18. Non-Negative Spherical Deconvolution (NNSD) for Estimation of Fiber Orientation Distribution Function in Single-/Multi-Shell Diffusion MRI

19. Approximating the densest sublattice from Rankin's inequality

20. A New Attack against the Selvi-Vivek-Rangan Deterministic Identity Based Signature Scheme from ACISP 2012

21. Rounding and Chaining LLL: Finding Faster Small Roots of Univariate Polynomial Congruences

22. Lower bounds of shortest vector lengths in random NTRU lattices

23. A systematic study of fuzzy PID controllers-function-based evaluation approach

24. New methodology for analytical and optimal design of fuzzy PID controllers

25. Polar NURBS surface with curvature continuity

26. Non-Negative Spherical Deconvolution (NNSD) for Fiber Orientation Distribution Function Estimation

27. A Three-Level Sieve Algorithm for the Shortest Vector Problem

28. Handcrafted Inversions Made Operational on Operational Semantics

29. Solving BDD by Enumeration: An Update

30. Slide reduction, successive minima and several applications

31. Learning a Zonotope and More: Cryptanalysis of NTRUSign Countermeasures

32. Nonnegative Definite EAP and ODF Estimation via a Unified Multi-Shell HARDI Reconstruction

33. Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

34. The Boomerang Attacks on the Round-Reduced Skein-512

35. An Algebraic Broadcast Attack against NTRU

36. Cryptanalysis of a homomorphic encryption scheme from ISIT 2008

37. Faster Algorithms for Approximate Common Divisors: Breaking Fully-Homomorphic-Encryption Challenges over the Integers

38. New Observations on Impossible Differential Cryptanalysis of Reduced-Round Camellia

39. An optimal control methodology for plant growth--Case study of a water supply problem of sunflower

40. Faster Gaussian Lattice Sampling Using Lazy Floating-Point Arithmetic

41. Lattice-Based Fault Attacks on Signatures

42. Sub-Linear Root Detection, and New Hardness Results, for Sparse Polynomials Over Finite Fields

43. Diffeomorphism Invariant Riemannian Framework for Ensemble Average Propagator Computing

44. CoqMTU: a higher-order type theory with a predicative hierarchy of universes parametrized by a decidable first-order theory

45. Adaptive pixon represented segmentation (APRS) for 3D MR brain images based on mean shift and Markov random fields

46. Meshless quadrangulation by global parameterization

47. Some Parameter Estimation Issues in Functional-Structural Plant Modelling

48. Preliminary Functional-Structural Modeling on Poplar (Salicaceae)

49. Polarized Resolution Modulo

50. Coq Modulo Theory