A natural formulation versus an extended formulation for the K clusters with fixed cardinality problem

2019 ◽  
Author(s):  
Graça Marques Gonçalves ◽  
Lídia Lampreia Lourenço
2021 ◽  
Vol 12 (3) ◽  
pp. 101655
Author(s):  
C. Shanmuganath ◽  
Satyanshu Kumar ◽  
Raghuraj Singh ◽  
Anil Kumar Sharma ◽  
M. Saminathan ◽  
...  
Keyword(s):  

1991 ◽  
Vol 15 (1) ◽  
pp. 80-85
Author(s):  
P.H. Rodenburg

In a natural formulation, Craig’s interpolation theorem is shown to hold for conditional equational logic.


2021 ◽  
Author(s):  
Erling N. Lone ◽  
Thomas Sauder ◽  
Kjell Larsen ◽  
Bernt J. Leira

Abstract Results from full scale fatigue tests of offshore mooring chains performed in recent years have revealed considerable influence of both mean load and corrosion condition on the fatigue capacity. It has been shown that a reduction of the mean load gives an increase in fatigue life, whereas the corrosion experienced by used chains have a significant negative impact. Neither of these effects are properly addressed by current S-N design curves or design practice. This paper suggests an extended S-N curve formulation, that includes the effects of mean load and corrosion condition. The parameters of the extended formulation are estimated empirically from mooring chain test data that includes new and used chains, with various mean loads and with different degrees of corrosion. The fitted capacity model is then used for fatigue calculation for the mooring system of a semi-submersible, showing the importance of using realistic mean loads and mooring chain corrosion in fatigue assessments.


PMLA ◽  
1946 ◽  
Vol 61 (1) ◽  
pp. 163-191
Author(s):  
Richard H. Fogle

Empathy, the involuntary projection of oneself into an object, received its first extended formulation in the Mikrokosmos of Hermann Lotze (1858). To Lotze Einfühlung, or empathy as it has been termed in English, was a phenomenon which accounts for our knowledge of the external world. “The world,” he said, “becomes alive to us through this power to see in forms the joy and sorrow of existence that they hide: there is no shape so coy that our fancy cannot sympathetically enter into it.” In this knowledge our consciousness of our own bodily sensations is a factor: “Unquestionably the vividness of these perceptions is added to by our abiding remembrance of the activity of our own body … every movement which we execute, every attitude in which we repose, has its meaning rendered plain to us by the feeling of exertion or of enjoyment.” Entering thus into our own sensations, by means of them we are also enabled to know the feelings of creatures and objects beyond their immediate range:… we, thus aided by our sentience, assuredly can comprehend also the alien silent form. Nor is it only into the peculiar vital feelings of that which in nature is near to us that we enter into the joyous flight of the singing bird or the graceful fleeting of the gazelle; we not only countract our mental feelers to the most minute creatures, to enter in reverie into the narrow round of existence of a mussel-fish and the monotonous bliss of its openings and shuttings, we not only expand into the slender proportions of the tree whose twigs are animated by the pleasure of graceful bending and waving; nay, even to the inanimate do we transfer these interpretative feelings, transforming through them the dead weights and supports of buildings into so many limbs of a living body whose inner tensions pass over into ourselves.


2021 ◽  
Vol 289 (3) ◽  
pp. 975-986
Author(s):  
Massimo Di Francesco ◽  
Manlio Gaudioso ◽  
Enrico Gorgone ◽  
Ishwar Murthy

Insects ◽  
2020 ◽  
Vol 11 (9) ◽  
pp. 613 ◽  
Author(s):  
Ivan Paponja ◽  
Vlatka Rozman ◽  
Anita Liška

Diatomaceous earth (DE) has long been known as a potential protectant for stored cereals against various stored product insects. Despite favorable effect for the environment and human health, DE has some negative side effects on the treated commodity. In order to minimize negative response and to improve its efficacy, this paper represents a study of developed natural formulation based on DE SilicoSec® enhanced with botanicals (essential oil lavender, corn oil, and bay leaves dust) and silica gel. The activity of formulation (labeled as N Form) was tested against Sitophilus oryzae (L.), Rhyzopertha dominica (F.), and Tribolium castaneum (Herbst) in seed wheat and barley under controlled conditions. As a reference comparative value, DE SilicoSec® was used. N Form showed higher efficacy than DE, especially in barley at the lowest concentration, inducing higher mortality of all three insect species. The highest average progeny inhibition was recorded in R. dominica population both in seed wheat and barley with 94.9% and 96.3% of inhibition, respectively, followed with S. oryzae and T. castaneum inhibition of 90.6% and 86.1%, respectively, in wheat and 94.9% and 89.7%, respectively, in barley. Results indicate that the developed natural formulation N Form enhanced the activity of DE SilicoSec® using lower amount of DE dust and that it could be successfully implemented for storage of cereals as alternatives to chemical pesticides for stored product insect control.


Author(s):  
Harry Dankowicz ◽  
Frank Schilder

This paper presents an extended formulation of the basic continuation problem for implicitly defined, embedded manifolds in Rn. The formulation is chosen so as to allow for the arbitrary imposition of additional constraints during continuation and the restriction to selective parametrizations of the corresponding higher-codimension solution manifolds. In particular, the formalism is demonstrated to clearly separate between the essential functionality required of core routines in application-oriented continuation packages, on the one hand, and the functionality provided by auxiliary toolboxes that encode classes of continuation problems and user definitions that narrowly focus on a particular problem implementation, on the other hand. Several examples are chosen to illustrate the formalism and its implementation in the recently developed continuation core package COCO and auxiliary toolboxes, including the continuation of families of periodic orbits in a hybrid dynamical system with impacts and friction as well as the detection and constrained continuation of selected degeneracies characteristic of such systems, such as grazing and switching-sliding bifurcations.


Sign in / Sign up

Export Citation Format

Share Document