Search results for "System P"

showing 10 items of 222 documents

WSN Design and Verification Using On-Board Executable Specifications

2019

The gap between informal functional specifications and the resulting implementation in the chosen programming language is notably a source of errors in embedded systems design. In this paper, we discuss a methodology and a software platform aimed at coping with this issue in programming resource-constrained wireless sensor network nodes (WSNs). Whereas the typical development model for the WSNs is based on cross compilation, the proposed approach supports high-level symbolic coding of abstract models and distributed applications, as well as their test and their execution, directly on the target hardware. As a working example, we discuss the application of our methodology to specify the func…

Computer scienceInformation System02 engineering and technologywireless sensor networkSoftware0202 electrical engineering electronic engineering information engineeringElectrical and Electronic EngineeringEmbedded systemsymbolic programmingSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniFunctional specificationbusiness.industry020208 electrical & electronic engineeringRuntime verificationresource-constrained deviceComputer Science Applications1707 Computer Vision and Pattern Recognitioncomputer.file_formatsystem specificationComputer Science ApplicationsControl and Systems EngineeringEmbedded systemsystem programmingExecutablebusinesscomputerInformation SystemsIEEE Transactions on Industrial Informatics
researchProduct

Dual Connectivity in Non-Stand Alone Deployment mode of 5G in Manhattan Environment

2020

| openaire: EC/H2020/815191/EU//PriMO-5G The main target of this paper is to analyze the performance of an outdoor user in a dense micro cellular Manhattan grid environment using a ray launching simulation tool. The radio propagation simulations are performed using a Shoot and Bouncing Ray (SBR) method. The network performance is analyzed at three different frequencies i.e. 1.8 GHz, 3.5 GHz, and 28 GHz. Additionally, the benefits of combining LTE and potential 5G frequency bands by using feature of Dual Connectivity (DC) in an outdoor scenario has been highlighted. The considered performance metrics are received signal level, SINR, application throughput. The acquired simulation results fro…

Computer scienceReal-time computingystem performancetiedonsiirtotekniikat5G-tekniikka02 engineering and technology7. Clean energyRadio spectrumlangaton tiedonsiirto0203 mechanical engineeringSignal strength0202 electrical engineering electronic engineering information engineeringNetwork performancedual connectivitysuorituskykyray tracing020302 automobile design & engineering020206 networking & telecommunicationsGridtiedonsiirtoSystem performanceLTERadio propagationSoftware deploymentverkkoympäristöRay tracing (graphics)5G5Glangattomat verkot
researchProduct

A New Coupling Solution for G3-PLC Employment in MV Smart Grids

2019

This paper proposes a new coupling solution for transmitting narrowband multicarrier power line communication (PLC) signals over medium voltage (MV) power lines. The proposed system is based on an innovative PLC coupling principle, patented by the authors, which exploits the capacitive divider embedded in voltage detecting systems (VDS) already installed inside the MV switchboard. Thus, no dedicated couplers have to be installed and no switchboard modifications or energy interruptions are needed. This allows a significant cost reduction of MV PLC implementation. A first prototype of the proposed coupling system was presented in previous papers: it had a 15 kHz bandwidth useful to couple sin…

Control and Optimizationpower system measurementComputer scienceOrthogonal frequency-division multiplexingEnergy Engineering and Power Technologylcsh:Technologypower system communicationNarrowbandsmart gridsElectrical and Electronic EngineeringCenter frequencysmart gridEngineering (miscellaneous)Renewable Energy Sustainability and the Environmentbusiness.industrylcsh:TBandwidth (signal processing)Electrical engineeringpower system measurementsnarrow band power line communicationPower-line communicationElectric power transmissionSmart gridModulationcommunication system performanceICT infrastructure for smart gridbusinessSettore ING-INF/07 - Misure Elettriche E ElettronicheEnergy (miscellaneous)VoltageEnergies
researchProduct

Quantized State-Feedback Stabilization for Delayed Markovian Jump Linear Systems with Generally Incomplete Transition Rates

2014

Published version of an article in the journal: Abstract and Applied Analysis. Also available from the publisher at: http://dx.doi.org/10.1155/2014/961925 open Access This paper is concerned with the robust quantized state-feedback controller design problem for a class of continuous-time Markovian jump linear uncertain systems with general uncertain transition rates and input quantization. The uncertainties under consideration emerge in both system parameters and mode transition rates. This new uncertain model is more general than the existing ones and can be applicable to more practical situations because each transition rate can be completely unknown or only its estimate value is known. B…

Controller designArticle SubjectApplied Mathematicslcsh:MathematicsUncertain systemsAnalysis; Applied MathematicsLinear matrixTransition rate matrixlcsh:QA1-939VDP::Mathematics and natural science: 400::Mathematics: 410::Analysis: 411Markovian jump linear systemsQuantization (physics)Markovian jumpControl theorySystem parametersAnalysisMathematics
researchProduct

Primary Cytomegalovirus Infection in Seronegative Kidney Transplant Patients Is Associated with Protracted Cold Ischemic Time of Seropositive Donor O…

2017

Human Cytomegalovirus (CMV) can lead to primary infection or reactivation in CMV-seronegative or -seropositive kidney transplant recipients, respectively. Complications comprise severe end-organ diseases and acute or chronic transplant rejection. Risk for CMV manifestation is stratified according to the CMV-IgG-serostatus, with donor+/recipient- (D+/R-) patients carrying the highest risk for CMV-replication. However, risk factors predisposing for primary infection in CMV-seronegative recipients are still not fully elucidated. Therefore, we monitored D+/R- high-risk patients undergoing kidney transplantation in combination with antiviral prophylaxis for the incidence of CMV-viremia for a med…

Cytomegalovirus InfectionMaleViral DiseasesT-Lymphocyteslcsh:MedicineCytomegalovirusPathology and Laboratory MedicineCell-Mediated ImmunityWhite Blood CellsAnimal CellsMedicine and Health SciencesRenal TransplantationPublic and Occupational Healthlcsh:ScienceImmunity CellularT CellsCold Ischemiavirus diseasesVaccination and ImmunizationTissue DonorsInfectious DiseasesMedical MicrobiologyViral PathogensVirusesCytomegalovirus InfectionsHuman CytomegalovirusFemaleCellular TypesPathogensResearch ArticleHerpesvirusesImmune CellsImmunologySurgical and Invasive Medical ProceduresCytotoxic T cellsSerogroupMicrobiologyUrinary System ProceduresHumansViremiaMicrobial PathogensTransplantationBlood CellsProphylaxislcsh:ROrganismsImmunityBiology and Life SciencesCell BiologyOrgan TransplantationKidney Transplantationlcsh:QPreventive MedicineDNA virusesPLoS ONE
researchProduct

Systems Thinking and Sustainability in Organisations

2015

This set of articles arises from a series of conferences (Business Systems Laboratory Symposia, 2013-2015) and in particular from the 2nd Business systems Laboratory International Symposium, Rome 2014 with the theme ‘Systems Thinking for a Sustainable Economy’, concerned with systems thinking and its relations with sustainable management, where the relevance of systems thinking was demonstrated. The current period of our global society is characterised by intense transformations in the competitive logics of organisations, markets, and, generally speaking, society. Social circumstances today are typified by dynamism, connectivity, nonlinearity, and emergent properties — in other words by ‘co…

Decision support systemManagement scienceBusiness system planningSocial systemSustainable managementSustainabilityBusiness Management and Accounting (miscellaneous)Engineering ethicsSystems thinkingSociologyGlobal citizenshipDynamismguest editorialSettore SECS-P/08 - Economia E Gestione Delle ImpreseSocial Sciences (miscellaneous)
researchProduct

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P

2016

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model-theoretic probabilistic reasoning and to default reasoning in System P. In particular, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Moreover, we show that probabilistic reasoning under coherence is a generalization of default reasoning in System P. That is, we provide a new probabilistic semantics for System P, which neither uses infinitesimal probabilities nor atomic bound (or bi…

Deductive reasoningSettore MAT/06 - Probabilita' E Statistica MatematicaConditional probability assessments conditional constraints probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment defaultreasoning from conditional knowledge bases System P conditional objects.conditional constraintsLogicDefault logicStatistics::Other StatisticsProbabilistic logic networkConditional probability assessmentsprobabilistic logic under coherenceNon-monotonic logicSystem PMathematicsg-coherent entailmentHardware_MEMORYSTRUCTURESmodel-theoretic probabilistic logicbusiness.industryProbabilistic logicSystem P; g-coherence; conditional objectsCoherence (statistics)default reasoning from conditional knowledge basesProbabilistic argumentationConditional probability assessments; conditional constraints; probabilistic logic under coherence; model-theoretic probabilistic logic; g-coherence; g-coherent entailment; default reasoning from conditional knowledge bases; System P; conditional objects.Philosophyg-coherenceProbabilistic CTLArtificial intelligencebusinessAlgorithmconditional objectsJournal of Applied Non−Classical Logics
researchProduct

Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning

2001

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Crucially, we even show that probabilistic reasoning under coherence is a probabilistic generalization of default reasoning in system P. That is, we provide a new probabilistic semantics for system P, which is neither based on infinitesimal probabilities nor on atomic-bound (or also big-stepped) probabil…

Deductive reasoningSettore MAT/06 - Probabilita' E Statistica MatematicaKnowledge representation and reasoningComputer scienceDefault logicDivergence-from-randomness modelLogic modelcomputer.software_genreLogical consequenceProbabilistic logic networkConditional probability assessments conditional constraints probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment default reasoning from conditional knowledge bases System P conditional objectsprobabilistic logic under coherenceNon-monotonic logicProbabilistic relevance modeldefault reasoningmodel-theoretic probabilistic logicbusiness.industryProbabilistic logicProbabilistic argumentationExpert systemg-coherencesystem pProbabilistic CTLArtificial intelligencebusinesscomputerdefault reasoning; g-coherence; model-theoretic probabilistic logic; probabilistic logic under coherence; system p
researchProduct

Distribution of Pholeter gastrophilus (Digenea) within the stomach of four odontocete species: the role of the diet and digestive physiology of hosts

2005

We compared the distribution of the digenean Pholeter gastrophilus in the stomach of 27 harbour porpoises, Phocoena phocoena, 27 striped dolphins, Stenella coeruleoalba, 18 bottlenose dolphins, Tursiops truncatus, and 100 long-finned pilot whales, Globicephala melas. The stomach of these species is composed of 4 chambers of different size, structure and function. In all species, P. gastrophilus was largely restricted to the glandular region of the stomach, but the parasite tended to favour the fundic chamber in bottlenose dolphins and harbour porpoises, the pyloric chamber in pilot whales, and none in striped dolphins. However, predictability at infrapopulation level was generally low, sugg…

DolphinsCetaceaPhocoenaTrematode InfectionsStenella coeruleoalbaBiologyModels BiologicalDigeneaPredationDigestive System Physiological Phenomenabiology.animalPrevalenceAnimalsComputer SimulationBiomassProbabilityModels StatisticalHost (biology)EcologyStomachConfounding Factors Epidemiologicbiology.organism_classificationGlobicephala melasDietInfectious DiseasesAnimal Science and ZoologyParasitologyTrematodaTrematodaParasitology
researchProduct

Ultracentrifugation studies on the native form of the first component of human complement (C1)

1976

Dose-Response Relationship DrugChemistryBiophysicsCell BiologyComplement System ProteinsBiochemistryComplement (complexity)SolutionsStructure-Activity RelationshipBiochemistryStructural BiologyComplement C1Component (UML)GeneticsHumansUltracentrifugeMolecular BiologyUltracentrifugationFEBS Letters
researchProduct