Alure

Definitions

  • Webster's Revised Unabridged Dictionary
    • n Alure A walk or passage; -- applied to passages of various kinds. "The sides of every street were covered with fresh alures of marble."
    • ***
Century Dictionary and Cyclopedia
    • n alure An alley; a walk.
    • n alure A passage, gangway, or gallery in a building.
    • n alure A covered passage; a cloister.
    • n alure In medieval milit. arch., a footway on the summit of a wall or rampart, behind the battlements; also, the passageway within the hoarding or bratticing.
    • ***
Chambers's Twentieth Century Dictionary
    • n Alure al-lūr′ (obs.) a place to walk in, a gallery, a covered passage.
    • ***

Etymology

Webster's Revised Unabridged Dictionary
OF. alure, aleure, walk, gait, fr. aler,F. aller,) to go
Chambers's Twentieth Century Dictionary
O. Fr. aleure, aller, to go.

Usage

In literature:

Sir Alured was a relation and a gentleman.
"The Prime Minister" by Anthony Trollope
I will stay at home to nurse Sir Alured in the gout.
"The Book of Snobs" by William Makepeace Thackeray
Alured and Trevor Lea have always been remarkably alike.
"Lady Hester, or Ursula's Narrative" by Charlotte M. Yonge
Pilgrimage of Alured to Jerusalem.
"Robert Kerr's General History and Collection of Voyages and Travels, Volume 18" by William Stevenson
Alured of Rievaux, 1109-66: The Battle of the Standard.
"English Literature, Considered as an Interpreter of English History" by Henry Coppee
In the daies of the foresaid king Alured, the kingdome of Mercia tooke end.
"Chronicles (1 of 6): The Historie of England (6 of 8)" by Raphael Holinshed
Alfred or Alured, surnamed "Anglicus," was also called "The Philosopher" (died 1270).
"Character Sketches of Romance, Fiction and the Drama" by E. Cobham Brewer
Clarke, Major-General Alured, his expedition to the Cape, 251, 253.
"William Pitt and the Great War" by John Holland Rose
Lord Nelson and General Sir Alured Clarke were brought as evidence to character.
"Blackwoods Edinburgh Magazine, Volume 59, No. 366, April, 1846" by Various
The largest weekly fair is held at Alur.
"Encyclopaedia Britannica, 11th Edition, Volume 13, Slice 1" by Various
The machicoulis and alurs of a later date were imitations in stone of the wooden bretasche.
"British Castles" by Charles H. Ashdown
***

In news:

Alure Home Improvements President Ferro has a tremendous wingspan.
His lifelong dedication to the craft of home remodeling has paid off with the creation of the largest home remodeling company on Long Island, Alure Home Improvements.
Alure keeps growth strategy intact.
***

In science:

This language, defined by Alur and Henzinger in is used as input of the Mocha model checkers and its variants [2, 4].
Uniform Random Sampling of Traces in Very Large Models
We discuss this in greater depth in our consideration of temporal logics (Section 5.2.1); for general reference we cite the classic works by Lamport [Lam80], Emerson and Halpern [EH86], Emerson [Eme90], and Alur and Henzinger [AH92b] — the last focusing on real-time models.
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Although the name “timed automata” could be used generically to denote automata formalisms where a description of time has been added (e.g., [LV96, AH96, Arc00]), here we specifically refer to the model first proposed by Alur and Dill [AD94], and to its subsequent enrichments and variations.
Modeling Time in Computing: A Taxonomy and a Comparative Survey
We refer the reader to Alur and Dill’s original paper [AD94] and to [BY04] for a formal, detailed presentation.
Modeling Time in Computing: A Taxonomy and a Comparative Survey
The original Alur and Dill’s formalization [AD94] permitted constraints only on transitions; however, adding constraints to locations as well is a standard extension that does not impact on the salient features of the model (expressiveness, in particular) [BY04].
Modeling Time in Computing: A Taxonomy and a Comparative Survey
A few relevant ones are: the Interval-based Temporal Logic of Schwartz et al. [SMV83], the Interval Temporal Logic of Moszkowski [Mos83, Mos86], the Duration Calculus of Chachoen et al. [CHR91], the Metric Interval Temporal Logic (MITL) of Alur et al. [AFH96].
Modeling Time in Computing: A Taxonomy and a Comparative Survey
In this section we focus on the distinguishing features of Lamport’s Temporal Logic of Actions (TLA) [Lam94], and Alur and Henzinger’s Timed Propositional Temporal Logic (TPTL) [AH94].
Modeling Time in Computing: A Taxonomy and a Comparative Survey
The TPTL logic by Alur and Henzinger represents a quite interesting example of how a careful choice of the operators provided by a temporal logic can make a great difference in terms of expressiveness, decidability, and complexity of the verification procedures.
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Ra jeev Alur, Costas Courcoubetis, and David L.
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Alur, Bernadsky, and Madhusudan and Bouyer et al. gave semi-algorithms to compute the value of reachability-price games on linearly-priced timed automata.
Quantitative Games on Probabilistic Timed Automata
Alur, M., The lethargy of a nation: Inclusive education in India. In L. Barton and F. Armstrong, eds. pp. 91-106, policy, experience and change: Cross cultural reflections on Inclusive education, Dordrecht: Springer 2007.
Mathematical Analysis of the Problems faced by the People With Disabilities (PWDs)
Alur, R., Madhusudan, P.: Adding nesting structure to words.
Underapproximation of Procedure Summaries for Integer Programs
Madhusudan & Rajeev Alur (2008): Automatic symbolic compositional verification by learning assumptions.
Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems
Ra jeev Alur and David Dill. A theory of timed automata.
The Complexity of Codiagnosability for Discrete Event and Timed Systems
***