Results 221 to 230 of about 9,816 (262)

Right posterior sector graft via pure laparoscopic donor hepatectomy: a video presentation. [PDF]

J Minim Invasive Surg
Makki K, Qaleem M, Ghosh NK, Yadav Y, Karan T, Srivastava P, Agarwal A, Vij V.   +7 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

An extended looped‐functional for stability analysis of sampled‐data systems

International Journal of Robust and Nonlinear Control, 2020
SummaryThis article introduces an extended looped‐functional for stability analysis of sampled‐data systems. It is defined as a differentiable functional over an interval between two consecutive sampling instants which has a property that the difference between its values at the latter sampling instant and at the former sampling instant is nonnegative.
Junmin Park, Poogyeon Park
exaly   +2 more sources

A new looped-functional for stability analysis of the linear impulsive system

Communications in Nonlinear Science and Numerical Simulation, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Xinzhi Liu, Shouming Zhong
exaly   +3 more sources

A new looped-functional for stability analysis of sampled-data systems

Automatica, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hong-Bing Zeng, Kok Lay Teo, Yong He
exaly   +4 more sources

An enhanced looped-functional framework for stability analysis of sampled-data systems

Journal of the Franklin Institute
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Seok Young Lee, Junmin Park
exaly   +3 more sources

A Heuristic for Deriving Loop Functions

IEEE Transactions on Software Engineering, 1984
Summary: The problem of analyzing an initialized loop and verifying that the program computes some particular function of its inputs is addressed. A heuristic technique for solving these problems is proposed that appears to work well in many commonly occurring cases. The use of the technique is illustrated with a number of applications. An attribute of
Douglas D. Dunlop, Victor R. Basili
openaire   +2 more sources

Loops, Functions, and Files

2020
In Chapter 3, you learned about arrays, matrices, and vectors in GNU Octave in detail. You will use these concepts in the remaining chapters to demonstrate the functionality offered by GNU Octave.
Ashwin Pajankar, Sharvani Chandu
openaire   +1 more source

Invariant relations, invariant functions, and loop functions

Innovations in Systems and Software Engineering, 2012
The increasing criticality of software applications, the increasing size and complexity of such applications, and the increasing reliance of software engineering paradigms on third party software assets combine to place a high premium on the ability to analyze software products to an arbitrary level of thoroughness and precision.
Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili 0001   +3 more
openaire   +1 more source

Towards an automated tool for computing loop functions

ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010, 2010
Despite several decades of on-and-off research efforts, the functional analysis of computer programs to an arbitrary level of thoroughness and precision remains an unfulfilled challenge. Also, despite several decades of advances in programming language design and implementation, most of the software that is written and maintained today is written in ...
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili 0001   +3 more
openaire   +1 more source