In Vitro Antioxidant Activity and In Vivo Topical Efficacy of Lipid Nanoparticles Co-Loading Idebenone and Tocopheryl Acetate

Idebenone (IDE) is a strong antioxidant that has been proposed for the treatment of skin disorders, including skin ageing. Unfavorable physico-chemical properties make IDE a poor skin permeant where effectiveness could be improved by its loading into suitable delivery systems such as solid lipid nanoparticles (SLN) and nanostructured lipid carriers (NLC). In this work, we designed novel IDE-loaded NLC containing tocopheryl acetate (VitE) as a liquid component to obtain a synergic effect between IDE and VitE. The resulting NLC showed small particle sizes (24-42 nm), low polydispersity indices (<0.300), good stability, and were assessed for their in vitro antioxidant activity and in vivo topical effects. IDE-loaded SLN and NLC showed a high antioxidant activity in in vitro assays (DPPH and reducing power method) and provided a similar and significant protection from oxidative stress of fibroblast cells, HS-68, exposed to UV light. After a two-week topical treatment of human volunteers with gels containing IDE-loaded SLN or NLC, a similar increase in skin hydration was observed, while IDE NLC reduced skin pigmentation to a greater extent than IDE SLN. These results suggest that co-loading IDE and VitE into NLC could be a promising strategy to obtain topical formulations with improved photo-protection

Building an IDE for the Calculational Derivation of Imperative Programs

In this paper, we describe an IDE called CAPS (Calculational Assistant for Programming from Specifications) for the interactive, calculational derivation of imperative programs. In building CAPS, our aim has been to make the IDE accessible to non-experts while retaining the overall flavor of the pen-and-paper calculational style. We discuss the overall architecture of the CAPS system, the main features of the IDE, the GUI design, and the trade-offs involved.Comment: In Proceedings F-IDE 2015, arXiv:1508.0338

Web-Based IDE to Create Model and Controller Components for MVC-based Web Applications on CakePHP

A Web-based IDE that allows users to easily manage Model and Controller components of a CakePHP web application was developed. With this IDE, users are able to manage the model and controller components without having to write very much PHP code. They are able to create new model components without having to worry about creating the database tables for the models as the IDE creates them automatically. The IDE offers a simple interface for users to edit the schema of their models. Users can add or delete data from their models without dealing with the SQL insert/delete statements. The IDE also supports adding new controllers to their projects and adding models to be used by the controllers. Constructing find methods (equivalent to SQL statements) is easy because the IDE provides users with a simple interface. Users do not need to deal with the complex SQL select queries. Users can associate the models by using a simple form. The IDE also provides a code-completion feature for users when they edit the controller files. If users want to run their applications on other machines, then they can simply export their applications to a SQL file that they can run on other machines. Finally, the IDE also provides small interactive tutorials on each feature when the users use those features

A Logic-Independent IDE

The author's MMT system provides a framework for defining and implementing logical systems. By combining MMT with the jEdit text editor, we obtain a logic-independent IDE. The IDE functionality includes advanced features such as context-sensitive auto-completion, search, and change management.Comment: In Proceedings UITP 2014, arXiv:1410.785

FoCaLiZe: Inside an F-IDE

For years, Integrated Development Environments have demonstrated their usefulness in order to ease the development of software. High-level security or safety systems require proofs of compliance to standards, based on analyses such as code review and, increasingly nowadays, formal proofs of conformance to specifications. This implies mixing computational and logical aspects all along the development, which naturally raises the need for a notion of Formal IDE. This paper examines the FoCaLiZe environment and explores the implementation issues raised by the decision to provide a single language to express specification properties, source code and machine-checked proofs while allowing incremental development and code reusability. Such features create strong dependencies between functions, properties and proofs, and impose an particular compilation scheme, which is described here. The compilation results are runnable OCaml code and a checkable Coq term. All these points are illustrated through a running example.Comment: In Proceedings F-IDE 2014, arXiv:1404.578

Web-Based IDE for Interfacing View Controller

The main idea of this project is to develop a web-based IDE, which helps users to avoid installing or configuring the Desktop IDE. It also enables users to create XHTML pages using the drag and drop mechanism in Struts. Struts extends the Java Servlet API to encourage developers to adopt the MVC (Model-View- Controller) architecture. In this project, a web application for interfacing the view and controller parts of the MVC architecture was developed. This web-based IDE connects the View and Controller components when the user drags and drops HTML elements in the UI of the IDE. With this project, users can create dynamic web pages without having any knowledge in XHTML or any server side language

Paired Comparisons-based Interactive Differential Evolution

We propose Interactive Differential Evolution (IDE) based on paired comparisons for reducing user fatigue and evaluate its convergence speed in comparison with Interactive Genetic Algorithms (IGA) and tournament IGA. User interface and convergence performance are two big keys for reducing Interactive Evolutionary Computation (IEC) user fatigue. Unlike IGA and conventional IDE, users of the proposed IDE and tournament IGA do not need to compare whole individuals each other but compare pairs of individuals, which largely decreases user fatigue. In this paper, we design a pseudo-IEC user and evaluate another factor, IEC convergence performance, using IEC simulators and show that our proposed IDE converges significantly faster than IGA and tournament IGA, i.e. our proposed one is superior to others from both user interface and convergence performance points of view

Redundant Arrays of IDE Drives

The next generation of high-energy physics experiments is expected to gather prodigious amounts of data. New methods must be developed to handle this data and make analysis at universities possible. We examine some techniques that use recent developments in commodity hardware. We test redundant arrays of integrated drive electronics (IDE) disk drives for use in offline high-energy physics data analysis. IDE redundant array of inexpensive disks (RAID) prices now equal the cost per terabyte of million-dollar tape robots! The arrays can be scaled to sizes affordable to institutions without robots and used when fast random access at low cost is important. We also explore three methods of moving data between sites; internet transfers, hot pluggable IDE disks in FireWire cases, and writable digital video disks (DVD-R).Comment: Submitted to IEEE Transactions On Nuclear Science, for the 2001 IEEE Nuclear Science Symposium and Medical Imaging Conference, 8 pages, 1 figure, uses IEEEtran.cls. Revised March 19, 2002 and published August 200