-
1
المؤلفون: Bolt, J.H., van der Gaag, L.C., Baioletti, M., Sub Decision Support Systems, Decision Support Systems
المساهمون: Sub Decision Support Systems, Decision Support Systems
المصدر: International Journal of Approximate Reasoning, 126, 272. Elsevier
مصطلحات موضوعية: Theoretical computer science, Computer science, Applied Mathematics, Computation, Lattice-based partitioning, Algorithm engineering, 02 engineering and technology, Independence relations, Small set, Differentiation rules, Theoretical Computer Science, Exponential function, Representation, Fast-closure computation, Exponential growth, Artificial Intelligence, 020204 information systems, Lattice (order), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Computational problem, Software
وصف الملف: application/pdf
-
2
المؤلفون: Enrico Franconi, Francesco Sportelli
المصدر: Lecture Notes in Computer Science ISBN: 9783030332457
OTM Conferencesمصطلحات موضوعية: 050101 languages & linguistics, Computer science, business.industry, Programming language, 05 social sciences, Database schema, InformationSystems_DATABASEMANAGEMENT, 02 engineering and technology, Semantic reasoner, computer.software_genre, Semantics, Differentiation rules, Decidability, Diagrammatic reasoning, Software, Description logic, Unified Modeling Language, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Class diagram, Automated reasoning, business, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a393bfe2b3d80cbc3f7d4dd384e4f3a4
https://doi.org/10.1007/978-3-030-33246-4_42 -
3
المؤلفون: Anna Queralt, Guillem Rull, Toni Urpí, Carles Farré, Ernest Teniente
المصدر: Information and Software Technology. 55:1529-1550
مصطلحات موضوعية: Computer science, Programming language, Applications of UML, computer.software_genre, Conceptual schema, Differentiation rules, Computer Science Applications, First-order logic, Unified Modeling Language, Schema (psychology), Software system, Automated reasoning, computer, Software, Information Systems, computer.programming_language
-
4
المؤلفون: 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
-
5
المؤلفون: Petraq Papajorgji, Panos M. Pardalos
المصدر: Springer Optimization and Its Applications ISBN: 9781489974624
مصطلحات موضوعية: Programming language, Computer science, Modeling language, business.industry, media_common.quotation_subject, Computer Science::Software Engineering, Ambiguity, Construct (python library), computer.software_genre, Differentiation rules, Software, Unified Modeling Language, Software system, business, computer, media_common, Object Constraint Language, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1e421222d54b136d579bc889d131a9f9
https://doi.org/10.1007/978-1-4899-7463-1_9 -
6
المؤلفون: Mark S. Gockenbach
المصدر: Optimization and Engineering. 2:75-129
مصطلحات موضوعية: Mathematical optimization, Control and Optimization, Automatic differentiation, Mechanical Engineering, Aerospace Engineering, Differential calculus, Time-scale calculus, Notation for differentiation, Operator theory, Differentiation rules, Algebra, Linearity of differentiation, Electrical and Electronic Engineering, Vector calculus, Software, Civil and Structural Engineering, Mathematics
-
7
المؤلفون: Francesco Buccafurri, Elena Ferrari, Elisa Bertino, Pasquale Rullo
المصدر: Journal of Computer Security. 8:109-139
مصطلحات موضوعية: Computer access control, Computer Networks and Communications, business.industry, Computer science, Authorization, Mechanism based, Access control, Computer security, computer.software_genre, Differentiation rules, Formalism (philosophy of mathematics), Hardware and Architecture, Louvain la neuve, Semantics of logic, Safety, Risk, Reliability and Quality, business, computer, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f892ac5b645accad785126dbb6de1c84
https://doi.org/10.3233/jcs-2000-82-303 -
8
المؤلفون: Jean-Paul Penot
المصدر: Mathematical Methods of Operations Research. 48:229-246
مصطلحات موضوعية: Multivalued function, General Mathematics, Multivariable calculus, Mathematics::Optimization and Control, Extension (predicate logic), Time-scale calculus, Subderivative, Management Science and Operations Research, Lipschitz continuity, Differentiation rules, Algebra, Calculus, Set theory, Software, Mathematics
-
9
المؤلفون: Jiawei Han, Veronica Dahl, Yan-Nong Huang
المصدر: International Journal of Software Engineering and Knowledge Engineering. :467-491
مصطلحات موضوعية: Speedup, Theoretical computer science, Parsing, Database, Computer Networks and Communications, Programming language, Computer science, Response time, Base (topology), computer.software_genre, Computer Graphics and Computer-Aided Design, Evolutionary computation, Differentiation rules, Artificial Intelligence, General knowledge, Computational linguistics, computer, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1bacfa58c4f3e09b38f41714d2367628
https://doi.org/10.1142/s021819409500023x -
10
المؤلفون: Eitan Farchi, Yosi Ben-Asher
المصدر: International Journal of Parallel Programming. 22:375-407
مصطلحات موضوعية: Set (abstract data type), Correctness, Theoretical computer science, Parallel processing (DSP implementation), Computer science, Concurrency, Serialization, Context (language use), Equivalence (measure theory), Software, Differentiation rules, Information Systems, Theoretical Computer Science