Search Results - mathematical programming algorithm
-
1
Authors:
Source: Mathematical Problems in Engineering. 2022:1-11
Subject Terms: 4. Education, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 3. Good health
File Description: text/xhtml
-
2
Authors:
Source: Wireless Personal Communications. 126:2283-2301
-
3
Authors: et al.
Resource Type: eBook.
Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, TECHNOLOGY & ENGINEERING / Engineering (General), MATHEMATICS / Optimization
PDF Full Text ePub Full Text -
4
Authors:
Source: IEICE Transactions on Information and Systems. 2024, E107.D(9):1123-1132
-
5
Authors:
Source: Journal of Industrial and Production Engineering. 36:461-474
-
6
Contributors:
Subject Terms: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, oncurrency, testing, simulations, verification of machine, Mathematical theory of computation, Computer hardware, Network hardware, Computer modelling and simulation, Software Engineering
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
7
Authors:
Source: Wireless Personal Communications; Oct2022, Vol. 126 Issue 3, p2283-2301, 19p
-
8
Transliterated Title: Matematicheskoe programmirovanie pri otsenke davnosti nastupleniya smerti v usloviyakh lineino izmenyayushcheisya vneshnei temperatury.
Authors:
Source: Sudebno-meditsinskaia ekspertiza [Sud Med Ekspert] 2025; Vol. 68 (4), pp. 34-39.
Publication Type: English Abstract; Journal Article
Journal Info: Publisher: Media Sfera Country of Publication: Russia (Federation) NLM ID: 0404546 Publication Model: Print Cited Medium: Print ISSN: 0039-4521 (Print) Linking ISSN: 00394521 NLM ISO Abbreviation: Sud Med Ekspert Subsets: MEDLINE
MeSH Terms: Postmortem Changes* , Software* , Forensic Pathology*/methods , Thermometry*/methods, Humans ; Algorithms ; Temperature ; Body Temperature
-
9
Contributors: Zhang, Yin
Source: Other Information: PBD: Sep 1993
File Description: Medium: ED; Size: 7 p.
-
10
Contributors: Iyengar, Garud [Columbia University]
File Description: Medium: ED
-
11
Authors:
Source: Scientiae Mathematicae Japonicae. 2018, 81(1):97
-
12
Authors:
Source: Advanced Materials Research. :2579-2585
Subject Terms: 0211 other engineering and technologies, 02 engineering and technology
Access URL: https://www.scientific.net/AMR.291-294.2579
-
13
Authors: et al.
Source: Computers & Industrial Engineering. 62:421-430
Subject Terms: 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
14
Authors:
Source: Computers & Chemical Engineering. 22:S579-S585
-
15
Contributors:
Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
16
Contributors:
Subject Terms: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, concurrency, testing, simulations, verification of machine, Mathematical theory of computation, Computer hardware, Network hardware, Computer modelling and simulation, Software Engineering
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
17
Authors:
Source: システム/制御/情報 / SYSTEMS, CONTROL AND INFORMATION. 2001, 45(2):74
-
18
Authors:
Source: Acta Mechanica Sinica. 7:267-274
Subject Terms: 0203 mechanical engineering, 02 engineering and technology, 0101 mathematics, 01 natural sciences
-
19
Authors: Haiyan Gao
Source: IOP Conference Series: Materials Science and Engineering. 750:012218
-
20
Full Text Finder
Nájsť tento článok vo Web of Science