Search results for "Software"

showing 10 items of 7396 documents

A hybrid system for malware detection on big data

2018

In recent years, the increasing diffusion of malicious software has encouraged the adoption of advanced machine learning algorithms to timely detect new threats. A cloud-based approach allows to exploit the big data produced by client agents to train such algorithms, but on the other hand, poses severe challenges on their scalability and performance. We propose a hybrid cloud-based malware detection system in which static and dynamic analyses are combined in order to find a good trade-off between response time and detection accuracy. Our system performs a continuous learning process of its models, based on deep networks, by exploiting the growing amount of data provided by clients. The prel…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniControl and OptimizationExploitComputer Networks and Communicationsbusiness.industryComputer scienceDistributed computingBig dataFeature extraction020206 networking & telecommunicationsCloud computing02 engineering and technologyStatic analysiscomputer.software_genreArtificial IntelligenceHybrid systemScalability0202 electrical engineering electronic engineering information engineeringMalware020201 artificial intelligence & image processingbusinesscomputerIEEE INFOCOM 2018 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)
researchProduct

Roboception and adaptation in a cognitive robot

2023

In robotics, perception is usually oriented at understanding what is happening in the external world, while few works pay attention to what is occurring in the robot’s body. In this work, we propose an artificial somatosensory system, embedded in a cognitive architecture, that enables a robot to perceive the sensations from its embodiment while executing a task. We called these perceptions roboceptions, and they let the robot act according to its own physical needs in addition to the task demands. Physical information is processed by the robot to behave in a balanced way, determining the most appropriate trade-off between the achievement of the task and its well being. The experiments show …

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniControl and Systems EngineeringGeneral MathematicsSomatosensory system Soft sensors Cognitive architecture Humanoid robot Roboception Reinforcement learningSoftwareComputer Science Applications
researchProduct

ConformalALU: A Conformal Geometric Algebra Coprocessor for Medical Image Processing

2015

Medical imaging involves important computational geometric problems, such as image segmentation and analysis, shape approximation, three-dimensional (3D) modeling, and registration of volumetric data. In the last few years, Conformal Geometric Algebra (CGA), based on five-dimensional (5D) Clifford Algebra, is emerging as a new paradigm that offers simple and universal operators for the representation and solution of complex geometric problems. However, the widespread use of CGA has been so far hindered by its high dimensionality and computational complexity. This paper proposes a simplified formulation of the conformal geometric operations (reflections, rotations, translations, and uniform …

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniCoprocessorComputer scienceClifford algebraConformal geometric algebraConformal mapImage processingParallel computingImage segmentationComputational geometryTheoretical Computer ScienceGeometric algebraOperator (computer programming)Computational Theory and MathematicsConformal geometric algebra five-dimensional clifford algebra computational geometry embedded coprocessors systems-on-programmable-chip FPGA-based prototyping medical imaging segmentation 3D modeling Volume registration Growing Neural Gas marching spheres iterative closest point (ICP) thin-plate spline robust point matching (TPS-RPM)Hardware and ArchitectureScalingSoftwareIEEE Transactions on Computers
researchProduct

A Sliced Coprocessor for Native Clifford Algebra Operations

2007

Computer graphics applications require efficient tools to model geometric objects. The traditional approach based on compute-intensive matrix calculations is error-prone due to a lack of integration between geometric reasoning and matrix-based algorithms. Clifford algebra offers a solution to these issues since it permits specification of geometry at a coordinate-free level. The best way to exploit the symbolic computing power of geometric (Clifford) algebra is supporting its data types and operators directly in hardware. This paper outlines the architecture of S-CliffoSor (Sliced Clifford coprocessor), a parallelizable embedded coprocessor that executes native Clifford algebra operations. …

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniCoprocessorComputer scienceProgramming languageClifford Algebra computational geometry application-specific coprocessor FPGA prototyping Sliced CoprocessorClifford algebraAlgebra over a fieldcomputer.software_genrecomputerFPGA prototype10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)
researchProduct

Design and implementation of an embedded coprocessor with native support for 5D, quadruple-based Clifford algebra

2013

Geometric or Clifford algebra (CA) is a powerful mathematical tool that offers a natural and intuitive way to model geometric facts in a number of research fields, such as robotics, machine vision, and computer graphics. Operating in higher dimensional spaces, its practical use is hindered, however, by a significant computational cost, only partially addressed by dedicated software libraries and hardware/software codesigns. For low-dimensional algebras, several dedicated hardware accelerators and coprocessing architectures have been already proposed in the literature. This paper introduces the architecture of CliffordALU5, an embedded coprocessing core conceived for native execution of up t…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniCoprocessorSpeedupComputational Theory and MathematicsClifford algebra Computational geometry Embedded coprocessors Application-specific processors FPGA-based prototypingHardware and ArchitectureComputer scienceClifford algebraParallel computingComputational geometryField-programmable gate arraySoftwareTheoretical Computer Science
researchProduct

A New Embedded Coprocessor for Clifford Algebra based Software Intensive Systems

2011

Computer graphics applications require efficient tools to model geometric objects and their transformations. Clifford algebra (also known as geometric algebra) is receiving a growing attention in many research fields, such as computer graphics, machine vision and robotics, as a new, interesting computational paradigm that offers a natural and intuitive way to perform geometric calculations. At the same time, compute-intensive graphics algorithms require the execution of million Clifford operations. Clifford algebra based software intensive systems need therefore the support of specialized hardware architectures capable of accelerating Clifford operations execution. In this paper the archite…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniCoprocessorSpeedupComputer sciencebusiness.industryembedded coprocessorsClifford algebraParallel computingcomputer graphicComputer graphicsGeometric algebracompute-intensive algorithmSoftwaresoftware intensive systemComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONcomputational geometryGraphicsClifford algebraField-programmable gate arraybusiness
researchProduct

GAPPCO: An Easy to Configure Geometric Algebra Coprocessor Based on GAPP Programs

2017

Because of the high numeric complexity of Geometric Algebra, its use in engineering applications relies heavily on tools and devices for efficient implementations. In this article, we present a novel hardware design for a Geometric Algebra coprocessor, called GAPPCO, which is based on Geometric Algebra Parallelism Programs (GAPP). GAPPCO is a design for a coprocessor combining the advantages of optimizing software with a configurable hardware able to implement arbitrary Geometric Algebra algorithms. The idea is to have a fixed hardware easily and fast to be configured for different algorithms. We describe the new hardware design together with the complete tool chain for its configuration.

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniCoprocessorTheoretical computer sciencebusiness.industryApplied MathematicsConfigurable hardware02 engineering and technologyParallel computing01 natural sciences020202 computer hardware & architectureComputer Science::Hardware ArchitectureGeometric algebraSoftwareChain (algebraic topology)0103 physical sciencesGeometric Algebra Geometric Algebra computing Gaalop GAPP GAPPCO0202 electrical engineering electronic engineering information engineeringParallelism (grammar)GapP010307 mathematical physicsbusinessImplementationMathematicsAdvances in Applied Clifford Algebras
researchProduct

State of the art in passive digital image forgery detection: copy-move image forgery

2017

Authenticating digital images is increasingly becoming important because digital images carry important information and due to their use in different areas such as courts of law as essential pieces of evidence. Nowadays, authenticating digital images is difficult because manipulating them has become easy as a result of powerful image processing software and human knowledge. The importance and relevance of digital image forensics has attracted various researchers to establish different techniques for detection in image forensics. The core category of image forensics is passive image forgery detection. One of the most important passive forgeries that affect the originality of the image is cop…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniCopyingCopy-move forgery Digital forensics Duplicated detection Manipulation detectionbusiness.industryComputer sciencemedia_common.quotation_subjectDigital forensicsComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION020207 software engineering02 engineering and technologyImage (mathematics)Digital imageArtificial IntelligenceOriginalityPattern recognition (psychology)0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingComputer visionRelevance (information retrieval)Computer Vision and Pattern RecognitionArtificial intelligenceState (computer science)businessmedia_commonPattern Analysis and Applications
researchProduct

A Simulation Framework for Evaluating Distributed Reputation Management Systems

2016

In distributed environments, where interactions involve unknown entities, intelligent techniques for estimating agents’ reputation are required. Reputation Management Systems (RMSs) aim to detect malicious behaviors that may affect the integrity of the virtual community. However, these systems are highly dependent of the application domain they address; hence the evaluation of different RMSs in terms of correctness and resistance to security attacks is frequently a tricky task. In this work we present a simulation framework to support researchers in the assessment of a RMS. The simulator is organized in two logic layers where network nodes are mapped to system processes that implement the i…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniCorrectnessComputer scienceDistributed computingmedia_common.quotation_subjectComputer Science (all)Message Passing InterfaceSimulation framework020206 networking & telecommunications02 engineering and technologyComputer securitycomputer.software_genreTask (project management)Distributed reputation managementControl and Systems EngineeringApplication domain020204 information systemsSynchronization (computer science)0202 electrical engineering electronic engineering information engineeringMultiagent systemcomputerReputation managementVirtual communityReputationmedia_common
researchProduct

Improving Assessment of Students through Semantic Space Construction

2009

Assessment is one of the hardest tasks an Intelligent Tutoring System has to perform. It involves different and sometimes uncorrelated sub-tasks: building a student model to define her needs, defining tools and procedures to perform tests, understanding students' replies to system prompts, defining suitable procedures to evaluate the correctness of students' replies, and strategies to improve students' abilities after the assessment session.In this work we  present an improvement of our system, TutorJ, with particular attention to the assessment phase. Many tutoring systems offer only a limited set of assessment options like multiple-choice questions,fill-in-the-blanks tests or other types …

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniCorrectnessComputer sciencebusiness.industryProcess (engineering)Natural language understandingCognitive architecturecomputer.software_genreIntelligent tutoring systemKnowledge-based systemsKnowledge baseHuman–computer interactionIntelligent Tutoring Systems Semantic Space Construction Natural Language InteractionArtificial intelligencebusinesscomputerNatural languageNatural language processing
researchProduct