Browse ORBi

- What it is and what it isn't
- Green Road / Gold Road?
- Ready to Publish. Now What?
- How can I support the OA movement?
- Where can I learn more?

ORBi

KE Tableaux for Public Announcement Logic de Boer, Mathijs Scientific Conference (2007, September 06) Public announcement logic (PAL) is a simple dynamic epistemic logic extending reasoning about knowledge of agents with a modal operator for simultaneous and transparent knowledge updates. This logic is no ... [more ▼] Public announcement logic (PAL) is a simple dynamic epistemic logic extending reasoning about knowledge of agents with a modal operator for simultaneous and transparent knowledge updates. This logic is no more expressive than epistemic logic (EL) without updates, but exhibits compact representation of a number of complex epistemic situations. A labeled tableau proof system to reason with these updates directly is presented here. This system can analyse and present well-known epistemic puzzles like `muddy children' and `three wise men'. Using the KE tableau system as a basis, the modal and propositional characteristics of epistemic updates can be separated. [less ▲] Detailed reference viewed: 78 (1 UL)Knowledge Based Systems Blessing, Lucienne in CAD/CAM Handbook (1990) Detailed reference viewed: 17 (0 UL)L2-gain of double integrators with saturation nonlinearity Goncalves, Jorge in Proceedings of the 15th IFAC World Congress (2002) This paper uses quadratic surface Lyapunov functions to efficiently check if a double integrator in feedback with a saturation nonlinearity has L2-gain less than gamma > 0. We show that for many of such ... [more ▼] This paper uses quadratic surface Lyapunov functions to efficiently check if a double integrator in feedback with a saturation nonlinearity has L2-gain less than gamma > 0. We show that for many of such systems, the L2-gain is non-conservative in the sense that they are approximately equal to the low erbound obtained by replacing the saturation with a constant gain of 1. These results allow the use of classical analysis tools like mu -analysis or IQCs to analyze systems with double integrators and saturations, including servo systems like some mechanical systems, satellites, hard-disks, CD players, etc. [less ▲] Detailed reference viewed: 93 (1 UL)L2-gain of double integrators with saturation nonlinearity Goncalves, Jorge in IEEE Transactions on Automatic Control (2002), 47(12), 2063-2068 This note uses quadratic surface Lyapunov functions (SuLFs) to efficiently check if a double integrator in feedback with a saturation nonlinearity has L -gain less than > 0. We show that for many such ... [more ▼] This note uses quadratic surface Lyapunov functions (SuLFs) to efficiently check if a double integrator in feedback with a saturation nonlinearity has L -gain less than > 0. We show that for many such systems, the L -gain is nonconservative in the sense that this is approximately equal to the lower bound obtained by replacing the saturation with a constant gain of 1. These results allow the use of classical analysis tools like -analysis or integral quadratic constraints to analyze systems with double integrators and saturations, including servo systems like some mechanical systems, satellites, hard disks, compact disk players, etc. [less ▲] Detailed reference viewed: 127 (0 UL)Lab Testing Beyond Usability: Challenges and Recommendations for Assessing User Experiences Lallemand, Carine ; Koenig, Vincent in Journal of Usability Studies (2017), 12(3), 133-154 In the “third wave” of human-computer interaction (HCI), the advent of the conceptual approach of UX broadens and changes the HCI landscape. Methods approved before, mainly within the conceptual approach ... [more ▼] In the “third wave” of human-computer interaction (HCI), the advent of the conceptual approach of UX broadens and changes the HCI landscape. Methods approved before, mainly within the conceptual approach of usability, are still widely used, and yet their adequacy for UX evaluation remains uncertain in many applications. Laboratory testing is undoubtedly the most prominent example of such a method. Hence, in this study, we investigated how the more comprehensive and emotional scope of UX can be assessed by laboratory testing. In this paper, we report on a use case study involving 70 participants. They first took part in user/laboratory tests and then were asked to evaluate their experience with the two systems (perceived UX) by filling out an AttrakDiff scale and a UX needs fulfillment questionnaire. We conducted post-test interviews to better understand participants’ experiences. We analyzed how the participants’ perceived UX depends on quantitative (e.g., task completion time, task sequence, level of familiarity with the system) and qualitative aspects (think aloud, debriefing interviews) within the laboratory context. Results indicate that the laboratory setting has a strong impact on the participants’ perceived UX, and support a discussion of the quality and limitations of laboratory evaluations regarding UX assessment. In this paper, we have identified concrete challenges and have provided solutions and tips useful for both practitioners and researchers who seek to account for the subjective, situated, and temporal nature of the UX in their assessments. [less ▲] Detailed reference viewed: 479 (13 UL)Large Eddy Simulations of the Influence of Piston Position on the Swirling Flow in a Model Two-Stroke Diesel Engine Obeidat, Anas ; ; et al in International Journal of Numerical Methods for Heat and Fluid Flow (2014), 24(2), 325-241 Detailed reference viewed: 107 (5 UL)Large scale phase field model of fracture and cutting in soft tissues ; Hale, Jack ; et al Scientific Conference (2015, July) The phase field method has proven to be an important tool in computational mechanics in that it is able to deal naturally with crack nucleation and branching [1]. In this contribution, we demonstrate a ... [more ▼] The phase field method has proven to be an important tool in computational mechanics in that it is able to deal naturally with crack nucleation and branching [1]. In this contribution, we demonstrate a large scale phase field model of fracture and cutting of soft tissues undergoing non-linear deformations with a material law defined by a hyperelastic energy density functional. We will also provide some initial thoughts on the how the effect of a porous medium can be incorporated into the phase field model. We implement this work using the FEniCS project and PETSc software packages [2, 3]. [less ▲] Detailed reference viewed: 254 (9 UL)Legal Ontology for Nexus: Water, Energy and Food in EU Regulations Rahman, Md Mizanur Doctoral thesis (2016) Objectives of the thesis are – (a) to identify the problems in water-energy-food nexus from ICT and Law point of view and to propose theoretically a legal knowledge framework for water-energy-food nexus ... [more ▼] Objectives of the thesis are – (a) to identify the problems in water-energy-food nexus from ICT and Law point of view and to propose theoretically a legal knowledge framework for water-energy-food nexus in order to reduce those problems technologically, (b) to construct and implement legal ontology for nexus extracted from EU water, energy and food Regulations in OWL 2 language, which is a part of the grater work of implementing legal knowledge framework for water-energy-food nexus pro-posed through the compilation of objective (a). Considering these objectives, this thesis presents total five chapters. Chapter 1 is dedicated to fulfill the requirement of objective (a) and the rest chapters are devoted for objective (b). More particularly chapter four presents technical descriptions of the legal ontology for nexus, while chapter two and three articulate methodological aspect of it. Chapter five evaluates legal ontology for nexus. Additionally, besides the list of references, annex 1 delivers all asserted restrictions used in this ontology and annex 2 provides the links of all modules and documentations of legal ontology for nexus. [less ▲] Detailed reference viewed: 463 (27 UL)Lessons learnt from a corporate car-sharing system: the case of the University of Luxembourg Viti, Francesco ; Kümpel, Katja Scientific Conference (2017, May) Detailed reference viewed: 71 (4 UL)Leveraging GIS Data and Topological Information to Infer Trip Chaining Behaviour at Macroscopic Level ; ; et al Scientific Conference (2019, June) One of the open challenges in transport modelling is to estimate within-day demand flows that reflect the complexity of individual activity-travel behaviour. While disaggregate (Activity-Based) demand ... [more ▼] One of the open challenges in transport modelling is to estimate within-day demand flows that reflect the complexity of individual activity-travel behaviour. While disaggregate (Activity-Based) demand models can recreate realistic daily mobility patterns at an individual level, they usually require an accurate knowledge of individual user behaviour (i.e. via travel surveys), which is not always available. As a result, practitioners often turn to aggregate demand models, that have the advantage of being less demanding in terms of data but typically under represent the demand for secondary activities. In this work, we take research on within-day demand modelling one step forward by proposing a framework that combines traditional methodologies with heterogeneous data sources in order to explicitly represent trip chaining at an aggregated level. We show that the combination of web-based crowd sensed data, network data and behavioural constraints allows to capture complex spatial and temporal correlations between demand patterns. The methodology is applied on the classical Gravity model to show how to incorporate within-day dynamics. Yet, any alternative demand model can be adopted. In our case, Generation and Attraction are used to estimate the systematic demand, that is enriched of information about individual activity patterns, and then a novel definition of impedance function based on Hagestraand ellipse theory plays a central role in spatially distributing locations of trips using geographic relationships and constraints deriving from space-time behaviour. A case study for Luxembourg City has been presented to show the potential of the methodology: the choice of using data from a different spatial context to account for the temporal dimension has been validated through comparisons with official statistics. The results of simulating a workplace relocation show the advantages of this new approach in representing demand related to secondary activities. [less ▲] Detailed reference viewed: 114 (8 UL)Leveraging state-of-the-art architectures by enriching training information - a case study ; ; et al Speeches/Talks (2021) Our working hypothesis is that key factors in COVID-19 imaging are the available imaging data and their label noise and confounders, rather than network architectures per se. Thus, we applied existing ... [more ▼] Our working hypothesis is that key factors in COVID-19 imaging are the available imaging data and their label noise and confounders, rather than network architectures per se. Thus, we applied existing state-of-the-art convolution neural network frameworks based on the U-Net architecture, namely nnU-Net [3], and focused on leveraging the available training data. We did not apply any pre-training nor modi ed the network architecture. First, we enriched training information by generating two additional labels for lung and body area. Lung labels were created with a public available lung segmentation network and weak body labels were generated by thresholding. Subsequently, we trained three di erent multi-class networks: 2-label (original background and lesion labels), 3-label (additional lung label) and 4-label (additional lung and body label). The 3-label obtained the best single network performance in internal cross-validation (Dice-Score 0.756) and on the leaderboard (Dice- Score 0.755, Haussdor 95-Score 57.5). To improve robustness, we created a weighted ensemble of all three models, with calibrated weights to optimise the ranking in Dice-Score. This ensemble achieved a slight performance gain in internal cross-validation (Dice-Score 0.760). On the validation set leaderboard, it improved our Dice-Score to 0.768 and Haussdor 95- Score to 54.8. It ranked 3rd in phase I according to mean Dice-Score. Adding unlabelled data from the public TCIA dataset in a student-teacher manner signi cantly improved our internal validation score (Dice-Score of 0.770). However, we noticed partial overlap between our additional training data (although not human-labelled) and nal test data and therefore submitted the ensemble without additional data, to yield realistic assessments. [less ▲] Detailed reference viewed: 25 (0 UL)LEXU II „Low Exergy Wall & Air Tempering for Building Refurbishment“ ; Scholzen, Frank Scientific Conference (2018, April 20) Detailed reference viewed: 48 (1 UL)Lifetime prediction for solder joints with the extended finite element method ; ; et al in Proceedings of 12th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, EuroSimE 2011 (2011) Predicting the lifetime of solder joints undergoing thermal cycling is crucial for the electronics industry in order to guarantee a certain performance of their products in the field. Semi-empirical ... [more ▼] Predicting the lifetime of solder joints undergoing thermal cycling is crucial for the electronics industry in order to guarantee a certain performance of their products in the field. Semi-empirical methods are often used to predict the average lifetime of the critical joints. However, to get a reliable failure probability the standard deviation must also be addressed. The deviation of the lifetime from the mean value is a consequence of the variation in microstructure found in actual joints. We therefore propose a new methodology that calculates crack growth based on microstructural features of the joint. A series of random microstructures is generated. Crack growth calculations are performed for each of these structures. The structural problem is solved numerically with the extended finite element method which allows a complete automation of the process. The mean crack length and standard deviation are calculated from the crack growth simulations and the result is compared to experimental data. [less ▲] Detailed reference viewed: 89 (1 UL)LINEAR BUCKLING ANALYSIS OF CRACKED ISOTROPIC PLATES USING THE EXTENDED FINITE ELEMENT METHOD ; ; et al Scientific Conference (2010, March) The behaviour of plate structures under compressive loads has been of great concern for engineering applications, especially in aeronautical and aerospace structures in which the demanding design of ... [more ▼] The behaviour of plate structures under compressive loads has been of great concern for engineering applications, especially in aeronautical and aerospace structures in which the demanding design of weight critical applications usually leads to stability problems. In this paper, the linear buckling problem of cracked isotropic plates is studied using the extended finite element method (XFEM). The mixed interpolation technique of the well-established MITC4 quadrilateral finite element with 12 standard degrees of freedom per element is used. The critical buckling load and mode shapes of simply supported square plates are computed as a function of crack length. [less ▲] Detailed reference viewed: 219 (0 UL)Linear buckling analysis of cracked plates by SFEM and XFEM ; ; Bordas, Stéphane et al in Journal of Mechanics of Material and Structures (2011), 6(9-10), 1213-1238 In this paper, the linear buckling problem for isotropic plates is studied using a quadrilateral element with smoothed curvatures and the extended finite element method. First, the curvature at each point ... [more ▼] In this paper, the linear buckling problem for isotropic plates is studied using a quadrilateral element with smoothed curvatures and the extended finite element method. First, the curvature at each point is obtained by a nonlocal approximation via a smoothing function. This element is later coupled with partition of unity enrichment to simplify the simulation of cracks. The proposed formulation suppresses locking and yields elements which behave very well, even in the thin plate limit. The buckling coefficient and mode shapes of square and rectangular plates are computed as functions of crack length, crack location, and plate thickness. The effects of different boundary conditions are also studied. © 2011 by Mathematical Sciences Publishers. [less ▲] Detailed reference viewed: 194 (0 UL)Linear identification of nonlinear systems: A lifting technique based on the Koopman operator Mauroy, Alexandre ; Goncalves, Jorge in Proceedings of the 55th IEEE Conference on Decision and Control (2016, December) We exploit the key idea that nonlinear system identification is equivalent to linear identification of the socalled Koopman operator. Instead of considering nonlinear system identification in the state ... [more ▼] We exploit the key idea that nonlinear system identification is equivalent to linear identification of the socalled Koopman operator. Instead of considering nonlinear system identification in the state space, we obtain a novel linear identification technique by recasting the problem in the infinite-dimensional space of observables. This technique can be described in two main steps. In the first step, similar to a component of the Extended Dynamic Mode Decomposition algorithm, the data are lifted to the infinite-dimensional space and used for linear identification of the Koopman operator. In the second step, the obtained Koopman operator is “projected back” to the finite-dimensional state space, and identified to the nonlinear vector field through a linear least squares problem. The proposed technique is efficient to recover (polynomial) vector fields of different classes of systems, including unstable, chaotic, and open systems. In addition, it is robust to noise, well-suited to model low sampling rate datasets, and able to infer network topology and dynamics. [less ▲] Detailed reference viewed: 155 (8 UL)A Linear Programming Approach to Parameter Fitting for the Master Equation ; Goncalves, Jorge in IEEE Transactions on Automatic Control (2009), 54(10), 2451-2455 This technical note proposes a new framework for the design of continuous time, finite state space Markov processes. In particular, we propose a paradigm for selecting an optimal matrix within a pre ... [more ▼] This technical note proposes a new framework for the design of continuous time, finite state space Markov processes. In particular, we propose a paradigm for selecting an optimal matrix within a pre-specified pencil of transition rate matrices. Given any transition rate matrix specifying the time-evolution of the Markov process, we propose a class of figures of merit that upper-bounds the long-term evolution of any statistical moment. We show that optimization with respect to the aforementioned class of cost functions is tractable via dualization and linear programming methods. In addition, we suggest how this approach can be used as a tool for the sub-optimal design of the master equation, with performance guarantees. Our results are applied to illustrative examples. [less ▲] Detailed reference viewed: 109 (1 UL)Linear smoothed extended finite element method ; ; et al E-print/Working paper (n.d.) The extended finite element method (XFEM) was introduced in 1999 to treat problems involving discontinuities with no or minimal remeshing through appropriate enrichment functions. This enables elements to ... [more ▼] The extended finite element method (XFEM) was introduced in 1999 to treat problems involving discontinuities with no or minimal remeshing through appropriate enrichment functions. This enables elements to be split by a discontinuity, strong or weak and hence requires the integration of discontinuous functions or functions with discontinuous derivatives over elementary volumes. Moreover, in the case of open surfaces and singularities, special, usually non-polynomial functions must also be integrated.A variety of approaches have been proposed to facilitate these special types of numerical integration, which have been shown to have a large impact on the accuracy and convergence of the numerical solution. The smoothed extended finite element method (SmXFEM) [1], for example, makes numerical integration elegant and simple by transforming volume integrals into surface integrals. However, it was reported in [1, 2] that the strain smoothing is inaccurate when non-polynomial functions are in the basis. This is due to the constant smoothing function used over the smoothing domains which destroys the effect of the singularity. In this paper, we investigate the benefits of a recently developed Linear smoothing procedure [3] which provides better approximation to higher order polynomial fields in the basis. Some benchmark problems in the context of linear elastic fracture mechanics (LEFM) are solved to compare the standard XFEM, the constant-smoothed XFEM (Sm-XFEM) and the linear-smoothed XFEM (LSm-XFEM). We observe that the convergence rates of all three methods are the same. The stress intensity factors (SIFs) computed through the proposed LSm-XFEM are however more accurate than that obtained through Sm-XFEM. To conclude, compared to the conventional XFEM, the same order of accuracy is achieved at a relatively low computational effort. [less ▲] Detailed reference viewed: 131 (3 UL)Linear smoothed extended finite element method for fatigue crack growth simulations ; ; et al in Engineering Fracture Mechanics (2018), 206 In this paper, the recently proposed linear smoothed extended finite element method (LSmXFEM) is employed to simulate the fatigue crack growth. Unlike the conventional extended finite element method, the ... [more ▼] In this paper, the recently proposed linear smoothed extended finite element method (LSmXFEM) is employed to simulate the fatigue crack growth. Unlike the conventional extended finite element method, the LSmXFEM does not require special numerical integration technique to integrate the terms in the stiffness matrix. The stress intensity factors (SIFs) are evaluated by using the domain form of the interaction integral technique. The fatigue crack growth rate is evaluated using the generalized Paris’ law in conjunction with the maximum hoop stress criterion. The robustness of the method is demonstrated with a few examples for which the results are available in the literature. Then, the fatigue crack growth from the numerical simulation is compared with the experimental investigations performed on CR5 grade cold formed steel. It is seen that the fatigue life and the crack path obtained from the proposed method is in close agreement with the experimental observation. [less ▲] Detailed reference viewed: 64 (0 UL)A linear smoothed higher-order CS-FEM for the analysis of notched laminated composites ; ; et al in Engineering Analysis with Boundary Elements (2017), 85 Higher-order elements with highly accurate solutions are attractive for stress analysis and stress concentration problems. However, the distorted eight-node serendipity quadrilateral element is known to ... [more ▼] Higher-order elements with highly accurate solutions are attractive for stress analysis and stress concentration problems. However, the distorted eight-node serendipity quadrilateral element is known to yield inaccurate re- sults and sub-optimal convergence rate. In this paper, we present a higher order CS-FEM to alleviate the effect of distorted mesh and guarantee the quality of solutions by employing a linear smoothing technique over eight-node quadratic serendipity elements. The modified. strain matrix is computed by the divergence theorem between the nodal shape functions and their derivatives using Taylor’s expansion of the weak form. The proposed method eliminates the need for isoparametric mapping and numerical studies demonstrate that the proposed method is insensitive to mesh distortion. The improved accuracy and superior convergence rates are numerically demon- strated with a few benchmark problems. The analysis of the stress concentration around cutouts also proves that the present method has good performance for the laminated composites. [less ▲] Detailed reference viewed: 121 (1 UL) |
||