41 resultados para 230101 Mathematical Logic, Set Theory, Lattices And Combinatorics
Resumo:
Background: The COMET (Core Outcome Measures in Effectiveness Trials) Initiative is developing a publicly accessible online resource to collate the knowledge base for core outcome set development (COS) and the applied work from different health conditions. Ensuring that the database is as comprehensive as possible and keeping it up to date are key to its value for users. This requires the development and application of an optimal, multi-faceted search strategy to identify relevant material. This paper describes the challenges of designing and implementing such a search, outlining the development of the search strategy for studies of COS development, and, in turn, the process for establishing a database of COS.
Methods: We investigated the performance characteristics of this strategy including sensitivity, precision and numbers needed to read. We compared the contribution of databases towards identifying included studies to identify the best combination of methods to retrieve all included studies.
Results: Recall of the search strategies ranged from 4% to 87%, and precision from 0.77% to 1.13%. MEDLINE performed best in terms of recall, retrieving 216 (87%) of the 250 included records, followed by Scopus (44%). The Cochrane Methodology Register found just 4% of the included records. MEDLINE was also the database with the highest precision. The number needed to read varied between 89 (MEDLINE) and 130 (SCOPUS).
Conclusions: We found that two databases and hand searching were required to locate all of the studies in this review. MEDLINE alone retrieved 87% of the included studies, but actually 97% of the included studies were indexed on MEDLINE. The Cochrane Methodology Register did not contribute any records that were not found in the other databases, and will not be included in our future searches to identify studies developing COS. SCOPUS had the lowest precision rate (0.77) and highest number needed to read (130). In future COMET searches for COS a balance needs to be struck between the work involved in screening large numbers of records, the frequency of the searching and the likelihood that eligible studies will be identified by means other than the database searches.
Resumo:
Molecular logic-based computation continues to throw up new applications in sensing and switching, the newest of which is the edge detection of objects. The scope of this phenomenon is mapped out by the use of structure-activity relationships, where several structures of the molecules and of the objects are examined. The different angles and curvatures of the objects are followed with good-fidelity in the visualized edges, even when the objects are in reverse video.
Resumo:
Background: We sought to describe the theory used to design treatment adherence interventions, the content delivered, and the mode of delivery of these interventions in chronic respiratory disease. Methods: We included randomized controlled trials of adherence interventions (compared to another intervention or control) in adults with chronic respiratory disease (8 databases searched; inception until March 2015). Two reviewers screened and extracted data: post-intervention adherence (measured objectively); behavior change theory, content (grouped into psychological, education and self-management/supportive, telemonitoring, shared decision-making); and delivery. “Effective” studies were those with p < 0.05 for adherence rate between groups. We conducted a narrative synthesis and assessed risk of bias. Results: 12,488 articles screened; 46 included studies (n = 42,91% in OSA or asthma) testing 58 interventions (n = 27, 47% were effective). Nineteen (33%) interventions (15 studies) used 12 different behavior change theories. Use of theory (n = 11,41%) was more common amongst effective interventions. Interventions were mainly educational, self-management or supportive interventions (n = 27,47%). They were commonly delivered by a doctor (n = 20,23%), in face-to-face (n = 48,70%), one-to-one (n = 45,78%) outpatient settings (n = 46,79%) across 2–5 sessions (n = 26,45%) for 1–3 months (n = 26,45%). Doctors delivered a lower proportion (n = 7,18% vs n = 13,28%) and pharmacists (n = 6,15% vs n = 1,2%) a higher proportion of effective than ineffective interventions. Risk of bias was high in >1 domain (n = 43, 93%) in most studies. Conclusions: Behavior change theory was more commonly used to design effective interventions. Few adherence interventions have been developed using theory, representing a gap between intervention design recommendations and research practice.
Resumo:
We study properties of subspace lattices related to the continuity of the map Lat and the notion of reflexivity. We characterize various “closedness” properties in different ways and give the hierarchy between them. We investigate several properties related to tensor products of subspace lattices and show that the tensor product of the projection lattices of two von Neumann algebras, one of which is injective, is reflexive.
Resumo:
A new bargaining set based on notions of both internal and external stability is developed in the context of endogenous coalition formation. It allows to make an explicit distinction between within-group and outside-group deviation options. This type of distinction is not present in current bargaining sets. For the class of monotonic proper simple games, the outcomes in the bargaining set are characterized. Furthermore, it is shown that the bargaining set of any homogeneous weighted majority game contains an outcome for which the underlying coalition structure consists of a minimal winning coalition and its complement.
Resumo:
A simple logic of conditional preferences is defined, with a language that allows the compact representation of certain kinds of conditional preference statements, a semantics and a proof theory. CP-nets and TCP-nets can be mapped into this logic, and the semantics and proof theory generalise those of CP-nets and TCP-nets. The system can also express preferences of a lexicographic kind. The paper derives various sufficient conditions for a set of conditional preferences to be consistent, along with algorithmic techniques for checking such conditions and hence confirming consistency. These techniques can also be used for totally ordering outcomes in a way that is consistent with the set of preferences, and they are further developed to give an approach to the problem of constrained optimisation for conditional preferences.
Resumo:
Density functional calculations, using B3LPY/6-31G(d) methods, have been used to investigate the conformations and vibrational (Raman) spectra of three short-chain fatty acid methyl esters (FAMEs) with the formula CnH2nO2 (n = 3-5). In all three FAMEs, the lowest energy conformer has a simple 'all-trans' structure but there are other conformers, with different torsions about the backbone, which lie reasonably close in energy to the global minimum. One result of this is that the solid samples we studied do not appear to consist entirely of the lowest energy conformer. Indeed, to account for the 'extra' bands that were observed in the Raman data but were not predicted for the all-trans conformer, it was necessary to add-in contributions from other conformers before a complete set of vibrational assignments could be made. Provided this was done, the agreement between experimental Raman frequencies and 6-31G(d) values (after scaling) was excellent, RSD = 12.6 cm(-1). However, the agreement between predicted and observed intensities was much less satisfactory. To confirm the validity of the approach followed by the 6-3 1 G(d) basis set, we used a larger basis set, Sadlej pVTZ, and found that these calculations gave accurate Raman intensities and simulated spectra (summed from two different conformers) that were in quantitative agreement with experiment. In addition, the unscaled Sadlej pVTZ, and the scaled 6-3 1 G(d) calculations gave the same vibrational mode assignments for all bands in the experimental data. This work provides the foundation for calculations on longer-chain FAMEs (which are closer to those found as triglycerides in edible fats and oils) because it shows that scaled 6-3 1 G(d) calculations give equally accurate frequency predictions, and the same vibrational mode assignments, as the much more CPU-expensive Sadlej pVTZ basis set calculations.
Resumo:
Both the existence and the non-existence of a linearly ordered (by certain natural order relations) effective set of comparison functions (=dense comparison classes) are compatible with the ZFC axioms of set theory.
Resumo:
Using density functional theory (DFT) and kinetic analyses, a new carboxyl mechanism for the water-gas-shift reaction (WGSR) on Au/CeO2(111) is proposed. Many elementary steps in the WGSR are studied using an Au cluster supported on CeO2(111). It is found that (i) water can readily dissociate at the interface between Au and CeO2; (ii) CO2 can be produced via two steps: adsorbed CO on the Au cluster reacts with active OH on ceria to form the carboxyl (COOH) species and then COOH reacts with OH to release CO2; and (iii) two adsorbed H atoms recombine to form molecular H-2 on the Au cluster. Our kinetic analyses show that the turnover frequency of the carboxyl mechanism is consistent with the experimental one while the rates of redox and formate mechanisms are much slower than that of carboxyl mechanism. It is suggested that the carboxyl pathway is likely to be responsible for WGSR on Au/CeO2.