Results 11 to 20 of about 1,372,313 (313)
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE
, 2015 This paper summarizes our experience in communicating the elements of reasoning about correctness, and the central role of formal specifications in reasoning about modular, component-based software using a language and an integrated Web IDE designed for ...
Durkee, Blair +6 more
core +11 more sources
Web-Based IDE to Create Model and Controller Components for MVC-based Web Applications on CakePHP [PDF]
, 2010 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.
Widjaja, Sugiharto
core +2 more sources
In Vitro Antioxidant Activity and In Vivo Topical Efficacy of Lipid Nanoparticles Co-Loading Idebenone and Tocopheryl Acetate [PDF]
, 2019 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 ...
Arena, Rosaria +8 more
core +1 more source
Implementation of a Research Plan Management System for Research Center of TIU University
Eurasian Journal of Science and Engineering, 2021 Mobile apps are always evolving to make our lives simpler. This research study focuses on developing a cross-platform mobile application for TIU’s research center’s Research Plan Management System (RPMS).
Mohammad Salim +3 more
doaj +1 more source
Revue Marocaine de l'Entrepreneuriat, de l'Innovation et du Management, 2017 Devant la nécessité de diversifier ses activités pour redynamiser son économie, et dans l'ambition de devenir une des destinations privilégiées des investissements directs étrangers (IDE), le Maroc a mis en place un ensemble de mesures et de réformes, et
Sabrine BELQASMI +1 more
doaj +1 more source
Teknika, 2020 Kuliah kerja mahasiswa (KKM) merupakan salah satu mata kuliah wajib di Universitas Banten Jaya. Pelaksanaan KKM masih terdapat kekurangan pada monitoring kegiatan mahasiswa baik itu kegiatan harian, progress project kelompok, hingga presensi peserta KKM.
Nur Hidayanti +3 more
doaj +1 more source
Haematophagous parasites of some fish species in the Lower Irtysh
Российский паразитологический журнал, 2021 The purpose of the research is study of four fish species infected with haematophagous parasites in the rivers of the Lower Irtysh basin. Materials and methods. The work was performed in the rivers of the Lower Irtysh basin in 2017–2020.
Е. L. Liberman
doaj +1 more source
Estimating Ground Inclination Using Strain Sensors with Fourier Series Representation
Journal of Robotics, 2010 An embedded measurement system for foot orthosis during gait is proposed. Strain gauge sensors were mounted on a foot orthosis to give information about strain in the sagittal plane.
Wolfgang Svensson, Ulf Holmberg
doaj +1 more source
L'IMPACT DE L'OUVERTURE SUR LA CROISSANCE ÉCONOMIQUE EN TUNISIE
Revue des Etudes Multidisciplinaires en Sciences Economiques et Sociales, 2018 L'objectif de cet article est d’examiner empiriquement l'impact de l'ouverture sur la croissance économique de la Tunisie en utilisant un modèle en série temporelle durant la période 1980-2014.
Marwa BECHTINI, Lobna BEN HASSEN
doaj +1 more source
IDE Support of String-Embedded Languages
Моделирование и анализ информационных систем, 2014 Complex information systems are often implemented by using more than one programming language. Sometimes this variety takes a form of one host and one or few string-embedded languages.
S. Grigorev +4 more
doaj +1 more source