196,128 research outputs found
Proof Analysis in Temporal Logic
No full textThe logic of time is one of the most interesting modal logics, and its importance is widely acknowledged both for philosophical and formal reasons.
In this thesis, we apply the method of internalisation of Kripke-style semantics into the syntax of sequent calculus to the proof-theoretical analysis of temporal logics.
Sequent systems for different flows of time are obtained as modular extensions of a basic temporal calculus, through the addition of appropriate mathematical rules that correspond to the properties of temporal frames: a general and uniform treatment is thus achieved for a wide range of temporal logics. All the calculi enjoy remarkable structural properties, in particular are contraction and cut free.
Linear discrete time is analysed by means of two infinitary calculi. The first is obtained by means of a rule with infinitely many premises, and the second through a new definition of provability which admits, under certain conditions, derivation trees with infinite branches.
The first calculus enjoys the desired structural properties, but the presence of an infinitary rule is harmful for proof analysis. Two finitary systems are identified by replacing the infinitary rule with a weaker finitary rule, and by bounding the number of its premises, respectively. Corresponding, somehow complementary, conservativity results are proved with respect to adequate fragments of the original calculus.
The second calculus stems from a closure algorithm which exploits the fixed-point equations
for temporal operators and gives saturated sets of closure formulas from a given formula.
Finitisation is obtained in the form of an upper bound to the proof-search procedure, and decidability follows as a major consequence
L’édition critique du Viage al Purgatory de Ramon de Perellos entre tradition et innovation,
No full textIl contributo prende in considerazione i testimoni del Viage al Purgatory de Ramon de Perellos e ne analizza alcuni loci in previsione della produzione dell'edizione critica dell'opera
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
No full textA labelled sequent calculus is proposed for Priorean linear time logic, the rules of which reflect a natural closure algorithm derived from the fixed-point properties of the temporal operators. All the rules of the system are finitary, but proofs may contain infinite branches. Soundness and completeness of the calculus are stated with respect to a notion of provability based on a condition on derivation trees: A sequent is provable if and only if no branch leads to a ‘fulfilling sequent,’ the syntactical counterpart of a countermodel for an invalid sequent. Decidability is proved through a terminating proof search procedure, with an exponential bound to the branches of derivation trees for valid sequents, calculated on the length of the characteristic temporal formula of the endsequent
Simulazione numerica del processo di combustione in motori ad elevate prestazioni con codice di calcolo tridimensionale
No full textn.d
Fractal Graphene Patch Antennas and the THz Communications Revolution
No full textFractal antennas have and are continuing to receive attention in regard to the futureof wireless communications. This is because of their wide- and multi-band capabilities, theopportunity of fractal geometries to drive multiple resonances, and, the ability to make smallerand lighter antennas with fewer components and radiative elements with higher gains. Smallscale (i.e. on the micro- and nano-scale) and ultra high frequency (in the Terahertz or THz range)fractal antennas composed of Graphene have the potential to enhance wireless communicationsat a data rate that is unprecedented, i.e.∼1012bits per second. A Fractal Graphene antennais a high-frequency tuneable antenna for radio communications in the THz spectrum, enablingunique applications such as wireless nano-networks. This is because (mono-layer) Grapheneis a one-atom-thick two-dimensional allotrope of Carbon with the highest known electricalconductivity that is currently unavailable in any other material, including metals such as Goldand Silver. Thus, combining the properties of Graphene with the self-affine characteristics ofa fractal at the micro- and nano-scale, provides the potential to revolutionise communications,at least in the near field (the order of a few metres) for low power systems. In this paper, weconsider the basic physics and some of the principle mathematical models associated with thedevelopment of this new disruptive technology in order to provide a guide to those engagedin current and future research, a fractal Graphene antenna being an example of an advancedmaterial for demanding applications. This includes some example simulations on the THz fieldpatterns generated by a fractal patch antenna composed of Graphene whose conductivity istaken to scale with the inverse of the frequency according to a ‘Drude’ model. The approachto generating THz sources using Graphene is also explored based on Infrared laser pumping toinduce a THz photo-current
A Preliminary Study of a Graphene Fractal Sierpinski Antenna
No full textWe provide a preliminary study of a Graphene fractal antenna operating at THz frequencies with the opportunity to modulate the emission. There are a number of advantages of the fractal design, namely multiband/wideband ability, and, a smaller, lighter and simpler configuration for higher gain, that can benefit from the coupling with Graphene, the thinnest and strongest of materials exhibiting very high electrical conductivity and tunability. This paper proposes a conceptual background for the study and presents some preliminary results on the electromagnetic emission simulations undertake
Discussion of Boretti, A., 'Is there any support in the long term tide gauge data to the claims that parts of Sydney will be swamped by rising sea levels?'
No full textBoretti (2012) claims that sea-level records show insufficient acceleration to support the projections of sea-level rise that are used worldwide for planning and policy-making. Unfortunately, his claim is based more on flawed qualitative reasoning than on quantitative analysis. We replicate Boretti's methodology of fitting quadratic functions to tide-gauge observations from Fremantle and Sydney, in order to estimate the sea-level acceleration. However, we also evaluate the uncertainty in these estimates (a crucial step, omitted by Boretti), and thereby show that the observed accelerations are statistically consistent with the projections of the Fourth Assessment Report of the Intergovernmental Panel on Climate Change. Our finding is the same when we repeat this analysis using two data sets which have smaller uncertainties, one from satellite altimeters and the other from a sea-level reconstruction. We therefore conclude that Boretti's claim is without foundation
Dr. Duane M. Jackson, Morehouse College, July 2011
No full textThis video is a conversation with Dr. Duane M. Jackson. Dr. Jackson talks about his paper, "Recall and the Serial Position Effect: The Role of Primacy and Recency on Accounting Students' Performance." Jackie Daniel, AUC Woodruff Library, is the interviewer
"Reflections on the subject of Emigration from Europe with a view to Settlement in the United States" By M. Carey.
No full text"Reflections on the subject of Emigration from Europe with a view to Settlement in the United States: containing bried sketches of the moral and political character of those states.
By M. Carey, member of the American philosophical, and of the American Antiquarian Society, and author of The Olive Branch, Cindiciae Hibernicae, essays on banking, on political economy, and on internal improvement.
To which are now added the English editor's comments on the subject; together with Important Advice to Emigrants, and Cautions Against Impositions Practiced in the Outports
Author Correction: Chlorination disadvantages and alternative routes for biofouling control in reverse osmosis desalination (npj Clean Water, (2019), 2, 1, (2), 10.1038/s41545-018-0024-8)
No full textIn the original version of this Review Article the affiliation and address for Lorenzo Rosa were incorrectly given as “University of Parma, Department of Information Engineering, Parma 43121, Italy”
- …
