Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Peer Reviewed
See detailConsiderations on Dynamic Pricing in Carsharing Operations
Giorgione, Giulio UL; Viti, Francesco UL

Scientific Conference (2021, May)

Detailed reference viewed: 16 (2 UL)
Full Text
Peer Reviewed
See detailConsistent Estimation of Gibbs Energy Using Component Contributions
Noor, Elad; Haraldsdottir, Hulda UL; Milo, Ron et al

in PLoS Computational Biology (2013), 9(7), 1003098

Standard Gibbs energies of reactions are increasingly being used in metabolic modeling for applying thermodynamic constraints on reaction rates, metabolite concentrations and kinetic parameters. The ... [more ▼]

Standard Gibbs energies of reactions are increasingly being used in metabolic modeling for applying thermodynamic constraints on reaction rates, metabolite concentrations and kinetic parameters. The increasing scope and diversity of metabolic models has led scientists to look for genome-scale solutions that can estimate the standard Gibbs energy of all the reactions in metabolism. Group contribution methods greatly increase coverage, albeit at the price of decreased precision. We present here a way to combine the estimations of group contribution with the more accurate reactant contributions by decomposing each reaction into two parts and applying one of the methods on each of them. This method gives priority to the reactant contributions over group contributions while guaranteeing that all estimations will be consistent, i.e. will not violate the first law of thermodynamics. We show that there is a significant increase in the accuracy of our estimations compared to standard group contribution. Specifically, our cross-validation results show an 80% reduction in the median absolute residual for reactions that can be derived by reactant contributions only. We provide the full framework and source code for deriving estimates of standard reaction Gibbs energy, as well as confidence intervals, and believe this will facilitate the wide use of thermodynamic data for a better understanding of metabolism. [less ▲]

Detailed reference viewed: 201 (24 UL)
Full Text
Peer Reviewed
See detailConstructing IGA-suitable planar parameterization from complex CAD boundary by domain partition and global/local optimization
Xu, Gang; Li, Ming; Mourrain, Bernard et al

in Computer Methods in Applied Mechanics and Engineering (2018), 328

In this paper, we propose a general framework for constructing IGA-suitable planar B-spline parameterizations from given complex CAD boundaries. Instead of the computational domain bounded by four B ... [more ▼]

In this paper, we propose a general framework for constructing IGA-suitable planar B-spline parameterizations from given complex CAD boundaries. Instead of the computational domain bounded by four B-spline curves, planar domains with high genus and more complex boundary curves are considered. Firstly, some pre-processing operations including B´ezier extraction and subdivision are performed on each boundary curve in order to generate a high-quality planar parameterization; then a robust planar domain partition framework is proposed to construct high-quality patch-meshing results with few singularities from the discrete boundary formed by connecting the end points of the resulting boundary segments. After the topology information generation of quadrilateral decomposition, the optimal placement of interior B´ezier curves corresponding to the interior edges of the quadrangulation is constructed by a global optimization method to achieve a patch-partition with high quality. Finally, after the imposition of C1/G1-continuity constraints on the interface of neighboring Bezier patches with respect to each quad in the quadrangulation, the high-quality Bezier patch parameterization is obtained by a local optimization method to achieve uniform and orthogonal iso-parametric structures while keeping the continuity conditions between patches. The efficiency and robustness of the proposed method are demonstrated by several examples which are compared to results obtained by the skeleton-based parameterization approach. [less ▲]

Detailed reference viewed: 136 (7 UL)
See detailA constructive conditional logic for access control: a preliminary report
Genovese, Valerio UL; Giordano, Laura; Gliozzi, Valentina et al

in ECAI 2010 (2010)

We define an Intuitionistic Conditional Logic for Access Control called CICL. The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few ... [more ▼]

We define an Intuitionistic Conditional Logic for Access Control called CICL. The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic CICL, and we prove that the axiomatization is sound and complete with respect to the semantics. [less ▲]

Detailed reference viewed: 31 (0 UL)
Full Text
Peer Reviewed
See detailConstructive Synchronization of Networked Feedback Systems
Hamadeh, A.; Stan, G. B.; Goncalves, Jorge UL

in The proceedings of the 49th IEEE Conference on Decision and Control (CDC) (2010)

This paper is concerned with global asymptotic output synchronization in networks of identical feedback systems. Using an operator theoretic approach based on an incremental small gain theorem, the method ... [more ▼]

This paper is concerned with global asymptotic output synchronization in networks of identical feedback systems. Using an operator theoretic approach based on an incremental small gain theorem, the method reformulates the synchronization problem as one of achieving incremental stability using a coupling operator that plays the role of an incrementally stabilizing feedback. In this way, conditions on static or dynamic coupling operators that achieve output synchronization of nodes of arbitrary structure are derived. These conditions lead to a methodology for the construction of coupling architectures that ensure output synchronization of a wide range of systems. The result is illustrated for a network of biochemical oscillators. [less ▲]

Detailed reference viewed: 82 (0 UL)
Full Text
Peer Reviewed
See detailContact between shear-deformable beams with elliptical cross-sections
Magliulo, Marco UL; Zilian, Andreas UL; Beex, Lars UL

in Acta Mechanica (2020), 231

Slender constituents are present in many structures and materials. In associated mechanical models, each slender constituent is often described with a beam. Contact between beams is essential to ... [more ▼]

Slender constituents are present in many structures and materials. In associated mechanical models, each slender constituent is often described with a beam. Contact between beams is essential to incorporate in mechanical models, but associated contact frameworks are only demonstrated to work for beams with circular cross-sections. Only two studies have shown the ability to treat contact between beams with elliptical cross-sections, but those frameworks are limited to point-wise contact, which narrows their applicability. This contribution presents initial results of a framework for shear-deformable beams with elliptical cross-sections if contact occurs along a line or at an area (instead of at a point). This is achieved by integrating a penalty potential over one of the beams’ surfaces. Simo-Reissner Geometrically Exact Beam (GEB) elements are employed to discretise each beam. As the surface of an assembly of such beam elements is discontinuous, a smoothed surface is introduced to formulate the contact kinematics. This enables the treatment of contact for large sliding displacements and substantial deformations. [less ▲]

Detailed reference viewed: 147 (7 UL)
Full Text
Peer Reviewed
See detailContinuous Glucose Monitoring: Using CGM to Guide Insulin Therapy Virtual Trials Results
Mombaerts, Laurent UL; Thomas, Felicity; Signal, Matthew et al

in IFAC-PapersOnLine (2015)

Continuous glucose monitoring (CGM) devices can measure blood glucose levels through interstitial measurements almost continuously (1-5min sampling period). However, they are not as accurate as glucose ... [more ▼]

Continuous glucose monitoring (CGM) devices can measure blood glucose levels through interstitial measurements almost continuously (1-5min sampling period). However, they are not as accurate as glucose readings from blood measurements. The relation between tissue and blood glucose is dynamic and the sensor signal can degrade over time. In addition, CGM readings contains high frequency noise and can drift between measurements. However, maintaining continuous glucose monitoring has the potential to improve the level of glycemic control achieved and reduce nurse workload. For this purpose, a simple model was designed and tested to see the effect of inherent CGM error on the insulin therapy protocol, STAR (Stochastic TARgeted). An error model was generated from 9 patients that had one Guardian Real-Time CGM device (Medtronic Minimed, Northridge, CA, USA) inserted into their abdomen as part of an observation trial assesing the accuracy of CGM measurements compared to a blood gas analyser and glucometer readings. A resulting error model was then used to simulate the outcomes if the STAR protocol was guided by CGM values on 183 virtual patients. CGM alarms for hyper- and hypo-glycaemic region were included to improve patient safety acting as 'guardrails'. The STAR CGM protocol gave good performance and reduced workload by ~50%, reducing the number of measurements per day per patient from 13 to 7. The number of hypoglycaemic events increased compared to the current STAR from 0.03% <2.2mmol/L to 0.32%. However, in comparison to other published protocols it is still a very low level of hypoglycaemia and less than clinically acceptable value of 5% <4.0mmol/L. More importantly this study shows great promise for the future of CGM and their use in clinic. With the a newer generation of sensors, specifically designed for the ICU, promising less noise and drift suggesting that a reduced nurse workload without compromising safety or performance is with in reach. [less ▲]

Detailed reference viewed: 81 (4 UL)
Full Text
Peer Reviewed
See detailA Contribution to Cyber-Physical Systems Security: an Event-based Attack-tolerant Control Approach
Bezzaoucha, Souad UL; Voos, Holger UL

in Proceedings of 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS 2018 (2018, August 29)

In the present paper, a model-based fault/attack tolerant scheme is proposed to deal with cyber-threats on Cyber Physicals Systems. A common scheme based on observers is designed and a state feedback ... [more ▼]

In the present paper, a model-based fault/attack tolerant scheme is proposed to deal with cyber-threats on Cyber Physicals Systems. A common scheme based on observers is designed and a state feedback control based on an event-triggered framework is given with control synthesis and condition on the switching time. An event-based implementation is proposed in order to achieve novel security strategy. Observer and controller gains are deduced by solving su cient Bilinear Matrix Inequality (BMI) condition. Simulation results on a real-time laboratory three tank system are given to show the attack-tolerant control ability despite data deception attacks on both actuators and sensors. [less ▲]

Detailed reference viewed: 203 (22 UL)
Full Text
Peer Reviewed
See detailA contribution to Cyber-Security of Networked Control Systems: an Event-based Control Approach
Bezzaoucha, Souad UL; Voos, Holger UL; Darouach, Mohamed

in Proceedings of 2017 3rd International Conference on Event-Based Control, Communication and Signal Processing (EBCCSP 2017) (2017, May)

In the present paper, a networked control system under both cyber and physical attacks is considered. An adapted formulation of the problem under physical attacks, data deception and false data injection ... [more ▼]

In the present paper, a networked control system under both cyber and physical attacks is considered. An adapted formulation of the problem under physical attacks, data deception and false data injection attacks, is used for controller synthesis. Based on the classical fault tolerant detection (FTD) tools, a residual generator for attack/fault detection based on observers is proposed. An event-triggered and Bilinear Matrix Inequality (BMI) implementation is proposed in order to achieve novel and better security strategy. The purpose in using this implementation would be to reduce (limit) the total number of transmissions to only instances when the networked control system (NCS) needs attention. It is important to note that the main contribution of this paper is to establish the adequate event-triggered and BMI-based methodology so that the particular structure of the mixed attacked/faulty structure can be re-formulated within the classical FTD paradigm. Experimental results are given to illustrate the developed approach efficiency on a pilot three-tank system. The plant model is presented and the proposed control design is applied to the system. [less ▲]

Detailed reference viewed: 161 (4 UL)
Peer Reviewed
See detailControl Theory and Systems Biology
Goncalves, Jorge UL; Warnick, S.

in Iglesias, P. A.; Ingalls, B. P. (Eds.) Dynamical structure Functions in Network Reconstruction (2009)

Presenting a control-theoretic treatment of stoichiometric systems, ... local parametric sensitivity analysis, the two approaches yield identical results. ...

Detailed reference viewed: 172 (4 UL)
See detailControl theory methods for macro models with stochastic micro foundations
Tonita, R. J.; Goncalves, Jorge UL; Lestas, I. C. et al

Scientific Conference (2008)

Detailed reference viewed: 47 (0 UL)
Full Text
Peer Reviewed
See detailControllability of transportation networks
Rinaldi, Marco UL

in Transportation Research. Part B, Methodological (2018), 118

Network-wide traffic control policies determine the optimal values for the different kinds of controllers equipped on a transportation network, with the objective of reducing de- lays and congestion ... [more ▼]

Network-wide traffic control policies determine the optimal values for the different kinds of controllers equipped on a transportation network, with the objective of reducing de- lays and congestion, improving safety and reaching a target Level of Service. While models and algorithms for these problems have been extensively studied in literature, little at- tention has been devoted to investigating whether/how different locations, kinds (pricing controllers, traffic lights, ...) and amounts of controllers in a network affect the overall performance of network-wide schemes. In this work, we adapt the control-theoretical approach of controllability of complex networks to the specific instance of transportation networks, considering both propaga- tion/spillback dynamics and users’ behavior in terms of route choice. Thanks to the newly developed methodology, we then provide exact solutions to the Full Controllability Pric- ing Controller Location Problem for transportation networks. Comparing different pricing controller location policies through two artificial test cases, we empirically demonstrate how indeed the amount and kind of controllers in a network strongly affect the level of performance reachable by network-wide control policies, specifically in terms of Total Cost minimization. [less ▲]

Detailed reference viewed: 89 (4 UL)
Full Text
Peer Reviewed
See detailControllability of transportation networks
Rinaldi, Marco UL; Viti, Francesco UL

Scientific Conference (2018, September)

Detailed reference viewed: 88 (0 UL)
Full Text
See detailConventional EO Satellites vs. CubeSats; FDL - AI flood detection onboard a Nano Satellite
Backes, Dietmar UL; Schumann, Guy; Teferle, Felix Norman UL

Scientific Conference (2019, December 11)

Detailed reference viewed: 63 (2 UL)
Full Text
Peer Reviewed
See detailCoordinating merging public transport operations using holding control strategies
Laskaris, Georgios UL; Cats, Oded; Jenelius, Erik et al

Scientific Conference (2017, September 12)

Detailed reference viewed: 45 (1 UL)
Full Text
Peer Reviewed
See detailCoping with turn-taking:Investigating breakdowns in human-robot interaction from a Conversation Analysis (CA) perspective
Arend, Béatrice UL; Sunnen, Patrick UL

in Proceedings: The 8th International Conference on Society and Information Technologies (2017, March)

Detailed reference viewed: 108 (1 UL)
Full Text
Peer Reviewed
See detailThe CORONA Business in Modern Cities
Vitello, Piergiorgio UL; Capponi, Andrea UL; Klopp, Pol et al

Poster (2020, November)

As a response to the global outbreak of the SARS-COVID-19 pandemic, authorities have enforced a number of measures including social distancing, travel restrictions that lead to the “temporary” closure of ... [more ▼]

As a response to the global outbreak of the SARS-COVID-19 pandemic, authorities have enforced a number of measures including social distancing, travel restrictions that lead to the “temporary” closure of activities stemming from public services, schools, industry to local businesses. In this poster we draw the attention to the impact of such measures on urban environments and activities. For this, we use crowdsensed information available from datasets like Google Popular Times and Apple Maps to shed light on the changes undergone during the outbreak and the recovery [less ▲]

Detailed reference viewed: 169 (7 UL)
Full Text
Peer Reviewed
See detailCorotational cut finite element method for real-time surgical simulation: Application to needle insertion simulation
Bui, Huu Phuoc UL; Tomar, Satyendra UL; Bordas, Stéphane UL

in Computer Methods in Applied Mechanics and Engineering (2018), 345

We present the corotational cut Finite Element Method (FEM) for real-time surgical simulation. The only requirement of the proposed method is a background mesh, which is not necessarily conforming to the ... [more ▼]

We present the corotational cut Finite Element Method (FEM) for real-time surgical simulation. The only requirement of the proposed method is a background mesh, which is not necessarily conforming to the boundaries/interfaces of the simulated object. The details of the surface, which can be directly obtained from binary images, are taken into account by a multilevel embedding algorithm which is applied to elements of the background mesh that are cut by the surface. Dirichlet boundary conditions can be implicitly imposed on the surface using Lagrange multipliers, whereas traction or Neumann boundary conditions, which is/are applied on parts of the surface, can be distributed to the background nodes using shape functions. The implementation is verified by convergences studies, of the geometry and of numerical solutions, which exhibit optimal rates. To verify the reliability of the method, it is applied to various needle insertion simulations (e.g. for biopsy or brachytherapy) into brain and liver models. The numerical results show that, while retaining the accuracy of the standard FEM, the proposed method can (1) make the discretisation independent from geometric description, (2) avoid the complexity of mesh generation for complex geometries, and (3) provide computational speed suitable for real-time simulations. Thereby, the proposed method is very suitable for patient-specific simulations as it improves the simulation accuracy by automatically, and properly, taking the simulated geometry into account, while keeping the low computational cost. [less ▲]

Detailed reference viewed: 52 (0 UL)
Full Text
Peer Reviewed
See detailCorrect biological timing in Arabidopsis requires multiple light-signaling pathways.
Dalchau, N.; Hubbard, K. E.; Robertson, F. C. et al

in Proceedings of the National Academy of Sciences of the United States of America (2010), 107(29), 13171-13176

Circadian oscillators provide rhythmic temporal cues for a range of biological processes in plants and animals, enabling anticipation of the day/night cycle and enhancing fitness-associated traits. We ... [more ▼]

Circadian oscillators provide rhythmic temporal cues for a range of biological processes in plants and animals, enabling anticipation of the day/night cycle and enhancing fitness-associated traits. We have used engineering models to understand the control principles of a plant's response to seasonal variation. We show that the seasonal changes in the timing of circadian outputs require light regulation via feed-forward loops, combining rapid light-signaling pathways with entrained circadian oscillators. Linear time-invariant models of circadian rhythms were computed for 3,503 circadian-regulated genes and for the concentration of cytosolic-free calcium to quantify the magnitude and timing of regulation by circadian oscillators and light-signaling pathways. Bioinformatic and experimental analysis show that rapid light-induced regulation of circadian outputs is associated with seasonal rephasing of the output rhythm. We identify that external coincidence is required for rephasing of multiple output rhythms, and is therefore important in general phase control in addition to specific photoperiod-dependent processes such as flowering and hypocotyl elongation. Our findings uncover a fundamental design principle of circadian regulation, and identify the importance of rapid light-signaling pathways in temporal control. [less ▲]

Detailed reference viewed: 100 (2 UL)