Search results for "Application"

showing 10 items of 5559 documents

Unambiguous recognizable two-dimensional languages

2006

We consider the family UREC of unambiguous recognizable two-dimensional languages. We prove that there are recognizable languages that are inherently ambiguous, that is UREC family is a proper subclass of REC family. The result is obtained by showing a necessary condition for unambiguous recognizable languages. Further UREC family coincides with the class of picture languages defined by unambiguous 2OTA and it strictly contains its deterministic counterpart. Some closure and non-closure properties of UREC are presented. Finally we show that it is undecidable whether a given tiling system is unambiguous.

DeterminismSettore INF/01 - InformaticaDeterministic context-free languageGeneral MathematicsTwo-dimensional languagesAutomata and formal languages; Determinism; Two-dimensional languages; UnambiguityComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Class (philosophy)Computer Science ApplicationsUndecidable problemAutomata and Formal Languages. ; Unambiguity ; Determinism. .; Two-dimensional languagesCombinatoricsClosure (mathematics)Computer Science::Programming LanguagesAutomata and formal languagesDeterminism.ArithmeticComputer Science::Formal Languages and Automata TheorySoftwareUnambiguityMathematics
researchProduct

Models Versus Model Descriptions

2021

In the development of computer-based systems, modelling is often advocated in addition to programming, in that it helps in reflecting the application domain and that it makes the design and experiment activities of development more efficient. However, there is disagreement about what models are and how they can be used in software systems development. In this paper, we present the Scandinavian approach to modelling, which makes a clear distinction between models and model descriptions. This paper explains the connections between models, descriptions, systems, and executions. Combining the Scandinavian approach with the Kiel notion of model, we establish that both descriptions and executions…

Development (topology)Computer scienceApplication domainSemantics (computer science)Programming languageSoftware systemcomputer.software_genrecomputerVDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550
researchProduct

2020

Background Evidence suggests that mobile health app use is beneficial for the prevention and management of type 2 diabetes (T2D) and its associated complications; however, population-based research on specific determinants of health app use in people with and without T2D is scarce. Objective This cross-sectional study aimed to provide population-based evidence on rates and determinants of health app use among adults with and without T2D, thereby covering a prevention perspective and a diabetes management perspective, respectively. Methods The study population included 2327 adults without a known diabetes diagnosis and 1149 adults with known T2D from a nationwide telephone survey in Germany…

Diabetes risk020205 medical informaticsEndocrinology Diabetes and MetabolismPopulationBiomedical Engineering030209 endocrinology & metabolismHealth Informatics02 engineering and technologyOverweight03 medical and health sciences0302 clinical medicineHealth Information ManagementDiabetes management0202 electrical engineering electronic engineering information engineeringMedicineSocial determinants of healtheducationeducation.field_of_studybusiness.industryOdds ratiomedicine.diseaseObesityComputer Science ApplicationsHealth promotionmedicine.symptombusinessDemographyJMIR Diabetes
researchProduct

Factors Affecting Mobile Diabetes Monitoring Adoption Among Physicians: Questionnaire Study and Path Model

2012

BackgroundPatients with type 1 and type 2 diabetes often find it difficult to control their blood glucose level on a daily basis because of distance or physical incapacity. With the increase in Internet-enabled smartphone use, this problem can be resolved by adopting a mobile diabetes monitoring system. Most existing studies have focused on patients’ usability perceptions, whereas little attention has been paid to physicians’ intentions to adopt this technology. ObjectiveThe aim of the study was to evaluate the perceptions and user acceptance of mobile diabetes monitoring among Japanese physicians. MethodsA questionnaire survey of physicians was conducted in Japan. The structured questionna…

Diabetes self-managementKnowledge managementmedia_common.quotation_subjectApplied psychologyMobile deviceHealth InformaticsContext (language use)lcsh:Computer applications to medicine. Medical informaticsHealth informaticsDiabetes mellitusJapanMobile diabetes monitoringBlood glucose self-monitoringSurveys and QuestionnairesHumansMedicineMobile technologyQuality (business)Mobile healthPath analysisMonitoring Physiologicmedia_commonInternetOriginal PaperService qualitybusiness.industrylcsh:Public aspects of medicineQuestionnaireInformation qualitylcsh:RA1-1270Models TheoreticalDiabetes Mellitus Type 1Diabetes Mellitus Type 2Mobile phoneCritical Pathwayslcsh:R858-859.7businessJournal of Medical Internet Research
researchProduct

Halloysite nanotubes for efficient loading, stabilization and controlled release of insulin

2018

Hypothesis: Oral insulin administration is not actually effective due to insulin rapid degradation, inactivation and digestion by proteolytic enzymes which results in low bioavailability. Moreover insulin is poorly permeable and lack of lipophilicity. These limits can be overcome by the loading of protein in some nanostructured carrier such as halloysite nanotubes (HNTs). Experiments: Herein we propose an easy strategy to obtain HNT hybrid materials for the delivery of insulin. We report a detailed description on the thermal behavior and stability of insulin loaded and released from the HNTs hybrid by the combination of several techniques. Findings: Release experiments of insulin from the H…

Dichroismmedicine.medical_treatmentHalloysite nanotube02 engineering and technology01 natural sciencesBiochemistryNanocompositesChitosanchemistry.chemical_compoundColloid and Surface ChemistryDrug StabilityProtein stabilityHalloysite nanotube (HNTs)InsulinTransdermalSettore CHIM/02 - Chimica FisicaDrug CarriersNanotubesProteolytic enzymes021001 nanoscience & nanotechnologyControlled releaseSurfaces Coatings and FilmsElectronic Optical and Magnetic MaterialsEnzyme inhibitionAluminum SilicatesBionanocomposite film0210 nano-technologyHybrid materialBionanocomposite hybridSurface PropertiesDrug Compoundingengineering.materialCircular dichroism data010402 general chemistrySustained release InsulinAdministration CutaneousHalloysiteBiomaterialsKaolinitemedicineParticle SizeHybrid materialChitosanInsulinBiomedical applicationMedical applicationYarn Bio-nanocompositeMembranes Artificial0104 chemical sciencesNanotubeDrug LiberationHalloysite nanotubes Insulin Protein stability Sustained release Bionanocomposite hybridchemistryChemical engineeringDelayed-Action PreparationsengineeringClayNanocarriersSustained release
researchProduct

Gaussian and non-Gaussian stochastic sensitivity analysis of discrete structural systems

2000

Abstract The derivatives of the response of a structural system with respect to the system parameters are termed sensitivities. They play an important role in assessing the effect of uncertainties in the mathematical model of the system and in predicting changes of the response due to changes of the design parameters. In this paper, a time domain approach for evaluating the sensitivity of discrete structural systems to deterministic, as well as to Gaussian or non-Gaussian stochastic input is presented. In particular, in the latter case, the stochastic input has been assumed to be a delta-correlated process and, by using Kronecker algebra extensively, cumulant sensitivities of order higher t…

Differential equationStochastic processGaussianMechanical EngineeringStructural systemstochastic analysisComputer Science Applications1707 Computer Vision and Pattern RecognitionComputer Science Applicationssymbols.namesakeControl theoryKronecker deltaModeling and SimulationsymbolsApplied mathematicsGeneral Materials ScienceSensitivity (control systems)Time domainMaterials Science (all)Sensitivity analysis; stochastic analysis; Non-Gaussian stochastic analysisSensitivity analysisGaussian processNon-Gaussian stochastic analysisMathematicsCivil and Structural Engineering
researchProduct

ideal: an R/Bioconductor package for interactive differential expression analysis

2020

AbstractBackgroundRNA sequencing (RNA-seq) is an ever increasingly popular tool for transcriptome profiling. A key point to make the best use of the available data is to provide software tools that are easy to use but still provide flexibility and transparency in the adopted methods. Despite the availability of many packages focused on detecting differential expression, a method to streamline this type of bioinformatics analysis in a comprehensive, accessible, and reproducible way is lacking.ResultsWe developed the ideal software package, which serves as a web application for interactive and reproducible RNA-seq analysis, while producing a wealth of visualizations to facilitate data interpr…

Differential expression analysisComputer scienceShinyBioconductorInteractive data analysislcsh:Computer applications to medicine. Medical informaticsReproducible researchBioconductorDifferential expressionCode (cryptography)Transcriptome profilingHumansRNA-SeqTranscriptomicslcsh:QH301-705.5Flexibility (engineering)Ideal (set theory)Base Sequencebusiness.industryData visualizationGene Expression ProfilingRRNAReproducibility of ResultsTransparency (human–computer interaction)Gene Expression Regulationlcsh:Biology (General)Data Interpretation StatisticalWeb applicationlcsh:R858-859.7Software engineeringbusinessSoftwareBMC Bioinformatics
researchProduct

OPTIMAL AIRLINE SEAT INVENTORY CONTROL FOR MULTI-LEG FLIGHTS

2005

Abstract For large commercial airlines, efficiently setting and updating seat allocation targets for each passenger category on each multi-leg flight is an extremely difficult problem. This paper presents static and dynamic models of airline seat inventory control for multi-leg flights with multiple fare classes, which allow one to maximize an expected contribution to profit. The dynamic model uses the most recent demand and capacity information and allows one to allocate seats dynamically and anticipatory over time.

Difficult problemInventory controlEngineeringInformationSystems_MODELSANDPRINCIPLESDynamic modelsOperations researchbusiness.industryComputerApplications_COMPUTERSINOTHERSYSTEMSOperations managementGeneral MedicineModel based controlbusinessProfit (economics)IFAC Proceedings Volumes
researchProduct

Aperiodic Diffract: Study of diffraction gratings

2014

In this work we introduce a virtual laboratory, APERIODIC DIFFRACT, developed in Matlab GUI (Graphical User Interface) as an informatics tool for teaching the diffractive properties of aperiodic gratings. This GUI allows the student to  generate aperiodic sequences by iterating and lets to study the spectra for different iterating orders.<br /><br />

DiffractionEngineeringbusiness.industryGeneral MedicineGeneral Chemistrylcsh:Education (General)Aperiodic graphComputer graphics (images)Virtual LaboratoryComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMSMATLABbusinessTelecommunicationslcsh:L7-991computerDiffraction gratingDifracción secuencias aperiódicas espectrocomputer.programming_languageGraphical user interfaceComputingMethodologies_COMPUTERGRAPHICSModelling in Science Education and Learning
researchProduct

New photonic devices for ultrafast pulse processing operating on the basis of the diffraction-dispersion analogy

2008

The space-time analogy is a well-known topic within wave optics that brings together some results from beam diffraction and pulse dispersion. On the above basis, and taking as starting point some classical concepts in Optics, several photonic devices have been proposed during the last few years with application in rapidly evolving fields such as ultrafast (femtosecond) optics or RF and microwave signal processing. In this contribution, we briefly review the above ideas with particular emphasis in the generation of trains of ultrafast pulses from periodic modulation of the phase of a CW laser source. This is the temporal analogue of Fresnel diffraction by a pure phase grating. Finally, we ex…

DiffractionHistoryEngineeringbusiness.industryPhysics::OpticsPhysical opticsComputer Science ApplicationsEducationPulse (physics)OpticsFemtosecondDispersion (optics)PhotonicsbusinessUltrashort pulseFresnel diffractionJournal of Physics: Conference Series
researchProduct