scholarly journals A study of explanatory virtues

2018 ◽  
Author(s):  
Daniel Credico de Coimbra ◽  
Marco Antonio Caron Ruffino
Keyword(s):  
Explanatory Virtues ◽  
Final Goal ◽  
Ad Hocness ◽  
Better Than

The inference to the best explanation (IBE) appeals to how hypotheses would explain certain facts. If a hypothesis explains well and better than any other (available) hypotheses, IBE concludes that it is true. Our work examines what makes it the case that some hypotheses would explain facts better than others. We also examine other non-explanatory features which are (thought to be) correlated with the truth of a proposed explanation. We name all these features explanatory virtues, and they are the measure employed by IBE of goodness of explanation. Our research has the purpose of investigating four chief (proposed) explanatory virtues: simplicity, unification, non ad hocness, and coherence. We intend to study the description and justification of these proposed virtues. Our final goal is to improve and appraise the employment of IBE, a valuable tool in philosophy.

scholarly journals Causality-Based Game Solving

2021 ◽  
pp. 894-917
Author(s):  
Christel Baier ◽  
Norine Coenen ◽  
Bernd Finkbeiner ◽  
Florian Funke ◽  
Simon Jantsch ◽  
...  
Keyword(s):  
Program Synthesis ◽  
Prototype Implementation ◽  
Craig Interpolation ◽  
Final Goal ◽  
Winning Strategies ◽  
Logical Constraints ◽  
Pass Through ◽  
Better Than

AbstractWe present a causality-based algorithm for solving two-player reachability games represented by logical constraints. These games are a useful formalism to model a wide array of problems arising, e.g., in program synthesis. Our technique for solving these games is based on the notion of subgoals, which are slices of the game that the reachability player necessarily needs to pass through in order to reach the goal. We use Craig interpolation to identify these necessary sets of moves and recursively slice the game along these subgoals. Our approach allows us to infer winning strategies that are structured along the subgoals. If the game is won by the reachability player, this is a strategy that progresses through the subgoals towards the final goal; if the game is won by the safety player, it is a permissive strategy that completely avoids a single subgoal. We evaluate our prototype implementation on a range of different games. On multiple benchmark families, our prototype scales dramatically better than previously available tools.

scholarly journals Why cannot the term development just be dropped altogether? Some reflections on the concept of maturation as alternative to development discourse

2016 ◽  
Vol 72 (4) ◽  
Author(s):  
Ernst M. Conradie
Keyword(s):  
Exponential Growth ◽  
Development Discourse ◽  
Religion And Theology ◽  
Basic Assumptions ◽  
Final Goal ◽  
Better Than ◽  
Natural Cycles

This contribution is aimed at some provocation by questioning the basic assumptions ofcurrent development discourse (also in the context of religion and theology). It asks forconceptual clarification and differentiation on the meaning of various process terms. It needsto be recognised that the word development remains a metaphor than can indeed be extendedbut can also become over-extended and ossified. The concept of development is then contrastedwith the process of maturation. It is argued that the concept of maturation is, (1) better able toindicate the final goal of the process than most other process terms, (2) recognises inherentlimitations and (3) follows natural cycles better than exponential growth, sustaineddevelopment or endless progress.

Time and Latitude in South Africa

1972 ◽  
Vol 1 ◽  
pp. 27-38
Author(s):  
J. Hers
Keyword(s):  
South Africa ◽  
Cape Town ◽  
Astronomical Observations ◽  
Royal Observatory ◽  
The Republic ◽  
Astronomical Determination ◽  
Limited Accuracy ◽  
Better Than

In South Africa the modern outlook towards time may be said to have started in 1948. Both the two major observatories, The Royal Observatory in Cape Town and the Union Observatory (now known as the Republic Observatory) in Johannesburg had, of course, been involved in the astronomical determination of time almost from their inception, and the Johannesburg Observatory has been responsible for the official time of South Africa since 1908. However the pendulum clocks then in use could not be relied on to provide an accuracy better than about 1/10 second, which was of the same order as that of the astronomical observations. It is doubtful if much use was made of even this limited accuracy outside the two observatories, and although there may – occasionally have been a demand for more accurate time, it was certainly not voiced.

Localization of immunolabels by electron microscopy and image averaging

1983 ◽  
Vol 41 ◽  
pp. 282-283
Author(s):  
J. Frank ◽  
P.-Y. Sizaret ◽  
A. Verschoor ◽  
J. Lamy
Keyword(s):  
Electron Microscopy ◽  
Single Particle ◽  
Attachment Site ◽  
Uranyl Acetate ◽  
Limulus Polyphemus ◽  
Resolution Limit ◽  
Electron Microscopic ◽  
Image Averaging ◽  
Top View ◽  
Better Than

The accuracy with which the attachment site of immunolabels bound to macromolecules may be localized in electron microscopic images can be considerably improved by using single particle averaging. The example studied in this work showed that the accuracy may be better than the resolution limit imposed by negative staining (∽2nm).The structure used for this demonstration was a halfmolecule of Limulus polyphemus (LP) hemocyanin, consisting of 24 subunits grouped into four hexamers. The top view of this structure was previously studied by image averaging and correspondence analysis. It was found to vary according to the flip or flop position of the molecule, and to the stain imbalance between diagonally opposed hexamers (“rocking effect”). These findings have recently been incorporated into a model of the full 8 × 6 molecule.LP hemocyanin contains eight different polypeptides, and antibodies specific for one, LP II, were used. Uranyl acetate was used as stain. A total of 58 molecule images (29 unlabelled, 29 labelled with antl-LPII Fab) showing the top view were digitized in the microdensitometer with a sampling distance of 50μ corresponding to 6.25nm.

Closing the GAP—A 5Å Scanning Microscope

1969 ◽  
Vol 27 ◽  
pp. 6-7
Author(s):  
A. V. Crewe
Keyword(s):  
Normal Form ◽  
The Other ◽  
Resolving Power ◽  
Scanning Microscope ◽  
Conventional Microscope ◽  
Other Hand ◽  
Closing The Gap ◽  
Thermal Sources ◽  
Better Than ◽  
Transmission Microscope

We have become accustomed to differentiating between the scanning microscope and the conventional transmission microscope according to the resolving power which the two instruments offer. The conventional microscope is capable of a point resolution of a few angstroms and line resolutions of periodic objects of about 1Å. On the other hand, the scanning microscope, in its normal form, is not ordinarily capable of a point resolution better than 100Å. Upon examining reasons for the 100Å limitation, it becomes clear that this is based more on tradition than reason, and in particular, it is a condition imposed upon the microscope by adherence to thermal sources of electrons.

Electron Microscopic Observation of the Longitudinal Organization of Poly (p-Phenylene Terephthalamide) Fibers

1982 ◽  
Vol 40 ◽  
pp. 680-681
Author(s):  
Li Li-Sheng ◽  
L.F. Allard ◽  
W.C. Bigelow
Keyword(s):  
Electron Microscopy ◽  
Mechanical Properties ◽  
Scanning Electron Microscopy ◽  
Microscopic Observation ◽  
Electron Microscopic Observation ◽  
Electron Microscopic ◽  
Aromatic Polyamides ◽  
Radial Arrangement ◽  
Scanning Electron ◽  
Better Than

The aromatic polyamides form a class of fibers having mechanical properties which are much better than those of aliphatic polyamides. Currently, the accepted morphology of these fibers as proposed by M.G. Dobb, et al. is a radial arrangement of pleated sheets, with the plane of the pleats parallel to the axis of the fiber. We have recently obtained evidence which supports a different morphology of this type of fiber, using ultramicrotomy and ion-thinning techniques to prepare specimens for transmission and scanning electron microscopy.

A High Angle, Double Tilting Cold Stage for the AEI EM7

1974 ◽  
Vol 32 ◽  
pp. 450-451
Author(s):  
P.R. Swann ◽  
A.E. Lloyd
Keyword(s):  
Habit Plane ◽  
Temperature Control ◽  
Tilt Angle ◽  
Cooling System ◽  
Thermal Drift ◽  
High Angle ◽  
Cold Stage ◽  
High Degree ◽  
Better Than

Figure 1 shows the design of a specimen stage used for the in situ observation of phase transformations in the temperature range between ambient and −160°C. The design has the following features a high degree of specimen stability during tilting linear tilt actuation about two orthogonal axes for accurate control of tilt angle read-out high angle tilt range for stereo work and habit plane determination simple, robust construction temperature control of better than ±0.5°C minimum thermal drift and transmission of vibration from the cooling system.

Thermal Considerations in Lens Regulator Systems

1970 ◽  
Vol 28 ◽  
pp. 358-359
Author(s):  
K.C. Newton
Keyword(s):  
Electron Microscope ◽  
Thermal Effects ◽  
Environmental Control ◽  
Reference Networks ◽  
Better Than

Thermal effects in lens regulator systems have become a major problem with the extension of electron microscope resolution capabilities below 5 Angstrom units. Larger columns with immersion lenses and increased accelerating potentials have made solutions more difficult by increasing the power being handled. Environmental control, component choice, and wiring design provide answers, however. Figure 1 indicates with broken lines where thermal problems develop in regulator systemsExtensive environmental control is required in the sampling and reference networks. In each case, stability better than I ppm/min. is required. Components with thermal coefficients satisfactory for these applications without environmental control are either not available or priced prohibitively.

Finding the Right Problems: Some HREM Applications to Interfaces

1984 ◽  
Vol 42 ◽  
pp. 376-379
Author(s):  
D. Cherns
Keyword(s):  
Grain Boundaries ◽  
High Resolution Electron Microscopy ◽  
Boundary Structure ◽  
Atomic Structures ◽  
Grain Boundary Structure ◽  
Resolution Electron ◽  
Point To Point ◽  
The Right ◽  
New Generation ◽  
Better Than

The use of high resolution electron microscopy (HREM) to determine the atomic structure of grain boundaries and interfaces is a topic of great current interest. Grain boundary structure has been considered for many years as central to an understanding of the mechanical and transport properties of materials. Some more recent attention has focussed on the atomic structures of metalsemiconductor interfaces which are believed to control electrical properties of contacts. The atomic structures of interfaces in semiconductor or metal multilayers is an area of growing interest for understanding the unusual electrical or mechanical properties which these new materials possess. However, although the point-to-point resolutions of currently available HREMs, ∼2-3Å, appear sufficient to solve many of these problems, few atomic models of grain boundaries and interfaces have been derived. Moreover, with a new generation of 300-400kV instruments promising resolutions in the 1.6-2.0 Å range, and resolutions better than 1.5Å expected from specialist instruments, it is an appropriate time to consider the usefulness of HREM for interface studies.

Reconstruction of Two-Dimensional Projections of GP 32*I

1981 ◽  
Vol 39 ◽  
pp. 38-39
Author(s):  
H.A. Cohen ◽  
W. Chiu ◽  
J. Hosoda
Keyword(s):  
Electron Microscopy ◽  
Molecular Weight ◽  
Uranyl Acetate ◽  
Distilled Water ◽  
Acetate Solution ◽  
Two Dimensional ◽  
Parent Molecule ◽  
T4 Bacteriophage ◽  
Electron Imaging ◽  
Better Than

GP 32 (molecular weight 35000) is a T4 bacteriophage protein that destabilizes the DNA helix. The fragment GP32*I (77% of the total weight), which destabilizes helices better than does the parent molecule, crystallizes as platelets thin enough for electron diffraction and electron imaging. In this paper we discuss the structure of this protein as revealed in images reconstructed from stained and unstained crystals.Crystals were prepared as previously described. Crystals for electron microscopy were pelleted from the buffer suspension, washed in distilled water, and resuspended in 1% glucose. Two lambda droplets were placed on grids over freshly evaporated carbon, allowed to sit for five minutes, and then were drained. Stained crystals were prepared the same way, except that prior to draining the droplet, two lambda of aqueous 1% uranyl acetate solution were applied for 20 seconds. Micrographs were produced using less than 2 e/Å2 for unstained crystals or less than 8 e/Å2 for stained crystals.

Sign in / Sign up

Export Citation Format

Share Document