Search results for "Ford"

showing 10 items of 785 documents

Fixed-size Quadruples for a New, Hardware-Oriented Representation of the 4D Clifford Algebra

2010

Clifford algebra (geometric algebra) offers a natural and intuitive way to model geometry in fields as robotics, machine vision and computer graphics. This paper proposes a new representation based on fixed-size elements (quadruples) of 4D Clifford algebra and demonstrates that this choice leads to an algorithmic simplification which in turn leads to a simpler and more compact hardware implementation of the algebraic operations. In order to prove the advantages of the new, quadruple-based representation over the classical representation based on homogeneous elements, a coprocessing core supporting the new fixed-size Clifford operands, namely Quad-CliffoSor (Quadruple-based Clifford coproces…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSpeedupCoprocessorbusiness.industryApplied MathematicsClifford algebraUniversal geometric algebraOperandAlgebraGeometric algebraClifford algebra computational geometry embedded coprocessors application-specific processor FPGA-based prototypingAlgebraic operationComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONbusinessRepresentation (mathematics)Computer hardwareMathematics
researchProduct

Accelerating Clifford Algebra Operations using GPUs and an OpenCL Code Generator

2015

Clifford Algebra (CA) is a powerful mathematical language that allows for a simple and intuitive representation of geometric objects and their transformations. It has important applications in many research fields, such as computer graphics, robotics, and machine vision. Direct hardware support of Clifford data types and operators is needed to accelerate applications based on Clifford Algebra. This paper proposes a mixed software-hardware system that exploits the computational power of Graphics Processing Units (GPUs) to accelerate Clifford operations. A code generator, namely OpenCLifford, is presented that automatically generates Java and C libraries for the direct support of Clifford ele…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSpeedupHardware-software co-designOpenCLComputer scienceClifford algebraGeometric AlgebraParallel computingData typeMetaprogrammingComputer graphicsClifford AlgebraGeometric algebraComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONCode generationCentral processing unitGraphicsGraphics Processing Unit
researchProduct

Design Space Exploration of Parallel Embedded Architectures for Native Clifford Algebra Operations

2012

In the past few decades, Geometric or Clifford algebra (CA) has received a growing attention in many research fields, such as robotics, machine vision and computer graphics, as a natural and intuitive way to model geometric objects and their transformations. At the same time, the high dimensionality of Clifford algebra and its computational complexity demand specialized hardware architectures for the direct support of Clifford data types and operators. This paper presents the design space exploration of parallel embedded architectures for native execution of four-dimensional (4D) and five-dimensional (5D) Clifford algebra operations. The design space exploration has been described along wit…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSpeedupTheoretical computer scienceComputer sciencebusiness.industryDesign space explorationMachine visionClifford algebraClifford algebra Computational geometry Embedded coprocessors Application-specific processors Design space exploration FPGA-based prototypingRoboticsComputer graphicsSoftwareHardware and ArchitectureComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONArtificial intelligenceElectrical and Electronic EngineeringVariety (universal algebra)businessSoftwareIEEE Design & Test of Computers
researchProduct

An FPGA Implementation of a Quadruple-Based Multiplier for 4D Clifford Algebra

2008

Geometric or Clifford algebra is an interesting paradigm for geometric modeling in fields as computer graphics, machine vision and robotics. In these areas the research effort is actually aimed at finding an efficient implementation of geometric algebra. The best way to exploit the symbolic computing power of geometric algebra is to support its data types and operators directly in hardware. However the natural representation of the algebra elements as variable-length objects causes some problems in the case of a hardware implementation. This paper proposes a 4D Clifford algebra in which the variable-length elements are mapped into fixed-length elements (quadruples). This choice leads to a s…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniTheoretical computer scienceComputer scienceClifford algebraClifford Algebra computational geometry application-specific coprocessor FPGA prototypingSolid modelingOperandData typeComputer graphicsGeometric algebraComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONLinear algebraArithmeticGeometric modeling
researchProduct

Embedded Coprocessors for Native Execution of Geometric Algebra Operations

2016

Clifford algebra or geometric algebra (GA) is a simple and intuitive way to model geometric objects and their transformations. Operating in high-dimensional vector spaces with significant computational costs, the practical use of GA requires dedicated software and/or hardware architectures to directly support Clifford data types and operators. In this paper, a family of embedded coprocessors for the native execution of GA operations is presented. The paper shows the evolution of the coprocessor family focusing on the latest two architectures that offer direct hardware support to up to five-dimensional Clifford operations. The proposed coprocessors exploit hardware-oriented representations o…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniTheoretical computer scienceCoprocessorInverse kinematicsbusiness.industryApplied MathematicsClifford algebraGeometric algebra Embedded coprocessors Application-specific processors FPGA-based prototyping.02 engineering and technologyParallel computingData type020202 computer hardware & architectureGeometric algebraSoftware0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingField-programmable gate arraybusinessVector spaceMathematicsAdvances in Applied Clifford Algebras
researchProduct

Difetto del nesso causale e manifesta insussistenza del fatto nel licenziamento per giustificato motivo oggettivo

2021

Con la sentenza n. 16253/2020 la Suprema Corte ha affermato che l’assenza di nesso causale tra la cessazione di un appalto e il licenziamento del lavoratore integra un’ipotesi di manifesta insussistenza del fatto posto alla base del licenziamento - con conseguente applicabilità della tutela reintegratoria attenuta di cui all’art. 18, comma 5, della legge n. 300/1970 - non riconducibile, pertanto, agli altri casi in cui il giudice dichiara risolto il rapporto concedendo la sola tutela indennitaria forte (da dodici a ventiquattro mensilità).

Settore IUS/07 - Diritto Del LavoroWith judgement no. 16253/2020 theSupremeCourt affirmed that the absence of causal linkbetween the termination of a contract and the dismissal of the worker integrates a hypothesis of manifest nonexistence of the fact at the basis of the dismissal with consequent applicability of the reinstatement protection afforded by art. 18 paragraph 5 of law no. 300/1970 and therefore does not fall within the other cases in which the judge declares the relationship terminated by granting an indemnity protection from twelve to twenty-four months salary.
researchProduct

La critica radicale tra previsione concreta e regolazione capitalistica. Considerazioni sull’efficacia specifica del movimento del ’77 nel processo d…

2012

L’analisi delle “espressioni” culturali delle riconfigurazioni del modo di produzione capitalistico, autorizzata da ogni “scienza della cultura” educata sulle elaborazioni di Antonio Gramsci e Walter Benjamin, ovvero sulle pratiche teoriche che hanno abolito, all’interno della “critica delle ideologie” marxista, le schematizzazioni meccanicistiche dell’inflazionato “rapporto” intercorrente tra produzione materiale e produzione culturale – il cui determinismo, seppur mediato dalla parziale correzione del principio dell’ultima istanza engelsiano, è forse suggerito dalla stessa metafora architettonica proposta da Marx – si avvale di ulteriori attestati di fecondità nel “caso”, in questa occasi…

Settore L-ART/03 - Storia Dell'Arte Contemporaneaarte capitalismo cognitivo movimenti sociali postfordismo situazionismo settantasette
researchProduct

Le affordances cognitive e sociali in Internet. Un confronto cross-culturale tra utenti italiani e americani.

2008

Internet può essere descritto come un ambiente caratterizzato da affordances ovvero da “offerte” psico-tecnologiche che amplificano le capacità cognitive e sociali degli utenti. In particolare, i molteplici strumenti informativi del web sono riconducibili alle sue affordances cognitive, laddove quelli più connotati in senso interpersonale (p.e. chat-room) ne costituiscono le affordances sociali. Allo scopo di esplorare l’utilizzo delle suddette affordances in differenti popolazioni, abbiamo condotto un’indagine che confronta un gruppo di italiani ed uno di statunitensi tramite la somministrazione di un questionario online. I risultati indicano che, nonostante la sua più recente introduzione…

Settore M-PSI/01 - Psicologia Generaleaffordances cognitive affordances sociali internet
researchProduct

On the Dunford property (C) for bounded linear operators SR and RS

2011

In this paper we show that if S in L(X; Y ) and R in L(Y;X), X and Y complex Banach spaces, then the products RS and SR share the Dunford property (C)

Settore MAT/05 - Analisi MatematicaDunford property (C)
researchProduct

Benford's Law for economic data reliability: The case of tourism flows in Sicily

2023

This paper proposes a data science approach based on Benford's Law to analyse tourist flows – being tourism a relevant economic sector in Sicily. In particular, we are interested in detecting irregular patterns in the numerical data that may represent manipulations, inaccuracies or biases in the self-reported data from tourism organisations. The analysis is carried out by using monthly data for arrivals and overnight stays in hotels, B&Bs, and complementary accommodations in the seven provinces of the island from January 2016 to December 2019. We perform the analysis by employing several statistical tests and through a visual inspection of the difference between the empirical distributi…

Settore SECS-S/06 -Metodi Mat. dell'Economia e d. Scienze Attuariali e Finanz.Tourism flowBenford's LawSicilyData science
researchProduct