A formal method is a mathematically-based technique used in Computer Science to describe properties of hardware and/or software systems. It provides a framework within which large, complex systems may be specified, developed, and verified in a systematic rather than ad hoc manner. A method is formal if it has a sound mathematical basis, typically given by a formal specification language. A form...

This paper uses the mathematical software Maple for the auxiliary tool to evaluate two types of integrals. We can obtain the closed forms of these two types of integrals by using Euler's formula, DeMoivre's formula, and finite geometric series. In addition, we provide two integrals to do calculation practically. The research methods adopted in this study involved finding solutions through manua...

This paper uses the mathematical software Maple for the auxiliary tool to study the differential problems of two types of functions. We can obtain the closed forms of any order derivatives of these two types of functions mainly using binomial theorem and Leibniz differential rule. In addition, we provide two examples to do calculation practically. The research methods adopted in this study invo...

saccharomyces cerevisiae (baker’s yeast) can exhibit sustained oscillations during the operation in a continuous bioreactor that adversely affects its stability and productivity. because of heterogeneous nature of cell populations, the cell population balance equation (pbe) can be used to capture the dynamic behavior of such cultures. in this work, an unstructured-segregated model is used for d...

This study uses the mathematical software Maple for the auxiliary tool to evaluate the partial derivatives of two types of twovariables functions. We can obtain the infinite series forms of any order partial derivatives of these two types of two-variables functions by using differentiation term by term. At the same time, we provide two examples of two-variables functions to determine their part...

We introduce the Declaratron, a system which takes a declarative approach to specifying mathematically based scientific computation. This uses displayable mathematical notation (Content MathML) and is both executable and semantically well defined. We combine domain specific representations of physical science (e.g. CML, Chemical Markup Language), MathML formulae and computational specifications...

This paper uses the mathematical software Maple for the auxiliary tool to study the differential problem of two types of functions. We can obtain the closed forms of any order derivatives of these two types of functions by using Euler's formula, DeMoivre's formula, finite geometric series and Leibniz differential rule, and hence greatly reduce the difficulty of calculating their higher order de...

Central MessageIn type A dissection, both valve-preserving root replacement and aggressive arch surgery may be performed in selected patients. The benefit of this approach still has to defined.See Article page 2017. In defined. See Acute aortic dissection remains a deadly disease challenge the surgeon. initial 24 hours carry greatest mortality, mostly due pericardial tamponade.1Fann J.I. Smith ...

We study the effect of entitlement on willingness to lie. set up a model lying where individuals feel more or less entitled their endowment depending how they earned it. When given opportunity lie keep endowment, who are encouraged while others discouraged. To test predictions we use laboratory experiment compare behavior participants endowed with high and low endowment. In one treatment, alloc...

Kick occurrence is a possible event during a drilling process. It is required to be handled immediately using a well control method to avoid blowout, financial losses and damages to the drilling crew. Several methods including driller, wait and weight, and concurrent are applicable in the drilling industry to control a well during a kick incident. In this study, typical well control methods wer...