Time dependent problems frequently pose challenges in areas of science and engineering dealing with numerical analysis, scientific computation, mathematical models, and most importantly—numerical experiments intended to analyze physical behavior and
This is a book that, from my knowledge, is the best practice book to talk about programing in the industry-strength proof assistant Coq which a dependent type system. It is good start to understand how a dependent type system works, and how a proof
A data-dependent process (DDP) models an application who- se control flow is guided by a finite state machine, as well as by the state of an underlying database. DDPs are com- monly found e.g., in e-commerce. In this paper we develop a framework sup
Hardware-dependent Software (HdS) plays a key role in desktop computers and servers for many years. Mainly due to its flexibility, the possibility of late change, and the quick adaptability, the relevance of HdS in the domains of embedded systems an
We study the scheduling decision for an application consisting of dependent tasks, in a generic cloud computing system comprising a network of heterogeneous local processors and a remote cloud server.
研究回归分析的必读宝典. A unified treatment of the most useful models for categorical and limited dependent variables (CLDVs) is provided in this book. Throughout, the links among the models are made explicit, and common methods of derivation, interpretation a
Optimal control of the nonlinear one dimensional periodic wave equation with x-dependent coefficients，李恒燕，冀书关，This paper is concerned with an optimal control problem governed by the nonlinear one dimensional periodic wave equation with x-dependent co
Dependent ordered weighted geometric averaging operator，卫贵武，，Yager [1] introduced several families of ordered weighted averaging (OWA) operators, in which the associated weights depend on the aggregated arguments. In this paper, we develop a
