Search results for "description"

showing 10 items of 250 documents

Space-Efficient 1.5-Way Quantum Turing Machine

2001

1.5QTM is a sort of QTM (Quantum Turing Machine) where the head cannot move left (it can stay where it is and move right). For computations is used other - work tape. In this paper will be studied possibilities to economize work tape space more than the same deterministic Turing Machine can do (for some of the languages). As an example language (0i1i|i ≥ 0) is chosen, and is proved that this language could be recognized by deterministic Turing machine using log(i) cells on work tape , and 1.5QTM can recognize it using constant cells quantity.

TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESTheoretical computer scienceQuantum Turing machineSuper-recursive algorithmComputer scienceProbabilistic Turing machineComputationDescription numberMultitape Turing machineDSPACElaw.inventionTuring machinesymbols.namesakeNon-deterministic Turing machinelawAlgorithm characterizationsPSPACEWolfram's 2-state 3-symbol Turing machineTuring machine examplesNSPACETuring reductionsymbolsUniversal Turing machineTime hierarchy theoremAlternating Turing machineRegister machine
researchProduct

Detuning effects in STIRAP processes in the presence of quantum noise

2011

The Stimulated Raman adiabatic passage (STIRAP) in three-state systems in the presence of quantum noise is considered. A comparison is made between different models, one based on a phenomenological introduction of decays, one traceable back to a microscopic description of the system-environment interaction. Effects related, to off-resonance in the coupling between the involved states are considered.

Time-dependent HamiltonianPhysicsSettore FIS/02 - Fisica Teorica Modelli E Metodi Matematicibusiness.industryQuantum noiseStimulated Raman adiabatic passageMicroscopic descriptionLaserSettore FIS/03 - Fisica Della MateriaAtomic and Molecular Physics and OpticsElectronic Optical and Magnetic Materialslaw.inventionCoupling (physics)lawQuantum mechanicsOptoelectronicsSTIRAPPhotonicsbusinessOptics and Spectroscopy
researchProduct

From UML Specification into FPGA Implementation

2014

In the paper a method of using the Unified Modeling Language for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine di- agrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams, expressed in XML language, to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Ar- rays). The UML specification is used to generate an eective program in Hardware Description Languages (HDLs), especially Verilog.

UML toolFinite-state machineComputer scienceProgramming languageHardware description languageApplications of UMLlogic controllerscomputer.software_genreverilog.umlfpgaTK1-9971UML state machinefsmUnified Modeling LanguageVerilogElectrical engineering. Electronics. Nuclear engineeringElectrical and Electronic EngineeringcomputerObject Constraint Languagecomputer.programming_languageAdvances in Electrical and Electronic Engineering
researchProduct

From UML State Machine Diagram into FPGA Implementation

2013

Abstract In the paper a method of using the Unified Modeling Language diagrams for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine diagrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Arrays). The UML specification is used to generate an effective program in Hardware Description Languages (HDLs), especially Verilog.

UML toolFinite-state machineProgramming languageComputer scienceHardware description languageCommunication diagramApplications of UMLGeneral Medicinecomputer.software_genreUML state machineComputer Science::Hardware ArchitectureUnified Modeling LanguageSystems Modeling LanguageComputer Science::Programming LanguagesVerilogShlaer–Mellor methodClass diagramcomputercomputer.programming_languageObject Constraint LanguageIFAC Proceedings Volumes
researchProduct

Shaping women's agency through temporality in "The life and activity of the holy and blessed teacher Syncletica"

2020

The present article attempts to discuss the relationship between two female characters, Thecla and Syncletica, against the wider theoretical background of temporality as it was perceived and construed through literary texts. Syncletica is portrayed as a ‘disciple’ of Thecla. However, while the apocryphal Acts of Paul and Thecla appear to be pervaded with an eschatological expectation, the Life of Saint Syncletica shows signs of a different temporality. The detailed description of the whole life of Syncletica, with an emphasis on the course of illness, reveals a temporality more focused on the stages of life. Building on this evidence, I aim to identify a set of key features that…

UNESCO::CIENCIAS DE LAS ARTES Y LAS LETRAS1135-9560 8276 Studia philologica valentina 567083 2020 22 7762311 Shaping women?s agency through temporality in The life and activity of the holy and blessed teacher Syncletica Dell'IsolaI aim to identify a set of key features that may define the influence of different notions of time on two women saints closely related to each other. 13 31reveals a temporality more focused on the stages of life. Building on this evidence:CIENCIAS DE LAS ARTES Y LAS LETRAS [UNESCO]with an emphasis on the course of illnessThecla and SyncleticaMaria The present article attempts to discuss the relationship between two female characterswhile the apocryphal Acts of Paul and Thecla appear to be pervaded with an eschatological expectationagainst the wider theoretical background of temporality as it was perceived and construed through literary texts. Syncletica is portrayed as a ?disciple? of Thecla. Howeverthe Life of Saint Syncletica shows signs of a different temporality. The detailed description of the whole life of Syncletica
researchProduct

Quot philosophi, tot sanniones: las descripciones de filósofos en la sátira latina

2019

El artículo trata la descripción de los filósofos y pseudofilósofos en la sátira latina. A una breve introducción donde se recalca cómo el ataque personal era un elemento clave en este género, sigue un examen de las descripciones insertas en lo que convencionalmente se conoce como sátira regular, pese a que Varrón también aparece incluido con la intención de completar el panorama. El análisis diacrónico de las descripciones invita a pensar que se trata de un tópico especialmente activo en la poesía satírica y que tiende a incrementarse con el paso del tiempo, proporcionando siempre una imagen negativa de los falsos sabios. Si juzgar la finalidad de este recurso de forma global es complicado…

UNESCO::CIENCIAS DE LAS ARTES Y LAS LETRAStot sanniones: las descripciones de filósofos en la sátira latina Gallego CebolladaEduardo A. El artículo trata la descripción de los filósofos y pseudofilósofos en la sátira latina. A una breve introducción donde se recalca cómo el ataque personal era un elemento clave en este génerolas descripciones de filósofos en la sátira latina Gallego Cebollada [tot sanniones]1135-9560 8276 Studia philologica valentina 536436 2019 21 7225815 Quot philosophi//pages.uv.es/SPhV/cas/numero21.wiki [Satire ? Philosophy ? Philosophers ? Description 101 115 https]:CIENCIAS DE LAS ARTES Y LAS LETRAS [UNESCO]pese a que Varrón también aparece incluido con la intención de completar el panorama. El análisis diacrónico de las descripciones invita a pensar que se trata de un tópico especialmente activo en la poesía satírica y que tiende a incrementarse con el paso del tiemposigue un examen de las descripciones insertas en lo que convencionalmente se conoce como sátira regularsu presencia en los textos satíricos sugiere entenderlo como un mecanismo para criticar la moral en la mayor parte de las ocasiones. Sátira ? Filosofía ? Filósofos ? Descripciónproporcionando siempre una imagen negativa de los falsos sabios. Si juzgar la finalidad de este recurso de forma global es complicadoSatire ? Philosophy ? Philosophers ? Description 101 115 https://pages.uv.es/SPhV/cas/numero21.wiki
researchProduct

RIGENERAZIONE DI CITTADINE RURALI MEDIANTE IL TURISMO SOSTENIBILE: UN MODELLO DI VALUTAZIONE

2017

Rehabilitation of ancient towns poses special questions because of the existing complex physical and social ties that can be properly integrated in decisions on sustainable urban planning by multi-criteria evaluations. This work proposes a description model aiding actions and decisions for the rehabilitation of historic centres through tourism development in Sicilian hinterland areas. The decision problem concerns the town of Cianciana, which in recent years has been appreciated by strangers who stay on this town to live with the local inhabitants. Despite this international attention, at present, the town is undergoing local’s depopulation, gentrification and economic crisis. The proposed …

Underused BuildingsDescription ProblematicDecision AidingLocal DevelopmentUnderused Buildings Decision Aiding Sustainable Tourism Description Problematic Urban Restoration Local Development Urban Planning.Urban Planning.Settore ICAR/22 - EstimoUrban Restorationlcsh:HT101-395Settore ICAR/21 - UrbanisticaSustainable Tourismlcsh:Urban groups. The city. Urban sociology
researchProduct

LanguageLab - A Meta-modelling Environment

2015

In the LanguageLab language workbench, we build on a component-based approach to language specification that facilitates the specification of all aspects of a computer language in a consistent manner, taking into account best practices in meta-modelling and language design. The workbench allows operation on a suitable abstraction level, and also focuses on user-friendliness and a low threshold to getting started, in order to make it useful for teaching of meta-modelling and language design and specification. The platform is open for third party language modules and facilitates rapid prototyping of DSLs, re-use of language modules, and experiments with multiple concrete syntaxes. The platfor…

Universal Networking LanguageHigh-level programming languageComputer scienceProgramming languageModeling languageProgramming language specificationData control languageSpecification languageInterface description languagecomputer.software_genreLow-level programming languagecomputer
researchProduct

Īpašības vārdu lietojums produktu aprakstos pārtikas uzņēmumu interneta mājas lapās

2019

Šajā bakalaura darbā ir aplūkoti aprakstoši, novērtējoši īpašības vārdi, kā arī to salīdzinājuma pakāpes, kuras izmantotas produktu aprakstos pārtikas rūpniecības uzņēmumu tīmekļa vietnēs. Pētījuma mērķa sasniegšanai un lai atbildētu uz pētījuma jautājumiem, pētniecības metodes ietvēra literatūras apskatu un diskursa analīzi. Bakalaura darba mērķis bija izpētīt īpašības vārdu lietošanas biežumu un nolūku mērķi astoņdesmit produktu aprakstos. Galvenie secinājumi ir, ka novērtēšanas īpašības vārdu biežums ir lielāks, salīdzinot ar visiem analizētajiem īpašības vārdiem. Lielākā daļa uzņēmumu balstās uz novērtēšanas īpašības vārda izmantošanu, lai uzsvērtu labākās produktu aprakstu daļas lai pi…

Valodniecībafrequencyproduct descriptionsdescriptive and evaluative adjectivesdiscourse analysis
researchProduct

Technology Enabled Information Services Use in Tourism : An Ethnographic Study of Chinese Backpackers

2018

The purpose of this paper is to investigate the previously unexplored theoretical relationship between technology enabled information services (TEIS) and the value created by the use of such services. This paper presents a mixed virtual and multi-sited ethnography to provide a thick description of Chinese backpackers (CBs) use of TEIS. Participant observations and interviews of CBs in three different journeys within Europe were undertaken. Our findings illustrate that additional usage values occur when TEIS are used in a tourism context. Social influences and technical infrastructure play a stronger role than previous research presented. The study contributes to the literature by 1) providi…

Value (ethics)Knowledge managementIT servicesContext (language use)technology enabled information systemsethnographyResearch modelThick descriptionmatkailu0502 economics and businessEthnographyInformation systemSociologySocial influencetietojärjestelmätta113etnografiabusiness.industry05 social sciencesbackpackerstourism050211 marketingbusinessGV050212 sport leisure & tourismTourismPacific Asia Journal of the Association for Information Systems
researchProduct