Search results for "Mathematica"
showing 10 items of 7971 documents
An approximate/exact objective based search technique for solving general scheduling problems
2018
Abstract In this paper, we analyze single machine scheduling problems under the following minimization objectives: the maximum completion time (makespan), the total completion time and the maximum lateness, including fundamental practical aspects, which often occur in industrial or manufacturing reality: release dates, due dates, setup times, precedence constraints, deterioration (aging) of machines, as well as maintenance activities. To solve the problems, we propose an efficient representation of a solution and a fast neighborhood search technique, which calculates an approximation of criterion values in a constant time per solution in a neighborhood. On this basis, a novel approximate/ex…
Two Job Cyclic Scheduling with Incompatibility Constraints
2001
The present paper deals with the problem of scheduling several repeated occurrences of two jobs over a finite or infinite time horizon in order to maximize the yielded profit. The constraints of the problem are the incompatibilities between some pairs of tasks which require a same resource.
Fields of values of odd-degree irreducible characters
2019
Abstract In this paper we clarify the quadratic irrationalities that can be admitted by an odd-degree complex irreducible character χ of an arbitrary finite group. Write Q ( χ ) to denote the field generated over the rational numbers by the values of χ, and let d > 1 be a square-free integer. We prove that if Q ( χ ) = Q ( d ) then d ≡ 1 (mod 4) and if Q ( χ ) = Q ( − d ) , then d ≡ 3 (mod 4). This follows from the main result of this paper: either i ∈ Q ( χ ) or Q ( χ ) ⊆ Q ( exp ( 2 π i / m ) ) for some odd integer m ≥ 1 .
Razonamientos no rigurosos y demostraciones asistidas por ordenador
2007
RESUMENPresentamos la contribución de Th. Tymoczko a la filosofía de la matemática y analizamos y evaluamos las demostraciones asistidas por ordenador y los razonamientos no rigurosos en la matemática experimental, con particular referencia al Teorema de los Cuatro Colores.PALABRAS CLAVETYMOCZKO – CUASI-EMPIRISMO – MATEMÁTICA EXPERIMENTAL – RAZONAMIENTO NO RIGUROSO – DEMOSTRACIONES ASISTIDAS POR ORDENADORABSTRACTWe present Th. Tymoczko’s contribution to the philosophy of mathematics, and we analyze and evaluate the computer-assisted proofs and the non-rigorous reasonings in the experimental mathematics, particularly in reference to the Four-Colour Theorem.KEYWORDTYMOCZKO – QUASI-EMPIRICISM …
A Lotka-type model for oscillations in surface reactions
1997
In this paper we introduce a reaction model on a lattice which leads to oscillations. The model consists of two monomolecular and one bimolecular reaction step and is related to the Lotka model. Despite the simple evolution rules, the model shows a complex behaviour (i.e. the appearance of oscillations). This offers us the opportunity to test different types of stochastic approximations and compare them with the results of a Monte Carlo simulation. The simulation is performed on a large lattice (L = 1024) in order to take long-range correlations into account. Comparing the results of this simulation with the stochastic approaches shows that only advanced numerical approximations are able to…
Equilibrium real gas computations using Marquina's scheme
2003
Marquina's approximate Riemann solver for the compressible Euler equations for gas dynamics is generalized to an arbitrary equilibrium equation of state. Applications of this solver to some test problems in one and two space dimensions show the desired accuracy and robustness
A Realist Philosophy of Mathematics
2007
The realism/anti-realism debate is one of the traditional central themes in the philosophy of mathematics. The controversies about the existence of the irrational numbers, the complex numbers, the infinitesimals, etc. will be familiar to all who are acquainted with the history of mathematics. This book aims mainly at presenting and defending a non-Platonist form of mathematical structural realism which, in the respect of the history of mathematics, harmonizes with a plausible epistemology that naturally arises from it.
Can (noncommutative) geometry accommodate leptoquarks?
1997
We investigate the geometric interpretation of the Standard Model based on noncommutative geometry. Neglecting the $S_0$-reality symmetry one may introduce leptoquarks into the model. We give a detailed discussion of the consequences (both for the Connes-Lott and the spectral action) and compare the results with physical bounds. Our result is that in either case one contradicts the experimental results.
Comparison results for Monge - Ampère type equations with lower order terms
2003
In this paper we deal with Monge-Ampère type equations in two dimensions and, using the symmetrization with respect to the perimeter, we prove some comparison results for solutions of such equations involving the solutions of conveniently symmetrized problems.
Approximation of Baskakov type Pólya–Durrmeyer operators
2017
In the present paper we propose the Durrmeyer type modification of Baskakov operators based on inverse Polya-Eggenberger distribution. First we estimate a recurrence relation by using hypergeometric series. We give a global approximation theorem in terms of second order modulus of continuity, a direct approximation theorem by means of the Ditzian-Totik modulus of smoothness and a Voronovskaja type theorem. Some approximation results in weighted space are obtained. Also, we show the rate of convergence of these operators to certain functions by illustrative graphics using the Maple algorithms.