Browsing Complete repository Arts & humanities   Archaeology   Art & art history   Classical & oriental studies   History   Languages & linguistics   Literature   Performing arts   Philosophy & ethics   Religion & theology   Multidisciplinary, general & others Business & economic sciences   Accounting & auditing   Production, distribution & supply chain management   Finance   General management & organizational theory   Human resources management   Management information systems   Marketing   Strategy & innovation   Quantitative methods in economics & management   General economics & history of economic thought   International economics   Macroeconomics & monetary economics   Microeconomics   Economic systems & public economics   Social economics   Special economic topics (health, labor, transportation…)   Multidisciplinary, general & others Engineering, computing & technology   Aerospace & aeronautics engineering   Architecture   Chemical engineering   Civil engineering   Computer science   Electrical & electronics engineering   Energy   Geological, petroleum & mining engineering   Materials science & engineering   Mechanical engineering   Multidisciplinary, general & others Human health sciences   Alternative medicine   Anesthesia & intensive care   Cardiovascular & respiratory systems   Dentistry & oral medicine   Dermatology   Endocrinology, metabolism & nutrition   Forensic medicine   Gastroenterology & hepatology   General & internal medicine   Geriatrics   Hematology   Immunology & infectious disease   Laboratory medicine & medical technology   Neurology   Oncology   Ophthalmology   Orthopedics, rehabilitation & sports medicine   Otolaryngology   Pediatrics   Pharmacy, pharmacology & toxicology   Psychiatry   Public health, health care sciences & services   Radiology, nuclear medicine & imaging   Reproductive medicine (gynecology, andrology, obstetrics)   Rheumatology   Surgery   Urology & nephrology   Multidisciplinary, general & others Law, criminology & political science   Civil law   Criminal law & procedure   Criminology   Economic & commercial law   European & international law   Judicial law   Metalaw, Roman law, history of law & comparative law   Political science, public administration & international relations   Public law   Social law   Tax law   Multidisciplinary, general & others Life sciences   Agriculture & agronomy   Anatomy (cytology, histology, embryology...) & physiology   Animal production & animal husbandry   Aquatic sciences & oceanology   Biochemistry, biophysics & molecular biology   Biotechnology   Entomology & pest control   Environmental sciences & ecology   Food science   Genetics & genetic processes   Microbiology   Phytobiology (plant sciences, forestry, mycology...)   Veterinary medicine & animal health   Zoology   Multidisciplinary, general & others Physical, chemical, mathematical & earth Sciences   Chemistry   Earth sciences & physical geography   Mathematics   Physics   Space science, astronomy & astrophysics   Multidisciplinary, general & others Social & behavioral sciences, psychology   Animal psychology, ethology & psychobiology   Anthropology   Communication & mass media   Education & instruction   Human geography & demography   Library & information sciences   Neurosciences & behavior   Regional & inter-regional studies   Social work & social policy   Sociology & social sciences   Social, industrial & organizational psychology   Theoretical & cognitive psychology   Treatment & clinical psychology   Multidisciplinary, general & others      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 Showing results 22001 to 22020 of 37071     1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106     A Modular Model Composition TechniqueKelsen, Pierre ; Ma, Qin in 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010) (2010)Detailed reference viewed: 78 (3 UL) A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting SystemsKramer, Simon ; Ryan, Peter 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) Modular Neural Network and Classical Reinforcement Learning for Autonomous Robot Navigation: Inhibiting Undesirable BehaviorsAntonelo, Eric Aislan ; Baerlvedt, Albert-Jan; Rognvaldsson, Thorsteinn et alin 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) The modular organization of domain structures: insights into protein-protein binding.del Sol Mesa, Antonio ; Carbonell, Pabloin PLoS computational biology (2007), 3(12), 239Domains 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) Modular recursive Green's function method for ballistic quantum transportRotter, S.; Tang, J. Z.; Wirtz, Ludger et alin Physical Review B (2000), 62(3), 1950-1960A 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) Modular reservoir computing networks for imitation learning of multiple robot behaviorsWaegeman, Tim; Antonelo, Eric Aislan ; wyffels, Francis et alin 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) Modulare Galois-Darstellungen und ComputeralgebraWiese, Gabor Scientific Conference (2012, May 12)Detailed reference viewed: 21 (0 UL) Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control ManagementNguyen, Phu Hong ; Nain, Grégory ; Klein, Jacques et alin Transactions on Aspect-Oriented Software Development (2014), 11Model-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) Modularity of certain 2-dimensional mod p^n representations of Gal(Qbar/QAdibhatla, Rajender 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) Modularity of certain mod p^n Galois representationsAdibhatla, Rajender 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) A Modularization Approach for Nonlinear Model Predictive Control of Distributed Fast SystemsDentler, Jan Eric ; Kannan, Somasundar ; Olivares Mendez, Miguel Angel et alin 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) Modulated photocurrent experiments-comparison of different data treatmentsLuckas, Jennifer Maria ; Longeaud; Siebentritt, Susanne in JOURNAL OF APPLIED PHYSICS (2014), 116Detailed reference viewed: 119 (2 UL) Modulated two-level system: Exact work statisticsVerley, Gatien ; Van den Broeck, C.; Esposito, Massimiliano in Physical Review. E : Statistical, Nonlinear, and Soft Matter Physics (2013), 88We 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) Modulation and Coding Classification for Adaptive Power Control in 5G Cognitive CommunicationsTsakmalis, Anestis ; Chatzinotas, Symeon ; Ottersten, Björn in Proceedings of IEEE International Workshop on Signal Processing Advances in Wireless Communications 2014 (2014)Detailed reference viewed: 179 (15 UL) Modulation by cADPr of Ca2+ mobilization and oxidative response in dimethylsulfoxide- or retinoic acid-differentiated HL-60 cellsBréchard, Sabrina ; Brunello, A.; Bueb, Jean-Luc et alin Biochimica et Biophysica Acta (2006), 1763(1), 129-36In 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) Modulation der Schreckreaktion durch viszeral-afferente Signale aus dem kardialen und respiratorischen SystemSchulz, André ; 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) The modulation of Amyotrophic Lateral Sclerosis risk by ataxin-2 intermediate polyglutamine expansions is a specific effect.Gispert, Suzana; Kurz, Alexander; Waibel, Stefan et alin Neurobiology of disease (2012), 45(1), 356-61Full 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