Search results for "working"

showing 10 items of 2747 documents

Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol

2012

Author's version of an article published in the journal: Computer Standards & Interfaces. Also available from the publisher at: http://dx.doi.org/10.1016/j.csi.2011.12.001 Cooperative communications, in which a relay node helps the source node to deliver its packets to the destination node, are able to obtain significant benefits in terms of transmission reliability, coverage extension and energy efficiency. A Cooperative Automatic Repeat reQuest (C-ARQ) MAC protocol has been recently proposed to exploit cooperative diversity at the MAC layer. in this paper, we validate the integrity and the validity of the C-ARQ protocol using formal methods. The protocol logic is modeled in SDL and implem…

Internet Protocol Control Protocolcomputer.internet_protocolComputer scienceVDP::Mathematics and natural science: 400::Information and communication science: 420::Algorithms and computability theory: 422Distributed computingAutomatic repeat requestGeneral Inter-ORB ProtocolData_CODINGANDINFORMATIONTHEORYInternet protocol suitefinite model-checkingComputer Science::Networking and Internet ArchitecturePROMELAComputer Science::Information Theorybusiness.industryNode (networking)Link Control ProtocolComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKScooperative communicationsCooperative diversityprotocol verificationHardware and ArchitecturebusinessLawcomputerSoftwareReverse Address Resolution ProtocolComputer networkComputer Standards & Interfaces
researchProduct

Advanced Monitoring Systems Based on Battery-Less Asset Tracking Modules Energized through RF Wireless Power Transfer

2020

Asset tracking involving accurate location and transportation data is highly suited to wireless sensor networks (WSNs) featuring battery-less nodes that can be deployed in virtually any environment and require little or no maintenance. In response to the growing demand for advanced battery-less sensor tag solutions, this article presents a system for identifying and monitoring the speeds of assets in a WSN with battery-less tags that receive all their operating energy through radio frequency (RF) wireless power transfer (WPT) architecture, and a unique measurement approach to generate time-domain speed readouts. The assessment includes performance characteristics and key features of a syste…

Internet of thingsMaximum power principleComputer scienceAsset tracking02 engineering and technologylcsh:Chemical technologywsnSettore ING-INF/01 - Elettronica01 natural sciencesBiochemistryArticleAnalytical Chemistrywireless sensor networkRadio frequency0202 electrical engineering electronic engineering information engineeringElectronic engineeringlcsh:TP1-1185System on a chipWireless power transferWireless power transferElectrical and Electronic EngineeringInstrumentationwsnsEnergy harvesting010401 analytical chemistryEnergy conversion efficiencyWireless battery charger020206 networking & telecommunicationsWireless sensor networksAtomic and Molecular Physics and Optics0104 chemical sciencesSettore ING-IND/31 - ElettrotecnicawptNode (circuits)Radio frequencyWireless sensor networkEnergy harvestingSensors
researchProduct

Can Attention and Working Memory Impairments of Intimate Partner Perpetrators Explain Their Risky Decision Making?

2018

Intimate partner violence (IPV) perpetrators commonly exhibit deficits in a wide range of cognitive domains, such as attention, memory, and executive functions. Executive dysfunctions tend to be related to a preference for disadvantageous decisions, which could be explained by a pattern of focusing on positive outcomes (gains) while disregarding negative ones. Nonetheless, it is less clear whether risk-taking and decision-making problems should be attributed to motivational and/or emotional causes or to cognitive deficits in attention and/or working memory. The main goal of the present study was to examine whether IPV perpetrators can be distinguished from non-violent controls based on the…

Intimate partnerWorking memory05 social sciencesDecision MakingNeuropsychologyIntimate Partner ViolenceCognitionExecutive functionsPreference03 medical and health sciencesClinical Psychology0302 clinical medicineKey factorsMemory Short-TermSexual PartnersDomestic violenceHumans0501 psychology and cognitive sciencesAttentionPsychology030217 neurology & neurosurgeryApplied Psychology050104 developmental & child psychologyCognitive psychologyJournal of interpersonal violence
researchProduct

Smart Grid Security: A new Approach to Detect Intruders in a Smart Grid Neighborhood Area Network

2016

International audience; In this paper, we propose an efficient and lightweight attack detection mechanism for a smart grid Neighborhood Area Network (NAN) that combine between distributed and centralized intrusion detection. A NAN includes the customers' appliances, smart meters and collectors. The smart meters measure the power consumption of each appliance and the collectors aggregate the measures and forward them to the control center for analysis. Intrusion Detection System (IDS) agents, proposed in our framework, run in a distributed fashion at smart meters level and in a centralized fashion at collector and control center nodes. A combination between a rule-based detection and a learn…

Intruder detection[ INFO ] Computer Science [cs]Computer science[SPI] Engineering Sciences [physics][ INFO.INFO-NI ] Computer Science [cs]/Networking and Internet Architecture [cs.NI]Denial-of-service attack02 engineering and technologyIntrusion detection system[INFO] Computer Science [cs]Resource exhaustion0202 electrical engineering electronic engineering information engineering[ SPI ] Engineering Sciences [physics]Neighborhood area networkSmart GridFalse data injection[INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI]business.industrySmart grid security020208 electrical & electronic engineering020206 networking & telecommunicationsAttackGrid[SPI.TRON] Engineering Sciences [physics]/Electronics[ SPI.TRON ] Engineering Sciences [physics]/ElectronicsSmart gridDoSbusinessEnergy (signal processing)Computer networkEfficient energy use
researchProduct

A New Dynamic Model for Anticipatory Adaptive Control of Airline Seat Reservation via Order Statistics of Cumulative Customer Demand

2017

This paper deals with dynamic anticipatory adaptive control of airline seat reservation for the stochastic customer demand that occurs over time T before the flight is scheduled to depart. It is assumed that time T is divided into m periods, namely a full fare period and m−1 discounted fare periods. The fare structure is given. An airplane has a seat capacity of U. For the sake of simplicity, but without loss of generality, we consider (for illustration) the case of nonstop flight with two fare classes (business and economy). The proposed policies of the airline seat inventory control are based on the use of order statistics of cumulative customer demand, which have such properties as bivar…

Inventory controlAdaptive controlOperations researchComputer scienceAdaptive optimizationOrder statisticReservationComputerApplications_COMPUTERSINOTHERSYSTEMS020206 networking & telecommunications02 engineering and technologyDecision ruleBivariate analysis0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingPredictability
researchProduct

Dynamic Analysis of a 7 DOF Robot Using Fuzzy Logic for Inverse Kinematics Problem

2019

Abstract In this paper, a dynamic analysis for a redundant, serial robot, with seven degrees of freedom is presented. The dynamic model of the robot is based on importing a tri-dimensional CAD model of the robot into MATLAB®, Simulink®-Simscape™-SimMechanics™. One can import complete CAD assemblies, including all masses, inertias, joints, constraints, and tri-dimensional geometries, into the model. The first step for executing a dynamic analysis is to resolve the Inverse Kinematics (IK) problem for the redundant robot. Because this type of robot has seven degrees of freedom the IK resolution implies an infinite number of solutions. So, to be able to resolve the IK for this kind of robot a F…

Inverse kinematicsComputer science020206 networking & telecommunications02 engineering and technologyOptimal controlFuzzy logicComputer Science::RoboticsControl theory0202 electrical engineering electronic engineering information engineeringGeneral Earth and Planetary SciencesRobotTorque020201 artificial intelligence & image processingGeneral Environmental ScienceProcedia Computer Science
researchProduct

IoT-Based Home Monitoring: Supporting Practitioners' Assessment by Behavioral Analysis.

2019

This paper introduces technical solutions devised to support the Deployment Site - Regione Emilia Romagna (DS-RER) of the ACTIVAGE project. The ACTIVAGE project aims at promoting IoT (Internet of Things)-based solutions for Active and Healthy ageing. DS-RER focuses on improving continuity of care for older adults (65+) suffering from aftereffects of a stroke event. A Wireless Sensor Kit based on Wi-Fi connectivity was suitably engineered and realized to monitor behavioral aspects, possibly relevant to health and wellbeing assessment. This includes bed/rests patterns, toilet usage, room presence and many others. Besides hardware design and validation, cloud-based analytics services are intro…

IoTComputer sciencesmart homeCloud computing02 engineering and technologylcsh:Chemical technologyBiochemistryArticleAnalytical Chemistry03 medical and health sciences0302 clinical medicineHome automation0202 electrical engineering electronic engineering information engineeringlcsh:TP1-1185Use caseElectrical and Electronic EngineeringInstrumentationToiletbusiness.industryEvent (computing)020206 networking & telecommunicationsData scienceAtomic and Molecular Physics and Opticsanomaly detectioncontinuous monitoring3. Good healthactive assisted living (AAL)behavioural analysisSoftware deploymentAnalyticsbusiness030217 neurology & neurosurgerySensors (Basel, Switzerland)
researchProduct

A data aggregation strategy based on wavelet for the internet of things

2017

The advent of emerging information and communication technologies, such as RFID, small size sensors and sensor networks, has made accessible a huge amount of information that requires sophisticated and efficient search algorithms to support queries on that data. In this paper we focus on the problem of aggregating data collected from these devices to efficiently support queries, inferences or statistics on them. In general, data aggregation techniques are necessary to efficiently collect information in a compact and cost-effective way. Some current solutions try to meet the above criteria, by exploiting different data aggregation techniques, for instance BitVector or Q_Digest. In this manus…

IoTExploitRange query (data structures)Computer science0102 computer and information sciences02 engineering and technologyFog Computingcomputer.software_genre01 natural sciencesWaveletSoftwareSearch algorithmHistogramComputational Theory and Mathematic0202 electrical engineering electronic engineering information engineeringP2PSettore INF/01 - Informaticabusiness.industry020206 networking & telecommunicationsData aggregation; Fog Computing; IoT; P2P; Range query; WaveletData aggregationData aggregator010201 computation theory & mathematicsComputational MathematicRange queryData miningbusinesscomputerWireless sensor networkWaveletSoftware
researchProduct

Exploratory approach for network behavior clustering in LoRaWAN

2021

AbstractThe interest in the Internet of Things (IoT) is increasing both as for research and market perspectives. Worldwide, we are witnessing the deployment of several IoT networks for different applications, spanning from home automation to smart cities. The majority of these IoT deployments were quickly set up with the aim of providing connectivity without deeply engineering the infrastructure to optimize the network efficiency and scalability. The interest is now moving towards the analysis of the behavior of such systems in order to characterize and improve their functionality. In these IoT systems, many data related to device and human interactions are stored in databases, as well as I…

IoTGeneral Computer ScienceComputer sciencek-meansReliability (computer networking)02 engineering and technologyLoRaMachine LearningHome automation0202 electrical engineering electronic engineering information engineeringCluster AnalysisWirelessCluster analysisIoT LoRa LoRaWAN Machine Learning k-means Anomaly Detection Cluster AnalysisNetwork packetbusiness.industry020206 networking & telecommunicationsIoT; LoRa; LoRaWAN; Machine Learning; k-means; Anomaly Detection; Cluster AnalysisLoRaWANWireless network interface controllerScalabilityAnomaly Detection020201 artificial intelligence & image processingAnomaly detectionbusinessComputer networkJournal of Ambient Intelligence and Humanized Computing
researchProduct

Demo - A Cell-level Traffic Generator for LoRa Networks

2017

In this demo we present and validate a LoRa cell traffic generator, able to emulate the behavior of thousands of low-rate sensor nodes deployed in the same cell, by using a single Software Defined Radio (SDR) platform. Differently from traditional generators, whose goal is creating packet flows which emulate specific applications and protocols, our focus is generating a combined radio signal, as seen by a gateway, given by the super-position of the signals transmitted by multiple sensors simultaneously active on the same channel. We argue that such a generator can be of interest for testing different network planning solutions for LoRa networks.

IoTGenerator (computer programming)cell emulatorSettore ING-INF/03 - TelecomunicazioniComputer sciencebusiness.industryNetwork packet05 social sciences020206 networking & telecommunications02 engineering and technologySoftware-defined radioLoRaLoRaWANNetwork planning and designDefault gateway0502 economics and business0202 electrical engineering electronic engineering information engineeringWirelessSDRbusinessTraffic generation model050203 business & managementComputer networkCommunication channelProceedings of the 23rd Annual International Conference on Mobile Computing and Networking - MobiCom 17
researchProduct