• No results found

A Return to the Partial Well Order Problem

Unexpected Partial Return of Wrist Extension

Unexpected Partial Return of Wrist Extension

... Pharmacological treatment can be used to treat neuropathic pain from a lesion but cannot repair functional loss. Surgical treatment is indicated as the best treatment option for restoration of function. One surgical ...

5

Partial Order Reduction for PINS

Partial Order Reduction for PINS

... 25 return dfs.state_matched (s); Algorithm 6: Couvreur’s algorithm for GSEA framework 4.6.3 Combining POR with LTL Using the partial order reduction wrapper works well for deadlocks. For LTL ...

62

Well-posedness of a boundary value problem for a class of third-order operator-differential equations

Well-posedness of a boundary value problem for a class of third-order operator-differential equations

... the well-posedness of a boundary value problem on the semiaxis for a class of third-order operator-differential equations whose principal part has multiple real ...value problem in the ...

15

Problem of the Month Diminishing Return

Problem of the Month Diminishing Return

... a problem and looking for entry points to its ...original problem in order to gain insight into its ...the problem, transform algebraic expressions or change the viewing window on their ...

15

Return to profit and well positioned for growth

Return to profit and well positioned for growth

... whether online, by phone or in store. We also continue to optimise our websites, in order to offer increasingly personalised services to customers. We offer a variety of ancillary products across the Group, which ...

37

An approximation algorithm for the three-machine scheduling problem with the routes given by the same partial order

An approximation algorithm for the three-machine scheduling problem with the routes given by the same partial order

... given partial order. Such an order is usually represented by a directed machine precedence graph, in which the set of vertices coincides with the set of machines, and the arc goes from vertex M p to ...

36

Linear Partial Differential Equations of  First Order as Bi Dimensional Inverse Moments Problem

Linear Partial Differential Equations of First Order as Bi Dimensional Inverse Moments Problem

... linear partial differential equations of first order ( ) ( ) ( ) ( ) x t ( ) ( ) ( ) a x t w , x t , + b x t w , x t , = h x t w x t , , + r x t , on a region E = ( a b 1 , 1 ) ( × a b 2 , 2 ) ...in ...

11

The Partial Differential Problem

The Partial Differential Problem

... the partial derivatives of multivariable functions is ...the partial differential problem of two types of multivariable ...any order partial derivatives of these two types of ...

8

Mixed problem with nonlocal boundary conditions for a third order partial differential equation of mixed type

Mixed problem with nonlocal boundary conditions for a third order partial differential equation of mixed type

... OF MIXED TYPE M. DENCHE and A. L. MARHOUNE (Received 7 January 2000) Abstract. We study a mixed problem with integral boundary conditions for a third-order partial differential equation of mixed type. ...

10

3 Well-posedness of the control problem

3 Well-posedness of the control problem

... the problem of identification and optimal control of partial differential ...control problem (COCP) for quasilinear parabolic ...optimization problem (UOCP) by applying the exterior penalty ...

15

Partial Truth: An Open Problem

Partial Truth: An Open Problem

... about partial truth (see Humberstone 2003); but the simple model replaces this intuition with a theory of partial truth and to abandon an intuition in order to have a theory might be a reasonable ...

9

Numerical Methods for Solving the Inverse Problem of Parameter Identification in Parabolic and Fourth-Order Partial Differential Equations

Numerical Methods for Solving the Inverse Problem of Parameter Identification in Parabolic and Fourth-Order Partial Differential Equations

... Introduction There is a broad range of mathematical problems that can be classified under the title of inverse problems. Their main overarching commonality is they involve converting a set of observations of a system into ...

119

A segmented Adomian algorithm for the boundary value problem of a second order partial differential equation on a plane triangle area

A segmented Adomian algorithm for the boundary value problem of a second order partial differential equation on a plane triangle area

... value problem (BVP) of a second-order partial differential equation on a plane triangle area, we propose a new algorithm based on the Adomian decomposition method (ADM) combined with a segmented ...

13

Well quasi order in combinatorics : embeddings and homomorphisms

Well quasi order in combinatorics : embeddings and homomorphisms

... of partial well order (pwo), or its mild generalisation well quasi-order (wqo), can then serve to distinguish between the ‘tame’ and ‘wild’ such ...

34

Well-partial-orderings and the big Veblen number

Well-partial-orderings and the big Veblen number

... Introduction Well-quasi-orders are common (and sometimes reinvented [6]) ordering structures which play a prominent role ...logic. Well-partial-orders are well- quasi-orders which are in ...

37

Solving the Partial Label Learning Problem:

Solving the Partial Label Learning Problem:

... In partial label learning, each training example is associated with a set of candidate labels, among which only one is ...from partial label examples is to treat all can- didate labels equally and make ...

7

A Study of Partial Differential Problem with Maple

A Study of Partial Differential Problem with Maple

... the partial differential problem of two types of two variables ...any order partial derivatives of these two variables functions can be obtained mainly using binomial series and ...

8

GPU implementation of partial order reduction

GPU implementation of partial order reduction

... Catch Them Young (OWCTY) algorithm to find these cycles. This results in a speed-up over both multi-core DIVINE and multi-core LTSmin. Edelkamp and Sulewski [19] perform successor generation on the GPU and apply delayed ...

55

Partial order infinitary term rewriting

Partial order infinitary term rewriting

... or partial orders [7, 6], were mainly considered to pursue quite specific purposes and have not seen nearly as much attention as the metric ...of partial terms ...the partial order model of ...

53

Solution of a well-field design problem with implicit filtering

Solution of a well-field design problem with implicit filtering

... a well is removed from the design ...perform well despite the discontinuous formulation for N < ...six well formulation and required a feasible point in the initial population in order for the ...

32

Show all 10000 documents...

Related subjects