Search Results - race engineer

Who is a scientist? The relationship between counter-stereotypical beliefs about scientists and the STEM major intentions of Black and Latinx male and female students by Ursula Nguyen, Catherine Riegle-Crumb

Connect to this object online.

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Climate Change and Critical Agrarian Studies

DOAB: download the publication
DOAB: description of the publication

Creating inclusive classrooms by engaging STEM faculty in culturally responsive teaching workshops by Erin Sanders O'Leary, Casey Shapiro, Shannon Toma, Hannah Whang Sayson, Marc Levis-Fitzgerald, Tracy Johnson, Victoria L. Sork

Connect to this object online.

Knowledge, attitudes and practices of university adolescents about syphilis: a cross-sectional study in the Northeast by Rodolfo Xavier da Costa Carvalho, Telma Maria Evangelista de Araújo

Connect to this object online.

Beyond STEM attrition: changing career plans within STEM fields in college is associated with lower motivation, certainty, and satisfaction about one's career by Emily Q. Rosenzweig, Xiao-Yin Chen, Yuchen Song, Amy Baldwin, Michael M. Barger, Michael E. Cotterell, Jonathan Dees, Allison S. Injaian, Nandana Weliweriya, Jennifer R. Walker, Craig C. Wiegert, Paula P. Lemons

Connect to this object online.

<b>The effects of bicycle seat tube angle on subsequent running</b>. 10.5007/1980-0037.2011v13n6p436 by Rodrigo Baltazar, Mariana Borges de Andrade, Fabrizio Caputo

Connect to this object online.

Climate Change and Critical Agrarian Studies

OAPEN Library: download the publication
OAPEN Library: description of the publication

LAPORAN TUGAS AKHIR KAJIAN ULANG PERENCANAAN PIPA PESATPEMBANGKIT LISTRIK TENAGA AIR (PLTA) WONOGIRI by RUSWANTO, RUSWANTO

Connect to this object online

ناطحات السحاب كظاهرة عالمية واقع التجربة الخليجية وآفاق العمارة العالية في سورية by أحمد خلف عطية

Connect to this object online.

Applicant qualifications and characteristics in STEM faculty hiring: an analysis of faculty and administrator perspectives by Jue Wu, Torrie Cropps, Canek Moises Luna Phillips, Samara Boyle, Yvette E. Pearson

Connect to this object online.

An Antiracism Community-Based Participatory Research With Organizations Serving Immigrant and Marginalized Communities, Including Asian Americans and Native Hawaiians/Pacific Islan... by Connie Kim Yen Nguyen-Truong, Sara F Waters, Meenakshi Richardson, Natasha Barrow, Joseph Seia, Deborah U Eti, Keara Funchess Rodela

Connect to this object online.

KONTRIBUSI POWER OTOT TUNGKAI DAN FLEKSIBILITAS PANGGUL TERHADAP HASIL KECEPATAN NOMOR 50 m SURFACE MONOFIN CABANG OLAHRAGA SELAM by Raisa Ganeswara, -

Link Metadata

PEMBANGUNAN SISTEM REKOMENDASI PEMILIHAN PEKERJAAN BERDASARKAN KEPRIBADIAN DENGAN METODE KNOWLEDGE BASED RECOMMENDATION BERBASIS WEB by Novianti, Emilia

Link Metadata

STUDI PERANCANGAN INSTALASI KUBIKEL 20 kV DALAM PERENCANAAN PEMASANGAN GARDU KONSUMEN TEGANGAN MENENGAH PADA GEDUNG FAKULTAS ILMU PENDIDIKAN UPI by Selly Nida Mutiara Indarto, -

Link Metadata

Red clay mini bricks with nano-bentonite (Clamib-Naben): Materials in early learning / Norizzati Ibrahim ... [et al.] by Ibrahim, Norizzati, Kamaruding, Musmuliadi, Bakhary, Nor Azmi, -, Atiqah Najwa, Wan Abdullah, Wan Zukri, Badrul, Nur Arafah

Link Metadata

From STEM to Society: Lessons Learned from ARIS Broader Impact Project by Maleeha Shahid

Connect to this object online.

Women Empowering Women Through Reusable Sanitary Pads by Naomi Lumutenga, Margaret Khaitsa, Ruth Muwazi, Florence Wakoko-Studstill, Irene Naigaga, Leslie Hossfeld, Margaret Ralston

Connect to this object online.

Few-Shot Classification with Multiscale Feature Fusion for Clinical Skin Disease Diagnosis by Chen T, Liu Q, Yang J

Connect to this object online.

قبة الرايخستاغ عنصر معماري أم مشروع متكامل by فؤاد خضرة

Connect to this object online.