Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Planning (firm) --- Operational research. Game theory --- 519.85 --- Mathematical programming --- Branch and bound algorithms. --- Operations research. --- 519.85 Mathematical programming --- Branch and bound algorithms --- Operations research --- Operational analysis --- Operational research --- Industrial engineering --- Management science --- Research --- System theory --- Algorithms --- Network analysis (Planning) --- Programming (Mathematics)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that central aspects of software design and program development have a strong formal character which admits tool support for the construction of reliable and correct computer systems based on formal reasoning. This monograph provides much information both for theoreticians interested in algebraic theories, and for software engineers building practically relevant tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems. Two new algorithms are introduced allowing for automatic verification of important aspects such as safety or liveness properites of a given infinite-state system. The formal framework developed involves recent results from various theoretical areas like process algebras, fixpoint theory, modal logics and model checking.

Processes, Infinite. --- Branch and bound algorithms. --- Software-technologie --- Technologie du software --- Computer software --- Software engineering --- Computer Science --- Engineering & Applied Sciences --- Verification --- Computer science. --- Computer programming. --- Software engineering. --- Computer logic. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Techniques. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Programming --- Verification. --- Software verification --- Verification of software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Discrete optimization is an important area of Applied Mathematics with a broad spectrum of applications in many fields. This book results from a Special Issue in the journal Mathematics entitled ‘Advances and Novel Approaches in Discrete Optimization’. It contains 17 articles covering a broad spectrum of subjects which have been selected from 43 submitted papers after a thorough refereeing process. Among other topics, it includes seven articles dealing with scheduling problems, e.g., online scheduling, batching, dual and inverse scheduling problems, or uncertain scheduling problems. Other subjects are graphs and applications, evacuation planning, the max-cut problem, capacitated lot-sizing, and packing algorithms.

Research & information: general --- Mathematics & science --- forgotten index --- balaban index --- reclassified the zagreb indices --- ABC4 index --- GA5 index --- HDN3(m) --- THDN3(m) --- RHDN3(m) --- degree of vertex --- extended adjacency index --- scheduling with rejection --- machine non-availability --- operator non-availability --- dynamic programming --- FPTAS --- Transportation --- batching scheduling --- total weighted completion time --- unary NP-hard --- approximation algorithm --- bi-criteria scheduling --- online algorithm --- makespan --- maximum machine cost --- competitive ratio --- network optimization --- dynamic flow --- evacuation planning --- contraflow configuration --- partial lane reversals, algorithms and complexity --- logistic supports --- scheduling algorithm --- release-time --- due-date --- divisible numbers --- lateness --- bin packing --- time complexity --- batch scheduling --- linear deterioration --- job families --- Max-cut problem --- combinatorial optimization --- deep learning --- pointer network --- supervised learning --- reinforcement learning --- capacitated lot sizing --- mixed integer formulation --- retail --- inventory --- shortages --- graph --- join product --- crossing number --- cyclic permutation --- arithmetic mean --- combinatorial generation --- method --- algorithm --- AND/OR tree --- Euler-Catalan's triangle --- labeled Dyck path --- ranking algorithm --- unranking algorithm --- Harris hawks optimizer --- load frequency control --- sensitivity analysis --- smart grid --- particle swarm optimization --- genetic algorithm --- meta-heuristics --- packing --- irregular 3D objects --- quasi-phi-function s --- nonlinear optimization --- single-machine scheduling --- minimization of maximum penalty --- dual problem --- inverse problem --- branch and bound --- LNS --- numerical conversion --- RISC --- FPGA --- embedded systems --- scheduling --- job-shop --- makespan criterion --- uncertain processing times --- forgotten index --- balaban index --- reclassified the zagreb indices --- ABC4 index --- GA5 index --- HDN3(m) --- THDN3(m) --- RHDN3(m) --- degree of vertex --- extended adjacency index --- scheduling with rejection --- machine non-availability --- operator non-availability --- dynamic programming --- FPTAS --- Transportation --- batching scheduling --- total weighted completion time --- unary NP-hard --- approximation algorithm --- bi-criteria scheduling --- online algorithm --- makespan --- maximum machine cost --- competitive ratio --- network optimization --- dynamic flow --- evacuation planning --- contraflow configuration --- partial lane reversals, algorithms and complexity --- logistic supports --- scheduling algorithm --- release-time --- due-date --- divisible numbers --- lateness --- bin packing --- time complexity --- batch scheduling --- linear deterioration --- job families --- Max-cut problem --- combinatorial optimization --- deep learning --- pointer network --- supervised learning --- reinforcement learning --- capacitated lot sizing --- mixed integer formulation --- retail --- inventory --- shortages --- graph --- join product --- crossing number --- cyclic permutation --- arithmetic mean --- combinatorial generation --- method --- algorithm --- AND/OR tree --- Euler-Catalan's triangle --- labeled Dyck path --- ranking algorithm --- unranking algorithm --- Harris hawks optimizer --- load frequency control --- sensitivity analysis --- smart grid --- particle swarm optimization --- genetic algorithm --- meta-heuristics --- packing --- irregular 3D objects --- quasi-phi-function s --- nonlinear optimization --- single-machine scheduling --- minimization of maximum penalty --- dual problem --- inverse problem --- branch and bound --- LNS --- numerical conversion --- RISC --- FPGA --- embedded systems --- scheduling --- job-shop --- makespan criterion --- uncertain processing times

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Discrete optimization is an important area of Applied Mathematics with a broad spectrum of applications in many fields. This book results from a Special Issue in the journal Mathematics entitled ‘Advances and Novel Approaches in Discrete Optimization’. It contains 17 articles covering a broad spectrum of subjects which have been selected from 43 submitted papers after a thorough refereeing process. Among other topics, it includes seven articles dealing with scheduling problems, e.g., online scheduling, batching, dual and inverse scheduling problems, or uncertain scheduling problems. Other subjects are graphs and applications, evacuation planning, the max-cut problem, capacitated lot-sizing, and packing algorithms.

forgotten index --- balaban index --- reclassified the zagreb indices --- ABC4 index --- GA5 index --- HDN3(m) --- THDN3(m) --- RHDN3(m) --- degree of vertex --- extended adjacency index --- scheduling with rejection --- machine non-availability --- operator non-availability --- dynamic programming --- FPTAS --- Transportation --- batching scheduling --- total weighted completion time --- unary NP-hard --- approximation algorithm --- bi-criteria scheduling --- online algorithm --- makespan --- maximum machine cost --- competitive ratio --- network optimization --- dynamic flow --- evacuation planning --- contraflow configuration --- partial lane reversals, algorithms and complexity --- logistic supports --- scheduling algorithm --- release-time --- due-date --- divisible numbers --- lateness --- bin packing --- time complexity --- batch scheduling --- linear deterioration --- job families --- Max-cut problem --- combinatorial optimization --- deep learning --- pointer network --- supervised learning --- reinforcement learning --- capacitated lot sizing --- mixed integer formulation --- retail --- inventory --- shortages --- graph --- join product --- crossing number --- cyclic permutation --- arithmetic mean --- combinatorial generation --- method --- algorithm --- AND/OR tree --- Euler–Catalan’s triangle --- labeled Dyck path --- ranking algorithm --- unranking algorithm --- Harris hawks optimizer --- load frequency control --- sensitivity analysis --- smart grid --- particle swarm optimization --- genetic algorithm --- meta-heuristics --- packing --- irregular 3D objects --- quasi-phi-function s --- nonlinear optimization --- single-machine scheduling --- minimization of maximum penalty --- dual problem --- inverse problem --- branch and bound --- LNS --- numerical conversion --- RISC --- FPGA --- embedded systems --- scheduling --- job-shop --- makespan criterion --- uncertain processing times --- n/a --- Euler-Catalan's triangle