We examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches. We state the definition of these anomalies, building upon pattern matching semantics, and propose a simple algorithm to detect them. We have integrated the algorithm in the Objective Caml compiler, but we show that the same algorithm is also usable in a non-strict language such as Haskell. Or-patterns ar...

Motivated by the influenza vaccine industry, we study a supply chain contracting problem under the presence of uncertainties that are related to product design, delivery, and demand, respectively. The supply chain consists of a manufacturer and a retailer, where the retailer places an order before the flu season starts and the manufacturer decides on when to produce the products. Because produc...

Necessary and sufficient conditions under which semiorders on uncountable sets can be represented by a real-valued function constant threshold are known. We show that the proof strategy we used for constructing representations in case of denumerable adapted to case. use it give an alternative existence strict unit representations. In contrast countable case, admit representation do not necessar...

The mastering of handwriting is so essential in our society that it is important to try to find new methods for facilitating its learning and rehabilitation. The ability to control the graphic movements clearly impacts on the quality of the writing. This control allows both the programming of letter formation before movement execution and the online adjustments during execution, thanks to diver...

 In this paper, some basic results concerning strict, nonstrict inequalities, local existence theorem and differential inequalities  have been proved for an IVP of first order hybrid  random differential equations with the linear perturbation of second type. A comparison theorem is proved and  applied to prove the uniqueness of random solution for the considered perturbed random differential eq...

BACKGROUND We aimed to evaluate postoperative recovery and short-term outcomes of patients undergoing partial hepatectomy managed with a nonstrict and individual enhanced recovery after surgery (ERAS) program. METHODS A retrospective analysis of 168 partial hepatectomy patients in our institution was included. The discharged day and the respective impact of element application throughout the ...