Materias dentro de su búsqueda.
Mostrando 1,581 - 1,600 Resultados de 4,090 Para Buscar '"calculus"', tiempo de consulta: 0.12s Limitar resultados
  1. 1581
    por Baumgartner, Peter
    Publicado 2020
    “…The paper proves the calculus correct wrt. a formal semantics of the specification language and it describes the calculus’ implementation via embedding in Scala. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Possible Models Computation and Revision – A Practical Approach
  2. 1582
    por Robertson, William C
    Publicado 2006
    “…Now you can stop cursing over calculus and start cackling over Math, the newest volume in Bill Robertson's accurate but amusing Stop Faking It! …”
    Enlace del recurso
    Math
  3. 1583
    “…Coutin’s advanced course on calculus driven by fractional Brownian motion, and a series of seven interrelated works on local time-space calculus. …”
    Enlace del recurso
    Enlace del recurso
    Séminaire de probabilités XL
  4. 1584
    “…INTRODUCTION: Management of renal calculus in a patient of chronic kidney disease (CKD) is always challenging. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Is percutaneous nephrolithotomy safe in chronic kidney disease patients!!!
  5. 1585
    “…A Course of Higher Mathematics, Volume II: Advanced Calculus covers the theory of functions of real variable in advanced calculus. …”
    Enlace del recurso
    A course of higher mathematics
  6. 1586
    por González-Velasco, Enrique A
    Publicado 2011
    “…Beginning with trigonometry and moving on through logarithms, complex numbers, infinite series, and calculus, this book profiles some of the lesser known but crucial contributors to modern day mathematics. …”
    Enlace del recurso
    Enlace del recurso
    Journey through Mathematics
  7. 1587
    “…A rigorous introduction to calculus in vector spaces The concepts and theorems of advanced calculus combined with related computational methods are essential to understanding nearly all areas of quantitative science. …”
    Enlace del recurso
    Analysis in Vector Spaces
  8. 1588
    por Ganesh, A, Balasubramanian, G
    Publicado 2009
    “…The topics included are Differential Calculus, Integral Calculus and Vector Integration, Differential Equations and Laplace Transforms. …”
    Enlace del recurso
    Engineering mathematics-II
  9. 1589
    por Dray, Tevian
    Publicado 2014
    “…Requiring little more than calculus and some linear algebra, it helps readers learn just enough differential geometry to grasp the basics of general relativity.The book contains two intertwined but distinct halves. …”
    Enlace del recurso
    Differential forms and the geometry of general relativity
  10. 1590
    por Erdös, P, Máté, A, Hajnal, A, Rado, P
    Publicado 2011
    “…This work presents the most important combinatorial ideas in partition calculus and discusses ordinary partition relations for cardinals without the assumption of the generalized continuum hypothesis. …”
    Enlace del recurso
    Combinatorial set theory: partition relations for cardinals
  11. 1591
    por Shastri, Anant R
    Publicado 2011
    “…It begins with differential and integral calculus, leads you through the intricacies of manifold theory, and concludes with discussions on algebraic topology, algebraic/differential geometry, and Lie groups.The first two chapters review differential and integral calculus of several variables and present fundamental results that are used throughout the text. …”
    Enlace del recurso
    Elements of differential topology
  12. 1592
    por Paul J Sally, Jr
    Publicado 2013
    “…It is intended for students who completed a course in "AP Calculus", possibly followed by a routine course in multivariable calculus and a computational course in linear algebra. …”
    Enlace del recurso
    Fundamentals of mathematical analysis
  13. 1593
    “…The same occurred with the calculus index on the lingual surfaces (p< 0.05). The calculus index along wire was higher for the braided retainer (p< 0.05). …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Periodontal parameters of two types of 3 x 3 orthodontic retainer: a longitudinal study
  14. 1594
    “…The last item (4) allows us to show an exponential separation between our new system and the previously studied reductionless long-distance resolution calculus. Our approach also naturally lifts to dependency QBFs (DQBF), where it yields the first sound and complete CDCL-style calculus for DQBF, thus opening future avenues into CDCL-based DQBF solving.…”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Building Strategies into QBF Proofs
  15. 1595
    “…Our calculus can express all nested types appearing in the literature, including truly nested types. …”
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Parametricity for Primitive Nested Types
  16. 1596
    “…We report a rare case of iliac vein compression syndrome caused by urethral calculus. A 71-year-old man had a history of urethral stenosis. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Iliac Vein Compression Syndrome due to Bladder Distention Caused by Urethral Calculi
  17. 1597
    “…As a result, the optimal replenishment lot size and number of shipments can be derived without using the differential calculus. Such a straightforward method may assist practitioners who with insufficient knowledge of calculus in learning and managing the real multi-customer FPR systems more effectively.…”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Solving multi-customer FPR model with quality assurance and discontinuous deliveries using a two-phase algebraic approach
  18. 1598
    “…Investigations revealed cholelithiasis with single large impacted calculus in the common bile duct (CBD) and significant dilatation of extrahepatic biliary tree. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Laparoscopic cholecystectomy with choledochoduodenostomy in a patient with situs inversus totalis
  19. 1599
    “…Through a chain of refinements, an abstract CDCL calculus is connected first to a more concrete calculus, then to a SAT solver expressed in a functional programming language, and finally to a SAT solver in an imperative language, with total correctness guarantees. …”
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
  20. 1600
    “…Includes many applications, e.g., variational calculus, control theory and bifurcations t…”
    Enlace del recurso
    Homotopy of extremal problems: theory and applications
Herramientas de búsqueda: RSS