Search results for "PROGRAM"

showing 10 items of 5938 documents

The character and origin of the manuscripts in the present edition

1995

In the following I try to provide the reader with all the details needed to insert the Godel essays appearing here in the broader context of the rest of his unpublished work, as well as everything about my personal work on them. I start with a short description of what can be found in the Godel Nachlass in Princeton, USA, by referring to the catalogue prepared by John Dawson. Then I attempt to justify the particular selection I made of the manuscripts which I finally decided to study, reconstruct and publish. Such an explanation seems to be advisable given the great amount of Godel’s material unpublished but still extant. Also, I describe some of the historical details relevant to understan…

business.industrymedia_common.quotation_subjectCharacter (symbol)Context (language use)ArtWork relatedExtant taxonSelection (linguistics)GödelbusinesscomputerPublicationNachlassClassicscomputer.programming_languagemedia_common
researchProduct

Diez años de smartphones. Un análisis semiótico-comunicacional del impacto social de la telefonía móvil

2018

El teléfono móvil con conexión a Internet (o smartphone) es la tecnología que más rápidamente se ha difundido en la sociedad actual y ha producido hábitos decisivos en los estilos de vida de la ciudadanía. Esta investigación examina desde una perspectiva semiótica-comunicacional la relación de diferentes sectores de la sociedad de hoy con estos dispositivos. Se sirve del universo narrativo del programa “Conectados” de la serie Salvados, programa dedicado precisamente al uso social de esta tecnología justo a los diez años de la aparición del primer smartphone. A través del análisis de los contenidos volcados por los diversos actores que intervienen –adolescentes, adultos, familias, escuela y…

business.product_categoryEmerging technologiesmedia_common.quotation_subject05 social sciencesPerspective (graphical)Media studies050301 education050801 communication & media studiesNew mediaVariety (cybernetics)Education0508 media and communicationsInternet accessNarrativeSociologyPRISM (surveillance program)business0503 educationmedia_commonAula Abierta
researchProduct

A new ATLAS muon CSC readout system with system on chip technology on ATCA platform

2015

The ATLAS muon Cathode Strip Chamber (CSC) backend readout system has been upgraded during the LHC 2013-2015 shutdown to be able to handle the higher Level-1 trigger rate of 100 kHz and the higher occupancy at Run 2 luminosity. The readout design is based on the Reconfigurable Cluster Element (RCE) concept for high bandwidth generic DAQ implemented on the Advanced Telecommunication Computing Architecture (ATCA) platform. The RCE design is based on the new System on Chip XILINX ZYNQ series with a processor-centric architecture with ARM processor embedded in FPGA fabric and high speed I/O resources together with auxiliary memories to form a versatile DAQ building block that can host applicati…

business.product_categoryLarge Hadron Collider010308 nuclear & particles physicsbusiness.industryFirmwareComputer scienceElectronic detector readout concepts (gas liquid)Data acquisition conceptscomputer.software_genre01 natural sciencesARM architectureData acquisition0103 physical sciencesNetwork switchSystem on a chipModular electronics010306 general physicsbusinessField-programmable gate arrayInstrumentationHost (network)computerParticle Physics - ExperimentMathematical PhysicsComputer hardwareJournal of Instrumentation
researchProduct

Field testing of repurposed electric vehicle batteries for price-driven grid balancing

2019

Abstract As electric cars become more widespread, the disposal and recycling of used batteries will become an important challenge. Typically, vehicle batteries are replaced if their capacity drops to 70–80% of initial capacity. However, they may still be useful for stationary applications. In this paper, results from a field test of a molten salt high-temperature electric vehicle battery repurposed as stationary storage for grid balancing are presented. In a previous study, we have shown that a mixed integer linear programming control strategy driven by a spot-market price for electricity is best suited for an implementation on hardware with limited computational resources. A 14-day experim…

business.product_categoryMean squared errorRenewable Energy Sustainability and the Environmentbusiness.industryComputer science020209 energyEnergy Engineering and Power Technology02 engineering and technology021001 nanoscience & nanotechnologyGridAutomotive engineeringState of chargeElectric vehicle0202 electrical engineering electronic engineering information engineeringElectric-vehicle batteryElectricityElectrical and Electronic Engineering0210 nano-technologybusinessInteger programmingEfficient energy useJournal of Energy Storage
researchProduct

Helical Shift Mechanics of Rubber V-Belt Variators

2011

A very common configuration of V-belt variators for motorcycles considers the correction of the belt tensioning depending on the resistant torque by means of suitable helical-shaped tracks allowing the driven half-pulleys to close/open. The theoretical model for belt-pulley coupling is rather complex for this configuration, where one half-pulley may run in advance and the other one behind with respect to the belt, and requires the repeated numerical solution of a strongly nonlinear differential system by a sort of shooting technique, until all the operating conditions are fulfilled (angular contact extent, torque, and axial force). After solving the full equations, the present study develop…

business.product_categoryNumerical solutionThrustResistant torqueStrongly nonlinearPulleyAxial thrustNatural rubberTorqueBoundary value problemAxial forceTheoretical modelTension levelCouplingPhysicsOperating conditionTension (physics)Mechanical EngineeringMechanicsComputer Graphics and Computer-Aided DesignSettore ING-IND/13 - Meccanica Applicata Alle MacchineComputer Science ApplicationsClosed form approximationVariatorsClosure (computer programming)Mechanics of Materialsvisual_artShooting techniquevisual_art.visual_art_mediumAstrophysics::Earth and Planetary Astrophysicsbusiness
researchProduct

Performances of the Fault Decoupling Device when unbalanced and multiple faults occur on distribution systems.

2005

Nowadays industrial processes are largely based on electronic devices such as programmable logic controllers and adjustable speed drives. Consequently, industrial equipments became less tolerant towards power supply disturbances. Voltage dips due to faults are surely among the worst disturbances for industrial equipments. A paper machine can be affected by disturbances of only 10% voltage drop lasting for 100 ms. A voltage dip of 75% (of the nominal voltage) with a duration shorter than 100 ms results in material loss in the range of thousands of US Dollars for semiconductors industry [1].

business.product_categorybusiness.industryComputer scienceElectrical engineeringProgrammable logic controllerFault indicatorDistribution systemElectric potentialPaper machineHardware_GENERALControl theoryPower qualitysag detectionElectronicsbusinessVoltage dropDecoupling (electronics)Voltage
researchProduct

Informācijas Tehnoloģiju iespēju izmantošana būvniecības projektu tāmēšanas pārvaldībā

2016

Būvniecības tāmju izstrādē visplašāk izmantotā lietojumprogramma ir MS Excel lietotne, kas nodrošina tāmēšanai nepieciešamo izklājlapu tabulāro formu un aprēķinu formulu veidošanu, kā arī datu kopēšanas un citu tekstuālu un skaitlisku datu apstrādes funkcionalitāti. Lai arī MS Excel programmatūra ir vispār atzīta tāmētāja darba vietas platforma, izklājlapu programmatūra ir limitēta un nesniedz visu tāmēšanas darbu pārvaldībai nepieciešamo atbalstu, ko ir iespējams nodrošināt ar informācijas tehnoloģiju risinājumiem. Lai identificētu konkrētas tāmēšanas procesa efektivizēšanas iespējas, darba ietvaros veikta būvniecības tāmju izstrādē ietverto procesu apskats un analīze, veikta izpēte par ti…

būvniecība un ITtāmeDatorzinātneMS Excellokāltāmespecializētā tāmešanas programmatūra
researchProduct

Economic Robustness Analysis of Adaptive Chart Schemes for Monitoring the Total Nonconformities Number in Inspection Units

2015

In recent years, a variety of enhanced schemes for the c chart have been developed aimed at the effectiveness improving of the related statistical process control (SPC) procedures. However, the performance of such chart schemes can be very sensitive to values assumed for some operating and cost parameters, in particular to the considered process shift magnitude arising from out-of-control conditions. In such a circumstance, the effectiveness of such chart schemes can be subjected to substantial reductions when they are implemented in operative contexts given that, in practice, such value is unknown and it can be very difficult to accurately estimate. For this reason, in the present paper i…

c-chartEconomic optimizationEngineeringGeneral Computer Sciencebusiness.industrylabor resource costtaguchi’s loss functionnon-linear mathematical programming modelEnergy Engineering and Power TechnologyAerospace EngineeringFractional factorial designFailure rateStatistical process controlIndustrial and Manufacturing EngineeringReliability engineeringAdaptive chart for attributeNuclear Energy and EngineeringChartRobustness (computer science)Performance comparisonElectrical and Electronic Engineeringeconomic robustness analysiSafety Risk Reliability and QualitybusinessSettore ING-IND/16 - Tecnologie E Sistemi Di LavorazioneInternational Journal of Reliability, Quality and Safety Engineering
researchProduct

Computer-assisted preparation in conference interpreting

2017

Preparation has been proposed in the literature as one of the most important phases of an interpreting assignment, especially if the subject is highly specialised. Preparing an assignment in advance aims at bridging the linguistic and extra-linguistic gap between conference participants and interpreters and at reducing the cognitive load during interpretation. For these reasons it is considered crucial in ensuring higher interpreting quality. Yet, preparation is generally time-consuming and interpreters may often experience the feeling of not knowing exactly how to perform this task efficiently. Information technology could change this. Even though the first computer-assisted interpreting s…

cai toolsLinguistics and LanguageLiterature and Literary TheoryComputer sciencemedia_common.quotation_subjectcomputer.software_genreLanguage and LinguisticsBridging (programming)TerminologySoftwareterminologymedia_common060201 languages & linguisticsbusiness.industrylcsh:Translating and interpretingInformation technology06 humanities and the artslcsh:P306-310Language acquisitionData scienceFeelingcomputer-based interpreter preparation0602 languages and literatureinterpretingbusinesscomputerCognitive loadInterpreterThe International Journal of Translation and Interpreting Research
researchProduct

Real-time data processing in the ALICE High Level Trigger at the LHC

2019

At the Large Hadron Collider at CERN in Geneva, Switzerland, atomic nuclei are collided at ultra-relativistic energies. Many final-state particles are produced in each collision and their properties are measured by the ALICE detector. The detector signals induced by the produced particles are digitized leading to data rates that are in excess of 48 GB/$s$. The ALICE High Level Trigger (HLT) system pioneered the use of FPGA- and GPU-based algorithms to reconstruct charged-particle trajectories and reduce the data size in real time. The results of the reconstruction of the collision events, available online, are used for high level data quality and detector-performance monitoring and real-tim…

calibration ; ALICE ; trigger ; monitoring ; quality ; data management ; programming ; FPGA ; multiprocessor: graphics ; performancePhysics - Instrumentation and DetectorsHigh level triggerPhysics::Instrumentation and DetectorsLevel datatutkimuslaitteetFPGA; GPUDetector calibrationGPUFOS: Physical sciencesGeneral Physics and AstronomyhiukkasfysiikkaPhysics and Astronomy(all)01 natural sciencesprogramming010305 fluids & plasmasCombinatoricsALICE0103 physical sciencesmultiprocessor: graphics[INFO]Computer Science [cs][PHYS.PHYS.PHYS-INS-DET]Physics [physics]/Physics [physics]/Instrumentation and Detectors [physics.ins-det]Detectors and Experimental Techniques010306 general physicsNuclear Experimentphysics.ins-detFPGAcomputer.programming_languagePhysicsLarge Hadron ColliderFPGA; GPU; TRACKsignaalinkäsittelyInstrumentation and Detectors (physics.ins-det)triggercalibrationmonitoringdatailmaisimetqualityHardware and ArchitectureTRACKHigh Energy Physics::Experimentdata managementAlice (programming language)computerperformance
researchProduct