Binary quantum logic and generating semigroups

A refined definition of basic concepts for logic describing physical systems is proposed. Within the suggested formalism of generating semigroups the active logic of questions and passive logic of answers are introduced. The objects for which both logics are isomorphic are called self-adequate. It is shown that the assumption of self-adequacy implies that the object is either quantum or classical. The possibility of application of the theory to non-self-adequate objects is discussed.     

Identification of archaeal proteins that affect the exosome function in vitro

Background  

The archaeal exosome is formed by a hexameric RNase PH ring and three RNA binding subunits and has been shown to bind and degrade RNA in vitro. Despite extensive studies on the eukaryotic exosome and on the proteins interacting with this complex, little information is yet available on the identification and function of archaeal exosome regulatory factors.     

Pointless spaces in general relativity

A new approach to quantize gravity based on the notion of differential algebra is suggested. It is shown that the differential geometry of this object cannot be described in terms of points. A spatialization procedure giving rise to points by losing part of the entire structure is discussed. The counterparts of the traditional objects of differential geometry are studied.     

Logic programming as quantum measurement

We juxtapose (quantum theorem) proving versus quantum (theorem proving). The logical content of verification of statements concerning quantum systems is outlined. The Zittereingang (trembling input) principle is introduced to enhance the resolution of the predicate satisfiability problem provided the processor is in a position to perform operations with continuous input. A realization of a Zittereingang machine by a quantum system is suggested.     

Quantization of Discretized Spacetimes and theCorrespondence Principle

An algebraic quantization procedure for discretized spacetime models is suggestedbased on the duality between finitary substitutes and their incidence algebras.The provided limiting procedure that yields conventional manifold characteristicsof spacetime structures is interpreted in the quantum algebraic framework as acorrespondence principle.     

Macroscopic realizations of quantum logics

Summary Two-particle quantum systems with spin can be simulated by classical automata described by graphs. These graphs are associated with nondistributive property lattices of these quantum systems. We emphasize that to non-local properties of a quantum system being in a certain eigenstate of the permutation operator there correspond merely some additional vertices in the graph which have nothing nonlocal in their nature. This leads to the possibility of violating Bell's inequalities in classical systems described by graphs (see Section 6) without violating relativity theory.The subjective interpretation of quantum mechanics of von Neumann, London, and Bauer can be connected with the Boolean nature of mind grasping the non-Boolean nature of the world, which results in the projection postulate: wave packet reduction. A simple example is given for a two-particle system with spin.     

Modulation of humoral immune response to oral BCG vaccination by Mycobacterium bovis BCG Moreau Rio de Janeiro (RDJ) in healthy adults

We hypothesize that the energy strategy of a cell is a key factor for determining how, or if, the immune system interacts with that cell. Cells have a limited number of metabolic states, in part, depending on the type of fuels the cell consumes. Cellular fuels include glucose (carbohydrates), lipids (fats), and proteins. We propose that the cell's ability to switch to, and efficiently use, fat for fuel confers immune privilege. Additionally, because uncoupling proteins are involved in the fat burning process and reportedly in protection from free radicals, we hypothesize that uncoupling proteins play an important role in immune privilege. Thus, changes in metabolism (caused by oxidative stresses, fuel availability, age, hormones, radiation, or drugs) will dictate and initiate changes in immune recognition and in the nature of the immune response. This has profound implications for controlling the symptoms of autoimmune diseases, for preventing graft rejection, and for targeting tumor cells for destruction.     

Anti-Inflammatory and Anti-Rheumatic Potential of Selective Plant Compounds by Targeting TLR-4/AP-1 Signaling: A Comprehensive Molecular Docking and Simulation Approaches

Plants are an important source of drug development and numerous plant derived molecules have been used in clinical practice for the ailment of various diseases. The Toll-like receptor-4 (TLR-4) signaling pathway plays a crucial role in inflammation including rheumatoid arthritis. The TLR-4 binds with pro-inflammatory ligands such as lipopolysaccharide (LPS) to induce the downstream signaling mechanism such as nuclear factor κappa B (NF-κB) and mitogen activated protein kinases (MAPKs). This signaling activation leads to the onset of various diseases including inflammation. In the present study, 22 natural compounds were studied against TLR-4/AP-1 signaling, which is implicated in the inflammatory process using a computational approach. These compounds belong to various classes such as methylxanthine, sesquiterpene lactone, alkaloid, flavone glycosides, lignan, phenolic acid, etc. The compounds exhibited different binding affinities with the TLR-4, JNK, NF-κB, and AP-1 protein due to the formation of multiple hydrophilic and hydrophobic interactions. With TLR-4, rutin had the highest binding energy (−10.4 kcal/mol), poncirin had the highest binding energy (−9.4 kcal/mol) with NF-κB and JNK (−9.5 kcal/mol), respectively, and icariin had the highest binding affinity (−9.1 kcal/mol) with the AP-1 protein. The root means square deviation (RMSD), root mean square fraction (RMSF), and radius of gyration (RoG) for 150 ns were calculated using molecular dynamic simulation (MD simulation) based on rutin’s greatest binding energy with TLR-4. The RMSD, RMSF, and RoG were all within acceptable limits in the MD simulation, and the complex remained stable for 150 ns. Furthermore, these compounds were assessed for the potential toxic effect on various organs such as the liver, heart, genotoxicity, and oral maximum toxic dose. Moreover, the blood–brain barrier permeability and intestinal absorption were also predicted using SwissADME software (Lausanne, Switzerland). These compounds exhibited promising physico-chemical as well as drug-likeness properties. Consequently, these selected compounds portray promising anti-inflammatory and drug-likeness properties.     

Binary logic is rich enough

Given a finite ortholatticeL, the *-semigroup is explicitly built whose annihilator ortholattice is isomorphic toL. Thus, it is shown that any finite quantum logic is the additive part of a binary logic. Some areas of possible applications are outlined.