English
Related papers

Related papers: Monographie sur le tol\'erancement modal

200 papers

The concept of the "modulus" in the CAD system drawings is characterized, being a base of developing of the problem-oriented extensions. The modulus consists of visible geometric elements of the drawing and invisible parametric…

Computational Engineering, Finance, and Science · Computer Science 2007-05-23 Vladimir V. Migunov

This paper is a contribution to the search for efficient and high-level mathematical tools to specify and reason about (abstract) programming languages or calculi. Generalising the reduction monads of Ahrens et al., we introduce transition…

Programming Languages · Computer Science 2023-06-22 André Hirschowitz , Tom Hirschowitz , Ambroise Lafont

This work revisits operator learning from a spectral perspective by introducing Polar Linear Algebra, a structured framework based on polar geometry that combines a linear radial component with a periodic angular component. Starting from…

Machine Learning · Computer Science 2026-04-01 Giovanni Guasti

Micromorphic theories became an established tool to model size effects in materials like dispersion, localization phenomena or (apparently) size dependent properties. However, the formulation of adequate constitutive relations with its…

Materials Science · Physics 2022-11-30 Geralf Hütter

The ability to edit 3D assets from natural language presents a compelling paradigm to aid in the democratization of 3D content creation. However, while natural language is often effective at communicating general intent, it is poorly suited…

Computer Vision and Pattern Recognition · Computer Science 2024-06-03 Aditya Ganeshan , Ryan Y. Huang , Xianghao Xu , R. Kenny Jones , Daniel Ritchie

This paper brings together three distinct theories with the goal of quantifying shape textures with complex morphologies. Distance fields are central objects in shape representation, while topological data analysis uses algebraic topology…

Algebraic Topology · Mathematics 2023-07-04 Anna Song , Ka Man Yim , Anthea Monod

The contribution of this paper is to provide a semantic model (using soft constraints) of the words used by web-users to describe objects in a language game; a game in which one user describes a selected object of those composing the scene,…

Computation and Language · Computer Science 2010-05-31 Sergio Guadarrama , David P. Pancho

Inspired by the concept of hyperconvexity and its relation to curvature, we translate geometric properties of a metric space encoded by the curvature inequalities into the persistent homology induced by the \v{C}ech filtration of that…

Geometric Topology · Mathematics 2020-01-29 Parvaneh Joharinad , Jürgen Jost

Tube-like surfaces are widely encountered in geometry processing, engineering structures, and medical anatomy, yet their intrinsic longitudinal and circumferential topology is not well preserved by conventional planar annular or rectangular…

Graphics · Computer Science 2026-05-19 Shunyu Yao , Gary P. T. Choi

Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification…

Logic in Computer Science · Computer Science 2019-03-14 Vincenzo Ciancia , Diego Latella , Michele Loreti , Mieke Massink

Neural fields are receiving increased attention as a geometric representation due to their ability to compactly store detailed and smooth shapes and easily undergo topological changes. Compared to classic geometry representations, however,…

Computer Vision and Pattern Recognition · Computer Science 2023-04-26 Arturs Berzins , Moritz Ibing , Leif Kobbelt

Deduction is the one of the major forms of inferences and commonly used in formal logic. This kind of inference has the feature of monotonicity, which can be problematic. There are different types of inferences that are not monotonic, e.g.…

Logic in Computer Science · Computer Science 2020-07-07 Florian Richter

Mathematical descriptions of dynamical systems are deeply rooted in topological spaces defined by non-Euclidean geometry. This paper proposes leveraging structure-rich geometric spaces for machine learning to achieve structural…

Machine Learning · Computer Science 2025-02-20 Zack Xuereb Conti , David J Wagg , Nick Pepper

This paper presents \tdl, a typed feature-based representation language and inference system. Type definitions in \tdl\ consist of type and feature constraints over the boolean connectives. \tdl\ supports open- and closed-world reasoning…

cmp-lg · Computer Science 2019-08-15 Hans-Ulrich Krieger , Ulrich Schäfer

This paper introduces a parameterization framework for controlling conversation quality in large language models. We explore nine key parameters across six dimensions that enable precise specification of dialogue properties. Through…

Computation and Language · Computer Science 2025-08-06 Shengqi Li , Amarnath Gupta

Documents in scientific newspapers are often marked by attitudes and opinions of the author and/or other persons, who contribute with objective and subjective statements and arguments as well. In this respect, the attitude is often…

Computation and Language · Computer Science 2008-12-18 Sviatlana Danilava , Christoph Schommer

Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems possessing it. In recent years, various systems of dependent type theory have…

Logic in Computer Science · Computer Science 2024-12-18 C. B. Aberlé

For more than half a century, moments have attracted lot ot interest in the pattern recognition community.The moments of a distribution (an object) provide several of its characteristics as center of gravity, orientation, disparity, volume.…

Computer Vision and Pattern Recognition · Computer Science 2018-07-19 Omar Tahri

Spherical wave functions play an important role in the theoretical study of antenna. When they are used to investigate the stored energy outside the circumscribing sphere of the antenna, two different types of modal quality factors appear…

Classical Physics · Physics 2015-10-06 Wen Geyi

A topology optimization approach for designing large deformation contact-aided shape morphing compliant mechanisms is presented. Such mechanisms can be used in varying operating conditions. Design domains are described by regular hexagonal…

Computational Engineering, Finance, and Science · Computer Science 2020-10-23 Prabhat Kumar , Roger A. Sauer , Anupam Saxena