On LP-models of arithmetic

2008 ◽  
Vol 73 (1) ◽  
pp. 212-226 ◽  
Author(s):  
J. B. Paris ◽  
A. Sirokofskich

AbstractWe answer some problems set by Priest in [11] and [12], in particular refuting Priest's Conjecture that all LP-models of Th(ℕ) essentially arise via congruence relations on classical models of Th(ℕ). We also show that the analogue of Priest's Conjecture for IΔ0 + Exp implies the existence of truth definitions for intervals [0, a] ⊂eM ⊨ IΔ0 + Exp in any cut [0, a] ⊂eK ⊆eM closed under successor and multiplication.

2014 ◽  
Vol 13 (8) ◽  
pp. 4723-4728
Author(s):  
Pratiksha Saxena ◽  
Smt. Anjali

In this paper, an integrated simulation optimization model for the assignment problems is developed. An effective algorithm is developed to evaluate and analyze the back-end stored simulation results. This paper proposes simulation tool SIMASI (Simulation of assignment models) to simulate assignment models. SIMASI is a tool which simulates and computes the results of different assignment models. This tool is programmed in DOT.NET and is based on analytical approach to guide optimization strategy. Objective of this paper is to provide a user friendly simulation tool which gives optimized assignment model results. Simulation is carried out by providing the required values of matrix for resource and destination requirements and result is stored in the database for further comparison and study. Result is obtained in terms of the performance measurements of classical models of assignment system. This simulation tool is interfaced with an optimization procedure based on classical models of assignment system. The simulation results are obtained and analyzed rigorously with the help of numerical examples. 


Author(s):  
Christian Uva

Spectacle, myth, fable. These are the main categories that have traditionally defined Sergio Leone’s cinematic production, but it is necessary to underline how much they are fueled by a profound, layered political interest. Leone’s cinema bears witness to a critical outlook both on the subjects it showcases and on its representational means. Far from any militancy and escaping ideological classifications, Leone’s perspective is problematic and unreconciled: it is grounded in the coexistence of different elements in a state of perennial productive tension and instability. The adjective “political” takes on a deeper meaning when it is used to denote the director’s ability to narrate and interpret key aspects of Italian national identity and history. The abstract quality of his production relies on an original use of different genres, particularly sword-and-sandal and the Spaghetti Western, which allowed Leone to insert frequent symbolic references to both history and then-current events. On the stylistic level, his constant disobedience to classical models and his need to revolutionize forms were motivated by an authorial desire to make films politically, though still within a conception of cinema as an industrial spectacle.


Author(s):  
Christian D. Liddy

The political narrative of late medieval English towns is often reduced to the story of the gradual intensification of oligarchy, in which power was exercised and projected by an ever smaller ruling group over an increasingly subservient urban population. This book takes its inspiration not from English historiography, but from a more dynamic continental scholarship on towns in the southern Low Countries, Germany, and France. Its premise is that scholarly debate about urban oligarchy has obscured contemporary debate about urban citizenship. It identifies from the records of English towns a tradition of urban citizenship, which did not draw upon the intellectual legacy of classical models of the ‘citizen’. This was a vernacular citizenship, which was not peculiar to England, but which was present elsewhere in late medieval Europe. It was a citizenship that was defined and created through action. There were multiple, and divergent, ideas about citizenship, which encouraged townspeople to make demands, to assert rights, and to resist authority. This book exploits the rich archival sources of the five major towns in England—Bristol, Coventry, London, Norwich, and York—in order to present a new picture of town government and urban politics over three centuries. The power of urban governors was much more precarious than historians have imagined. Urban oligarchy could never prevail—whether ideologically or in practice—when there was never a single, fixed meaning of the citizen.


2020 ◽  
Vol 18 (1) ◽  
pp. 1727-1741
Author(s):  
Yoonjin Lee ◽  
Yoon Kyung Park

Abstract We study the modularity of Ramanujan’s function k ( τ ) = r ( τ ) r 2 ( 2 τ ) k(\tau )=r(\tau ){r}^{2}(2\tau ) , where r ( τ ) r(\tau ) is the Rogers-Ramanujan continued fraction. We first find the modular equation of k ( τ ) k(\tau ) of “an” level, and we obtain some symmetry relations and some congruence relations which are satisfied by the modular equations; these relations are quite useful for reduction of the computation cost for finding the modular equations. We also show that for some τ \tau in an imaginary quadratic field, the value k ( τ ) k(\tau ) generates the ray class field over an imaginary quadratic field modulo 10; this is because the function k is a generator of the field of the modular function on Γ 1 ( 10 ) {{\mathrm{\Gamma}}}_{1}(10) . Furthermore, we suggest a rather optimal way of evaluating the singular values of k ( τ ) k(\tau ) using the modular equations in the following two ways: one is that if j ( τ ) j(\tau ) is the elliptic modular function, then one can explicitly evaluate the value k ( τ ) k(\tau ) , and the other is that once the value k ( τ ) k(\tau ) is given, we can obtain the value k ( r τ ) k(r\tau ) for any positive rational number r immediately.


Meccanica ◽  
2021 ◽  
Author(s):  
Marco Colatosti ◽  
Nicholas Fantuzzi ◽  
Patrizia Trovalusci ◽  
Renato Masiani

AbstractIn this work, particle composite materials with different kind of microstructures are analyzed. Such materials are described as made of rigid particles and elastic interfaces. Rigid particles of arbitrary hexagonal shape are considered and their geometry is described by a limited set of parameters. Three different textures are analyzed and static analyses are performed for a comparison among the solutions of discrete, micropolar (Cosserat) and classical models. In particular, the displacements of the discrete model are compared to the displacement fields of equivalent micropolar and classical continua realized through a homogenization technique, starting from the representative elementary volume detected with a numeric approach. The performed analyses show the effectiveness of adopting the micropolar continuum theory for describing such materials.


2021 ◽  
Vol 7 (1) ◽  
Author(s):  
Elisa Bäumer ◽  
Nicolas Gisin ◽  
Armin Tavakoli

AbstractIncreasingly sophisticated quantum computers motivate the exploration of their abilities in certifying genuine quantum phenomena. Here, we demonstrate the power of state-of-the-art IBM quantum computers in correlation experiments inspired by quantum networks. Our experiments feature up to 12 qubits and require the implementation of paradigmatic Bell-State Measurements for scalable entanglement-swapping. First, we demonstrate quantum correlations that defy classical models in up to nine-qubit systems while only assuming that the quantum computer operates on qubits. Harvesting these quantum advantages, we are able to certify 82 basis elements as entangled in a 512-outcome measurement. Then, we relax the qubit assumption and consider quantum nonlocality in a scenario with multiple independent entangled states arranged in a star configuration. We report quantum violations of source-independent Bell inequalities for up to ten qubits. Our results demonstrate the ability of quantum computers to outperform classical limitations and certify scalable entangled measurements.


Author(s):  
Gezahagne Mulat Addis

For a given ideal [Formula: see text] of an almost distributive lattice [Formula: see text], we study the smallest and the largest congruence relation on [Formula: see text] having [Formula: see text] as a congruence class.


2016 ◽  
Vol 23 (4) ◽  
pp. 319-330
Author(s):  
Jean-Louis Le Mouël ◽  
Vladimir G. Kossobokov ◽  
Frederic Perrier ◽  
Pierre Morat

Abstract. We report the results of heating experiments carried out in an abandoned limestone quarry close to Paris, in an isolated room of a volume of about 400 m3. A heat source made of a metallic resistor of power 100 W was installed on the floor of the room, at distance from the walls. High-quality temperature sensors, with a response time of 20 s, were fixed on a 2 m long bar. In a series of 24 h heating experiments the bar had been set up horizontally at different heights or vertically along the axis of the plume to record changes in temperature distribution with a sampling time varying from 20 to 120 s. When taken in averages over 24 h, the temperatures present the classical shape of steady-state plumes, as described by classical models. On the contrary, the temperature time series show a rich dynamic plume flow with intermittent trains of oscillations, spatially coherent, of large amplitude and a period around 400 s, separated by intervals of relative quiescence whose duration can reach several hours. To our knowledge, no specific theory is available to explain this behavior, which appears to be a chaotic interaction between a turbulent plume and a stratified environment. The observed behavior, with first-order factorization of a smooth spatial function with a global temporal intermittent function, could be a universal feature of some turbulent plumes in geophysical environments.


Sign in / Sign up

Export Citation Format

Share Document