scispace - formally typeset
Search or ask a question
Institution

Technological Educational Institute of Western Macedonia

About: Technological Educational Institute of Western Macedonia is a based out in . It is known for research contribution in the topics: Symplectic geometry & Numerical integration. The organization has 291 authors who have published 522 publications receiving 7682 citations. The organization is also known as: TEI of West Macedonia & TEI of Western Macedonia.


Papers
More filters
Journal ArticleDOI
01 Jan 2013
TL;DR: An alternative HLS toolset is presented that the author has developed and which is based on formal methods, thus it guarandees the correctness of the synthesized hardware and system.
Abstract: The current complexity of custom and embedded core or IP integrated electronics demand for a new generation of automated system design and development methods. High-Level Synthesis plays a critical part of such automated methods. However, existing HLS tools are not widely accepted by the engineering community for a number of practical reasons. This article is a practical perspective of such issues, and it analyses the reasons for this. Morever, the article is a useful introduction to the system engineer that wants to consider HLS as part of his everyday system design practice. An alternative HLS toolset is presented that the author has developed and which is based on formal methods, thus it guarandees the correctness of the synthesized hardware and system. The paper completes with conclussions and a number of suggestions about the future directions of HLS technology and what is actually needed by the engineering community.
Proceedings ArticleDOI
07 Jul 2015
TL;DR: Using Behavioural Synthesis for hardware generation of a contour-based image segmentation method, behavioural ADA specifications are transformed into RTL micro-architectures which then can be easily implemented by commercial RTL synthesizers.
Abstract: In this contribution, the use of Behavioural Synthesis for hardware generation of a contour-based image segmentation method, is presented. The segmentation method examined is a well-known, state-of-the-art, robust, efficient and fast-converging one, that considers functionals depending on the curve geometry and image properties in a level-set framework. A cost function is built and sought to be minimized, formulated as a weighted sum of three integral measures; a robust alignment term that leads the evolving surface to the edges of the desired object, a minimal variance term that measures the homogeneity inside and outside the object, and a geodesic active surface term that is used mainly for regularization. The algorithm is initially implemented in MatLab and ADA and subsequently, it is ported to our Behavioural Synthesis tool, the CCC HLS framework, which is capable of delivering correct-by-construction RTL VHDL implementations of computation-intensive applications. This way, behavioural ADA specifications are transformed into RTL micro-architectures which then can be easily implemented by commercial RTL synthesizers.
Journal ArticleDOI
21 Jan 2015
TL;DR: In this paper, the authors apply the convolution (folding) method in neutrino physics studies to explore the response of some nuclear detectors to the energy spectra of laboratory neutrinos.
Abstract: We apply the convolution (folding) method in neutrino physics studies. We focus on its use to explore the response of some nuclear detectors to the energy spectra of laboratory neutrinos. After calculating the neutrino-nucleus cross sections (within the context of a nuclear model) for a neutrino detector, the obtained cross section values must be folded with a specific neutrino- energy distribution. In the present work we use the v-distribution of pion-muon decay at rest neutrino beams created in muon factories like the Fermilab, J-PARC, and other laboratories. Due to the fact that neutrino-nucleus interactions are very weak, the evaluated cross sections are small (~ 10−42cm2). Thus, one needs a very fine convolution tool to obtain accurate description of the v-signals (laboratory, supernova neutrinos, etc.) recorded at some nuclear detectors.
Journal ArticleDOI
01 Aug 2016
TL;DR: In this article, the nuclear wave functions for the required initial and final nuclear states are derived by employing the proton-neutron (p-n) quasi-particle random phase approximation (QRPA) which has been previously tested in our neutral-current v-nucleus studies for Te isotopes.
Abstract: Neutrino-nucleus reactions, involving both neutral current (NC) and charged current (CC) interactions are important probes in modern neutrino physics searches. In the present work, we study the concrete CC reactions 130 Te(vl,l−)130 I and 130 Te(l,l+)130Sb which are of current experimental interest for the CUORE and COBRA experiments operating at Gran Sasso underground laboratory in Italy. The nuclear wave functions for the required initial and final nuclear states are derived by employing the proton-neutron (p-n) quasi-particle random phase approximation (QRPA) which has been previously tested in our neutral-current v-nucleus studies for Te isotopes.
Book ChapterDOI
01 Jan 2013
TL;DR: An overview of the available standards and technologies for multimedia content representation and retrieval is made and a prototype semantic P2P architecture is presented which delivers personalized audio information.
Abstract: Multimedia information has been increased in the recent years while new content delivery services enhanced with personalization functionalities are provided to users. Several standards are proposed for the representation and retrieval of multimedia content. This paper makes an overview of the available standards and technologies. Furthermore a prototype semantic P2P architecture is presented which delivers personalized audio information. The metadata which support personalization are separated in two categories: the metadata describing user preferences stored at each user and the resource adaptation metadata stored at the P2P network’s web services. The multimedia models MPEG-21 and MPEG-7 are used to describe metadata information and the Web Ontology Language (OWL) to produce and manipulate ontological descriptions. SPARQL is used for querying the OWL ontologies. The MPEG Query Format (MPQF) is also used, providing a well-known framework for applying queries to the metadata and to the ontologies.

Network Information
Related Institutions (5)
National Technical University of Athens
31.2K papers, 723.5K citations

77% related

Aristotle University of Thessaloniki
58.2K papers, 1.4M citations

76% related

Polytechnic University of Valencia
40.1K papers, 850.2K citations

75% related

University of Patras
31.2K papers, 677.1K citations

74% related

University of Aveiro
34.8K papers, 738.1K citations

74% related

Performance
Metrics
No. of papers from the Institution in previous years
YearPapers
20221
202013
201955
201876
201794
201656