Results 11 to 20 of about 91,863 (269)
Soergel Calculus and Schubert Calculus [PDF]
Bulletin of the Institute of Mathematics Academia Sinica NEW SERIES, 2018 We reduce some key calculations of compositions of morphisms between Soergel bimodules ("Soergel calculus") to calculations in the nil Hecke ring ("Schubert calculus"). This formula has several applications in modular representation theory.
He, X., Williamson, G.
openaire +4 more sources
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, 2009 Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these "location-aware" languages. These languages provide constructs allowing the programmer to control the location (the choice of host, for example) where a piece of code should run, which can be useful ...
Cooper, Ezra, Wadler, Philip
openaire +2 more sources
Glasgow Mathematical Journal, 2017 AbstractWe present a calculus that is well-adapted to homogeneous quadratic algebras. We define this calculus on Koszul cohomology – resp. homology – by cup products – resp. cap products. The Koszul homology and cohomology are interpreted in terms of derived categories.
Berger, Roland +2 more
openaire +7 more sources
Formal Calculus and Umbral Calculus [PDF]
The Electronic Journal of Combinatorics, 2010 We use the viewpoint of the formal calculus underlying vertex operator algebra theory to study certain aspects of the classical umbral calculus. We begin by calculating the exponential generating function of the higher derivatives of a composite function, following a very short proof which naturally arose as a motivating computation related to a ...
openaire +3 more sources
The measurement calculus [PDF]
Journal of the ACM, 2007 Measurement-based quantum computation has emerged from the physics community as a new approach to quantum computation where the notion of measurement is the main driving force of computation. This is in contrast with the more traditional circuit model that is based on unitary operations. Among measurement-based quantum computation methods, the recently
Danos, Vincent +2 more
openaire +5 more sources
Conformable Fractional Cosine Families of Operators
Journal of Mathematical Sciences and Modelling, 2019 In this paper we are concerned with the problem \begin{eqnarray*}\begin{cases} u^{(\alpha)}(t)=Au(t)+f(t,u(t))& t\in [0,T]\\ u(0)=u_0, D^{\alpha}u(0)=u_1\end{cases}\end{eqnarray*} \begin{eqnarray*} \begin{cases} u^{(\alpha)}(t)=Au(t)+f(t,u(t)
L. S. Chadli +2 more
doaj +1 more source
DEVELOPMENT OF CALCULUS LEARNING MEDIA BASED ON TIMOR ISLAND LOCAL WISDOM WITH SCILAB IMPLEMENTATION
Aksioma: Jurnal Program Studi Pendidikan Matematika, 2021 : This study aims to develop learning media for calculus based on the local wisdom of Timor Island with the implementation of Scilab. In addition, the research conducted simulations and compared the conventional methods and Scilab programming language ...
Zulkaidah Nur Ahzan +1 more
doaj +1 more source
Women’s Sense of Belonging in Undergraduate Calculus and the Influence of (Inter)Active Learning Opportunities [PDF]
Journal of Research in Science, Mathematics and Technology Education, 2023 Women continue to be underrepresented in undergraduate STEM majors. Prior studies identify sense of belonging, or the extent to which one feels like an accepted member of an academic community, as a key contributor to women’s decisions to stick with or ...
Casey Regina Griffin
doaj +1 more source
Animals, 2021 Poor oral health is a common problem in dogs causing pain and impaired welfare. The gold standard to maintain good oral health and prevent periodontitis is daily tooth brushing.
Lena Olsén +5 more
doaj +1 more source
A Calculus for Cryptographic Protocols: The Spi Calculus
Information and Computation, 1997 We introduce the spi calculus, an extension of the pi calculus designed for the description and analysis of cryptographic protocols. We show how to use the spi calculus, particularly for studying authentication protocols. The pi calculus (without extension) suffices for some abstract protocols; the spi calculus enables us to consider cryptographic ...
Martín Abadi, Andrew D. Gordon 0001
openaire +2 more sources