Invex nonsmooth alternative theorem and applications

An invex constrained nonsmooth optimization problem is considered, in which the presence of an abstract constraint set is possibly allowed. Necessary and sufficient conditions of optimality are provided and weak and strong duality results established. Following Geoffrion's approach an invex nonsmooth alternative theorem of Gordan type is then derived. Subsequently, some applications on multiobjective programming are then pursued. © 2000 OPA (Overseas Publishers Association) N.V. Published by license under the Gordon and Breach Science Publishers imprint.

Efficacy of Carisolv™ as an adjunctive therapy to scaling and root planing on subgingival calculus removal

The purpose of this study was to evaluate the effectiveness of subgingival application of Carisolv™ gel as an adjunctive therapy to scaling and root planing (SRP) on calculus removal compared to conventional instrumentation. Forty-five teeth requiring extraction due to severe periodontal disease were randomized to the following treatments: 1) SRP alone; 2) placebo gel + SRP; 3) Carisolv™ gel + SRP. Either test or placebo gel was applied subgingivally for 1 min and then the root were instrumented until a smooth and calculus-free surface was achieved. Instrumentation time and the number of strokes required were recorded. After extraction, the efficacy of root surface instrumentation was measured by percentage of remaining calculus. There was no statistically significant difference (p>0.05) between the treatment groups regarding either time required for instrumentation or the percentage of residual calculus. The subgingival application of Carisolv™ gel prior to SRP did not provide any additional benefit to root instrumentation compared to scaling and root planing alone.

A note on KKT-invexity in nonsmooth continuous-time optimization

We introduce the notion of KKT-inverity for nonsmooth continuous-time nonlinear optimization problems and prove that this notion is a necessary and sufficient condition for every KKT solution to be a global optimal solution.

Optimal control problems with nonsmooth mixed constraints

In this paper we present a weak maximum principle for optimal control problems involving mixed constraints and pointwise set control constraints. Notably such result holds for problems with possibly nonsmooth mixed constraints. Although the setback of such result resides on a convexity assumption on the extended velocity set, we show that if the number of mixed constraints is one, such convexity assumption may be removed when an interiority assumption holds. © 2008 IEEE.

New optimality conditions for nonsmooth control problems

This work considers nonsmooth optimal control problems and provides two new sufficient conditions of optimality. The first condition involves the Lagrange multipliers while the second does not. We show that under the first new condition all processes satisfying the Pontryagin Maximum Principle (called MP-processes) are optimal. Conversely, we prove that optimal control problems in which every MP-process is optimal necessarily obey our first optimality condition. The second condition is more natural, but it is only applicable to normal problems and the converse holds just for smooth problems. Nevertheless, it is proved that for the class of normal smooth optimal control problems the two conditions are equivalent. Some examples illustrating the features of these sufficient concepts are presented. © 2012 Springer Science+Business Media New York.

Birth of limit cycles bifurcating from a nonsmooth center

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Monitoring scaling and dental calculus removal with an optical fluorescence system

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

THREE TIME SCALE SINGULAR PERTURBATION PROBLEMS AND NONSMOOTH DYNAMICAL SYSTEMS

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Metabolic investigation of patients with staghorn calculus: is it necessary?

To evaluate the prevalence of metabolic disorders in patients with staghorn calculi treated at the Regional Center of Lithiasis Metabolic Studies in central region of Såo Paulo State, Brazil. Between February 2000 and February 2008, 630 patients with urinary calculi were evaluated in the lithiasis outpatient clinic. Thirty-seven of them had staghorn calculi (35 women and 2 men). The inclusion criteria for the metabolic investigation included the absence of urological manipulation 30 days before the examination, negative urine culture and creatinine clearance > 60 mL/min. The protocol for metabolic investigation consisted of qualitative search for cystinuria. Two non-consecutive 24-hour urine samples collected to measure calcium, phosphorus, uric acid, sodium, potassium, magnesium, oxalate and citrate, and serum calcium levels, phosphorus, uric acid, sodium, potassium, magnesium, chloride, parathormone and urine pH. Among patients with lithiasis, 5.9% (37/630) had staghorn calculus and in 48.6% (18/37) were diagnosed with urinary infection. The females were predominant for 94.5% of cases. The calculi were unilateral in 31 of cases and bilateral in six. Metabolic abnormalities were found in 68.2% of patients with hypercalciuria (64.2%) and hypocitraturia (53.3%) being the most common disorders. The presence of metabolic disorders in nearly 70% of patients with staghorn calculus reinforces the necessity for evaluation of these patients. The diagnosis and treatment of identified metabolic abnormalities can contribute to the prevention of recurrent staghorn calculi.

A prelude to the fractional calculus applied to tumor dynamic

In order to refine the solution given by the classical logistic equation and extend its range of applications in the study of tumor dynamics, we propose and solve a generalization of this equation, using the so-called Fractional Calculus, i.e., we replace the ordinary derivative of order 1, in one version of the usual equation, by a non-integer derivative of order 0 < α < 1, and recover the classical solution as a particular case. Finally, we analyze the applicability of this model to describe the growth of cancer tumors.

Dental calculus formation in children and adolescents undergoing hemodialysis

This study aimed to determine whether dental calculus formation is really higher among patients with chronic kidney disease undergoing hemodialysis than among controls. Furthermore, the study evaluated correlations between dental calculus formation and dental plaque, variables that are related to renal disease and/or saliva composition. The Renal Group was composed of 30 patients undergoing hemodialysis, whereas the Healthy Group had 30 clinically healthy patients. Stimulated whole saliva and parotid saliva were collected. Salivary flow rate and calcium and phosphate concentrations were determined. In the Renal Group the saliva collection was carried out before and after a hemodialysis session. Patients from both groups received intraoral exams, oral hygiene instructions, and dental scaling. Three months later, the dental calculus was measured by the Volpe-Manhold method to determine the rate of dental calculus formation. The Renal Group presented a higher rate of dental calculus formation (p < 0.01). Correlation was observed between rate of dental calculus formation and whole saliva flow rate in the Renal Group after a hemodialysis session (r = 0.44, p < 0.05). The presence of dental calculus was associated with phosphate concentration in whole saliva from the Renal Group (p < 0.05). In conclusion, patients undergoing hemodialysis presented accelerated dental calculus formation, probably due to salivary variables.

Differential calculus and integration of generalized functions over membranes

In this paper we continue the development of the differential calculus started in Aragona et al. (Monatsh. Math. 144: 13-29, 2005). Guided by the so-called sharp topology and the interpretation of Colombeau generalized functions as point functions on generalized point sets, we introduce the notion of membranes and extend the definition of integrals, given in Aragona et al. (Monatsh. Math. 144: 13-29, 2005), to integrals defined on membranes. We use this to prove a generalized version of the Cauchy formula and to obtain the Goursat Theorem for generalized holomorphic functions. A number of results from classical differential and integral calculus, like the inverse and implicit function theorems and Green's theorem, are transferred to the generalized setting. Further, we indicate that solution formulas for transport and wave equations with generalized initial data can be obtained as well.

A core calculus for the analysis and implementation of biologically inspired languages

The application of Concurrency Theory to Systems Biology is in its earliest stage of progress. The metaphor of cells as computing systems by Regev and Shapiro opened the employment of concurrent languages for the modelling of biological systems. Their peculiar characteristics led to the design of many bio-inspired formalisms which achieve higher faithfulness and specificity. In this thesis we present pi@, an extremely simple and conservative extension of the pi-calculus representing a keystone in this respect, thanks to its expressiveness capabilities. The pi@ calculus is obtained by the addition of polyadic synchronisation and priority to the pi-calculus, in order to achieve compartment semantics and atomicity of complex operations respectively. In its direct application to biological modelling, the stochastic variant of the calculus, Spi@, is shown able to model consistently several phenomena such as formation of molecular complexes, hierarchical subdivision of the system into compartments, inter-compartment reactions, dynamic reorganisation of compartment structure consistent with volume variation. The pivotal role of pi@ is evidenced by its capability of encoding in a compositional way several bio-inspired formalisms, so that it represents the optimal core of a framework for the analysis and implementation of bio-inspired languages. In this respect, the encodings of BioAmbients, Brane Calculi and a variant of P Systems in pi@ are formalised. The conciseness of their translation in pi@ allows their indirect comparison by means of their encodings. Furthermore it provides a ready-to-run implementation of minimal effort whose correctness is granted by the correctness of the respective encoding functions. Further important results of general validity are stated on the expressive power of priority. Several impossibility results are described, which clearly state the superior expressiveness of prioritised languages and the problems arising in the attempt of providing their parallel implementation. To this aim, a new setting in distributed computing (the last man standing problem) is singled out and exploited to prove the impossibility of providing a purely parallel implementation of priority by means of point-to-point or broadcast communication.