-
51
المؤلفون: Slavcho Shtrakov
المصدر: Algebra universalis. 61:381-397
مصطلحات موضوعية: FOS: Computer and information sciences, Algebra and Number Theory, Closed set, Process (engineering), Computer Science - Information Theory, Information Theory (cs.IT), Analogy, Composition (combinatorics), Differentiation rules, Algebra, Set (abstract data type), 08B05, 03C05, 08A02, General Mathematics (math.GM), FOS: Mathematics, Key (cryptography), Calculus, Mathematics - General Mathematics, Mathematics
-
52
المؤلفون: Janne Jämsen, Timo Niemi, Kalervo Järvelin
المصدر: Journal of Intelligent Information Systems. 35:213-244
مصطلحات موضوعية: Information retrieval, Interpretation (logic), Computer Networks and Communications, Computer science, Level of detail (writing), Query language, Differentiation rules, Feature (linguistics), Semantic similarity, Artificial Intelligence, Hardware and Architecture, Semantic computing, Rewriting, Software, Information Systems
-
53
المؤلفون: J.-P. Penot, Kaiwen Meng, S. J. Li
المساهمون: School of Mathematical Sciences [Chengdu] (UESTC), University of Electronic Science and Technology of China (UESTC), Laboratoire de Mathématiques et de leurs Applications [Pau] (LMAP), Université de Pau et des Pays de l'Adour (UPPA)-Centre National de la Recherche Scientifique (CNRS)
المصدر: Set-Valued Analysis
Set-Valued Analysis, Springer Verlag, 2009, 17, pp.21--39مصطلحات موضوعية: Statistics and Probability, education, 0211 other engineering and technologies, 02 engineering and technology, ComputingMethodologies_ARTIFICIALINTELLIGENCE, 01 natural sciences, Calculus, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], 0101 mathematics, Calmness, ComputingMilieux_MISCELLANEOUS, health care economics and organizations, Mathematics, Numerical Analysis, 021103 operations research, Applied Mathematics, 010102 general mathematics, Feasible region, Multimap, Composition (combinatorics), musculoskeletal system, Differentiation rules, Algebra, surgical procedures, operative, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Variational inequality, Geometry and Topology, Element (category theory), human activities, Analysis, Semi-differentiability
-
54
المؤلفون: Vicente Novo, Bienvenido Jiménez
المصدر: Optimization. 57:449-471
مصطلحات موضوعية: Mathematical optimization, Control and Optimization, Applied Mathematics, Feasible region, Tangent, Derivative, Management Science and Operations Research, Lipschitz continuity, Differentiation rules, Constraint (information theory), Vector optimization, symbols.namesake, Lagrange multiplier, symbols, Mathematics
-
55
المؤلفون: Anatoly N. Kochubei
المصدر: Ukrainian Mathematical Journal. 60:551-562
مصطلحات موضوعية: Operator (computer programming), General Mathematics, Multivariable calculus, Calculus, Time-scale calculus, Operator theory, Borel functional calculus, Differentiation rules, Mathematics, Interpretation (model theory), Functional calculus
-
56
المؤلفون: Salvatore J. Petrilli, Robert E. Bradley, C. Edward Sandifer
المصدر: Science Networks. Historical Studies ISBN: 9783319171142
مصطلحات موضوعية: Quotient rule, Product rule, Natural deduction, Proof calculus, Computer science, Process calculus, Calculus, Power rule, Chain rule, Differentiation rules
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::971a5c01c89dad1d076759a89f2e63b8
https://doi.org/10.1007/978-3-319-17115-9_1 -
57
المؤلفون: Nestan Tsiskaridze, Cesare Tinelli, Tianyi Liang, Clark Barrett, Andrew Reynolds
المساهمون: Lutz, C, Ranise, S
المصدر: Frontiers of Combining Systems ISBN: 9783319242453
FroCosمصطلحات موضوعية: Discrete mathematics, Computable function, Fragment (logic), Regular language, String (computer science), Regular expression, Solver, Differentiation rules, Decidability, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a6231808e3c232b32890edbd0e1f135
https://doi.org/10.1007/978-3-319-24246-0_9 -
58
المؤلفون: M. K. Vamanamurthy, G. D. Anderson, Matti Vuorinen
المصدر: The American Mathematical Monthly. 113:805-816
مصطلحات موضوعية: Natural deduction, General Mathematics, 010102 general mathematics, Monotonic function, medicine.disease, 01 natural sciences, Differentiation rules, Proof calculus, 0103 physical sciences, Calculus, medicine, 010307 mathematical physics, 0101 mathematics, Calculus (medicine), Mathematics
-
59
المؤلفون: Flavio Cruz, Ricardo Rocha, Seth Copen Goldstein
المصدر: PPDP
مصطلحات موضوعية: Structure (mathematical logic), Set (abstract data type), Theoretical computer science, Virtual machine, Programming language, Computer science, Search engine indexing, Code (cryptography), Graph (abstract data type), computer.software_genre, computer, Differentiation rules, Linear logic
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::700f2f26344c2acf55eaa811e9b0c4ab
https://doi.org/10.1145/2643135.2643150 -
60
المؤلفون: Hendra Hadhil Choiri, Nur Ulfa Maulidevi
المصدر: 2014 International Conference of Advanced Informatics: Concept, Theory and Application (ICAICTA).
مصطلحات موضوعية: Formal derivative, Generalizations of the derivative, Fréchet derivative, Partial derivative, Differential of a function, Differential calculus, Derivative, Algorithm, Differentiation rules, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d1b40cf7521df09b78fc5d9892a30886
https://doi.org/10.1109/icaicta.2014.7005907