67,641 research outputs found
[Captain James M. Butler, Union Army]
No full text''Capt. James M. Butler, Thirty-fourth Indiana Infantry. Captain Butler resigned on May 20, 1865, one week after his regiment was defeated at the battle of Palmito Ranch. Carte de visite by Theodore Lilienthal, New Orleans, Louisiana, ca. 1864.'' [Jerry Thompson and Lawrence T. Jones III, Civil War and Revolution on the Rio Grande Frontier: A Narrative and Photographic History (Austin: Texas State Historical Association, 2004), 85.]Recto: [handwritten] Very Respy [?] James M. Butler. Verso: [handwritten] Brazos Santiago Texas 25 April [?] 1865 [imprinted] T. Lilienthal, Photographic Establishment. 102 T. Lilienthal. 102 Poydras St. New Orleans
On a class of locally Butler groups
No full textsummary:A torsionfree abelian group is called a Butler group if for any torsion group . It has been shown in [DHR] that under any countable pure subgroup of a Butler group of cardinality not exceeding is again Butler. The purpose of this note is to show that this property has any Butler group which can be expressed as a smooth union of pure subgroups having countable typesets
Manuel Général, 5, 12, 26 août, N.-M. Butler : Y a-t-il une éducation nouvelle ?
No full textPellisson Maurice. Manuel Général, 5, 12, 26 août, N.-M. Butler : Y a-t-il une éducation nouvelle ?. In: La revue pédagogique, tome 35, Juillet-Décembre 1899. p. 370
Tasking Event-B: An Extension to Event-B for Generating Concurrent Code
No full textThe Event-B method is a formal approach for modelling systems in safety-, and business-critical, domains. Initially, system specification takes place at a high level of abstraction; detail is added in refinement steps as the development proceeds toward implementation. Our aim has been to develop a novel approach for generating code, for concurrent programs, from Event-B. We formulated the approach so that it integrates well with the existing Event-B methodology and tools. In this paper we introduce a tasking extension for Event-B, with Tasking and Shared Machines. We make use of refinement, decomposition, and the extension, to structure projects for code generation for multitasking implementations. During the modelling phase decomposition is performed; decomposition reduces modelling complexity and makes proof more tractable. The decomposed models are then extended with sufficient information to enable generation of code. A task body describes a task’s behaviour, mainly using imperative, programming-like constructs. Task priority and life-cycle (periodic, triggered, etc.) are also specified, but timing aspects are not modelled formally. We provide tool support in order to validate the practical aspects of the approach
Dataset for: Domain-Specific Scenarios for Refinement-based Methods
No full textAbstract Scenarios and related models for the HL3 case study described in: Snook, C., Hoang, T. S., Dghaym, D., Salehi Fathabadi, A., & Butler, M. (2020). Domain-Specific Scenarios for Refinement-based Methods. Journal of Systems Architecture. </span
Butler groups of infinite rank
No full textAbstractFor a fixed proper subgroup R (of type t) of the group Q of rational numbers, a torsion-free group A is called an R-group if it satisfies Bext1(A, R) = 0, where Bext stands for the set of balanced extensions. Those R-groups whose nonzero elements are of types ≤t are investigated. In the constructible universe L, these R-groups (up to cardinality ℵω) turn out to coincide with those A for which the group Ǎ = A ⊗ R0 is a Butler group; here R0 denotes the largest subgroup of R of idempotent type t0 ≤ t. This claim is false in models of set theory in which Shelah's Proper Forcing Axiom holds
Infinite rank Butler groups
No full textA torsion-free abelian group
G
G
is said to be a Butler group if
Bext
(
G
,
T
)
\operatorname {Bext} (G,\,T)
for all torsion groups
T
T
. It is shown that Butler groups of finite rank satisfy what we call the torsion extension property (T.E.P.). A crucial result is that a countable Butler group
G
G
satisfies the T.E.P. over a pure subgroup
H
H
if and only if
H
H
is decent in
G
G
in the sense of Albrecht and Hill. A subclass of the Butler groups are the so-called
B
2
{B_2}
-groups. An important question left open by Arnold, Bican, Salce, and others is whether every Butler group is a
B
2
{B_2}
-group. We show under
(
V
=
L
)
(V = L)
that this is indeed the case for Butler groups of rank
ℵ
1
{\aleph _1}
. On the other hand it is shown that, under ZFC, it is undecidable whether a group
B
B
for which
Bext
(
B
,
T
)
=
0
\operatorname {Bext} (B,\,T) = 0
for all countable torsion groups
T
T
is indeed a
B
2
{B_2}
-group.</p
Letter, Browne, Thomas M. to Paulina T. Merritt
No full textHandwritten letter from Thomas M. Browne, member of the United States House of Representatives, to Paulina Merritt, May 16, 1884.
Settling of finite-size particles in isotropically forced, homogeneous turbulence: interface-resolved simulations
No full textWe have simulated the gravity-induced settling of finite-size particles in a turbulent background flow which is forced in a statistically-stationary fashion. The simulations are accurately resolving the solid-fluid interface with the aid of an immersed boundary technique [1]. The parameters of the simulation are (apart from background turbulence) identical to those of reference [2], where particle clustering was observed at a Galileo number of 178 and a solid volume fraction of 0.005. In the present case, it is found that a relative turbulence intensity of 0.24 leads to the disappearance of the clusters; as a consequence, the increase in average particle settling velocity found in [2] also vanishes. [1] M. Uhlmann. An immersed boundary method with direct forcing for the simulation of particulate flows. J. Comput. Phys., 209(2):448–476, 2005. [2] M. Uhlmann and T. Doychev. Sedimentation of a dilute suspension of rigid spheres at intermediate Galileo numbers: the effect of clustering upon the particle motion. J. Fluid Mech., 752:310–348, 2014
- …
