Results 31 to 40 of about 882,159 (328)

Tactics for Reasoning modulo AC in Coq [PDF]

, 2011
We present a set of tools for rewriting modulo associativity and commutativity (AC) in Coq, solving a long-standing practical problem. We use two building blocks: first, an extensible reflexive decision procedure for equality modulo AC; second, an OCaml ...
A. Boudet, B. Grégoire, E. Contejean, F. Besson, G. Barthe, G. Peterson, K. Slind, M. Armand, M. Clavel, M. Sozeau, Q.H. Nguyen, S. Boutin, S. Eker, T. Nipkow   +13 more
core   +8 more sources

A novel metaheuristic inspired by horned lizard defense tactics

Artificial Intelligence Review
This paper introduces HLOA, a novel metaheuristic optimization algorithm that mathematically mimics crypsis, skin darkening or lightening, blood-squirting, and move-to-escape defense methods.
H. Peraza-Vázquez, A. Peña-Delgado, M. Merino-Treviño, A. Morales‐Cepeda, Neha Sinha   +4 more
semanticscholar   +1 more source

External Load in High-Level Tennis Training: Influence of Game-Specific Drills in Junior and Professional Players Across Playing Situations

Applied Sciences
This study explored the influence of game-specific on-court drills on external load in junior and professional male tennis players. Using wearable inertial technology, a total of 345 drills performed during a training microcycle were analyzed.
Francisco José Penalva-Salmerón, Miguel Crespo, Rafael Martínez-Gallego, Jesús Ramón-Llin, José Francisco Guzmán   +4 more
doaj   +1 more source

Infrastructural Speculations: Tactics for Designing and Interrogating Lifeworlds [PDF]

, 2020
This paper introduces “infrastructural speculations,” an orientation toward speculative design that considers the complex and long-lived relationships of technologies with broader systems, beyond moments of immediate invention and design.
Bennett Cynthia L., Bleecker Julian, Bowker Geoffrey C., Bowker Geoffrey C., Broll Gregor, Brown H. Claire, Chalmers Matthew, Coulton Paul, Daniela, DiSalvo Carl, Dourish Paul, Dunne Anthony, Dunne Anthony, Dunne Anthony, Escobar Arturo, Eubanks Virginia, Forlano Laura, Foster Nick, Fox Sarah E., Fox Sarah E., Friedman Batya, Goodman Nelson, Haraway Donna, Husserl Edmund, Khovanskaya Vera, Kriplean Travis, Luiza Prado, Luiza Prado, Lynch Michael, Mazé Ramia, Mitman Gregg, Moran Thomas P., Nathan Lisa P., Oliveira Pedro, Pedro, Peter, Raven Paul Graham, Richmond, Richmond, Richmond, Schutz Alfred, Schutz Alfred, Starosielski Nicole, Stead Michael, Steven, Stuart Geiger R., Vertesi Janet, Winner Langdon, Wong Richmond   +48 more
core   +1 more source

Impact of Playing Position on Competition External Load in Professional Padel Players Using Inertial Devices

Sensors
Padel is a racket sport that has grown internationally, both in the number of players and in the number of competitions. Inertial measurement devices enable a comprehensive analysis of competitive load in padel by providing kinematic variables that ...
Ricardo Miralles, José F. Guzmán, Jesús Ramón-Llin, Rafael Martínez-Gallego   +3 more
doaj   +1 more source

Reflecții de ordin doctrinar privind bazele tactice ale activității speciale de investigații // Doctrinal reflections on the tactical bases of the special investigation activity

Analele Ştiinţifice ale Universităţii "Al.I. Cuza" din Iaşi. Ştiinţe Juridice, 2022
The basic task of forensic tactics is to organize the forensic activity as efficiently as possible in relation to the purpose of the criminal prosecution actions, the special investigation activity, and the entire process of criminal investigation based ...
Vitalie Rusu, Serghei Gavajuc
doaj   +1 more source

Creative Pressure Tactics [PDF]

, 1998
[Excerpt] Saul Alinsky, a great labor and community organizer, once said that “tactics that drag on become a drag.” Stewards know that tactics used too often can lose their effectiveness and burn members out.
Margolies, Ken
core   +1 more source

IV Thrombolysis Facilitates Interventional Reperfusion in Non‐Cardioembolic but Not Cardioembolic Stroke

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Intravenous thrombolysis (IVT) before thrombectomy for ischemic stroke may alter clot structure and procedural performance. We investigated how IVT relates to thrombectomy metrics across stroke etiologies. Methods We performed a time‐to‐event analysis of consecutive patients with anterior circulation large vessel occlusion (acLVO ...
Annahita Sedghi, Daniel P. O. Kaiser, Martin Arndt, Norma J. Diel, Erik Simon, Witold H. Polanski, Volker Puetz, Hagen B. Huttner, Timo Siepmann   +8 more
wiley   +1 more source

ADDICTION TO THE WORK AND OCCUPATIONAL BURNOUT OF PROFESSIONAL SOLDIERS

Вісник Кафедри ЮНЕСКО «Неперервна професійна освіта ХХІ століття»
The problem of work addiction and professional burnout are extremely important areas in the specific profession of a soldier, and even more so an officer holding a managerial function in the hierarchical structure of the armed forces.
Мирослав Ласковський
doaj   +1 more source

In the Trenches at the Talent Wars: Competitive Interaction for Scarce Human Resources - A Qualitative Study [PDF]

, 2000
The purpose of this paper is to examine how firms are competing for scarce human resources in the talent wars. First, the paper makes the distinction between responding to labor shortages with investments in recruiting and retention and directly ...
Gardner, Timothy M.
core   +1 more source