Search results for "INFORMATION"

showing 10 items of 14916 documents

Partial Information Decomposition of Brain-Heart Interactions in Temporal Lobe Epilepsy in the Childhood

We apply information decomposition methods to elicit unique, redundant and synergistic causal contributions of ipsilateral and contralateral EEG activity to heart rate dynamics in epileptic children. We find that information flows from brain to heart according to opposite lateralization effects for the delta and alpha rhythms, suggesting that different neuroautonomic mechanisms take place in the pre- and post-ictal phases of temporal lobe seizures.

partial information decompositionSettore ING-INF/06 - Bioingegneria Elettronica E InformaticaepilepsyEEGheart rate variability (HRV)
researchProduct

Partial-order reduction for parity games and parameterised Boolean equation systems

2022

AbstractIn model checking, reduction techniques can be helpful tools to fight the state-space explosion problem. Partial-order reduction (POR) is a well-known example, and many POR variants have been developed over the years. However, none of these can be used in the context of model checking stutter-sensitive temporal properties. We propose POR techniques for parity games, a well-established formalism for solving a variety of decision problems, including model checking. As a result, we obtain the first POR method that is sound for the full modal $$\upmu $$ μ -calculus. We show how our technique can be applied to the fixed point logic called parameterised Boolean equation systems, which pro…

partial-order reductionParity gamesparameterised Boolean equation systemsparity gamesverifiointistubborn setsStubborn setsPartial-order reductionpeliteoriaParameterised Boolean equation systemstietojenkäsittelySoftwareBoolen algebraInformation SystemsInternational Journal on Software Tools for Technology Transfer
researchProduct

Distinctive Lexical Patterns in Russian Patient Information Leaflets: A Corpus-Driven Study

2019

This methodologically-oriented corpus-driven study focuses on distinctive patterns of language use in a specialized text type, namely Russian patient information leaflets. The study’s main goal is to identify keywords and recurrent sequences of words that account for the leaflets’ formulaicity, and - as a secondary goal - to describe their discoursal functions. The keywords were identified using three methods (G2, Hedges’ g and Neozeta) and the overlap between the three metrics was explored. The overlapping keywords were qualitatively analyzed in terms of discoursal functions. As for the distinctive multi-word patterns, we focused on recurrent n-grams with the largest coverage in the corpus…

patient information leafletsphraseologyRussian languageformulaic languagen-gramsVestnik Rossiiskogo Universiteta Druzhby Narodov-Seriya Lingvistika-Russian Journal of Linguistics
researchProduct

Les confréries, identités et discours.

2021

Rituel, intronisation, festival, patrimoine… pour quelle identité, quel territoire, quelle réalité ? Les confréries ouvrent un espace riche en significations que cet ouvrage explore dans toutes ses dimensions. A la fois recherches universitaires et témoignages, ce livre présente une analyse des pratiques, des usages mais aussi des symboles et des imaginaires véhiculés par les confréries vineuses. Il donne ainsi une certaine profondeur à ce qui peut sembler un simple amusement ou encore un rituel désuet dans une société qui cherche des valeurs. L'ouvrage invite à une réflexion par de-là les symboles. Les chapitres apportent une vision complémentaire de ce patrimoine immatériel, véhiculé par …

patrimoine culturel et symboliquepatrimoine gastronomique[SHS.INFO] Humanities and Social Sciences/Library and information sciences
researchProduct

The BIM (Building Information Modeling)-Based Approach for Road Pavement Maintenance

2019

The recent developments of road pavement survey technologies guarantee acquisition of detailed data regarding the main functional and structural indicators, at a very high frequency and levels of accuracy and precision unconceivable few years ago. The relevant information, regarding surface distresses too, is thus available in economical, high-speed and high-resolution forms, with limited disturbance on traffic and road agencies issues. However, the availability of such a mass of data poses interesting questions concerning the most efficient processing and analysis methods, for optimizing maintenance operation planning. Unfortunately, the PMS adoption is not very common and widespread, as t…

pavement conditionComputer sciencebusiness.industryProcess (engineering)Smart objectsRelational databaseMistakepavement maintenancelaw.inventionBIM; I-BIM; Pavement condition; Pavement maintenanceI-BIMSoftwareRisk analysis (engineering)Building information modelinglawCLARITYSettore ICAR/04 - Strade Ferrovie Ed AeroportiBIMbusinessRepresentation (mathematics)
researchProduct

Cost optimal analysis of lighting retrofit scenarios in educational buildings in Italy

2017

Abstract The European Energy Performance of Buildings Directive (EPBD) recast proposes, a comparative methodology to calculate cost-optimal levels of minimum energy performance requirements for buildings. This paper presents a method able to select the best retrofit action for lighting system, selectively analysing the daylight conditions and applying the cost-optimal methodology for different scenarios proposed for two existing educational buildings located in Italy. With the aim to improve both energy efficient and visual comfort conditions, the retrofit scenarios include lighting solutions with different combinations. They consider the replacement of lamps with more efficient lighting so…

payback timeArchitectural engineeringEngineeringSettore ING-IND/11 - Fisica Tecnica Ambientalebusiness.industry020209 energyControl (management)Energy performanceLighting systemRetrofit action02 engineering and technology010501 environmental sciencesDirective01 natural sciencesCivil engineeringcost-optimal analysiEnergy (all)0202 electrical engineering electronic engineering information engineeringDaylightlighting systembusiness0105 earth and related environmental sciencesEfficient energy useEnergy Procedia
researchProduct

Optimization of BESS Capacity Under a Peak Load Shaving Strategy

2018

Battery energy storage systems (BESSs) are becoming increasingly competitive in the global energy landscape, thanks to the strong cost reduction that has taken place in recent years and it is expected to continue in the next future. Among the many benefits BESSs can provide, time shifting can be exploited by electricity consumers to save on the electricity bill, charging the storage during the off-peak hours and discharging when the cost of electricity is high. This paper describes a simple procedure to optimize the BESS capacity under a peak load shaving strategy, in presence of a time-of-use (TOU) electricity rate, able to guarantee, at the same time, the flattest daily power diagram and …

peak shaving strategyComputer sciencebusiness.industry020209 energy02 engineering and technologyTime shiftingpeak demand chargeBattery energy storage systemAutomotive engineeringPeak load shavingRenewable energySettore ING-IND/33 - Sistemi Elettrici Per L'EnergiaCost reduction0202 electrical engineering electronic engineering information engineeringPower diagramElectricitybattery energy storage systembusinessCost of electricity by source2018 IEEE International Conference on Environment and Electrical Engineering and 2018 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe)
researchProduct

DEMAND Project: A Peak Load Shaving Strategy for End-User Consumers

2018

Battery energy storage systems (BESS) are becoming increasingly widespread in modern power systems, thanks to the important benefits they can provide to the electricity grid. Indeed, BESS can be used in time shifting applications, storing energy during off-peak periods and discharging during peak times (when the cost of electricity is high). When BESS are used for peak shaving purposes, they also contribute to relieve peak demand charges, thus ensuring a saving for the consumers. This paper describes a peak load shaving strategy defined within the DEMAND project. The strategy is able to guarantee the flattest daily power diagram and the maximum benefit for the electricity consumers, reducin…

peak shaving strategyFlexibility (engineering)Computer scienceEnergy managementbusiness.industry020209 energy02 engineering and technologypeak demand chargeEnvironmental economicsEnergy storageSettore ING-IND/33 - Sistemi Elettrici Per L'EnergiaElectric power systemPeak demandPeaking power plant0202 electrical engineering electronic engineering information engineeringelectricity billTOU tariffsElectricityCost of electricity by sourcebusinessbattery storage system2018 IEEE International Conference on Environment and Electrical Engineering and 2018 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe)
researchProduct

Iterative Learning Applied to Hydraulic Pressure Control

2018

This paper addresses a performance limiting phenomenon that may occur in the pressure control of hydraulic actuators subjected to external velocity disturbances. It is demonstrated that under certain conditions a severe peaking of the control error may be observed that significantly degrades the performance of the system due to the presence of nonlinearities. The phenomenon is investigated numerically and experimentally using a system that requires pressure control of two hydraulic cylinders. It is demonstrated that the common solution of feed forwarding the velocity disturbance is not effective in reducing the peaking that occurs as a result of this phenomenon. To improve the system perfor…

peaking phenomenon0209 industrial biotechnologylimit cyclesComputer scienceControl (management)Iterative learning controliterative learning controlHydraulic pressure control02 engineering and technologyHydraulic pressurelcsh:QA75.5-76.95Computer Science Applications020901 industrial engineering & automationControl and Systems EngineeringControl theoryModeling and Simulation0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processinglcsh:Electronic computers. Computer scienceSoftwareModeling, Identification and Control: A Norwegian Research Bulletin
researchProduct

Pedagogical approaches for e-assessment with authentication and authorship verification in Higher Education

2019

Checking the identity of students and authorship of their online submissions is a major concern in Higher Education due to the increasing amount of plagiarism and cheating using the Internet. The literature on the effects of e-authentication systems for teaching staff is very limited because it is a novel procedure for them. A considerable gap is to understand teaching staff' views regarding the use of e-authentication instruments and how they impact trust in e-assessment. This mixed-method study examines the concerns and practices of 108 teaching staff who used the TeSLA—Adaptive Trust-based e-Assessment System in six countries: the UK, Spain, the Netherlands, Bulgaria, Finland and Turkey.…

pedagogical approachessähköinen arviointiresponsible research and innovationeducación superiorhenkilöllisyysauthorship verificationverificación de autoríae-assessmentidentitytekijyysAuditor's reportAuthentication4. Education05 social scienceseducació superior050301 educationelectronic authenticationPublic relationsAuthentication (law)Autentificación de documentosverifiointitodentaminenhigher educatione-authenticationThe InternetPsychologyautenticación electrónica050101 languages & linguisticsplagiointiHigher educationBest practiceCheatingData securityautenticacióEducationautenticación0501 psychology and cognitive sciencestietoturvaauthorshipcheating detectionbusiness.industrytrustInformation securityautenticació electrònicae-arviointiAutenticació de documentsverificació de l'autoriabusiness0503 educationarviointi
researchProduct