Search results for "Computation"

showing 10 items of 7362 documents

Logic, Computing and Biology

2015

Logic and Computing are appropriate formal languages for Biology, and we may well be surprised by the strong analogy between software and DNA, and between hardware and the protein machinery of the cell. This chapter examines to what extent any biological entity can be described by an algorithm and, therefore, whether the Turing machine and the halting problem concepts apply. Last of all, I introduce the concepts of recursion and algorithmic complexity, both from the field of computer science, which can help us understand and conceptualise biological complexity.

Turing machinesymbols.namesakeRecursionTheoretical computer scienceComputer scienceComputational logicFormal languagesymbolsAnalogyComputerApplications_COMPUTERSINOTHERSYSTEMSGödel's incompleteness theoremsUnconventional computingHalting problem
researchProduct

CFD predictions of turbulent two-phase flow in helical coils

2012

Turbulent two-phase flow in a helical pipe was simulated by means of CFD using the ANSYS-CFX code, based on a finite-volume multi-fluid approach. The focus was on flow patterns and frictional pressure drops; inter-phase heat and mass transfer and heat exchange with the pipe walls were not included and physical properties were assumed constant for each phase. The computational domain included a single, vertical axis, coil turn; the flow was assumed to be fully developed. Geometry and physical conditions were representative of the IRIS nuclear reactor steam generators (saturated water at 58 bar, pressure gradient of 0.1 bar/m). Void fraction and computational options (homogeneous vs. inhomo…

Two Phase Flow Computational Fluid Dynamics Helical CoilSettore ING-IND/19 - Impianti Nucleari
researchProduct

Autecology, lifestyle and hydrodynamics of early vertebrates

2018

Capítulo 1. Introducción general Los vertebrados constituyen uno de los grupos de animales más exitosos, contando con más de 60000 especies distintas y ocupando la gran mayoría de ecosistemas marinos y continentales. Su origen y evolución han sido temas centrales para biólogos y paleontólogos durante décadas, pero las discusiones en este sentido se han visto obstaculizadas porque los grupos actuales (ciclóstomos, condrictios y osteíctios) constituyen solo una pequeña representación de toda la diversidad que existió en el pasado. Por lo tanto, el registro fósil es crucial para arrojar luz sobre estos aspectos permitiendo desvelar el momento y el tempo de la aparición de los diferentes caract…

UNESCO::CIENCIAS DE LA VIDA::Paleontología::Paleontología de los vertebradosearly vertebratesmorphometricshydrodynamicscomputational fluid dynamicssquamationecologysharks
researchProduct

Conocimiento acerca de las estrategias de práctica instrumental al inicio del Grado Superior de Música

2017

Cabe pensar que un estudiante de instrumento que accede al Grado Superior de Música, tras aproximadamente 10 años de formación, debería tener una práctica efectiva y, por lo tanto, un manejo adecuado de numerosas estrategias. En este sentido, el estudio se planteó con objeto de corroborar el estado de conocimientos previos de los estudiantes que ingresan al Conservatorio Superior de Música de Aragón con respecto a diversas estrategias de práctica instrumental de eficacia avalada por investigaciones previas y/o la experiencia profesional de grandes intérpretes. La investigación de carácter descriptivo presenta una metodología de carácter cualitativo en la que las técnicas de recogida de dato…

UNESCO::CIENCIAS DE LAS ARTES Y LAS LETRASDidácticas aplicadasData collection010102 general mathematics0102 computer and information sciencescomputer.software_genre01 natural sciencesEducationIndividual study010201 computation theory & mathematics:CIENCIAS DE LAS ARTES Y LAS LETRAS [UNESCO]PedagogyPsicología y educaciónArte0101 mathematicsDescriptive researchPersonal interviewPsychologycomputerMusicInterpreterMúsicaQualitative researchRevista Electrónica de LEEME
researchProduct

Rational design and modelling of f-block molecular nanomagnets

2016

Los imanes monomoleculares o moléculas imán, por sus siglas en inglés SMMs, han suscitado una gran atención en los últimos años debido a sus extraordinarias propiedades físicas. Los cristales de este tipo de moléculas se caracterizan por presentar relajación lenta de la magnetización a baja temperatura, así como curvas de histeresis magnética. Estas moléculas se encuentran entre las entidades con comportamiento magnético más complejas, mostrando fenómenos cuánticos tales como efecto túnel en la magnetización, coherencia cuántica o interferencia cuántica. Por esto, se han postulado como candidatos prometedores para el diseño de bits cuánticos (qubits) de espín en computación cuántica. La pri…

UNESCO::FÍSICA::Electromagnetismo ::MagnetismoUNESCO::QUÍMICA::Química inorgánica ::Estructura de los compuestos inorgánicoslanthanides and actinides:FÍSICA::Electromagnetismo ::Magnetismo [UNESCO]:FÍSICA::Física del estado sólido ::Estados electrónicos [UNESCO]:FÍSICA::Física molecular::Moléculas inorgánicas [UNESCO]:QUÍMICA::Química inorgánica ::Estructura de los compuestos inorgánicos [UNESCO]UNESCO::QUÍMICA::Química inorgánica ::Compuestos de coordinaciónUNESCO::FÍSICA::Física molecular::Moléculas inorgánicas:QUÍMICA::Química inorgánica ::Compuestos de coordinación [UNESCO]computational chemistryquantum computingUNESCO::FÍSICA::Física del estado sólido ::Estados electrónicosmolecular nanomagnetism:QUÍMICA::Química inorgánica ::Tierras raras [UNESCO]coordination complexes:QUÍMICA::Química inorgánica ::Compuestos organometálicos [UNESCO]UNESCO::QUÍMICA::Química inorgánica ::Tierras rarasUNESCO::QUÍMICA::Química inorgánica ::Compuestos organometálicoscrystal field
researchProduct

Interacting with Augmented Environments

2010

Pervasive systems augment environments by integrating information processing into everyday objects and activities. They consist of two parts: a visible part populated by animate (visitors, operators) or inanimate (AI) entities interacting with the environment through digital devices, and an invisible part composed of software objects performing specific tasks in an underlying framework. This paper shows an ongoing work from the University of Palermo''s Department of Computer Science and Engineering that addresses two issues related to simplifying and broadening augmented environment access.

Ubiquitous computingComputer sciencebusiness.industryInformation processingMobile computingComputer Science ApplicationsSoftwareComputational Theory and MathematicsHuman–computer interactionpervasive computingPervasive systemsAugmented realityAugmented environmentUser interfacebusinessSoftwareComputer animationIEEE Pervasive Computing
researchProduct

A Simulation Based Analysis of an Multi Objective Diffusive Load Balancing Algorithm

2018

In this paper, we presented a further development of our research on developing an optimal software-hardware mapping framework. We used the Petri Net model of the complete hardware and software High Performance Computing (HPC) system running a Computational Fluid Dynamics (CFD) application, to simulate the behaviour of the proposed diffusive two level multi-objective load-balancing algorithm. We developed an meta-heuristic algorithm for generating an approximation of the Pareto-optimal set to be used as reference. The simulations showed the advantages of this algorithm over other diffusive algorithms: reduced computational and communication overhead and robustness due to low dependence on u…

Uncertain dataComputer Networks and Communicationsbusiness.industryComputer scienceComputationLoad balancing (computing)Computational fluid dynamicsPetri netSupercomputerComputer Science ApplicationsSoftwareComputational Theory and MathematicsRobustness (computer science)businessAlgorithmInternational Journal of Computers Communications & Control
researchProduct

Using the Breeder genetic algorithm to optimize a multiple regression analysis model used in prediction of the mesiodistal width of unerupted teeth

2014

For the prediction of the unerupted canine and premolars mesiodistal size, have been proposed different variants of multiple linear regression equations (MLRE). These are based on the amount of the upper and lower permanent incisors with a tooth of the lateral support. Aim of present study was to develop a method for optimization of MLRE, using a genetic algorithm for determining a set of coefficients that minimizes the prediction error for the sum of permanent premolars and canines dimensions from a group of young people in an area Romania's central city represented by Sibiu. To test the proposed method, we used a multiple linear regression equation derived from the estimation method propo…

Unerupted TeethComputer Networks and CommunicationsRegression analysisComputer Science ApplicationsSet (abstract data type)stomatognathic systemComputational Theory and MathematicsBreeder genetic algorithmGenetic algorithmStatisticsLinear regressionCalipersPermanent teethMathematicsINTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL
researchProduct

The Average State Complexity of the Star of a Finite Set of Words Is Linear

2008

We prove that, for the uniform distribution over all sets Xof m(that is a fixed integer) non-empty words whose sum of lengths is n, $\mathcal{D}_X$, one of the usual deterministic automata recognizing X*, has on average $\mathcal{O}(n)$ states and that the average state complexity of X*is i¾?(n). We also show that the average time complexity of the computation of the automaton $\mathcal{D}_X$ is $\mathcal{O}(n\log n)$, when the alphabet is of size at least three.

Uniform distribution (continuous)ComputationStar (game theory)0102 computer and information sciences02 engineering and technology[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]01 natural sciencesCombinatoricsInteger0202 electrical engineering electronic engineering information engineeringTime complexityFinite setMathematicsstar operationDiscrete mathematicsaverage case analysistate complexity16. Peace & justiceBinary logarithm[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]automatonState complexity010201 computation theory & mathematicsfinite language020201 artificial intelligence & image processingComputer Science::Formal Languages and Automata Theory
researchProduct

Implementation and performance of the ATLAS second level jet trigger

2008

ATLAS is one of the four major LHC experiments, designed to cover a wide range of physics topics. In order to cope with a rate of 40 MHz and 25 interactions per bunch crossing, the ATLAS trigger system is divided in three different levels. The first one (LVL1, hardware based) identifies signatures in 2 microseconds that are confirmed by the the following trigger levels (software based). The Second Level Trigger (LVL2) only looks at a region of the space around the LVL1 signature (called Region of Interest or ROI), confirming/rejecting the event in about 10 ms, while the Event Filter (Third Level Trigger, EF) has potential full event access and larger processing times, of the order of 1 s. T…

UnpackingPhysicsHistoryData processingLarge Hadron ColliderMathematical modelAtlas (topology)Reconstruction algorithmParticle identificationComputer Science ApplicationsEducationComputational scienceData acquisitionStatistical physicsDetectors and Experimental TechniquesJournal of Physics: Conference Series
researchProduct