Filters








32,577 Hits in 1.8 sec

Session-Based Concurrency, Reactively [chapter]

Mauricio Cano, Jaime Arias, Jorge A. Pérez
2017 Lecture Notes in Computer Science  
Here we propose the synchronous reactive programming paradigm as a uniform foundation for session-based concurrency.  ...  Our encodings bridge the gap between process specifications and concurrent programs in which session-based concurrency seamlessly coexists with declarative, reactive, timed, and contextual behaviors.  ...  Here we pursue a different approach: we embed session-based concurrency within the synchronous reactive programming (SRP) model for reactive, timed systems [2, 10] .  ... 
doi:10.1007/978-3-319-60225-7_6 fatcat:3g7sb7okszc5to6yfl6zh7256i

Drug-taking in a socio-sexual context enhances vulnerability for addiction in male rats

Lindsey B Kuiper, Lauren N Beloate, Braxton M Dupuy, Lique M Coolen
2018 Neuropsychopharmacology  
However, drug-seeking behavior was significantly higher in concurrent animals during cue reactivity tasks, extinction sessions, and cue- or Meth-induced reinstatement tests.  ...  Meth-taking was either concurrent or non-concurrent with sexual behavior: concurrent animals were mated with a receptive female immediately after each session, while non-concurrent animals gained equivalent  ...  cue extinction sessions (wherein cue reactivity was measured during the first 30 min of the first session), Sex Reinstatement, 3 additional cue extinction sessions, and Meth-primed reinstatement (see  ... 
doi:10.1038/s41386-018-0235-1 pmid:30337639 pmcid:PMC6333843 fatcat:rrc3ijwbeva23oyteamhtq3ori

The effects of nonconcurrent and concurrent relaxation training on cardiovascular reactivity to a psychological stressor

Patricia A. Cole, Cynthia S. Pomerleau, Janel K. Harris
1992 Journal of behavioral medicine  
muscle relaxation training and retested for reactivity.  ...  Concurrent training~ in contrast, produced reductions in both systolic and diastolic blood pressure.  ...  more," based on EMG) after each trial.  ... 
doi:10.1007/bf00844731 pmid:1404354 fatcat:zt5d7k2ndze57oc4zkmo6zgupa

Page 250 of American Ceramic Society Bulletin Vol. 74, Issue 3 [page]

1995 American Ceramic Society Bulletin  
(SXIII-30-95) Mechanisms of Brazing of Silicon Carbide by Copper-Based Reactive and Non-Reactive Alloys; A. Gasse* and G.’Chaumat, CEA- CEREM, Grenoble, France; C. Rado and N.  ...  Tuesday Morning, May 2 (Two Concurrent Sessions) “Ceramic-Metal Systems” Room: 213 Session Chair: Andreas M. Glaeser, University of California, Berkeley, Calif. 94720 7:55-8:00 a.m.  ... 

Teaching Concurrency: Theory in Practice [chapter]

Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen, Jiří Srba
2009 Lecture Notes in Computer Science  
We report here on our experiences in teaching concurrency theory over the last twenty years or so to students ranging from mathsphobic bachelor students to sophisticated doctoral students.  ...  The contents of the courses, the material on which they are based and the pedagogical philosophy underlying them are described, as well as some of the lessons that we have learned over the years.  ...  In our courses, we usually employ the Edinburgh Concurrency Workbench [13] and/or the Concurrency Workbench of the New Century [14] for the part of the course devoted to classic reactive systems and  ... 
doi:10.1007/978-3-642-04912-5_11 fatcat:i4l4phqtozdzjcivujfmd4d74i

Concurrent Validity of a Portable Force Plate Using Vertical Jump Force-Time Characteristics

Jason Lake, Peter Mundy, Paul Comfort, John J. McMahon, Timothy J. Suchomel, Patrick Carden
2018 Journal of Applied Biomechanics  
The120 intra-class correlation coefficient (ICC) assessed relative within-session reliability, while the 121 coefficient of variation assessed absolute within-session reliability. 17 The concurrent validity  ...  to take-off and jump height, the results of the within-session reliability demonstrated 155 high levels of relative and absolute and relative reliability for time to take-off, jump height and 156 reactive  ... 
doi:10.1123/jab.2017-0371 pmid:29809100 fatcat:jbfxjw7kojdebfjtv3v23ameh4

Session-Based Compositional Analysis for Actor-Based Languages Using Futures [chapter]

Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen
2016 Lecture Notes in Computer Science  
The Session-based ABS Language (SABS) This section introduces the concept of session to core ABS [10, 15] . The extended language is called session-based ABS, SABS in short.  ...  We provide a type discipline based on session types, which gives a high-level abstraction for structured interactions.  ...  We verify class invariants based on the scheduling policy type-checked by local session types. Besides, we introduce session types for process suspension and process reactivation.  ... 
doi:10.1007/978-3-319-47846-3_19 fatcat:yeeer53imzebxa2qn3thlzo3oa

The validity of verbal protocols

J. Edward Russo, Eric J. Johnson, Debra L. Stephens
1989 Memory & Cognition  
It is concluded that protocol validity should be based on an empirical check rather than on theory-based assurances.  ...  Generating a concurrent protocol altered accuracy in two tasks, simple addition and a choice between two gambles, and generally prolonged response times.  ...  Fortunately, tests of reactivity can also be based on such ordinary output measures as accuracy and RT.  ... 
doi:10.3758/bf03202637 pmid:2811673 fatcat:x773ivonkvdk5l7ytfr2fnhyxy

Page 49 of American Ceramic Society Bulletin Vol. 91, Issue 2 [page]

2012 American Ceramic Society Bulletin  
Kreidl Award for Young Scholars* Lunch on Own Concurrent Technical Sessions Conference Dinner Wednesday, May 23,2012 Registration Concurrent Technical Sessions Lunch on Own Concurrent Technical Sessions  ...  Concurrent Technical Sessions 9:20. a.m.- Noon Lunch on Own Noon - 1:20 p.m. Concurrent Technical Sessions 1:20 ~ 5:40 p.m. Fundamental of Glass Short Course —_ 1:30 - 5:00 p.m.  ... 

Page 167 of American Ceramic Society Bulletin Vol. 79, Issue 4 [page]

2000 American Ceramic Society Bulletin  
Kitaok lapan e Cera Nag lapar Nagoya Japa Tuesday Afternoon, May 2 Iwo Concurrent Sessions Continuous Fiber & Laminate Composites: Mechanical Properties & Environmental Effects Room: 221 Session Chair:  ...  of Tokyo, Tokyo, Japan Tuesday Afternoon, May 2 (Two Concurrent Sessions Fibrous Monoliths & Oxide/Non- oxide Composites: Processing & Mechanical Properties Room: 222 Session Chair: TBA 1:55 PM - 2:00  ... 

Effects of Concurrent Training on Oxidative Stress and Insulin Resistance in Obese Individuals

Niara da Silva Medeiros, Fabiana Guichard de Abreu, Alana Schraiber Colato, Leandro Silva de Lemos, Thiago Rozales Ramis, Gilson Pires Dorneles, Cláudia Funchal, Caroline Dani
2015 Oxidative Medicine and Cellular Longevity  
Anthropometric parameters, IR, and oxidative stress were analyzed before and after 26 sessions of training.  ...  Accordingly, 25 individuals were divided into two groups: concurrent training 1 (CT1) (5 d/wk) and concurrent training 2 (CT2) (3 d/wk), both with moderate intensity.  ...  Sessions 1-3 * 4-9 10-15 16-21 22-24 25-26 Strength exercises Number of series 3 3 3 3 3 Number of reps 15 12 10 08 15 Intensity (% 1RM) 50% 60% 70% 75% 50% Volume per session 45  ... 
doi:10.1155/2015/697181 pmid:25722796 pmcid:PMC4334864 fatcat:75h6yxo2orfu3gaxyq545wu7py

Utilising one minute and four minute recovery when employing the resistance training contrast method does not negatively affect subsequent jump performance in the presence of concurrent training

Dean Ritchie, Justin W.L. Keogh, Peter Reaburn, Jonathan D. Bartlett
2020 PeerJ  
; 1-min and 4-min, 1 h following a field-based endurance session.  ...  Little is known about contrast training and post-activation performance enhancement (PAPE) in a same day concurrent training model.  ...  External training load of the field-based outdoor sessions (field-based skills/endurance) was monitored via Figure 1 Timeline shows team-based skills/endurance session in the morning followed by resistance  ... 
doi:10.7717/peerj.10031 pmid:33083124 pmcid:PMC7566756 fatcat:vflta2in4racfjvikqo4m4ld6q

Autonomic and Adrenocortical Interactions Predict Mental Health in Late Adolescence: The TRAILS Study

Esther Nederhof, Kristine Marceau, Elizabeth A. Shirtcliff, Paul D. Hastings, Albertine J. Oldehinkel
2014 Journal of Abnormal Child Psychology  
Hierarchical linear modeling revealed relatively few single effects for each biomarker with the exception that high HR reactivity predicted concurrent internalizing problems in boys.  ...  More interestingly, interactions were found between HPA-axis reactivity and sympathetic and parasympathetic reactivity. Boys with high  ...  reactivity was related to concurrent externalizing problems.  ... 
doi:10.1007/s10802-014-9958-6 pmid:25421943 fatcat:rrxmxwni4vd2fi44at6ykyp4ha

Graphical State Space Programming: A visual programming paradigm for robot task specification

Jimmy Li, Anqi Xu, Gregory Dudek
2011 2011 IEEE International Conference on Robotics and Automation  
the second GSSP session further widens the gap with an average four-fold speed improvement over the text-based session.  ...  execution, and priority schemes during the text-based programming session.  ... 
doi:10.1109/icra.2011.5979630 dblp:conf/icra/LiXD11 fatcat:26lilzvxgbetlonfgj4h5nzwna

Effects of Different Concurrent Resistance and Aerobic Training Frequencies on Muscle Power and Muscle Quality in Trained Elderly Men: A Randomized Clinical Trial

Rodrigo Ferrari, Sandra C. Fuchs, Luiz Fernando Martins Kruel, Eduardo Lusa Cadore, Cristine Lima Alberton, Ronei Silveira Pinto, Régis Radaelli, Maira Schoenell, Mikel Izquierdo, Hirofumi Tanaka, Daniel Umpierre
2016 Aging and Disease  
There were no changes in blood pressure or reactive hyperemia with the concurrent training.  ...  The groups trained with an identical exercise intensity and volume per session for 10 weeks.  ...  Brachial blood pressure and reactive hyperemia did not change with concurrent training in either group.  ... 
doi:10.14336/ad.2016.0504 pmid:28053820 pmcid:PMC5198861 fatcat:5tqv54fafva5djb5isivm32rwu
« Previous Showing results 1 — 15 out of 32,577 results