scholarly journals On delta-suitable elements in algebraic lattices

Filomat ◽  
2012 ◽  
Vol 26 (4) ◽  
pp. 747-754 ◽  
Author(s):  
Vanja Stepanovic ◽  
Andreja Tepavcevic
Keyword(s):  
Open Problem ◽  
New Methods ◽  
Algebraic Lattices

In this paper we introduce new methods and results that can lead to the solution of a long-standing open problem of the representation of algebraic lattices by weak congruences. Here known criteria for ?-suitable elements in algebraic lattices are generalized.

scholarly journals A new view of relationship between atomic posets and complete (algebraic) lattices

2017 ◽  
Vol 15 (1) ◽  
pp. 238-251
Author(s):  
Bin Yu ◽  
Qingguo Li ◽  
Huanrong Wu
Keyword(s):  
Complete Lattice ◽  
Algebraic Lattice ◽  
Complete Lattices ◽  
New Methods ◽  
Algebraic Lattices ◽  
New View

AbstractIn the context of the atomic poset, we propose several new methods of constructing the complete lattice and the algebraic lattice, and the mutual decision of relationship between atomic posets and complete lattices (algebraic lattices) is studied.

scholarly journals k-Provability in $$\hbox {PA}$$

2021 ◽  
Author(s):  
Paulo Guilherme Santos ◽  
Reinhard Kahle
Keyword(s):  
Open Problem ◽  
New Methods ◽  
Unification Algorithms

AbstractWe study the decidability of k-provability in $$\hbox {PA}$$ PA —the relation ‘being provable in $$\hbox {PA}$$ PA with at most k steps’—and the decidability of the proof-skeleton problem—the problem of deciding if a given formula has a proof that has a given skeleton (the list of axioms and rules that were used). The decidability of k-provability for the usual Hilbert-style formalisation of $$\hbox {PA}$$ PA is still an open problem, but it is known that the proof-skeleton problem is undecidable for that theory. Using new methods, we present a characterisation of some numbers k for which k-provability is decidable, and we present a characterisation of some proof-skeletons for which one can decide whether a formula has a proof whose skeleton is the considered one. These characterisations are natural and parameterised by unification algorithms.

Replication of Wet Objects and Cells

1974 ◽  
Vol 32 ◽  
pp. 102-103
Author(s):  
S. Basu ◽  
D. F. Parsons
Keyword(s):  
Water Vapor Pressure ◽  
High Vacuum ◽  
Polystyrene Latex ◽  
Vacuum System ◽  
Saturated Water Vapor ◽  
Replication Method ◽  
New Methods ◽  
Saturated Water ◽  
Water Vapors ◽  
Intermediate Chamber

We are approaching the invasiveness of cancer cells from the studies of their wet surface morphology which should distinguish them from their normal counterparts. In this report attempts have been made to provide physical basis and background work to a wet replication method with a differentially pumped hydration chamber (Fig. 1) (1,2), to apply this knowledge for obtaining replica of some specimens of known features (e.g. polystyrene latex) and finally to realize more specific problems and to improvize new methods and instrumentation for their rectification. In principle, the evaporant molecules penetrate through a pair of apertures (250, 350μ), through water vapors and is, then, deposited on the specimen. An intermediate chamber between the apertures is pumped independently of the high vacuum system. The size of the apertures is sufficiently small so that full saturated water vapor pressure is maintained near the specimen.

A Freeze Shadow Technique for the Preparation of Soft Paint Latexes for Electron Microscopy

1977 ◽  
Vol 35 ◽  
pp. 314-315
Author(s):  
Earl R. Walter ◽  
Glen H. Bryant
Keyword(s):  
Sample Preparation ◽  
High Vacuum ◽  
Vacuum System ◽  
Latex Particles ◽  
New Methods ◽  
Diffusion Pump ◽  
Film Forming ◽  
Routine Basis ◽  
Distribution Studies ◽  
Preparation Techniques

With the development of soft, film forming latexes for use in paints and other coatings applications, it became desirable to develop new methods of sample preparation for latex particle size distribution studies with the electron microscope. Conventional latex sample preparation techniques were inadequate due to the pronounced tendency of these new soft latex particles to distort, flatten and fuse on the substrate when they dried. In order to avoid these complications and obtain electron micrographs of undistorted latex particles of soft resins, a freeze-dry, cold shadowing technique was developed. The method has now been used in our laboratory on a routine basis for several years.The cold shadowing is done in a specially constructed vacuum system, having a conventional mechanical fore pump and oil diffusion pump supplying vacuum. The system incorporates bellows type high vacuum valves to permit a prepump cycle and opening of the shadowing chamber without shutting down the oil diffusion pump. A baffeled sorption trap isolates the shadowing chamber from the pumps.

Directional observation on lipid of male nectary of Lindera megaphylla hemsl. by the rapid embedding method with polyethylene glycol (PEG)

1990 ◽  
Vol 48 (3) ◽  
pp. 718-719
Author(s):  
Dai Dalin ◽  
Guo Jianmin
Keyword(s):  
Electron Microscope ◽  
Polyethylene Glycol ◽  
Chemical Reaction ◽  
Traditional Method ◽  
Osmium Tetroxide ◽  
Unsaturated Lipid ◽  
Embedding Method ◽  
Long Period ◽  
New Methods

Lipid cytochemistry has not yet advanced far at the EM level. A major problem has been the loss of lipid during dehydration and embedding. Although the adoption of glutaraldehyde and osmium tetroxide accelerate the chemical reaction of lipid and osmium tetroxide can react on the double bouds of unsaturated lipid to from the osmium black, osmium tetroxide can be reduced in saturated lipid and subsequently some of unsaturated lipid are lost during dehydration. In order to reduce the loss of lipid by traditional method, some researchers adopted a few new methods, such as the change of embedding procedure and the adoption of new embedding media, to solve the problem. In a sense, these new methods are effective. They, however, usually require a long period of preparation. In this paper, we do research on the fiora nectary strucure of lauraceae by the rapid-embedding method wwith PEG under electron microscope and attempt to find a better method to solve the problem mentioned above.

Confronting the grey zone after severe brain injury

2019 ◽  
Vol 3 (6) ◽  
pp. 707-711 ◽  
Author(s):  
Andrew Peterson ◽  
Adrian M. Owen
Keyword(s):  
Brain Injury ◽  
Ethical Issues ◽  
Vegetative State ◽  
Clinical Care ◽  
Grey Zone ◽  
Severe Brain Injury ◽  
New Methods ◽  
Legal Decision Making ◽  
Technological Developments ◽  
The Brain

In recent years, rapid technological developments in the field of neuroimaging have provided several new methods for revealing thoughts, actions and intentions based solely on the pattern of activity that is observed in the brain. In specialized centres, these methods are now being employed routinely to assess residual cognition, detect consciousness and even communicate with some behaviorally non-responsive patients who clinically appear to be comatose or in a vegetative state. In this article, we consider some of the ethical issues raised by these developments and the profound implications they have for clinical care, diagnosis, prognosis and medical-legal decision-making after severe brain injury.

F. New Methods of Disinfection and Sterilization

2000 ◽  
Vol 12 (4) ◽  
pp. 380-380
Author(s):  
Kazuei Ogoshi ◽  
Taiji Akamatsu ◽  
Hiroyasu Iishi ◽  
Daizo Saito ◽  
Nobuhiro Sakaki ◽  
...  
Keyword(s):  
New Methods

New Methods Aim to Predict CKD Progression

2011 ◽  
Vol 44 (8) ◽  
pp. 14-15
Author(s):  
MARY ANN MOON
Keyword(s):  
Ckd Progression ◽  
New Methods

Perceptions of a Peer Suicide Prevention Program by Inmates and Professionals Working in Prisons

Crisis ◽  
2013 ◽  
Vol 34 (4) ◽  
pp. 289-292 ◽  
Author(s):  
Laurent Auzoult ◽  
Sid Abdellaoui
Keyword(s):  
Suicide Prevention ◽  
Prevention Program ◽  
Suicide Risk ◽  
Traditional Approach ◽  
Prevention Programs ◽  
New Methods ◽  
Penal Institutions ◽  
Peer Suicide ◽  
Suicide Prevention Programs ◽  
Methods Of Suicide

Background: Suicide prevention is a major challenge for penal institutions in many countries. The traditional approach relies on the expertise of health professionals and is supplemented by the intervention of other professionals and the inmates themselves. New methods of suicide prevention based on peer support have been developed in recent years. Peer prevention programs rely on the ability of inmates to identify suicide risk. Aims: This study examines perceived suicide risk among inmates and explores possible explanations. Method: 54 inmates and 17 professionals working in prisons responded to a questionnaire. Results: The peer prevention program was found to change inmates’ expectations of support in the event of a suicide crisis. The study also found that the inmates involved in the program tended to underestimate the risk of suicide. The perception of the prevention program and the level of self-consciousness were found to account for the underestimation of suicide risk. Conclusions: Support for inmates involved in suicide prevention programs must take into account their isolation in prison. The training provided to inmates must also consider the biases affecting the assessment of risk.

New Methods in Automated Test Design

PsycCRITIQUES ◽  
2006 ◽  
Vol 51 (7) ◽  
Author(s):  
Peter Merenda
Keyword(s):  
Test Design ◽  
New Methods ◽  
Automated Test
Sign in / Sign up

Export Citation Format

Share Document