Search results for "Turing"

showing 10 items of 2644 documents

An Efficient Numerical Method for Time Domain Computational Electromagnetic Simulation

2018

In this paper an efficient numerical method in approximating the electric and magnetic fields is provided. The method is based on an implicit leapfrog arrangement in time and without mesh in space. Moreover, a projection scheme is introduced in order to improve the accuracy of the proposed approach and applied into the computational electromagnetic (CEM) framework. The PDEs governing the process are solved and some numerical results are reported to validate the numerical process.

Projection schemeEnvironmental EngineeringRenewable Energy Sustainability and the EnvironmentComputer scienceNumerical analysisCEMProcess (computing)Finite difference methodEnergy Engineering and Power Technology010103 numerical & computational mathematicsSpace (mathematics)01 natural sciencesIndustrial and Manufacturing EngineeringProjection (linear algebra)Magnetic field010101 applied mathematicsSettore ING-IND/31 - ElettrotecnicaSettore MAT/08 - Analisi NumericaKernel (linear algebra)Hardware and ArchitectureApplied mathematicsNumerical accuracyTime domainElectrical and Electronic Engineering0101 mathematics2018 IEEE International Conference on Environment and Electrical Engineering and 2018 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe)
researchProduct

Post-fatigue fracture resistance of metal core crowns: press-on metal ceramic versus a conventional veneering system

2014

Background The aim of this in vitro study was to compare the mechanical failure behavior and to analyze fracture characteristics of metal ceramic crowns with two veneering systems – press-on metal (PoM) ceramic versus a conventional veneering system – subjected to static compressive loading. Material and Methods Forty-six crowns were constructed and divided into two groups according to porcelain veneer manufacture. Group A: 23 metal copings with porcelain IPS-InLine veneering (conventional metal ceramic). Group B: 23 metal copings with IPS-InLine PoM veneering porcelain. After 120,000 fatigue cycles, the crowns were axially loaded to the moment of fracture with a universal testing machine. …

Prosthetic DentistryUniversal testing machineMaterials scienceScanning electron microscopeResearchmedicine.medical_treatmentPorcelain VeneerOdontologíaCore (manufacturing):CIENCIAS MÉDICAS [UNESCO]Ciencias de la saludvisual_artUNESCO::CIENCIAS MÉDICASmedicinevisual_art.visual_art_mediumFracture (geology)VeneerCeramicAdhesiveComposite materialGeneral DentistryJournal of Clinical and Experimental Dentistry
researchProduct

Treatment of flying phobia using virtual reality exposure with or without cognitive restructuring: Participant's preferences

2015

This study analyses participants’ preferences regarding two exposure treatment modali- ties for Fear of Flying (FF): virtual reality exposure treatment (VRET) by itself or VRET plus cognitive restructuring (VRET+CR). An alternating treatment conditions design was established and a non-concurrent multiple baseline design across individuals (four participants) was used. Both conditions were equally effective and after the treatment all the participants took a flight. At the end of each session the participants were asked for their opinion on the condition they received. High mean scores were obtained in both conditions; non-significant differences between the two condi- tions were found. When…

Psychiatry and Mental healthClinical Psychologyexposurecognitive restructuringexposiciónvirtual realitypreferenciasfear of flyingreestructuración cognitivamiedo a volarrealidad virtualpreferences
researchProduct

The Life, Death and Miracles of Alan Mathison Turing

2010

The life of Alan Turing is described in many biographies. The best and most encyclopaedic of these is that of Andrew Hodges; quite pleasant is the agile volume by Gianni Rigamonti, Turing, il genio e lo scandalo (Flaccovio editore, Palermo, 1991). Both of these also make mention of his tragic end, which certainly casts a shadow on the mores English society at the time; but of course, who knows how other societies might have behaved?

PsychoanalysisMoresSettore INF/01 - InformaticaPhilosophyArt historylaw.inventionTuring machinesymbols.namesakelawTuring computabilità intelligenza artificialesymbolsUniversal Turing machineTuringcomputercomputer.programming_languageShadow (psychology)
researchProduct

Acceptability of virtual reality interoceptive exposure for the treatment of panic disorder with agoraphobia

2013

Interoceptive exposure (IE) is a standard component of cognitive-behavioural therapy (CBT) for panic disorder and agoraphobia. The virtual reality (VR) program ‘Panic-Agoraphobia’ has several virtual scenarios designed for applying exposure to agoraphobic situations; it can also simulate physical sensations. This work examines patients' acceptability of the IE component as applied in two different ways: using VR versus traditional IE. Additionally, it explores the relationship between users' treatment expectations and satisfaction and clinically significant change. Results showed that VR and traditional IE were well accepted by all participants. Furthermore, treatment expectations predicted…

PsychotherapistPanic Disorder with AgoraphobiaInteroceptive exposurePanic disorderCognitive restructuringDiagnostic testVirtual realitymedicine.diseasebehavioral disciplines and activitiesHelp-seekingmental disordersmedicinePsychologyApplied PsychologyAgoraphobiaClinical psychologyBritish Journal of Guidance & Counselling
researchProduct

The cognitive therapy of evaluation: Therapeutic techniques-[2]

1991

Abstract The main aim of this paper is to introduce the techniques used in cognitive therapy of evaluation. The Cognitive therapy of evaluation is being developed from the theoretical background of general semantics theory and it is a therapy based on language as an instrument of cognitive processes, and on the role it plays, through word-facts identification, in the development and treatment of emotional problems. The main techniques developed (abstraction orders and the extensional devices) and other therapeutic issues are introduced and explained.

Psychotherapistmedicine.medical_treatmentCognitive restructuringCognitionGeneral semanticsExtensional definitionPsychiatry and Mental healthClinical PsychologyIdentification (information)Cognitive remediation therapyCognitive therapymedicinePsychologyApplied PsychologyAbstraction (linguistics)Cognitive psychologyCounselling Psychology Quarterly
researchProduct

Supporting public decision process in buildings energy retrofitting operations: the application of a Multiple Criteria Decision Aiding model to a cas…

2020

Abstract The challenge of promoting sustainable cities and reaching the objectives developed by the European Green Deal includes the renovation of the building sector, as it is responsible for 40% of energy consumption in Europe. Regional or local public administrations have to allocate their financial resources for improving the energy performances of their building stock and to face a multidimensional problem, where different aspects – such as energy efficiency, financial-economic feasibility and environmental protection – have to be harmonized. The present study proposes a Multiple Criteria Decision Aiding model, which includes the ELECTRE TRI-nC method, for supporting the public decisio…

Public decision processMultiple Criteria Decision AidingComputer scienceGeography Planning and Development0211 other engineering and technologiesTransportationenergy retrofit02 engineering and technology010501 environmental sciences01 natural sciencesStructuringRetrofitting021108 energyELECTRE0105 earth and related environmental sciencesCivil and Structural EngineeringSettore ING-IND/11 - Fisica Tecnica AmbientaleRenewable Energy Sustainability and the Environmentbusiness.industryBusiness and ManagementEnergy consumptionsustainable cityDecision problemELECTRE TRI-nC/dk/atira/pure/core/subjects/businessPublic decision process public buildings sustainable city energy retrofit Multiple Criteria Decision Aiding ELECTRE TRI-nCpublic buildingsRisk analysis (engineering)Sustainable cityAlternative energySettore ICAR/22 - EstimobusinessEfficient energy use
researchProduct

Estudio faunístico de los mosquitos (Díptera, Culicidae) de la comarca del Somontano de Barbastro y su posible relevancia en la difusión del paludismo

2013

Se han capturado 1.106 ejemplares larvarios de culícidos pertenecientes a 12 especies en la Comarca del Somontano de Barbastro, de las cuales dos (Culex impudicus y Cx. territans) se citan por primera en la provincia de Huesca. Pese a que la especie más abundante fue Cx. pipiens, desde un punto de vista epidemiológico señalar la elevada presencia de mosquitos del género Anopheles, potenciales vectores de la malaria, en diversas regiones de la comarca. Especialmente relevante es la destacada densidad que presenta An. atroparvus, importante vector palúdico, en biotopos concretos de la región más meridional del área de estudio. Adicionalmente, también se han detectado especies muy antropofílic…

Public health59 - ZoologíaSalud públicaBiodiversityBiodiversidadIndustrial and Manufacturing EngineeringAnales de Biología
researchProduct

Experimental and numerical assessment of subsurface plastic deformation induced by OFHC copper machining

2015

Strain distributions in the machined surface and subsurface of OFHC copper workpieces were determined experimentally and through numerical simulations. An experimental setup, comprising a double frame camera and a pulsed laser, was developed to measure the displacement fields using the digital image correlation (DIC) technique; strain distributions were then calculated. A numerical orthogonal cutting model was also developed and applied in order to predict such distributions. Comparison between simulated and measured results enabled an understanding of the fundamental mechanisms of plastic deformation of the machined surface of OFHC copper.; International audience; Strain distributions in t…

Pulsed laser[ SPI.MECA.GEME ] Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph]0209 industrial biotechnologyDigital image correlationMaterials sciencechemistry.chemical_element02 engineering and technologyIndustrial and Manufacturing EngineeringDisplacement (vector)020901 industrial engineering & automationMécanique: Génie mécanique [Sciences de l'ingénieur]Finite Element Method (FEM)0203 mechanical engineeringMachiningComposite materialMechanical EngineeringMetallurgyNumerical assessmentMachiningCopperDeformation[SPI.MECA.GEME]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph]020303 mechanical engineering & transportsMachined surfacechemistryDeformation (engineering)
researchProduct

Iterative construction of Dupin cyclides characteristic circles using non-stationary Iterated Function Systems (IFS)

2012

International audience; A Dupin cyclide can be defined, in two different ways, as the envelope of an one-parameter family of oriented spheres. Each family of spheres can be seen as a conic in the space of spheres. In this paper, we propose an algorithm to compute a characteristic circle of a Dupin cyclide from a point and the tangent at this point in the space of spheres. Then, we propose iterative algorithms (in the space of spheres) to compute (in 3D space) some characteristic circles of a Dupin cyclide which blends two particular canal surfaces. As a singular point of a Dupin cyclide is a point at infinity in the space of spheres, we use the massic points defined by J.C. Fiorot. As we su…

Pure mathematicsEnvelope of spheresMathematical analysisDupin cyclideDupin cyclideTangent[ INFO.INFO-GR ] Computer Science [cs]/Graphics [cs.GR]Singular point of a curveComputer Graphics and Computer-Aided DesignIndustrial and Manufacturing Engineering[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]Computer Science ApplicationsCircleIterated function systemDefinite symmetric bilinear formConic sectionSpace of spheresSubdivisionPoint (geometry)Mathematics::Differential GeometryPoint at infinityEnvelope (mathematics)Mathematics
researchProduct