Search results for "MATEMATICA"

showing 10 items of 1637 documents

On finite groups with many supersoluble subgroups

2017

[EN] The solubility of a finite group with less than 6 non-supersoluble subgroups is confirmed in the paper. Moreover we prove that a finite insoluble group has exactly 6 non-supersoluble subgroups if and only if it is isomorphic to A5 or SL2 (5). Furthermore, it is shown that a finite insoluble group has exactly 22 non-nilpotent subgroups if and only if it is isomorphic to A5 or SL2 (5). This confirms a conjecture of Zarrin (Arch Math (Basel) 99:201 206, 2012).

0301 basic medicineFinite groupConjectureSoluble groupGroup (mathematics)General Mathematics010102 general mathematicsGrups Teoria de01 natural sciencesCombinatoricsMathematics::Group Theory03 medical and health sciences030104 developmental biologyLocally finite groupSupersoluble subgroup0101 mathematicsFinite groupMathematics::Representation TheoryMATEMATICA APLICADAMatemàticaMathematics
researchProduct

On the structural connectivity of large-scale models of brain networks at cellular level

2021

AbstractThe brain’s structural connectivity plays a fundamental role in determining how neuron networks generate, process, and transfer information within and between brain regions. The underlying mechanisms are extremely difficult to study experimentally and, in many cases, large-scale model networks are of great help. However, the implementation of these models relies on experimental findings that are often sparse and limited. Their predicting power ultimately depends on how closely a model’s connectivity represents the real system. Here we argue that the data-driven probabilistic rules, widely used to build neuronal network models, may not be appropriate to represent the dynamics of the …

0301 basic medicineProcess (engineering)Computer scienceScienceModels NeurologicalCellular levelMachine learningcomputer.software_genreArticle03 medical and health sciencesComputational biophysics0302 clinical medicineSettore MAT/05 - Analisi MatematicamedicineBiological neural networkHumansSettore MAT/07 - Fisica MatematicaOn the structural connectivity of large-scale models of brain networks at cellular levelSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniNeuronsMultidisciplinaryNetwork modelsSettore INF/01 - Informaticabusiness.industryQRProbabilistic logicBrain030104 developmental biologymedicine.anatomical_structureMathematical framework Neuron networks Large‑scale model Data‑driven probabilistic rules Modeling cellular-level brain networksMedicineNeuronArtificial intelligencebusinessScale modelcomputer030217 neurology & neurosurgeryScientific Reports
researchProduct

A deterministic model for highly contagious diseases: The case of varicella

2016

[EN] The classic nonlinear Kermack-McKendrick model based upon a system of differential equations has been widely applied to model the rise and fall of global pandemic and also seasonal epidemic by introducing a forced harmonic infectivity which would change throughout the year. These methods work well in their respective domains of applicability, and for certain diseases, but they fail when both seasonality and high infectivity are combined. In this paper we consider a Susceptible-Infected-Recovered, or SIR, model with two latent states to model the propagation and evolutionary history of varicella in humans. We show that infectivity can be calculated from real data and we find a nonstanda…

0301 basic medicineStatistics and ProbabilityInfectivity030106 microbiologyBiologyHighly contagious diseasesInfectivity evolutionCondensed Matter PhysicsVaricella03 medical and health sciences0302 clinical medicineSystem of differential equationsPandemicEconometrics030212 general & internal medicineMATEMATICA APLICADACompartmental models
researchProduct

Natural visibility graphs for diagnosing attention deficit hyperactivity disorder (ADHD)

2016

“NOTICE: this is the author’s version of a work that was accepted for publication in Electronic Notes in Discrete Mathematics. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Electronic Notes in Discrete Mathematics, [Volume 54, October 2016, Pages 337-342] DOI 10.1016/j.endm.2016.09.058 ¨

0301 basic medicinemedia_common.quotation_subjectAttention deficit hyperactivity disorder03 medical and health sciencesDisk formatting0302 clinical medicinemedicineDiscrete Mathematics and CombinatoricsAttention deficit hyperactivity disorderNatural (music)Quality (business)Mathematicsmedia_commonNoticebusiness.industryApplied MathematicsVisibility (geometry)medicine.disease030104 developmental biologyPublishingKolmogorov-Smirnov testbusinessMATEMATICA APLICADANatural visibility graph030217 neurology & neurosurgeryCognitive psychology
researchProduct

Compound conditionals as random quantities and Boolean algebras

2022

Conditionals play a key role in different areas of logic and probabilistic reasoning, and they have been studied and formalised from different angles. In this paper we focus on the de Finetti's notion of conditional as a three-valued object, with betting-based semantics, and its related approach as random quantity as mainly developed by two of the authors. Compound conditionals have been studied in the literature, but not in full generality. In this paper we provide a natural procedure to explicitly attach conditional random quantities to arbitrary compound conditionals that also allows us to compute their previsions. By studying the properties of these random quantities, we show that, in f…

03B48Settore MAT/06 - Probabilita' E Statistica MatematicaFOS: MathematicsMathematics - LogicLogic (math.LO)Compound conditionals Conditional Boolean algebra conjunction and disjunction canonical extension
researchProduct

Drone arc routing problems

2018

[EN] In this article, we present some drone arc routing problems (Drone ARPs) and study their relation with well-known postman ARPs. Applications for Drone ARPs include traffic monitoring by flying over roadways, infrastructure inspection such as by flying along power transmission lines, pipelines or fences, and surveillance along linear features such as coastlines or territorial borders. Unlike the postmen in traditional ARPs, drones can travel directly between any two points in the plane without following the edges of the network. As a consequence, a drone route may service only part of an edge, with multiple routes being used to cover the entire edge. Thus the Drone ARPs are continuous o…

050210 logistics & transportation021103 operations researchComputer Networks and Communicationsbusiness.industry05 social sciences0211 other engineering and technologiesEuropean Regional Development Fund02 engineering and technologyDroneRural postman problemHardware and ArchitecturePolitical science0502 economics and businessCutting path problemsTelecommunicationsbusinessMATEMATICA APLICADAArc routingSoftwareInformation SystemsDrones
researchProduct

A New Branch-and-Cut Algorithm for the Generalized Directed Rural Postman Problem

2016

The generalized directed rural postman problem, also known as the close-enough arc routing problem, is an arc routing problem with some interesting real-life applications, such as routing for meter reading. In this article we introduce two new formulations for this problem as well as various families of new valid inequalities that are used to design and implement a branch-and-cut algorithm. The computational results obtained on test bed instances from the literature show that this algorithm outperforms the existing exact methods

050210 logistics & transportationMathematical optimization021103 operations research05 social sciences0211 other engineering and technologiesTransportation02 engineering and technologyTravelling salesman problemClose-enough arc routing problemBranch-and-cut0502 economics and businessGeneralized rural postman problemRouting (electronic design automation)MATEMATICA APLICADABranch and cutArc routingAlgorithmAutomatic meter readingCivil and Structural EngineeringMathematics
researchProduct

The Chinese Postman Problem with Load-Dependent Costs

2018

[EN] We introduce an interesting variant of the well-known Chinese postman problem (CPP). While in the CPP the cost of traversing an edge is a constant (equal to its length), in the variant we present here the cost of traversing an edge depends on its length and on the weight of the vehicle at the moment it is traversed. This problem is inspired by the perspective of minimizing pollution in transportation, since the amount of pollution emitted by a vehicle not only depends on the travel distance but also on its load, among other factors. We define the problem, study its computational complexity, provide two mathematical programming formulations, and propose two metaheuristics for its soluti…

050210 logistics & transportationMathematical optimization021103 operations researchTraverse/dk/atira/pure/subjectarea/asjc/2200/2205Computational complexity theory05 social sciencesPerspective (graphical)0211 other engineering and technologiesArc-routing problemsTransportation02 engineering and technologyMoment (mathematics)Route inspection problemChinese postman problem/dk/atira/pure/subjectarea/asjc/3300/33130502 economics and businessPollution routingEnhanced Data Rates for GSM EvolutionConstant (mathematics)MATEMATICA APLICADAMetaheuristicCivil and Structural EngineeringMathematics
researchProduct

Multi-criteria analysis applied to multi-objective optimal pump scheduling in water systems

2019

Abstract This work presents a multi-criteria-based approach to automatically select specific non-dominated solutions from a Pareto front previously obtained using multi-objective optimization to find optimal solutions for pump control in a water supply system. Optimal operation of pumps in these utilities is paramount to enable water companies to achieve energy efficiency in their systems. The Fuzzy Technique for Order of Preference by Similarity to Ideal Solution (FTOPSIS) is used to rank the Pareto solutions found by the non-dominated sorting genetic algorithm (NSGA-II) employed to solve the multi-objective problem. Various scenarios are evaluated under leakage uncertainty conditions, res…

050210 logistics & transportationMathematical optimizationMulti-criteria analysisWater distribution systemsComputer science0208 environmental biotechnology05 social sciencesScheduling (production processes)02 engineering and technologyMulti-objective optimization020801 environmental engineeringMulti-objective optimizationMulti criteria0502 economics and businessSettore ING-IND/17 - Impianti Industriali MeccaniciOptimal pump schedulingMATEMATICA APLICADAWater Science and Technology
researchProduct

The directed profitable rural postman problem with incompatibility constraints

2017

[EN] In this paper, we study a variant of the directed rural postman problem (RPP) where profits are asso- ciated with arcs to be served, and incompatibility constraints may exist between nodes and profitable arcs leaving them. If convenient, some of the incompatibilities can be removed provided that penalties are paid. The problem looks for a tour starting and ending at the depot that maximizes the difference between collected profits and total cost as sum of traveling costs and paid penalties, while satisfying remaining incompatibilities. The problem finds application in the domain of road transportation service, and in particular in the context of horizontal collaboration among carriers …

050210 logistics & transportationService (systems architecture)Mathematical optimization021103 operations researchInformation Systems and ManagementGeneral Computer ScienceComputer science05 social sciences0211 other engineering and technologiesContext (language use)Incompatibility constraints02 engineering and technologyManagement Science and Operations ResearchGeneralized independent set problem Incompatibility constraints Routing Rural postman problem Management Science and Operations Research Information Systems and ManagementIndustrial and Manufacturing EngineeringGeneralized independent set problemDomain (software engineering)Rural postman problemModeling and SimulationIndependent set0502 economics and businessRouting (electronic design automation)MATEMATICA APLICADARouting
researchProduct