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
Full Text
Peer Reviewed
See detailA Modular Model Composition Technique
Kelsen, Pierre UL; Ma, Qin UL

in 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010) (2010)

Detailed reference viewed: 78 (3 UL)
Full Text
Peer Reviewed
See detailA Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems
Kramer, Simon UL; Ryan, Peter UL

in 2011 International Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE) (2011)

We propose a modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems, i.e., a formal but intuitive specification of real-timed voting systems that are accountable (and ... [more ▼]

We propose a modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems, i.e., a formal but intuitive specification of real-timed voting systems that are accountable (and thus trustworthy) to their users. Our specification is expressed as a single but well-compounded formula in a logical language of temporal, epistemic, and provability modalities. The intuitiveness of the specification is the fruit of its modular and multi-modal form. This means that the specification can be appreciated compound-wise, as a logical conjunction of separate sub-requirements, each of which achieving the ideal of a formal transcription of a suitable natural-language formulation, thanks to powerful descriptive idioms in the form of our multiple modalities. The modular form reduces our proof of the satisfiability (consistency) and thus implementability of the specification to a proof by inspection, and induces the parallelisability of implementation-correctness verifications. The specification also pinpoints the implementation-specific part of particular voting systems, reuses a generic definition of accountability inducing trust in a formal sense, and, last but not least, counter-balances by its implementability some previous results about the contradictory conjunction of certain desirable property pairs of voting systems. So in some sense, ideal voting systems do exist. Our specific formalisation principles are agent correctness, i.e., the behavioural correctness of the voting-system-constituting agents, and data adequacy, i.e., the soundness and (relative) completeness of the voting data processed by the system. [less ▲]

Detailed reference viewed: 87 (2 UL)
Full Text
Peer Reviewed
See detailModular Neural Network and Classical Reinforcement Learning for Autonomous Robot Navigation: Inhibiting Undesirable Behaviors
Antonelo, Eric Aislan UL; Baerlvedt, Albert-Jan; Rognvaldsson, Thorsteinn et al

in The 2006 IEEE International Joint Conference on Neural Network Proceedings (2006)

Classical reinforcement learning mechanisms and a modular neural network are unified to conceive an intelligent autonomous system for mobile robot navigation. The conception aims at inhibiting two common ... [more ▼]

Classical reinforcement learning mechanisms and a modular neural network are unified to conceive an intelligent autonomous system for mobile robot navigation. The conception aims at inhibiting two common navigation deficiencies: generation of unsuitable cyclic trajectories and ineffectiveness in risky configurations. Different design apparatuses are considered to compose a system to tackle with these navigation difficulties, for instance: 1) neuron parameter to simultaneously memorize neuron activities and function as a learning factor, 2) reinforcement learning mechanisms to adjust neuron parameters (not only synapse weights), and 3) a inner-triggered reinforcement. Simulation results show that the proposed system circumvents difficulties caused by specific environment configurations, improving the relation between collisions and captures. [less ▲]

Detailed reference viewed: 36 (0 UL)
Peer Reviewed
See detailThe modular organization of domain structures: insights into protein-protein binding.
del Sol Mesa, Antonio UL; Carbonell, Pablo

in PLoS computational biology (2007), 3(12), 239

Domains are the building blocks of proteins and play a crucial role in protein-protein interactions. Here, we propose a new approach for the analysis and prediction of domain-domain interfaces. Our method ... [more ▼]

Domains are the building blocks of proteins and play a crucial role in protein-protein interactions. Here, we propose a new approach for the analysis and prediction of domain-domain interfaces. Our method, which relies on the representation of domains as residue-interacting networks, finds an optimal decomposition of domain structures into modules. The resulting modules comprise highly cooperative residues, which exhibit few connections with other modules. We found that non-overlapping binding sites in a domain, involved in different domain-domain interactions, are generally contained in different modules. This observation indicates that our modular decomposition is able to separate protein domains into regions with specialized functions. Our results show that modules with high modularity values identify binding site regions, demonstrating the predictive character of modularity. Furthermore, the combination of modularity with other characteristics, such as sequence conservation or surface patches, was found to improve our predictions. In an attempt to give a physical interpretation to the modular architecture of domains, we analyzed in detail six examples of protein domains with available experimental binding data. The modular configuration of the TEM1-beta-lactamase binding site illustrates the energetic independence of hotspots located in different modules and the cooperativity of those sited within the same modules. The energetic and structural cooperativity between intramodular residues is also clearly shown in the example of the chymotrypsin inhibitor, where non-binding site residues have a synergistic effect on binding. Interestingly, the binding site of the T cell receptor beta chain variable domain 2.1 is contained in one module, which includes structurally distant hot regions displaying positive cooperativity. These findings support the idea that modules possess certain functional and energetic independence. A modular organization of binding sites confers robustness and flexibility to the performance of the functional activity, and facilitates the evolution of protein interactions. [less ▲]

Detailed reference viewed: 67 (1 UL)
Full Text
Peer Reviewed
See detailModular recursive Green's function method for ballistic quantum transport
Rotter, S.; Tang, J. Z.; Wirtz, Ludger UL et al

in Physical Review B (2000), 62(3), 1950-1960

A modification of the standard recursive Green's function method for quantum transport through microstructures is presented which is based on the decomposition into separable substructures. The Green's ... [more ▼]

A modification of the standard recursive Green's function method for quantum transport through microstructures is presented which is based on the decomposition into separable substructures. The Green's functions for these modules are joined by discretized Dyson equations. Nonseparable structures can thereby be calculated with the help of a few recursions with high accuracy. We apply this method to the calculation of ballistic quantum transport through a circular and stadium-shaped quantum dot for high mode numbers to test semi-classical predictions in detail. Among other results we find the breakdown of the semiclassical approximation for long path lengths which is due to the spreading of wave packets in the cavity. [less ▲]

Detailed reference viewed: 85 (0 UL)
Full Text
Peer Reviewed
See detailModular reservoir computing networks for imitation learning of multiple robot behaviors
Waegeman, Tim; Antonelo, Eric Aislan UL; wyffels, Francis et al

in Proc. of the 2009 IEEE International Symposium on Computational Intelligence in Robotics and Automation - (CIRA) (2009)

Autonomous mobile robots must accomplish tasks in unknown and noisy environments. In this context, learning robot behaviors in an imitation based approach would be desirable in the perspective of service ... [more ▼]

Autonomous mobile robots must accomplish tasks in unknown and noisy environments. In this context, learning robot behaviors in an imitation based approach would be desirable in the perspective of service robotics as well as of learning robots. In this work, we use Reservoir Computing (RC) for learning robot behaviors by demonstration. In RC, a randomly generated recurrent neural network, the reservoir, projects the input to a dynamic temporal space. The reservoir states are mapped into a readout output layer which is the solely part being trained using standard linear regression. In this paper, we use a two layered modular structure, where the first layer comprises two RC networks, each one for learning primitive behaviors, namely, obstacle avoidance and target seeking. The second layer is composed of one RC network for behavior combination and coordination. The hierarchical RC network learns by examples given by simple controllers which implement the primitive behaviors. We use a simulation model of the e-puck robot which has distance sensors and a camera that serves as input for our system. The experiments show that, after training, the robot learns to coordinate the Goal Seeking (GS) and the Object Avoidance (OA) behaviors in unknown environments, being able to capture targets and navigate efficiently. [less ▲]

Detailed reference viewed: 41 (2 UL)
See detailModulare Galois-Darstellungen und Computeralgebra
Wiese, Gabor UL

Scientific Conference (2012, May 12)

Detailed reference viewed: 21 (0 UL)
Full Text
Peer Reviewed
See detailModularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management
Nguyen, Phu Hong UL; Nain, Grégory UL; Klein, Jacques UL et al

in Transactions on Aspect-Oriented Software Development (2014), 11

Model-Driven Security (Mds) is a specialized Model-Driven Engineering (Mde) approach for supporting the development of secure systems. Model-Driven Security aims at improving the productivity of the ... [more ▼]

Model-Driven Security (Mds) is a specialized Model-Driven Engineering (Mde) approach for supporting the development of secure systems. Model-Driven Security aims at improving the productivity of the development process and quality of the resulting secure systems, with models as the main artifact. Among the variety of models that have been studied in a Model-Driven Security perspective, one canmention access control models that specify the access rights. So far, these models mainly focus on static definitions of access control policies, without taking into account the more complex, but essential, delegation of rights mechanism. Delegation is a meta-level mechanism for administrating access rights, which allows a user without any specific administrative privileges to delegate his/her access rights to another user. This paper gives a formalization of access control and delegation mechanisms, and analyses the main hard-points for introducing various advanced delegation semantics in Model-Driven Security. Then, we propose a modular model-driven framework for 1) specifying access control, delegation and the business logic as separate concerns; 2) dynamically enforcing/weaving access control policies with various delegation features into security-critical systems; and 3) providing a flexibly dynamic adaptation strategy.We demonstrate the feasibility and effectiveness of our proposed solution through the proof-of-concept implementations of different component-based systems running on different adaptive execution platforms, i.e. OSGi and Kevoree. [less ▲]

Detailed reference viewed: 177 (6 UL)
See detailModularity of certain 2-dimensional mod p^n representations of Gal(Qbar/Q
Adibhatla, Rajender UL

Presentation (2013, March 07)

For an odd rational prime p and integer n>1, we consider certain continuous representations rho_n of G_Q into GL_2(Z/p^nZ) with fixed determinant, whose local restrictions "look" like they arise from ... [more ▼]

For an odd rational prime p and integer n>1, we consider certain continuous representations rho_n of G_Q into GL_2(Z/p^nZ) with fixed determinant, whose local restrictions "look" like they arise from modular Galois representations, and whose mod p reductions are odd and irreducible. Under suitable hypotheses on the size of their images, we use deformation theory to lift rho_n to rho in characteristic 0. We then invoke a modularity lifting theorem of Skinner-Wiles to show that rho is modular. [less ▲]

Detailed reference viewed: 35 (0 UL)
Full Text
See detailModularity of certain mod p^n Galois representations
Adibhatla, Rajender UL

E-print/Working paper (2012)

For a rational prime $p \geq 3$ and an integer $n \geq 2$, we study the modularity of continuous $2$-dimensional mod $p^n$ Galois representations of $\Gal(\overline{\Q}/\Q)$ whose residual representations ... [more ▼]

For a rational prime $p \geq 3$ and an integer $n \geq 2$, we study the modularity of continuous $2$-dimensional mod $p^n$ Galois representations of $\Gal(\overline{\Q}/\Q)$ whose residual representations are odd and absolutely irreducible. Under suitable hypotheses on the local structure of these representations and the size of their images we use deformation theory to construct characteristic $0$ lifts. We then invoke modularity lifting results to prove that these lifts are modular. As an application, we show that certain unramified mod $p^n$ Galois representations arise from modular forms of weight $p^{n-1}(p-1)+1$. [less ▲]

Detailed reference viewed: 31 (0 UL)
Full Text
Peer Reviewed
See detailA Modularization Approach for Nonlinear Model Predictive Control of Distributed Fast Systems
Dentler, Jan Eric UL; Kannan, Somasundar UL; Olivares Mendez, Miguel Angel UL et al

in 24th Mediterranean Conference on Control and Automation (MED), Athens, Greece, June 21-24, 2016 (2016, June 22)

Distributed interconnected systems are omnipresent today. The development of advanced control methods for such systems are still challenging. Herein, the real-time applicability, flexibility, portability ... [more ▼]

Distributed interconnected systems are omnipresent today. The development of advanced control methods for such systems are still challenging. Herein, the real-time applicability, flexibility, portability and ease of implementation are issues of the existing control solutions, especially for more advanced methods such as model predictive control. This paper is addressing these issues by presenting an efficient modular composition scheme for distributed fast nonlinear systems. The advantage of this modularization approach is the capability of changing control objectives, constraints, dynamics and system topology online while maintaining fast computation. This work analyzes the functions that have to be provided for a continuation generalized minimal residual method (CGMRES) model predictive controller based on the underlying control problem. The specific structure of these functions allows their decomposition into suitable fast modules. These modules are then used to recompose the functions which are required for the control of distributed systems in a computational efficient way, while maintaining the flexibility to dynamically exchange system parts. To validate this computational efficiency, the computation time of the proposed modular control approach is compared with a standard nonmodular implementation in a pursuit scenario of quadrotor unmanned aerial vehicles (UAV). Furthermore the real-time applicability is discussed for the given scenario. [less ▲]

Detailed reference viewed: 213 (31 UL)
Full Text
Peer Reviewed
See detailModulated photocurrent experiments-comparison of different data treatments
Luckas, Jennifer Maria UL; Longeaud; Siebentritt, Susanne UL

in JOURNAL OF APPLIED PHYSICS (2014), 116

Detailed reference viewed: 119 (2 UL)
Full Text
Peer Reviewed
See detailModulated two-level system: Exact work statistics
Verley, Gatien UL; Van den Broeck, C.; Esposito, Massimiliano UL

in Physical Review. E : Statistical, Nonlinear, and Soft Matter Physics (2013), 88

We consider an open two-level system driven by a piecewise constant periodic field and described by a rate equation with Fermi, Bose, and Arrhenius rates, respectively. We derive an analytical expression ... [more ▼]

We consider an open two-level system driven by a piecewise constant periodic field and described by a rate equation with Fermi, Bose, and Arrhenius rates, respectively. We derive an analytical expression for the generating function and large deviation function of the work performed by the field and show that a work fluctuation theorem holds. [less ▲]

Detailed reference viewed: 124 (7 UL)
Full Text
Peer Reviewed
See detailModulation and Coding Classification for Adaptive Power Control in 5G Cognitive Communications
Tsakmalis, Anestis UL; Chatzinotas, Symeon UL; Ottersten, Björn UL

in Proceedings of IEEE International Workshop on Signal Processing Advances in Wireless Communications 2014 (2014)

Detailed reference viewed: 179 (15 UL)
Peer Reviewed
See detailModulation by cADPr of Ca2+ mobilization and oxidative response in dimethylsulfoxide- or retinoic acid-differentiated HL-60 cells
Bréchard, Sabrina UL; Brunello, A.; Bueb, Jean-Luc UL et al

in Biochimica et Biophysica Acta (2006), 1763(1), 129-36

In human phagocytic cells, reactive oxygen species (ROS) generation in response to N-formyl-L-Methionyl-L-Leucyl-L-Phenylalanine (fMLF) is largely dependent on cytosolic free calcium concentration ([Ca2 ... [more ▼]

In human phagocytic cells, reactive oxygen species (ROS) generation in response to N-formyl-L-Methionyl-L-Leucyl-L-Phenylalanine (fMLF) is largely dependent on cytosolic free calcium concentration ([Ca2+]i). Cyclic ADP-ribose (cADPr) is able to regulate Ca2+ release from intracellular stores through the ryanodine receptor but its potential role in biological responses has so far not been determined. In this study, we examined whether extracellular and intracellular cADPr is required in fMLF-induced [Ca2+]i rise and consequently in the oxidative response in human neutrophil-like HL-60 cells differentiated with dimethylsulfoxide or all-trans-retinoic acid (ATRA). We establish that extracellular cADPr cannot elicit [Ca2+]i elevation. Furthermore, we demonstrate that 8-Br-cADPr, a functional antagonist of cADPr, inhibits Ca2+ entry into HL-60 cells differentiated with ATRA and stimulated with fMLF (95+/-4 and 148+/-5 nM respectively, n=3). Finally, we show that this partial inhibition of Ca2+ mobilization is unrelated to ROS production (10.0+/-0.3 vs. 9.6+/-0.5 A.U., n=3). In conclusion, we showed that cADPr can control fMLF-induced Ca2+ influx but is unable to regulate a Ca2+-dependent biological response, i.e. H2O2 production. [less ▲]

Detailed reference viewed: 86 (1 UL)
See detailModulation der Schreckreaktion durch viszeral-afferente Signale aus dem kardialen und respiratorischen System
Schulz, André UL; Schilling, T. M.; Schächinger, H.

in Pauli, P.; Kübler, A.; Hewig, J. (Eds.) et al 39. Tagung Psychologie und Gehirn - Abstracts (2013)

Detailed reference viewed: 37 (1 UL)
Full Text
Peer Reviewed
See detailThe modulation of Amyotrophic Lateral Sclerosis risk by ataxin-2 intermediate polyglutamine expansions is a specific effect.
Gispert, Suzana; Kurz, Alexander; Waibel, Stefan et al

in Neurobiology of disease (2012), 45(1), 356-61

Full expansions of the polyglutamine domain (polyQ>/=34) within the polysome-associated protein ataxin-2 (ATXN2) are the cause of a multi-system neurodegenerative disorder, which usually presents as a ... [more ▼]

Full expansions of the polyglutamine domain (polyQ>/=34) within the polysome-associated protein ataxin-2 (ATXN2) are the cause of a multi-system neurodegenerative disorder, which usually presents as a Spino-Cerebellar Ataxia and is therefore known as SCA2, but may rarely manifest as Levodopa-responsive Parkinson syndrome or as motor neuron disease. Intermediate expansions (27</=polyQ</=33) were reported to modify the risk of Amyotrophic Lateral Sclerosis (ALS). We have now tested the reproducibility and the specificity of this observation. In 559 independent ALS patients from Central Europe, the association of ATXN2 expansions (30</=polyQ</=35) with ALS was highly significant. The study of 1490 patients with Parkinson's disease (PD) showed an enrichment of ATXN2 alleles 27/28 in a subgroup with familial cases, but the overall risk of sporadic PD was unchanged. No association was found between polyQ expansions in Ataxin-3 (ATXN3) and ALS risk. These data indicate a specific interaction between ATXN2 expansions and the causes of ALS, possibly through altered RNA-processing as a common pathogenic factor. [less ▲]

Detailed reference viewed: 111 (1 UL)
Peer Reviewed
See detailModulation of anti-apoptotic and survival pathways by curcumin as a strategy to induce apoptosis in cancer cells
Reuter, Simone; Eifes, Serge UL; Dicato, Mario et al

in Biochemical Pharmacology (2008), 76(11), 1340-51

Apoptosis is a highly regulated mechanism by which cells undergo cell death in an active way. As one of the most challenging tasks concerning cancer is to induce apoptosis in malignant cells, researchers ... [more ▼]

Apoptosis is a highly regulated mechanism by which cells undergo cell death in an active way. As one of the most challenging tasks concerning cancer is to induce apoptosis in malignant cells, researchers increasingly focus on natural products to modulate apoptotic signaling pathways. Curcumin, a natural compound isolated from the plant Curcuma longa, has chemopreventive properties, which are mainly due to its ability to arrest cell cycle and to induce apoptosis. This article reviews the main effects of curcumin on the different apoptotic signaling pathways involved in curcumin-induced apoptosis of cancer cells, including the intrinsic and extrinsic apoptosis pathways, the NF-kappaB-mediated pathway as well as the PI3K/Akt signaling pathway. This review also focuses on the sensitization of cells to TRAIL-induced apoptosis after curcumin treatment and shows that curcumin enhances the capacity to induce cell death of different chemotherapeutical drugs. [less ▲]

Detailed reference viewed: 46 (0 UL)
Peer Reviewed
See detailModulation of cardiac hypertrophy by estrogens.
Pelzer, T.; Shamim, A.; Wolfges, S. et al

in Zanchetti, Alberto; Devereux, Richard B.; Hansson, Lennart (Eds.) et al Hypertension and the Heart (1997)

Gender-specific differences in heart disease have long been known but it has only been since the advent of molecular biology that it has become possible to investigate the molecular mechanisms. Most ... [more ▼]

Gender-specific differences in heart disease have long been known but it has only been since the advent of molecular biology that it has become possible to investigate the molecular mechanisms. Most biochemical work in the last 50 years has focused on the characterization of the steroid hormones involved in gender specificity. More recently, the cloning of the steroid receptors and characterization of the signaling pathways through these proteins has given new insights into the mechanisms underlying the mode of action of steroid hormones. It has also become clear that the steroid receptors can be classified into families (receptors for thyroid hormone, glucocorticoids, estrogens, androgens, retinoic acid, and so called orphan receptors of mostly unknown function). The structures of these receptors show very close resemblance and all are DNA-binding proteins acting as transcription factors. Some (if not all) act as repressors of transcription of some genes in the native state and are converted to activators (or perhaps repressors of other genes) upon binding of the cognate hormone. Naturally, classical target tissues for estrogens and androgens have been studied first and only in very recent years has it been recognized that estrogens and androgens act on a much wider spectrum of tissues. In the cardiovascular field, the beneficial effect of estrogen replacement therapy in postmenopausal women which reduces the incidence of cardiovascular disease by some 40% and the lower incidence of cardiovascular disease in premenopausal women have mostly been explained by the beneficial action of estrogens on the lipid profile (increase in HDL and decrease in LDL cholesterol). Recently, functional estrogen receptors have also been shown in vascular smooth muscle cells and in the endothelium. Our own group has characterized the presence of estrogen receptors in the myocardium and in cardiac fibroblasts. We have also shown that these receptors are transcriptionally active because they are able to drive a minigene composed of a triple estrogen responsive DNA regulatory element (promoter) coupled to the firefly luciferase gene which serves as a reporter by way of its ability to drive a light-emitting reaction. We are in the process of characterizing the target genes for estrogen in the myocardium. A specific series of immediate-early genes is induced by estradiol (the major premenopausal estrogen) and we have also characterized a number of tissue-specific genes whose expression is driven by estrogens in the myocardium. The ultimate goal of these investigations is to explore the use of estrogens in the treatment of cardiac hypertrophy (and failure) by way of their properties to counteract (at least some of) the pathological switches in gene expression in these disease entities. [less ▲]

Detailed reference viewed: 73 (9 UL)