Results 11 to 20 of about 664,076 (315)
Synthesizing Dominant Strategies for Liveness [PDF]
, 2022 Reactive synthesis automatically derives a strategy that satisfies a given specification. However, requiring a strategy to meet the specification in every situation is, in many cases, too hard of a requirement.
Passing, Noemi, Finkbeiner, Bernd
core +1 more source
Permission-based separation logic for message-passing concurrency [PDF]
, 2010 We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission-resources and define a reduction semantics for this extended language ...
Julian Rathke +8 more
core +1 more source
, 2022 Correlation between EliA™ and Elecsys® TRAb. TRAb are displayed in UI/l. Dotted line (- - - -) corresponds to identity. Blue line corresponds to Passing Bablock regression and double dotted line (-- -- --) to 95% CI bands.
José María López Ortega (13149467) +3 more
core +1 more source
Volleyball passing model through game-based approach
Journal Sport Area, 2022 Passing in volleyball is highly significant to support the game. Good passing will determine the course of attack and defense in the game. This research aims at creating volleyball passing models to improve students’ passing skills. It uses the method of
Vicki Ahmad Karisman, Dedi Supriadi
doaj +1 more source
Socjalizacja płciowa w doświadczeniu biograficznym transpłciowych kobiet
Nauki o Wychowaniu, 2022 Artykuł osadzony jest w teoretycznej ramie socjologii feministycznej i transgender studies. Autorka odnosi się do problematyki transpłciowości w kontekście socjalizacji płciowej jako procesu realnie wpływającego na diagnozowanie transpłciowości, a także ...
Aleksandra Sobańska
doaj +1 more source
How Football Players’ Age Affect Passing Patterns of Play According to Field Location
Children, 2023 This study aimed to characterize the passing patterns that support collective tactical behaviour in football players of different ages (U15, U17, and U19) in different field zones. Two hundred and twenty-eight male players, divided into U15, U17, and U19,
Nuno Coito +3 more
doaj +1 more source
Continuation-passing, closure-passing style [PDF]
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89, 1989 We implemented a continuation-passing style (CPS) code generator for ML. Our CPS language is represented as an ML datatype in which all functions are named and most kinds of ill-formed expressions are impossible. We separate the code generation into phases that rewrite this representation into ever-simpler forms.
Andrew W. Appel, Trevor Jim
openaire +1 more source
Queers non blanc·hes en France
Glad!, 2017 How can we explain the under-representation of queers of color in our queer activist spaces ? Are racialized people destined to be eternally taken for straight without a clear statement of their non-heterosexuality ?
Najwa Ouguerram-Magot
doaj +1 more source
Increasing learning outcomes for volleyball passing using cooperative learning methods
Sriwijaya Journal of Sport, 2023 This study aims to determine the learning outcome passing volleyball at SMK Bhakti Nations Banjarbaru South Kalimantan using cooperative learning methods.
Endang Pratiwi +2 more
doaj +1 more source
Pengaruh Metode Pembelajaran Dan Motivasi Belajar Terhadap Hasil Belajar Passing Sepakbola
Juara, 2017 Tujuan dari penelitian ini adalah untuk mengetahui pengaruh dari metode pembelajaran latihan dan problem based learning serta motivasi belajar terhadap hasil belajar passing sepakbola.
Gilang Ramadan
doaj +1 more source