Filters








72,174 Hits in 3.4 sec

Adapting Behaviors via Reactive Synthesis [article]

Gal Amram and Suguman Bansal and Dror Fried and Lucas M. Tabajara and Moshe Y. Vardi and Gera Weiss
2021 arXiv   pre-print
In this work, we present a reactive synthesis interpretation to the adapter design pattern, wherein an algorithm takes an Adaptee and a Target transducers, and the aim is to synthesize an Adapter transducer  ...  that, when composed with the Adaptee, generates a behavior that is equivalent to the behavior of the Target.  ...  Introduction Inspired by the well known adapter design pattern [23] , we study the use of reactive synthesis for generating adapters that translate inputs meant for a target transducer to inputs of an  ... 
arXiv:2105.13837v1 fatcat:dh44imhiize7fc6u2s4qretwyq

Adapting Behaviors via Reactive Synthesis [chapter]

Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss
2021 Lecture Notes in Computer Science  
In this work, we present a reactive synthesis interpretation to the adapter design pattern, wherein an algorithm takes an Adaptee and a Target transducers, and the aim is to synthesize an Adapter transducer  ...  that, when composed with the Adaptee, generates a behavior that is equivalent to the behavior of the Target.  ...  Introduction Inspired by the well known adapter design pattern [18] , we study the use of reactive synthesis for generating adapters that translate inputs meant for a target transducer to inputs of an  ... 
doi:10.1007/978-3-030-81685-8_41 fatcat:oy7woikjkrejtanb4qay5ykkcy

An Efficient Active and Reactive Power Control of DFIG for a Wind Power Generator

S. L. S. Louarem, D. E. C. Belkhiat, T. Bouktir, S. Belkhiat
2019 Engineering, Technology & Applied Science Research  
This paper presents a comparative study on the performance of different control strategies for DFIG wind turbines: proportional–integral (PI), Artificial Neural Networks (ANN), H∞, and adaptive Fuzzy PI  ...  Active and reactive power behavior using H ஶ and adaptive fuzzy PI controllers with -25% mutual inductance variation Fig. 11 . 11 Active and reactive power behavior with 10% rotor inductance variation  ...  Adaptive Fuzzy ‫ܫܲ‬ Controller Synthesis The adaptive fuzzy ‫ܫܲ‬ controller scheme is given in Figure 5 .  ... 
doi:10.48084/etasr.3007 fatcat:xkuffdrrj5ebddc3nw5sewf7di

Acute Tryptophan Depletion Moja-De: A Method to Study Central Nervous Serotonin Function in Children and Adolescents

Richard M Stewart, Janice W Y Wong, Simone Mahfouda, Hugo A E Morandini, Pradeep Rao, Kevin C Runions, Florian D Zepf
2020 Frontiers in Psychiatry  
5-HT synthesis.  ...  The ATD Moja-De protocol provides a potential methodology for investigating the role of central nervous 5-HT via manipulation of brain tryptophan availability in human psychopathology from a developmental  ...  effect-related efficacy (for example, effects on behavioral parameters like reactive aggressive behaviors).  ... 
doi:10.3389/fpsyt.2019.01007 pmid:32210845 pmcid:PMC7067742 fatcat:p7gkpmuxlngrndusuvhqzbd2o4

Reactivity on and of Graphene Layers: Scanning Probe Microscopy Reveals [chapter]

Oleksandr Ivasenko, Steven de Feyter
2018 On-Surface Synthesis II  
Using imine formation as the model reaction we discuss common principles of building block design and reaction outcomes specific to interfacial synthesis.  ...  This simple concept of directing chemical synthesis via preferential adsorption of one of the possible products is very appealing.  ...  Copyright © 2015 Royal Society of Chemistry. e On-surface synthesis/self-assembly of 1D (adapted with permission from [43] ; copyright © 2015 American Chemical Society) and 2D (adapted from [44] with  ... 
doi:10.1007/978-3-319-75810-7_3 fatcat:emfd4j3zvrcjzad3pfgy7sgfjm

Rapidly Adaptive All-covalent Nanoparticle Surface Engineering

Marta Diez-Castellnou, Rongtian Suo, Nicolas Marro, Saphia A L Matthew, Euan Kay
2021 Chemistry - A European Journal  
Here, we introduce an idealized dynamic covalent nanoparticle building block for divergent and adaptive post-synthesis modification of colloidal nanomaterials.  ...  Tuneable surface densities of reactive aldehyde functionalities are revealed on-demand, leading to a wide range of adaptive surface engineering options from one nanoscale synthon.  ...  This new ligand design enables optimized direct synthesis of metallic nanoparticles stabilized by a high density of reactive electrophilic surface ligands.  ... 
doi:10.1002/chem.202101042 pmid:33871124 fatcat:mb3qzhbzifcv5lrt2lrqo7mtbq

Interactive and reactive dynamic control

Ari Shapiro, Petros Faloutsos
2005 ACM SIGGRAPH 2005 Sketches on - SIGGRAPH '05  
In addition, the character can perform autonomously in that it possesses a variety of reactive skills that can be performed when needed.  ...  Our work brings together interactive control with reactive control under physical simulation as a major step towards a larger system for an intelligent, controllable and interactive character.  ...  The character understands basic reactive and protective behavior. Through userselected keyframed controllers, the character is able to perform custom tasks that can be adapted to any situation.  ... 
doi:10.1145/1187112.1187142 dblp:conf/siggraph/ShapiroF05 fatcat:hw42zplkd5bjfctklkjenizksu

Orb3 -- Adaptive Interface Design For Real Time Sound Synthesis \& Diffusion Within Socially Mediated Spaces

Dan Livingstone, Eduardo Miranda
2005 Zenodo  
Increasingly it is the integration of these interfaces with more complex adaptive systems or dynamically variable social contexts that provide significant opportunities for socially mediated composition  ...  These integrated modules, for tracking, synthesis, composition, adaptation and diffusion form an adaptive system.  ...  Their behavior changes as they Adapt to the parameters they have influence over.  ... 
doi:10.5281/zenodo.1176773 fatcat:iw4jic7tr5g2jc5yrogzb5z2he

Inhibition of the interactions between eukaryotic initiation factors 4E and 4G impairs long-term associative memory consolidation but not reconsolidation

C. A. Hoeffer, K. K. Cowansage, E. C. Arnold, J. L. Banko, N. J. Moerke, R. Rodriguez, E. K. Schmidt, E. Klosi, M. Chorev, R. E. Lloyd, P. Pierre, G. Wagner (+2 others)
2011 Proceedings of the National Academy of Sciences of the United States of America  
than for that triggered by reactivation of an existing memory. internal ribosome entry site-dependent translation | fragments of apoptotic cleavage of eIF4G T he synthesis of new proteins within relevant  ...  Using a combination of behavioral and biochemical techniques, we provide both in vitro and in vivo evidence that the eIF4E-eIF4G complex is more stringently required for plasticity induced by initial learning  ...  Proteins were labeled using an adaption of the SUnSET protocol (16) .  ... 
doi:10.1073/pnas.1013063108 pmid:21289279 pmcid:PMC3044415 fatcat:i5gkholywnafljpposaxrew3g4

Maximal Synthesis for Hennessy-Milner Logic

A. C. Van Hulst, M. A. Reniers, W. J. Fokkink
2015 ACM Transactions on Embedded Computing Systems  
Synthesis might result in multiple valid adaptations, which are all related to the original model via simulation.  ...  Each simulant of the original Kripke-model, which satisfies the synthesized formula, is also related to one of the synthesis results via simulation.  ...  of defining synthesis as an adaptation of existing behaviors.  ... 
doi:10.1145/2680540 fatcat:syfkr3lm3nd7pii3apdybjrsmi

Design and Analysis of Self-protection: Adaptive Security for Software-Intensive Systems (short paper)

Charilaos Skandylas
2021 European Conference on Software Architecture  
Such systems are called self-protecting systems and aim to autonomously identify, analyse and mitigate threats by adapting their structure and behavior at runtime.  ...  We enhance the security of architecture-based self-adaptive systems by equipping them with (proactive and reactive) self-protection capabilities as well as attack monitoring.  ...  We achieve adaptive security via the combination of runtime trust-aware DIFC enforcement and decentralized control.  ... 
dblp:conf/ecsa/Skandylas21 fatcat:5k67mu6r6zbxbjngrmbsyd6vui

Reactive oxygen species and tumor dissemination: Allies no longer

Cecilia Herraiz, Eva Crosas-Molist, Victoria Sanz-Moreno
2016 Molecular & Cellular Oncology  
For decades, reactive oxygen species (ROS) linked to oxidative stress have been suggested to promote carcinogenesis.  ...  accumulation of glutamate, which was exported in exchange for cysteine via an amino acid transporter system composed of the XCT subunit and CD44, thus potentiating antioxidant synthesis when GSH was depleted  ...  Reactive oxygen species (ROS) or free radicals can damage DNA, potentially leading to genetic aberrations that can cause cancer.  ... 
doi:10.1080/23723556.2015.1127313 pmid:27308633 pmcid:PMC4905421 fatcat:6muhqc23krgtlbal6zne5ke26a

Behavioral tagging underlies memory reconsolidation

Iván Rabinovich Orlandi, Camila L. Fullio, Matías Nicolás Schroeder, Martin Giurfa, Fabricio Ballarini, Diego Moncada
2020 Proceedings of the National Academy of Sciences of the United States of America  
Our results show, therefore, that memory reconsolidation is mediated by a "behavioral tagging" process, which is common to different memory forms.  ...  effective and identified the protein kinase A (PKA) and the extracellular signal-regulated kinase 1 and 2 (ERK 1/2) pathways as the mechanisms related to the setting of the reconsolidation tag and the synthesis  ...  behavioral task that usually induces protein synthesis in shared brain areas.  ... 
doi:10.1073/pnas.2009517117 pmid:32665437 fatcat:rp7ezwxtgzfovjjhkz3q5drn3a

Maximally Permissive Controlled System Synthesis for Modal Logic [chapter]

Alan C. van Hulst, Michel A. Reniers, Wan J. Fokkink
2015 Lecture Notes in Computer Science  
logic, while all noninvalidating behavior is retained.  ...  We propose a new method for controlled system synthesis on non-deterministic automata, which includes the synthesis for deadlockfreeness, as well as invariant and reachability expressions.  ...  The behavior of a Kripke-structure with labeled transitions is adapted such that it satisfies the synthesized requirement.  ... 
doi:10.1007/978-3-662-46078-8_19 fatcat:guyujye3dnaplepqtbgna5gpm4

A Case Study on Controller Synthesis for Data-Intensive Embedded Systems

Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten
2009 2009 International Conference on Embedded Software and Systems  
The resulting model is then transformed into a synchronous program from which a controller is synthesized by using a formal technique, in order to enforce the safe behavior of the modeled application while  ...  MonoFilter is connected to MonochromeMode via Tiler links.  ...  We particularly address the synthesis of a safe application controller enforcing correct behaviors w.r.t. functional and non functional requirements.  ... 
doi:10.1109/icess.2009.12 dblp:conf/icess/GamatieYDR09 fatcat:6ipraialmzgtthzntc6pzxzhii
« Previous Showing results 1 — 15 out of 72,174 results