Search results for "description"
showing 10 items of 250 documents
Toward a density functional description of liquid pH2.
2010
A finite-temperature density functional approach to describe the properties of parahydrogen in the liquid-vapor coexistence region is presented. The first proposed functional is zero-range, where the density-gradient term is adjusted so as to reproduce the surface tension of the liquid-vapor interface at low temperature. The second functional is finite-range and, while it is fitted to reproduce bulk pH2 properties only, it is shown to yield surface properties in good agreement with experiments. These functionals are used to study the surface thickness of the liquid-vapor interface, the wetting transition of parahydrogen on a planar Rb model surface, and homogeneous cavitation in bulk liquid…
Modeling and simulation of a digital control design approach for power supply systems
2006
Electronic designers need to model and simulate system features as close as possible to its effective behaviour. Moreover, today, electronics systems are often composed of mixed analog and digital components. The increasing complexity has led to the use of different simulation softwares, each one specific for a particular level of abstraction: mathematical, circuital, behavioural, etc. In order to simulate the entire system these softwares should work together: co-simulation is necessary for digitally controlled power electronics systems. In this paper, the modeling of a digitally controlled switching power supply system using MATLAB/Simulink, ALDEC Active-HDL and Powersys PSIM is presented…
Genome-based analyses reveal a synonymy among Halorubrum distributum Zvyagintseva and Tarasov 1989; Oren and Ventosa 1996, Halorubrum terrestre Vento…
2020
A comparative taxonomic study of Halorubrum distributum , Halorubrum terrestre , Halorubrum arcis and Halorubrum litoreum was carried out using different approaches, 16S rRNA gene sequence analysis, multilocus sequence analysis (MLSA), phylogenomic analysis based on the comparison of the core genome, orthologous average nucleotide identity (OrthoANI), Genome-to-Genome Distance Calculator (GGDC), synteny plots and polar lipid profile (PLP). The MLSA study, using the five concatenated housekeeping genes atpB, EF-2, glnA, ppsA and rpoB′, and the phylogenomic analysis based on 1347 core translated gene sequences obtained from their genomes showed that Halorubrum distributum JCM 9100T, Halorubru…
Distribution of Working Time and Contents of Physiotherapy Activities in a Clinical Setting.
1994
The purpose of the present study was to collect personnel utilization data in the physiotherapy department of a general hospital as a basis for improving the practice of physiotherapy. Over a four-week period in a process of continuous observation 12 physiotherapists recorded their activities under predefined task categories. The percentages of total time used in the observed activities were as follows: direct patient treatment 31%, other work (planning, recording, arranging walking aids and student guidance) 10%, and cooperation (consultation, meetings, arranging patients' affairs, counselling relatives and parents) 9%. The proportion of uncategorized work amounted to half of the total wor…
The cognitive shift in terminology and specialized translation
2009
Este artículo propone un análisis crítico y una visión global de las teorías terminológicas con especial atención a la traducción científica y técnica. El estudio de los tecnolectos está sometido en la actualidad a un cambio hacia el cognitivismo, que a su vez conduce a un énfasis mucho mayor tanto en el significado como en las estructuras conceptuales que subyacen en los textos y en la lengua en general. La terminología parece estar pasando del prescriptivismo al descriptivismo, con un interés creciente por enfocar el estudio de las unidades de los tecnolectos desde una perspectiva social, lingüística y cognitiva. En esta misma línea, comienzan a oírse nuevas voces que ofrecen perspectivas…
Ambiente e diritto penale: brevi riflessioni fra le modifiche agli artt.9 e 41 Cost. e le prospettive di riforma in ambito internazionale
2023
l contributo analizza l’impatto che il recente inserimento dell’ambiente in Costituzione può dispiegare in ambito penale, tanto rispetto all’ambiente quale oggetto della tutela penale, quanto sul versante della selezione dei modelli di illecito, soffermandosi in particolare sul problema delle possibili ricadute penalistiche del nuovo vincolo di solidarietà ecologica di tipo intergenerazionale. Seguendo il fil rouge del bene giuridico, la seconda parte del saggio ricostruisce invece i punti critici e le prospettive di sviluppo del diritto penale ambientale internazionale, alla luce della nozione di ambiente quale bene giuridico comune ed universale.
Incorporating hypothetical knowledge into the process of inductive synthesis
1996
The problem of inductive inference of functions from hypothetical knowledge is investigated in this paper. This type of inductive inference could be regarded as a generalization of synthesis from examples that can be directed not only by input/output examples but also by knowledge of, e. g., functional description's syntactic structure or assumptions about the process of function evaluation. We show that synthesis of this kind is possible by efficiently enumerating the hypothesis space and illustrate it with several examples.
A Problem Structuring Method
1991
Given a formal definition of problem and a formal definition of system, the equivalence between both concepts is studied. Considering a problem as a 3-tuple , where D is the set of possible data, R is the set of possible results, and P the set of conditions of the problem, classes of problems are constructed as combinations of types of data, types of results and types of conditions. For example, data can be either literal or numerical, either with uncertainty or not; conditions can be determined by rules, tables, equations, it may have uncertainty, etc. As a case of application it is outlined how some of the most common problems (knowledge representation, search, reasoning and planning, etc…
Ultrametric Finite Automata and Turing Machines
2013
We introduce a notion of ultrametric automata and Turing machines using p-adic numbers to describe random branching of the process of computation. These automata have properties similar to the properties of probabilistic automata but complexity of probabilistic automata and complexity of ultrametric automata can differ very much.
Quantum Real - Time Turing Machine
2001
The principles of quantum computation differ from the principles of classical computation very much. Quantum analogues to the basic constructions of the classical computation theory, such as Turing machine or finite 1-way and 2-ways automata, do not generalize deterministic ones. Their capabilities are incomparable. The aim of this paper is to introduce a quantum counterpart for real - time Turing machine. The recognition of a special kind of language, that can't be recognized by a deterministic real - time Turing machine, is shown.