Steigerung der Energieeffizienz kommunaler Kläranlagen in Rheinland-Pfalz

in Proceedings of the Conference ‚DWA-Energietage‘ (2010)

Im Rahmen eines Projektes mit dem Titel ‚Energie- und Kostenoptimierung durch den Ein-satz von Semizentralen Schlammbehandlungscentern’ -Förderung durch das rheinland-pfälzische Ministerium für Umwelt ... [more ▼]

Im Rahmen eines Projektes mit dem Titel ‚Energie- und Kostenoptimierung durch den Ein-satz von Semizentralen Schlammbehandlungscentern’ -Förderung durch das rheinland-pfälzische Ministerium für Umwelt, Forsten und Verbraucherschutz (2008-2009) - wurden Ansätze zum integrierten Betrieb räumlich nahe zueinander liegender aerober Stabilisierungs- und Faulungsanlagen entwickelt. In den Stabilisierungsanlagen wird das Schlammalter gezielt reduziert und somit auf das Ziel ‚aerobe Schlammstabilisierung’ verzichtet, der nicht stabilisierte Schlamm wird dem Faulbehälter der Faulungsanlage zugeführt. Die beschriebene Konzeption weist im Falle der untersuchten Anlagen Grolsheim und Welgesheim erhebliche energetische Vorteile auf. Eine Umsetzung der Konzeption auf andere Anwendungsfälle ist im Einzelfall zu prüfen. De nachfolgenden Ausführungen beruhen im Wesentlichen auf dem Vortrag ‚Energie- und Kostenoptimierung durch Schaffung von Semizentralen Schlammbehandlungscentern‘ (Hansen et al. 2009) [less ▲]

Who will care for me?

in Trends in Family Caregiving in European Countries. Invited Keynote at the 20th Alzheimer Europe Conference „Facing dementia together“. Luxembourg, Luxembourg. (2010)

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines

in International Conference on Software Test and Validation (2010)

Learning conditionally lexicographic preference relations

in Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010) (2010)

De 20 ans à l'horizon 2020, bâtir le tribunal de demain sur de solides fondations

in Publication de la Cour de Justice de l'Union européenne (2010)

Number of maximal partial clones

in Proceedings of The International Symposium on Multiple-Valued Logic (2010)

All maximal partial clones on 4-element, 5-element, and 6-element sets have been found and are compared to the case of maximal clones of all total functions. Due to the large numbers of maximal partial ... [more ▼]

All maximal partial clones on 4-element, 5-element, and 6-element sets have been found and are compared to the case of maximal clones of all total functions. Due to the large numbers of maximal partial clones other criteria to check for generating systems of all partial functions are analyzed. [less ▲]

Status of the full scale component testing of the KERENA ™ emergency condenser and Containment Cooling Condenser

in International Congress on Advances in Nuclear Power Plants 2010, ICAPP 2010 (2010), 2

KERENA™ (SWR1000) is an innovative boiling water reactor concept with passive safety systems. In order to verify the functionality of the passive components requiredfor the transient and accident ... [more ▼]

KERENA™ (SWR1000) is an innovative boiling water reactor concept with passive safety systems. In order to verify the functionality of the passive components requiredfor the transient and accident management, the test facility INKA (Integral-Versuchstand Karlstein) is build in Karlstein (Germany). The key elements of the KERENA™ passive safety concept -the Emergency Condenser, the Containment Cooling Condenser, the Passive Core Flooding System and the Passive Pressure Pulse Transmitter - will be tested at INKA. The Emergency Condenser system transfer heaty form the reactor pressure vessel to the core flooding pools of the containment. The heat introduced into the containment during accidents will be transferred to the main heat sink for passive accident management (Shielding/Storage Pool) via the Containment Cooling Condensers. Therefore both systems are part of the passive cooling chain connecting the heat source RPV (Reactor Pressure Vessel) with the heat sink. At the INKA test facility both condensers are tested in full scale setup, in order to determine the heat transfer capacity as function of the main input parameters. For the EC these are the RPV pressure, the RPV water level, the containment pressure and the water temperature of the flooding pools. For the Containment Cooling Condenser the heat transfer capacity is a function of the containment pressure, the water temperature of the Shielding/Storage Pooland the fraction of non -condensable gases in the containment. The status of the test program and the available test data will be presented. An outlook of the future test of the passive core flooding system and the integral system test including also the passive pressure pulse transmitter will be given. [less ▲]

"Differdange, terres rouges ou l'ancrage identitaire chez Jean Portante"

in Mutations. Mémoires et perspectives du Bassin minier (2010), 1

L'objectivité dans la théorie d'Umberto Eco

in Travaux en cours. Revue de l'UFR LAC. Université Paris Diderot (2010)

Implicit negative evaluation of asthma-related words in asthma patients and healthy individuals: The role of self-categorization and negative affect

in Biological Psychology (2010), 83(1), 71-71

A dimensional-categorical approach to the language of dyspnea

in Biological Psychology (2010), 83(1), 64-65

Brief announcement: Asynchronous bounded expected delay networks

in Proceedings of 29th Annual ACM Symposium on Principles of Distributed Computing (2010)

Modelling thermophilic anaerobic digestion of maize silage

in Proceedings Venice 2010, Third International Symposium on energy from Biomass and Waste, 8-11.11.2010, Venice (2010)

Model checking round-based distributed algorithms

in Proceedings of 15th IEEE International Conference on Engineering of Complex Computer Systems (2010)

Generalizing the Transfer in Iterative Error Correction: Dissection Decoding

in International Zurich Seminar on Communications (2010)

Iterative decoding with message-passing is consid- ered. The message format is generalized from the classical, single probability value for each code symbol to a probability distribu- tion by introducing ... [more ▼]

Iterative decoding with message-passing is consid- ered. The message format is generalized from the classical, single probability value for each code symbol to a probability distribu- tion by introducing an additional logarithmic probability mea- sure. Thereby, the representation of the probability distributions underlying the constituent code constraints by the messages is improved in terms of the Kullback-Leibler divergence. Simulation shows that this improvement can transfer to the error correcting performance. [less ▲]

Flexible model element introduction policies for aspect-oriented modeling

in Abstract book of 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, LNCS (2010), 6395 LNCS(PART 2), 63-77

Aspect-Oriented Modeling techniques make it possible to use model transformation to achieve advanced separation of concerns within models. Applying aspects that introduce model elements into a base model ... [more ▼]

Aspect-Oriented Modeling techniques make it possible to use model transformation to achieve advanced separation of concerns within models. Applying aspects that introduce model elements into a base model in the context of large, potentially composite models is nevertheless tricky: when a pointcut model matches several join points within the base model, it is not clear whether the introduced element should be instantiated once for each match, once within each composite, once for the whole model, or based on a more elaborate criteria. This paper argues that in order to enable a modeler to write semantically correct aspects for large, composite models, an aspect weaver must support a flexible instantiation policy for model element introduction. Example models highlighting the need for such a mechanism are shown, and details of how such policies can be implemented are presented. © 2010 Springer-Verlag. [less ▲]

Iterated Local Search for de Novo Genomic Sequencing

in Lecture Notes in Computer Science (2010), 6114

The sequencing process of a DNA chain for reading its components supposes a complex process, since only small DNA fragments can be read nowadays. Therefore, the use of optimization algorithms is required ... [more ▼]

The sequencing process of a DNA chain for reading its components supposes a complex process, since only small DNA fragments can be read nowadays. Therefore, the use of optimization algorithms is required to rebuild a single chain from all the small pieces. We address here a simplified version of the problem, in which no errors in the sequencing process are allowed. The methods typically used in the literature for this problem are not satisfactory when solving realistic size instances, so there is a need for new more efficient and accurate methods. We propose a new iterated local search algorithm, highly competitive with the best algorithms in the literature, and considerably faster. [less ▲]

Support in Abstract Argumentation

in Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10) (2010)

n this paper, we consider two drawbacks of Cayrol and Lagasque-Schiex's meta-argumentation theory to model bipolar argumentation frameworks. We consider first the “lost of admissibility” in Dung's sense ... [more ▼]

n this paper, we consider two drawbacks of Cayrol and Lagasque-Schiex's meta-argumentation theory to model bipolar argumentation frameworks. We consider first the “lost of admissibility” in Dung's sense and second, the definition of notions of attack in the context of a support relation. We show how to prevent these drawbacks by introducing support meta-arguments. Like the model of Cayrol and Lagasque-Schiex, our formalization confirms the use of meta-argumentation to reuse Dung's properties. We do not take a stance towards the usefulness of a support relation among arguments, though we show that if one would like to introduce them, it can be done without extending Dung's theory. Finally, we show how to use meta-argumentation to instantiate an argumentation framework to represent defeasible support. In this model of support, the support relation itself can be attacked. [less ▲]

A Logical Understanding of Legal Interpretation

in KR 2010 (2010)

If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing norms to be adapted to ... [more ▼]

If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing norms to be adapted to unforeseen situations. We model this mechanism for norms regulating computer systems by representing the purpose of norms by social goals and by revising the constitutive rules defining the applicability of norms. We illustrate the interpretation mechanism by examples. [less ▲]

On numerical integration of discontinuous approximations in partition of unity finite elements

in IUTAM Bookseries (2010), 19

This contribution presents two advances in the formulation of discontinuous approximations in finite elements. The first method relies on Schwarz-Christoffel mapping for integration on arbitrary polygonal ... [more ▼]

This contribution presents two advances in the formulation of discontinuous approximations in finite elements. The first method relies on Schwarz-Christoffel mapping for integration on arbitrary polygonal domains [1]. When an element is split into two subdomains by a piecewise continuous discontinuity, each of these polygonal domains is mapped onto a unit disk on which cubature rules are utilized. This suppresses the need for the usual two-level isoparametric mapping. The second method relies on strain smoothing applied to discontinuous finite element approximations. By writing the strain field as a non-local weighted average of the compatible strain field, integration on the surface of the finite elements is transformed into boundary integration, so that the usual subdivision into integration cells is not required, an isoparametric mapping is not needed and the derivatives of the shape (enrichment) functions do not need to be computed. Results in fracture mechanics and composite materials are presented and both methods are compared in terms of accuracy and simplicity. The interested reader is referred to [1,6,13] for more details and should contact the authors to receive a version of the MATLAB codes used to obtain the results herein. © 2010 Springer Science+Business Media B.V. [less ▲]

An implicit approach to predict the dynamics of granular media

in Abstract book of 81st Annual Meeting of the International Association of Applied Mathematics and Mechanics (2010), 10(1), 55-56

Deontic Redundancy: A Fundamental Challenge for Deontic Logic

in DEON (2010)

To decide which norms can be removed from a system, we need to know when a norm is redundant. After shifting the focus of attention in deontic logic from detachment of obligations and permissions to ... [more ▼]

To decide which norms can be removed from a system, we need to know when a norm is redundant. After shifting the focus of attention in deontic logic from detachment of obligations and permissions to deontic redundancy, I discuss in this paper five benchmark examples of deontic redundancy in reasoning about permissions, intermediate concepts and constitutive norms, deontic dilemmas, temporal deontic reasoning and contrary-to-duty reasoning. Then I discuss those benchmark examples in four formal approaches to deontic reasoning: traditional model logic, dynamic approaches, violation oriented or diagnostic systems, and imperativist or norm based approaches. [less ▲]

A Molecular Concept of Managing Data

in Abstract book of 2nd Conference on Agents and Artificial Intelligence (ICAART 2010) (2010)

The following (position) paper follows the concept of the field of Artificial Life and argues that the (relational) management of data can be understood as a chemical model. Whereas each data itself is ... [more ▼]

The following (position) paper follows the concept of the field of Artificial Life and argues that the (relational) management of data can be understood as a chemical model. Whereas each data itself is consistent with atomic entities, each combination of data corresponds to a (artificial) molecular structure. For example, an attribute D inside a relational system can be represented by a nucleus aD sharing a cloud of values, which consists of so-called valectrons (the values for the column D). By using reaction rules like the selection of tuples or projection of attributes, a retrieve of molecules can be achieved quite easily. Advantages of the chemical model are no data types, a fast data access, and the associative nature of the molecules: this automatically supports a direct identification of patterns in the sense of data mining. A disadvantage is the need for restructuring that must eventually be done, because the incoming data stream is allowed to influence the chemical model. With this position paper, we present our basic concept. [less ▲]

Arguing about Trust in Multiagent Systems

in Proceedings of the 11th Symposium on Artificial Intelligence of the Italian Association for Artificial Intelligence (AIIA'10) (2010)

Trust in multiagent systems is used for seeking to minimize the uncertainty in the interactions among the agents. In this paper, we discuss how to use argumentation to reason about trust. Using the ... [more ▼]

Trust in multiagent systems is used for seeking to minimize the uncertainty in the interactions among the agents. In this paper, we discuss how to use argumentation to reason about trust. Using the methodology of meta-argumentation, first we represent the source of the information from which the argument is constructed in the abstract argumentation framework capturing the fact that b is attacked because b is from a particular source s. We show how a source of information can be attacked if it is not evaluated as trustworthy. Second, we provide a fine grained representation of the trust relationships between the information sources in which trust concerns not only the sources but also the single arguments and attack relations the sources propose. Moreover, we represent the evidences in support of the arguments which are put forward by the information sources and the agents can express arguments by referring to other agents’ arguments. Meta-argumentation allows us not to extend Dung’s abstract argumentation framework by introducing trust and to reuse those principles and properties defined for Dung’s framework. [less ▲]

Luminal-like oestrogen receptor-positive breast cancer: identification of prognostic biological subclasses

in European Journal of Cancer Supplements (2010), 8(3), 91

An element nodal force-based large increment method for elastoplasticity

in AIP Conference Proceedings (2010), 1233(PART 1), 1401-1405

This paper presents a new method for establishing the basic equations in the novel force-based large increment method (LIM) for continuum elastoplastic problems. In LIM, unlike traditional displacement ... [more ▼]

This paper presents a new method for establishing the basic equations in the novel force-based large increment method (LIM) for continuum elastoplastic problems. In LIM, unlike traditional displacement methods, the (generalised) elemental force variables are adopted as system unknowns. The equilibrium equations can then be obtained directly at every nodal degree of freedom without physical equations (i.e., constitutive equations) involved. The generalised inverse of the non-square system of equations is employed to obtain the set of solutions of the non-square matrix equations directly. A conjugate gradient procedure is then used to find the correct solution from this set of solutions by optimising the compatibility of the solution based on the fact that the correct solution should also satisfy the constitutive equations and the compatibility equations. In this paper, the generalised elemental force variables are defined based on the element nodal forces. The LIM framework is therefore successfully applied to elements based on this definition. The efficiency and accuracy of the LIM are illustrated with a few benchmark problems and the results are compared with the analytical solution and the conventional displacement-based finite element method. [less ▲]

A discrete approach to thermal conversion of solid fuel by the discrete particle method (dpm)

in Abstract book of 10th International Conference Modern Building Materials, Structures and Techniques (2010)

Coherent Receiver for AIS Satellite Detection

in Proceedings of 4th International Symposium on Communications, Control and Signal Processing (ISCCSP) (2010)

Chemical microscopy and nanoscopy of bio-materials and living cells

in Proceedings of Infrared Millimeter and Terahertz Waves (IRMMW-THz) Conf. (2010)

Raman microspectroscopy of human sperm cells and nearfield infrared microscopy of nanoscale biomaterials like nanografted DNA have been performed. A newly developed station for the ANKA-IR2 beamline ... [more ▼]

Raman microspectroscopy of human sperm cells and nearfield infrared microscopy of nanoscale biomaterials like nanografted DNA have been performed. A newly developed station for the ANKA-IR2 beamline combines several techniques to study the same sample at the same position. [less ▲]

Patterns of intergenerational support and reciprocity

in Proceedings of the XIV European Conference on Developmental Psychology ECDP. Bologna, Italy: Medimond. (2010)

Comparing Variants of Strategic Ability

in Proceedings of EUMAS2010 (2010)

Deskilling HPL - Using an Evolutionary Algorithm to Automate Cluster Benchmarking

in Proceedings of 8th Intl. conf. on Parallel Processing and Applied Mathematics (PPAM 2009) (2009, September), 6068(LNCS), 102--114

The High-Performance Linpack (HPL) benchmark is the ac- cepted standard for measuring the capacity of the world’s most powerful computers, which are ranked twice yearly in the Top 500 List. Since just a ... [more ▼]

The High-Performance Linpack (HPL) benchmark is the ac- cepted standard for measuring the capacity of the world’s most powerful computers, which are ranked twice yearly in the Top 500 List. Since just a small deficit in performance can cost a computer several places, it is impor- tant to tune the benchmark to obtain the best possible result. However, the adjustment of HPL’s seventeen configuration parameters to obtain maximum performance is a time-consuming task that must be performed by hand. In a previous paper, we provided a preliminary study that proposed the tuning of HPL parameters by means of an Evolutionary Algorithm. The approach was validated on a small cluster hosted at the University of Luxembourg. In this article, we extend this initial work by describing Acbea, a fully-automatic benchmark tuning tool that performs both the configuration and installation of HPL followed by an automatic search for optimized parameters that will lead to the best benchmark results. Experiments have been conducted to validate this tool on several clusters, exploiting in particular the Grid’5000 infrastructure. [less ▲]

Comparison of discrete and continuous-discrete observers for composition estimation in distillation columns

in International Symposium on Advanced Control of Chemical Processes, ADCHEM 2009 (2009)

In this paper we present a high-gain observer implemented in its discrete and continuous-discrete versions in order to compare the performance of both algorithms. The comparison is made considering the ... [more ▼]

In this paper we present a high-gain observer implemented in its discrete and continuous-discrete versions in order to compare the performance of both algorithms. The comparison is made considering the sampling time used to perform the observer’s correction stage in order to establish that the continuous-discrete observer is the best option when a low sampling time is used. Under this condition the continuous discrete observer can process data performing a reliable on-line estimation of the system (a slow dynamics of the process is required). We apply both algorithms to a distillation column that uses the Ethanol-Water binary mixture. [less ▲]

Security of RFID protocols - A case study

in Electronic Notes in Theoretical Computer Science (2009), 244

Caring for dependent people. Carers Evaluation scales

in Final Conference of the CARERS Project, Liaison Office Brussels. Brussels ,Belgium (2009)

Comparative Life Cycle Assessment of biogas scenarios for Luxemburg.

in Abstract Book of the 6th International conference on LCA the Agri-food sector. (2009)

Stress induces a timeshift of the baro-afferent-mediated reduction in startle

in Psychophysiology (2009), 46(Supplement 1), 77-77

Rapid impairment of sensorimotor gating by stress-level cortisol

in Frontiers in Behavioral Neuroscience (2009)

Applying Shape Analysis in Medecine and Engineering

in Bulletin of the Transilvania University of Brasov. Series III: Mathematics, Informtics, Physics (2009), 2(51), 59-74

We describe two applications of statistical shape analysis. For the differentiation of the different kidney tumours appearing in early childhood we use shape analysis of two-dimensionnal MRI images. For ... [more ▼]

We describe two applications of statistical shape analysis. For the differentiation of the different kidney tumours appearing in early childhood we use shape analysis of two-dimensionnal MRI images. For the analysis of odours in biogas plants, we use shape analysis to interpret the data provided by electronic noses. [less ▲]

Comparison of static behaviour and nonlinear vibration characteristic of gradually damaged prestressed concrete slabs and reinforced concrete beams

in Proceedings of the International Conference on Experimental Vibration Analysis for Civil Engineering Structures (2009)

‘‘Forever young’’: On the relationship between subjective and objective age

in Abstract paper of the XIXth IAGG World Congress of Gerontology and Geriatrics. Paris, France (2009)

Social disparities and correlates of domestic accidents.

in Psychology and Health (2009)

Domestic accidents are a public health problem. This study assessed the disparities between socioeconomic positions and the confounding role of gender, age, education, living alone, income, poor health ... [more ▼]

Domestic accidents are a public health problem. This study assessed the disparities between socioeconomic positions and the confounding role of gender, age, education, living alone, income, poor health, obesity, current tobacco use, alcohol abuse, fatigue/sleep disorders, and physical, sensorial and cognitive disabilities. Methods: 6,198 people aged ≥15, randomly selected in north-eastern France completed a post-mailed questionnaire including domestic accident(s) during the last two years. The data were analyzed via logistic models. Findings: Domestic accidents affected 3.1% of subjects. Manual workers and clerks had higher risks (age-gender adjusted OR 1.6, 95%CI 1.1-2.6 and 1.5, 1.0-2.4) compared with the other socioeconomic groups. These differences became non significant when controlling for all covariates of which those significant were: sex, current tobacco use, alcohol abuse, and fatigue/sleep disorders (adjusted odds ratios 1.48-1.88). Discussion: There are social disparities in domestic accidents, and they are confounded by sex, substance use, and fatigue/sleep disorders. [less ▲]

Stress induced reduction in high frequency heart rate variability cannot be explained by respiratory frequency changes

in Psychophysiology (2009), 46(Supplement 1), 77-78

The project KOMPLETT - A new approach for closed loop urban water cycles.

in SmallWat07 (2009)

Full scale steady state component tests of the SWR 1000 fuel pool cooler at the INKA test facility

in International Congress on Advances in Nuclear Power Plants 2009, ICAPP 2009 (2009), 2

The SWR 1000 fuel pool coolers are tubular heat exchangers. They are installed on the fuel pool wall around the spent fuel storage racks. Fuel pool water is cooled by means of natural convection. Forced ... [more ▼]

The SWR 1000 fuel pool coolers are tubular heat exchangers. They are installed on the fuel pool wall around the spent fuel storage racks. Fuel pool water is cooled by means of natural convection. Forced circulation flow of closed-cooling water exists on the tube side of each heat exchanger. The penetrations of the cooling water supply lines through the fuel pool liner are all located above the pool water surface. This ensures that the fuel pool cannot lose water in the event of a pipe break. Integration of the cooling components inside the fuel pool ensures only noncontaminated piping within the reactor building. The fuel pool cooling system consists of two redundant cooling trains. Each cooling train comprises four heat exchangers connected in parallel. The system must ensure adequate heat removal both during normal plant operation and in the event of any postulated accident. To verify proper functioning of the component, full-scale, steadystate tests were performed at the INKA (Integral Teststand Karlstein) test facility in Karlstein Germany. The characteristic diagram for heat transfer capacity of the component as a function of cooling water temperature and fuel pool water temperature obtained from these experiments will be presented in this paper. [less ▲]

On the Convergence of Iterative Belief Propagation

in Proceedings of IEEE International Symposium on Information Theory ISIT (2009)

The convergence of iterative decoding schemes utilizing belief propagation is considered. A quantitative bound for the output L-values of a Turbo decoder is given that only depends on the received word ... [more ▼]

The convergence of iterative decoding schemes utilizing belief propagation is considered. A quantitative bound for the output L-values of a Turbo decoder is given that only depends on the received word and thus is independent from the decoder iterations. Further, it is shown that the exponential increase of the L-values in each iteration within an LDPC decoder is limited by the degree of the variable nodes. [less ▲]

Fallacies as Cognitive Virtues

in Logic, Games and Philosophy: Foundational Perspectives (2009)

In its recent attention to reasoning that is agent-based and target-driven, logic has re-taken the practical turn and recovered something of its historic mission. In so doing, it has taken on in a quite ... [more ▼]

In its recent attention to reasoning that is agent-based and target-driven, logic has re-taken the practical turn and recovered something of its historic mission. In so doing, it has taken on in a quite general way a game-theoretic character, precisely as it was with the theory of syllogistic refutation in the Topics and On Sophistical Refutations, where Aristotle develops winning strategies for disputations. The approach that the present authors take toward the logic of practical reasoning is one in which cognitive agency is inherently strategic in its orientation. In particular, as is typically the case, individual agents set cognitive targets for themselves opportunistically, that is, in such ways that the attainment of those targets can be met with resources currently or forseeably at their disposal. This not to say that human reasoning is so game-like as to be utterly tendentious. But it does make the point that the human player of the cognitive game has no general stake in accepting undertakings that he has no chance of making good on. Throughout its long history, the traditional fallacies have been characterized as mistakes that are attractive, universal and incorrigible. In the present essay, we want to begin developing an alternative understanding of the fallacies. We will suggest that, when they are actually employed by beings like us, they are defensible strategies in game-theoretically describable pursuit of cognitive (and other) ends. [less ▲]

A Model-Based Requirements Engineering Framework in an Automotive Certification Purpose

in Proceedings of the REFSQ 2011 Workshops REEW, EPICAL and RePriCo, the REFSQ 2011 Empirical Track (Empirical Live Experiment and Empirical Research Fair), and the REFSQ 2011 Doctoral Symposium (2009)

Influence of the microstructure on the stress state of solder joints dusing thermal cycling

in Proceedings of 10th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, EuroSimE 2009 (2009)

The lifetime of a solder joint is mainly determined by its creep behaviour. Creep arises from the stresses inside the solder joints as a consequence of the thermomechanical mismatch of the board and the ... [more ▼]

The lifetime of a solder joint is mainly determined by its creep behaviour. Creep arises from the stresses inside the solder joints as a consequence of the thermomechanical mismatch of the board and the substrate. The stress state is heavily influenced by the anisotropy of tin. To understand the damage process in solder joints, the influence of the anisotropic microstructure must be understood. In this paper the influence of different grain sizes, shapes and orientations on the stress state is evaluated, based on numerical experiments. [less ▲]

Screening for cognitive impairments in primary health care using the 6 item cognitive impairment test: a collaborative study between Italy and Greece

in Swiss Medical Weekly (2009), 139(33-34), 35--35