4,225 Hits in 4.6 sec

Higher-dimensional word problems with applications to equational logic

Albert Burroni
1993 Theoretical Computer Science  
In this paper we reduce equational logic to a two-dimensional word problem (Theorem 2.3) and introduce the concept of an n-dimensional word problem for all nsN, jvith an emphasis on geometrical meaning  ...  ., Higher-dimensional word problems with applications to equational logic, Theoretical Computer Science 115 (I 993) 43-62.  ...  Acknowledgment Many thanks to RenC Guitart and Yves Lafont for their invaluable help, criticisms, suggestions and friendly encouragement in the working out of this paper.  ... 
doi:10.1016/0304-3975(93)90054-w fatcat:7pxww7dulre43jsqjwitorztzi

A summation formula in algebraic number fields and applications, I

Ulrich Rausch
1990 Journal of Number Theory  
Three applications are given, one of them to the Piltz divisor problem for algebraic numbers. 0 1990 Academic Press, Inc.  ...  A summation formula in algebraic number fields is established which resembles Siegel's summation formula but covers a wider range of problems and yields better results.  ...  , r + t + m, since R' is the disjoint union of the translated cubes -m + Q, m E Z'.  ... 
doi:10.1016/0022-314x(90)90004-b fatcat:wx7vyrmel5gqnnb432447ztz3u

New structures on valuations and applications [article]

Semyon Alesker
2010 arXiv   pre-print
An overview of some of the recent developments in the theory of valuations on convex sets and its generalizations to manifolds is given.  ...  The exposition is focused towards applications to integral geometry; several of such applications are discussed.  ...  These are notes of my lectures to be given at Centre de Recerca Matemàtica during the Advanced Course on Integral Geometry and Valuation Theory; I  ... 
arXiv:1008.0287v3 fatcat:62nsdztvdral7jursil6fa4cty

Modeling of Field Distribution and Energy Storage in Diphasic Dielectrics

Sandeep Patil, Marina Y. Koledintseva, Robert W. Schwartz
2006 Applications of Ferroelectrics, IEEE International Symposium on  
The authors also gratefully acknowledge the valuable assistance of Mr. Dennis Owsianyk of Integrated Engineering Software.  ...  ACKNOWLEDGMENTS This work was supported through a MURI program sponsored by the Office of Naval Research under Grant No. N000-14-05-1-0541.  ...  Fig. 1 shows a cell with a "sphere enclosed in a cube" (SEC) geometry and its 3D translation in x, y, and z directions.  ... 
doi:10.1109/isaf.2006.4387893 fatcat:oyqmj53jnne7lnqm3noff5dy5y

Linked Component Analysis From Matrices to High-Order Tensors: Applications to Biomedical Data

Guoxu Zhou, Qibin Zhao, Yu Zhang, Tulay Adali, Shengli Xie, Andrzej Cichocki
2016 Proceedings of the IEEE  
Special emphasis is given to the flexible common and individual feature analysis of multi-block data with the aim to simultaneously extract common and individual latent components with desired properties  ...  In this paper, we first provide a brief review of existing matrix-based (two-way) component analysis methods for the joint analysis of such data with a focus on biomedical applications.  ...  The cube size is 4 Â 4 Â 4 and the number of similar cubes is 30.  ... 
doi:10.1109/jproc.2015.2474704 fatcat:7rhda5adurbt3d6bm2ryax6cy4

Topological strings and their physical applications [article]

Andrew Neitzke, Cumrun Vafa
2005 arXiv   pre-print
We give an introductory review of topological strings and their application to various aspects of superstrings and supersymmetric gauge theories.  ...  (These are notes from lectures given by the second author at the 2004 Simons Workshop in Mathematics and Physics.)  ...  We are especially grateful to Martin Roček for his hospitality during the workshop and for preparing many of the figures in this paper, and to Luboš Motl, Boris Pioline and Marcel Vonk for helpful comments  ... 
arXiv:hep-th/0410178v2 fatcat:ld5ahp3wsfbzfh2uxv5z6ymnlq


2004 International journal of computational geometry and applications  
Consequently, David White's adaptation of the method to the ball case-as the only available implementation so far it is mentioned in many link collections-is incorrect and may crash or, in the better case  ...  In solving the small cases we may assume that the ball centers are affinely independent; in this case, the problem is surprisingly well-behaved: via a geometric transformation and suitable generalization  ...  Fix an arbitrary face [F, G] of the cube and let λi, i ∈ G, be the multipliers guaranteed by Theorem 5.4 for the value (ṽ,α) of gmbp(G, F ), with D ∈ {Cp, C p } being the relevant program.  ... 
doi:10.1142/s0218195904001500 fatcat:sbeyju2ccjfyfi7ovwpxay5mma

Topological strings and their physical applications

Andrew Nietzke, Cumrun Vafa
2005 Surveys in Differential Geometry  
We give an introductory review of topological strings and their application to various aspects of superstrings and supersymmetric gauge theories.  ...  (These are notes from lectures given by the second author at the 2004 Simons Workshop in Mathematics and Physics.)  ...  We would like to thank the 2004 Simons Workshop on Mathematics and Physics, which was the motivation for this review.  ... 
doi:10.4310/sdg.2005.v10.n1.a6 fatcat:4aog6wezvvctbmrml2de6gj3uq

Development of the Silicon Drift Detector for Electron Microscopy Applications

Lothar Strüder, Adrian Niculae, Peter Holl, Heike Soltau
2020 Microscopy Today  
In the last two decades a new detector, the silicon drift detector (SDD), has overtaken earlier Si(Li) technology and has made EDS in the SEM and TEM faster and better.  ...  This article tells the story of the SDD development and describes improvements in count rate capability, energy resolution, and detector geometry that bring to SEM microanalysis exceptional precision and  ...  Acknowledgement The authors appreciate the constructive comments and discussions with Charles Lyman, Lehigh University.  ... 
doi:10.1017/s1551929520001327 fatcat:ps5sr4rreneyhbh7etsj76w24u

Are State Patterns of Smoking Different for Different Racial/Ethnic Groups? An Application of Multilevel Analysis

Theresa L. Osypuk, Ichiro Kawachi, S.V. Subramanian, Dolores Acevedo-Garcia
2006 Public health reports (1974)  
We explored and mapped the variation in smoking prevalence for racial/ethnic groups by gender and state after adjusting for demographic factors. Methods.  ...  We executed a cross-sectional, weighted, two-level multilevel multiple regression analysis (individuals in states), with current smoking as the outcome, using the 1995-1996 Current Population Survey Tobacco  ...  Subramanian is supported by the National Institutes of Health Career Development Award (National Lung and Blood Institute, 1 K25 HL081275).  ... 
doi:10.1177/003335490612100512 pmid:16972510 pmcid:PMC1564457 fatcat:qolo6xtc7bd2tbsb3dkq2u3uny

Toda hierarchies and their applications

Kanehisa Takasaki
2018 Journal of Physics A: Mathematical and Theoretical  
The 1D Toda hierarchy and the Ablowitz-Ladik (aka relativistic Toda) hierarchy can be derived from the 2D Toda hierarchy as reductions.  ...  The two melting crystal models thus exhibit remarkable similarity with the Hermitian and unitary matrix models for which the two reductions of the 2D Toda hierarchy play the role of fundamental integrable  ...  We believe that the shift symmetries will be useful beyond the scope of the melting crystal models. The results reviewed in this paper should be just a small piece of possible applications.  ... 
doi:10.1088/1751-8121/aabc14 fatcat:dfysx2q3vffbhlf2fs3q7iublq

Collision Handling and its Applications [article]

Matthias Teschner, Marie-Paule Cani, Ron Fedkiw, Robert Bridson, Stephane Redon, Pascal Volino, Gabriel Zachmann
2006 Eurographics State of the Art Reports  
Applications are wide-spread and can be found in areas such as surgery simulation, games, cloth simulation, and virtual prototyping.  ...  Therefore, algorithms for the detection of interfering object representations are an essential component in virtual environments.  ...  Acknowledgments The authors would like to thank all the collaborators who have worked with them on hair animation in the past few years, and more specifically Eric Plante, Pierre Poulin, Tae-Yong Kim,  ... 
doi:10.2312/egt.20061070 fatcat:otpuzsvu4jej3f5puqdgedhrwa

A general approximation lower bound in L^p norm, with applications to feed-forward neural networks [article]

El Mehdi Achour
2022 arXiv   pre-print
We then instantiate this bound to the case where G corresponds to a piecewise-polynomial feed-forward neural network, and describe in details the application to two sets F: Hölder balls and multivariate  ...  The lower bound depends on the packing number of F, the range of F, and the fat-shattering dimension of G.  ...  The authors gratefully acknowledge the support of IRT Saint Exupéry and the DEEL project. 3 References [AB99] Martin Anthony and Peter L. Bartlett. Neural network learning: theoretical foundations.  ... 
arXiv:2206.04360v1 fatcat:5cxxtbkw3vadzmesuzeytba4em

On the topological classification of starlike bodies in Banach spaces

Daniel Azagra, Tadeusz Dobrowolski
2003 Topology and its Applications  
Up to a suitable translation, we can always assume (and we will do so)  ...  eones are convex), and another one which uses a new classification scheme in terms of the homotopy type of the boundaries of the starlike bodies (and which holds in full generality provided the Banach  ...  Acknowledgements We wish to thank Craig Guilbault for his helpful observations that are included in Examples 17 and 18. We also thank the referee for a thorough repor! and sorne helpful rernarks.  ... 
doi:10.1016/s0166-8641(03)00004-x fatcat:rokluov2sfeh7i6q5aigyc5doa

A new toolset for protein expression and subcellular localization studies in citrus and its application to citrus tristeza virus proteins

Amit Levy, Choaa El-Mochtar, Chunxia Wang, Michael Goodin, Vladimir Orbovic
2018 Plant Methods  
We also generated the first set organelle markers for use in citrus. These fluorescent protein markers label the nucleus and the actin.  ...  The handheld gene-gun device can also be used in the grove to deliver therapies for citrus diseases, such as canker and Huanglongbing, into trees.  ...  We would like to thank Daniel Stanton (Citrus Research and Education microscope facility) for technical help and for critically reviewing the manuscript. We also thank Dr.  ... 
doi:10.1186/s13007-017-0270-7 pmid:29339969 pmcid:PMC5759842 fatcat:4pdsdycykfaznmnbnaz5dm4azi
« Previous Showing results 1 — 15 out of 4,225 results