Sciweavers

IEEEARES
2013
IEEE
10 years 11 months ago
Sensor Data Meets Social Networks Reflecting on Benefits in the Case of a Patient Room
The poster illustrates the idea of integrating digital social media with sensor networks (SoSeMe). In order to achieve tangible, specific results, we concentrate on the scenario o...
Fabienne Kuhn, Andreas Spichiger, Reinhard Riedl
HPEC
2013
166views more  HPEC 2013»
10 years 11 months ago
3D FFT for FPGAs
: The 3D FFT is critical in electrostatics computations such as those used in Molecular Dynamics simulations. On FPGAs, however, the 3D FFT was thought to be inefficient relative ...
Ben Humphries, Martin C. Herbordt
HM
2013
Springer
145views Optimization» more  HM 2013»
10 years 11 months ago
A Pre-processing Aware RINS Based MIP Heuristic
Abstract. This paper proposes an adaptation of the RINS MIP heuristic which explicitly explores pre-processing techniques. The method systematically searches for the ideal number o...
Thiago M. Gomes, Haroldo G. Santos, Marcone J. F. ...
FUZZIEEE
2013
IEEE
10 years 11 months ago
Clustering and visualization of fuzzy communities in social networks
— We discuss a new formulation of a fuzzy validity index that generalizes the Newman-Girvan (NG) modularity function. The NG function serves as a cluster validity functional in c...
Timothy C. Havens, James C. Bezdek, Christopher Le...
FORTE
2013
10 years 11 months ago
Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper)
Abstract. Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In se...
Tevfik Bultan
EUVIP
2013
7views more  EUVIP 2013»
10 years 11 months ago
Inpainted image quality assessment
Recently, image completion or inpainting has become a hot research topic because of its extensive applications in various real-world applications. Many papers have been published ...
Thanh Trung Dang, Azeddine Beghdadi, Mohamed-Chake...
EUSFLAT
2013
10 years 11 months ago
Applications of Categorical Fixed-basis Fuzzy Topological Spaces to A-valued Spaces
As an application of the dual equivalence between the category of L-spatial C-objects and the category of L-sober C-M-L-spaces, it is shown in this paper that for a fixed augment...
Mustafa Demirci
EUROSPI
2013
Springer
10 years 11 months ago
Making Software Safety Assessable and Transparent
Abstract. Most formal assessment and evaluation techniques and standards assume that software can be analysed like any physical item. In safety-critical systems, software is an imp...
Risto Nevalainen, Alejandra Ruiz, Timo Varkoi
ETFA
2013
IEEE
10 years 11 months ago
Design of industrial automation systems - Formal requirements in the engineering process
Today’s production plants are not conceivable without automation systems. Due to the increasing complexity of production plants and therefore of automation systems, delays and i...
Björn Böttcher, Johann Badinger, Natalia...