Search results for "Mathematica"
showing 10 items of 7971 documents
Radial symmetry of p-harmonic minimizers
2017
"It is still not known if the radial cavitating minimizers obtained by Ball [J.M. Ball, Discontinuous equilibrium solutions and cavitation in nonlinear elasticity, Phil. Trans. R. Soc. Lond. A 306 (1982) 557--611] (and subsequently by many others) are global minimizers of any physically reasonable nonlinearly elastic energy". The quotation is from [J. Sivaloganathan and S. J. Spector, Necessary conditions for a minimum at a radial cavitating singularity in nonlinear elasticity, Ann. Inst. H. Poincare Anal. Non Lineaire 25 (2008), no. 1, 201--213] and seems to be still accurate. The model case of the $p$-harmonic energy is considered here. We prove that the planar radial minimizers are indee…
Topological canal foliations
2019
Regular canal surfaces of $\mathbb{R}^3$ or $\mathbb{S}^3$ admit foliations by circles: the characteristic circles of the envelope. In order to build a foliation of $\mathbb{S}^3$ with leaves being canal surfaces, one has to relax the condition “canal” a little (“weak canal condition”) in order to accept isolated umbilics. Here, we define a topological condition which generalizes this “weak canal” condition imposed on leaves, and classify the foliations of compact orientable 3-manifolds we can obtain this way.
Iodine(I) and Silver(I) Complexes Incorporating 3-Substituted Pyridines
2023
Building upon the first report of a 3-acetaminopyridine-based iodine(I) complex (1b) and its unexpected reactivity toward tBuOMe, several new 3-substituted iodine(I) complexes (2b–5b) have been synthesized. The iodine(I) complexes were synthesized from their analogous silver(I) complexes (2a–5a) via a silver(I) to iodine(I) cation exchange reaction, incorporating functionally related substituents as 3-acetaminopyridine in 1b; 3-acetylpyridine (3-Acpy; 2), 3-aminopyridine (3-NH2py; 3), and 3-dimethylaminopyridine (3-NMe2py; 4), as well as the strongly electron-withdrawing 3-cyanopyridine (3-CNpy; 5), to probe the possible limitations of iodine(I) complex formation. The individual properties …
Acoustic wave guides as infinite-dimensional dynamical systems
2015
We prove the unique solvability, passivity/conservativity and some regularity results of two mathematical models for acoustic wave propagation in curved, variable diameter tubular structures of finite length. The first of the models is the generalised Webster's model that includes dissipation and curvature of the 1D waveguide. The second model is the scattering passive, boundary controlled wave equation on 3D waveguides. The two models are treated in an unified fashion so that the results on the wave equation reduce to the corresponding results of approximating Webster's model at the limit of vanishing waveguide intersection.
Regularity and modulus of continuity of space-filling curves
2019
We study critical regularity assumptions on space-filling curves that possess certain modulus of continuity. The bounds we obtain are essentially sharp, as demonstrated by an example. peerReviewed
The Car Resequencing Problem with Pull-Off Tables
2011
AbstractThe car sequencing problem determines sequences of different car models launched down a mixed- model assembly line. To avoid work overloads of workforce, car sequencing restricts the maximum occurrence of labor-intensive options, e.g., a sunroof, by applying sequencing rules. We consider this problem in a resequencing context, where a given number of buffers (denoted as pull-off tables) is available for rearranging a stirred sequence. The problem is formalized and suited solution procedures are developed. A lower bound and a dominance rule are introduced which both reduce the running time of our graph approach. Finally, a real-world resequencing setting is investigated.
Dynamics of hydrofracturing and permeability evolution in layered reservoirs
2015
International audience; A coupled hydro-mechanical model is presented to model fluid driven fracturing in layered porous rocks. In the model the solid elastic continuum is described by a discrete element approach coupled with a fluid continuum grid that is used to solve Darcy based pressure diffusion. The model assumes poro-elasto-plastic effects and yields real time dynamic aspects of the fracturing and effective stress evolution under the influence of excess fluid pressure gradients. We show that the formation and propagation of hydrofractures are sensitive to mechanical and tectonic conditions of the system. In cases where elevated fluid pressure is the sole driving agent in a stable tec…
Residual a posteriori error estimation for frictional contact with Nitsche method
2023
We consider frictional contact problems in small strain elasticity discretized with finite elements and Nitsche method. Both bilateral and unilateral contact problems are taken into account, as well as both Tresca and Coulomb models for the friction. We derive residual a posteriori error estimates for each friction model, following [Chouly et al, IMA J. Numer. Anal. (38) 2018, pp. 921-954]. For the incomplete variant of Nitsche, we prove an upper bound for the dual norm of the residual, for Tresca and Coulomb friction, without any extra regularity and without a saturation assumption. Numerical experiments allow to assess the accuracy of the estimates and their interest for adaptive meshing …
Introduction to Mathematical Logic, Edition 2021
2021
Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).
FUNCIONAMIENTO EJECUTIVO TEMPRANO EN NIÑOS CON DIFICULTADES MATEMÁTICAS PERSISTENTES
2016
El objetivo del presente estudio consistió en examinar las diferencias en las funciones ejecutivas de inhibición y memoria de trabajo (MT) evaluadas en Educación Infantil entre sujetos con dificultades persistentes en el área de matemáticas en 2º de Educación Primaria y niños con un rendimiento adecuado. La muestra final del estudio estuvo conformada por 180 niños (inicialmente compuesta por 209 preescolares), de los cuales un 6.6% presentaron dificultades matemáticas persistentes (n = 12) y el 45.5% mostraron un rendimiento adecuado en ambas mediciones (n = 82). En Educación Infantil, se administraron seis tareas neuropsicológicas relacionadas con las funciones ejecutivas de inhibición, MT…