Search results for "Programming"
showing 10 items of 3090 documents
Mixed integer optimal compensation: Decompositions and mean-field approximations
2012
Mixed integer optimal compensation deals with optimizing integer- and real-valued control variables to compensate disturbances in dynamic systems. The mixed integer nature of controls might be a cause of intractability for instances of larger dimensions. To tackle this issue, we propose a decomposition method which turns the original n-dimensional problem into n independent scalar problems of lot sizing form. Each scalar problem is then reformulated as a shortest path one and solved through linear programming over a receding horizon. This last reformulation step mirrors a standard procedure in mixed integer programming. We apply the decomposition method to a mean-field coupled multi-agent s…
Concept of Client-Server Environment for Agent-Based Modeling and Simulation of Living Systems
2015
In the paper a concept for integrated and simple-to-use agent-based modeling and simulation environment is presented. The modeling environment allows simulating massive agent-based systems. Modeling environment itself is not domain specific, but it is expandable and allows creating domain-specific models. Hierarchical environment structure is supported. Individual agents could evolve by its individual path and pace. We use the General Living Systems theory as a reference model to check whether proposed modeling and simulation environment may also be used to describe models of living systems that are most complex systems around. The main concepts of proposed modeling environment such as agen…
Influence of Operator's Experience on Root Canal Shaping Ability with a Rotary Nickel-Titanium Single-File Reciprocating Motion System
2013
The aim of this study was to evaluate the influence of the operator's experience on the shaping of double-curvature simulated root canals with a nickel-titanium single-file reciprocating motion system.Sixty double-curvature root canals simulated in methacrylate blocks were prepared by 10 students without any experience in endodontics and by 10 professionals who had studied endodontics at the postgraduate level. The Reciproc-VDW system's R25 file was used in the root canal preparation. The blocks were photographed before and after the instrumentation, and the time of instrumentation was also evaluated. Changes in root canal dimensions were analyzed in 6 positions.Significant differences (P.0…
State of the Art Review and Report of New Tool for Drug Discovery
2017
BACKGROUND There are a great number of tools that can be used in QSAR/QSPR studies; they are implemented in several programs that are reviewed in this report. The usefulness of new tools can be proved through comparison, with previously published approaches. In order to perform the comparison, the most usual is the use of several benchmark datasets such as DRAGON and Sutherland's datasets. METHODS Here, an exploratory study of Atomic Weighted Vectors (AWVs), a new tool useful for drug discovery using different datasets, is presented. In order to evaluate the performance of the new tool, several statistics and QSAR/QSPR experiments are performed. Variability analyses are used to quantify the…
Enhancing dynamic graphical analysis with the Lisp-Stat language and the ViSta statistical program
2005
Presented is a sample of computerized methods aimed at multidimensional scaling and psychometric item analysis that offer a dynamic graphical interface to execute analyses and help visualize the results. These methods show how the Lisp-Stat programming language and the ViSta statistical program can be jointly applied to develop powerful computer applications that enhance dynamic graphical analysis methods. The feasibility of this combined strategy relies on two main features: (1) The programming architecture of ViSta enables users to add new statistical methods as plug-ins, which are integrated into the program environment and can make use of all the functions already available in ViSta (e.…
Complement lysis: a hole is a hole.
1991
recent experimental advances 21, it is now possible to produce MACs with a precise molecular composition 7 for better designed experiments. In my judgement, however, it will always be problematic to propose a single unifying mechanism for MAC action simply because MAC effects are not uniform. The reason for attempting to classify MACs as leaky patch or channel formers is a desire to wield Occam's razor and carve out the simplest unifying theory. But this razor often cuts one's throat, especially when it comes to immunological processes. A system that degranulates platelets, 'kills' such widely diverse targets as artificial liposomes, 'dead' viruses and erythrocytes, metabolically active cel…
Genetic analyses of ling (Molva molva) in the Northeast Atlantic reveal patterns relevant to stock assessments and management advice
2014
AbstractThe ling, Molva molva, is a commercially exploited demersal gadid fish distributed throughout the Northeast Atlantic. Here, we provide the first study of population genetic structure by genotyping 6 geographically distinct samples with 11 microsatellite DNA markers. The results rejected the hypothesis of a single ling stock in the Northeast Atlantic, and rather suggested the existence of two or more groups, with the main grouping represented by a western (comprising Rockall and Iceland) and an eastern group (Faroe Bank, Norway). Significant genetic differences coincide with an expanse of deep water that probably limits connectivity facilitated by migration. Retention in gyres and di…
On the definition of viscosity solutions for parabolic equations
2001
In this short note we suggest a refinement for the definition of viscosity solutions for parabolic equations. The new version of the definition is equivalent to the usual one and it better adapts to the properties of parabolic equations. The basic idea is to determine the admissibility of a test function based on its behavior prior to the given moment of time and ignore what happens at times after that.
On global solutions of the Maxwell-Dirac equations
1987
We prove, for the Maxwell-Dirac equations in 1+3 dimensions, that modified wave operators exist on a domain of small entire test functions of exponential type and that the Cauchy problem, inR+×R3, has a unique solution for each initial condition (att=0) which is in the image of the wave operator. The modification of the wave operator, which eliminates infrared divergences, is given by approximate solutions of the Hamilton-Jacobi equation, for a relativistic electron in an electromagnetic potential. The modified wave operator linearizes the Maxwell-Dirac equations to their linear part.
Star-free trace languages
1992
Abstract Generalizing a classical result of Schutzenberger to free partially commutative monoids, we prove that the family of star-free trace languages coincides with the family of aperiodic trace languages.