The extraction of lutein from marigold petals using a surfactant-based aqueous two-phase system is reported. In this work, the effectiveness hydrophilic-lipophilic balance surfactants on performance for petal powder was demonstrated solutions wide range non-ionic surfactants. response surface methodology applied to obtain optimised conditions maximum lutein. At (Temperature = 37.5 °C, S/L 0.003...

Geometry with its formal, logical and spatial properties is well suited to be taught in an environment that includes dynamic geometry software (DGSs), automatic theorem provers (ATPs) and repositories of geometric problems (RGP). With the integration of those tools in a given learning management system (LMS), we can build an environment where the student is able to explore the built-in knowledg...

SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suffices for the construction of types for type checking and for the specification of arbitrary logics. Compilation techniques derived from both functional and logic programming are used to derive high-performance ATPs fro...

This paper gives an overview of the existing link between the Mizar project for formalization of mathematics and Automated Reasoning tools (mainly the Automated Theorem Provers (ATPs)). It explains the motivation for this work, gives an overview of the translation method, discusses the projects and works that are based on it, and possible future projects and directions.

ATP-dependent chromatin remodeling enzymes, such as SWI/SNF, hydrolyze thousands of ATPs to regulate gene expression on chromatin fibers. Recent mechanistic studies suggest that these enzymes generate localized changes in DNA topology that drive formation of multiple, remodeled nucleosomal states.

A generalized simplified model for describing the dynamic behavior of distributed parameter systems is proposed. The various specific characteristics of gain and phase angle of distributed parameter systems are investigated from frequency response formulation and complex plane representation of the proposed simplified model. The complex plane investigation renders some important inequality cons...

There are at least two major conformations of recA nucleoprotein filaments formed on poly-(deoxythymidylic acid) [poly(dT)], one stabilized by ATP [or adenosine 5'-O-(3-thiotriphosphate) (ATP gamma S)] and one stabilized by ADP. Assembly of filaments in the ATP conformation is much faster than assembly in the ADP conformation. A third conformation may be present in the absence of nucleotides. T...

Este estudio de diseño instrumental se realizó con el objetivo analizar las evidencias psicométricas la escala ATPS y elaborar datos normativos para su aplicación en estudiantes secundaria Lima Metropolitana. Participaron 429 11 a 18 años, seleccionados través un muestreo no probabilístico por conveniencia. El análisis factorial confirmatorio del modelo unidimensional 15 ítems ajustó, lo que de...