Search Results - Utsab~

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

O perfil profissional dos preparadores de goleiros dos clubes participantes da série A-2 do campeonato paulista de 2014 (categoria principal) e os métodos de treinamento mais uti... by Eduardo Maia Simões

Connect to this object online.

Aptidão física de crianças e adolescentes praticantes de esportes: um estudo transversal by Andresa Araujo, Ricardo Hugo Gonçalez, Pedro Olavo de Paula Lima, Bianca Martins Lourenço

Connect to this object online.

Perfil hematológico dos jogadores de uma equipa de futebol de elite da 1ª liga portuguesa by Diogo Santos Teixeira, Valter Pinheiro, Paulo Sousa, Diogo Alverca Ferreira, Carlos Alberto Caetano, Bruno Mendes

Connect to this object online.

Prevalência de lesão em jogadores de futebol profissional nos anos 2013-2014 by Matheus de Siqueira Mendes Barbalho, Helton José Dias de Nóvoa, José Carlos Amaral

Connect to this object online.

Perfil nutricional de jogadores de futebol sub 17 de um clube profissional do Vale do Itajaí-SC by Jeferson Nogueira da Silva, Roseane Leandra da Rosa

Connect to this object online.

Influência de diferentes sistemas táticos sobre a intensidade de esforço e a fadiga de jogadores de futebol da categoria sub-17 by Kevin Silva Araujo, Daniel dos Santos, Leonardo Ribeiro da Costa, Eliane Aparecida de Castro, Carlos Eduardo Pimenta, Luciana Moreira Motta Raiz, Belmar Ramos Junior, André Luiz Berzoti Ribeiro, Matheus Silva Queiroz

Connect to this object online.

Estudo comparativo da frequência cardíaca máxima e estimada por diferentes equações em jogadores de Futebol profissional by Matheus de Siqueira Mendes Barbalho, Helton José Dias de Nóvoa, José Carlos Amaral, Thiago Pereira Lopes, Paulo Henrique Lima Rodrigues, Ronivaldo Pires

Connect to this object online.

Análise do desempenho da seleção Alemã de futebol na copa do mundo FIFA 2014, referente aos fundamentos: desarme, posse de bola, passes completados e chutes ao gol, durante os... by Jefferson de Sousa Brites

Connect to this object online.

A influência de jogos reduzidos na resposta perceptual, distância percorrida e velocidade de adolescentes jogadores by Romerito Sóstenes Canuto de Oliveira, Julio Cesar Barbosa de Lima Pinto, Anna Priscila Nascimento Silva, Arnaldo Luis Mortatti

Connect to this object online.

Análise comparativa da capacidade cardiorrespiratória e da potência de membros inferiores em atletas de futebol e voleibol by Dalton Pinheiro Pinto, Evaldo Menezes Araujo, Waldivino Farias Batista Filho

Connect to this object online.

Comportamento da variabilidade da frequência cardíaca pré e pós-partidas de Futebol by Marcelo Romanovitch Ribas, Leonadro Farah, Alex Inácio Nunes, Jeferson da Silva Souza, Marcos Alberto Skavinki, Remy Neves Stephan Moro, Julio César Bassan

Connect to this object online.

Mulheres no mundo do Futebol: representações by Djalma Oliveira de Souza, Maria do Espirito Santo Rosa Cavalcante Ribeiro

Connect to this object online.

Control y evaluación de la resistencia específica en deportistas del club promotor femenino de fútbol de salón (AMF) recti diésel de nariño by Huber Yovanny Cuaspa Burgos, Claudia Lorena Delgado Sanchez

Connect to this object online.

Questões étnico-raciais no futebol Gaúcho: subsídio teórico para disciplina de Educação Física by Otávio Nogueira Balzano, Gilberto Ferreira da Silva, João Albert Steffen Munsberg

Connect to this object online.

PENINGKATAN DAYA TAHAN AEROBIK MELALUI LATIHAN FARTLEK DAN INTERVAL TRAINING by Andriyana, Pangestu

Link Metadata

Nordic Artificial Intelligence Research and Development 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norway, May 31 - June 1, 2022, Revised Selected Papers /

Table of Contents: “…Robotics and Intelligent Systems -- Knowledge Infused Representations through Combination of Expert Knowledge and Original Input -- Cognitive Robotics -- towards the development of next-generation robotics and intelligent systems -- Pattern Based Software Architecture for Predictive Maintenance -- AI in Cyber and Digital Sphere -- An overview of artificial intelligence used in malware -- Fake News Detection by Weakly Supervised Learning Based on Content-Features -- Improving the Usability of Tabular Data through Data Annotation, Repair and Augmentation -- AI in Biological Applications and Medicine -- Detecting human embryo cleavage stages using YOLO v5 object detection algorithm -- Phenotyping of Cervical Cancer Risk Groups via Generalized Low-Rank Models using Medical Questionnaires -- Automatic unsupervised clustering of videos of the intracytoplasmic sperm injection (ICSI) procedure -- Towards New AI Methods -- The Kernelized Taylor Diagram -- Simulating University Application Data for Fair Matchings.…”
Link to Metadata

Die Zukunft des MINT-Lernens - Band 2 Digitale Tools und Methoden für das Lehren und Lernen /

Table of Contents: “…Digital gerahmte Experimentierumgebungen als dynamischer Zugang zu Funktionen -- Digitale Lernumgebungen zur Vor- und Nachbereitung realer Experimentiereinheiten -- Flipped Classroom im Physikunterricht der Sekundarstufe I - Auswirkungen auf die Veränderung des individuellen Interesses im Bereich der E-Lehre -- Untersuchung der Lernwirksamkeit Tablet-PC-gestützter Videoanalyse im Mechanikunterricht der Sekundarstufe 2 -- Unterstützung von Experimenten zu Linsensystemen mit Simulationen, Augmented und Virtual Reality: Ein Praxisbericht -- Augmented Reality in Schülerversuchen - Entwicklung und Evaluierung der Applikation PUMA: Magnetlabor -- Evaluation digitaler Arbeitsblätter im Chemieunterricht in Hinblick auf Usability und Interesse -- Eine digitale Spielumgebung zum Lehren und Lernen von Problemlösefähigkeit und Critical Thinking in den Naturwissenschaften -- KI-Labor: Online Lernumgebungen zur künstlichen Intelligenz -- Formulierung von Gestaltungsprinzipien für schulisch geeignete VR-Lernumgebungen -- Glossar.…”
Link to Metadata

College ESL Writers Applied Grammar and Composing Strategies for Success by Hall, Barbara, Wallace, Elizabeth

Table of Contents: “…-- Chapter 3: Writing Paragraphs - Separating Ideas and Shaping Content -- Chapter 4: Writing Essays - From Start to Finish -- Chapter 5: Revising and Editing -- Chapter 6: Working with Words - Usage, Form, & Context -- Chapter 7: Overview of English Grammar -- Chapter 8: Punctuation and Capitalization -- Chapter 9: Good Writing - Models and Samples -- Chapter 10: Suggested Writing Topics & Grading Rubrics…”
Access online version

Time Predictions Understanding and Avoiding Unrealism in Project Planning and Everyday Life / by Halkjelsvik, Torleif, Jørgensen, Magne

Table of Contents: “…Introduction: 1.1 A prediction success -- 1.2 Prediction disasters -- 2. How we Predict Time Usage: 2.1 Mental time travel -- 2.2 How did you make that prediction? …”
Link to Metadata