Search Results - "Machine"

FAKTOR PENYEBAB KESULITAN BELAJAR SISWA PADA MATA PELAJARAN MEKANIKA TEKNIK DI SMK BIDANG TEKNOLOGI DAN REKAYASA KOTA BANDUNG by Angga Shidqi Asmanullah, -

Link Metadata

PENGEMBANGAN MULTIMEDIA ANIMASI BERBASIS AUTODESK INVENTOR UNTUK MENINGKATKAN KETERAMPILAN GENERIK SAINS PADA MATERI PERCEPATAN KINEMATIKA by Deden Ramdani Pratama, -

Link Metadata

PEMBUATAN NANOFLUIDA Al2O3 DARI NANOPARTIKEL Al2O3 HASIL SINTESIS MENGGUNAKAN METODE SOL GEL DENGAN TEPUNG TAPIOKA SEBAGAI CAPPING AGENT UNTUK APLIKASI DI RADIATOR by Diki Yuliardi, -

Link Metadata

PEMBUATAN RANGKA UTAMA ALAT PRESS TATAL by Anggi Agavhe Pernando Ambarita, -

Link Metadata

PEMBUATAN DIES & PUNCH ALAT PRESS TATAL KAPASITAS VOLUME MAKSIMAL 32 L by Muhammad Agus Barki, -

Link Metadata

PERANCANGAN RANGKAIAN CYCLOCONVERTER SATU FASA MENGGUNAKAN METODE PHASE ANGLE CONTROL BERBASIS ARDUINO by Ibnu Hanifah Alem, -

Link Metadata

Problem Solving in Teams and Groups by Piercy, Cameron W.

Table of Contents: “…Structuration Theory -- 19. Teaming with Machines -- 20. Leadership -- 21. Conformity and Obedience -- 22. …”
Access online version

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

Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata

Haptics: Science, Technology, Applications 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22...

Table of Contents: “…ationary Hands -- Perception of friction in tactile exploration of micro-structured rubber samples -- Influence of Prior Visual Information on Exploratory Movement Direction in Texture Perception -- Guidance for the Design of Vibrotactile Patterns for Use on the Human Back -- Speed Discrimination In The Apparent Haptic Motion Illusion -- Neutral point in haptic perception of softness -- Pilot Study on Presenting Pulling Sensation by Electro-Tactile Stimulation -- A Preliminary Study on the Perceptual Independence Between Vibrotactile and Thermal Senses -- Spatial compatibility of visual and tactile stimulation in shared haptic perception -- Increasing Perceived Weight and Resistance by Applying Vibration to Tendons during Active Arm Movements -- A comparison of haptic and auditory feedback as a warning signal for slip in tele-operation scenarios -- Experiencing touch by technology -- Effect of Focus Direction and Agency on Tactile Perceptibility -- Haptic Guidance for Teleoperation: Optimizing Performance and User Experience -- A Multi-Modal Haptic Armband for Finger-Level Sensory Feedback from a Prosthetic Hand -- Sound Pressure Field Reconstruction for Ultrasound Phased Array by Linear Synthesis Scheme Optimization -- A Rotary Induction Actuator for Kinesthetic and Tactile Rendering -- Haptic Feedback for Wrist Angle Adjustment -- Larger skin-surface contact through a fingertip wearable improves roughness perception -- Expanding Dynamic Range of Electrical Stimulation Using Anesthetic Cream -- Haptic Rattle: Multi-Modal Rendering of Virtual Objects Inside a Hollow Container -- Design of a 2-DoF Haptic Device for Motion Guidance -- Preliminary Design of a Flexible Haptic Surface -- Human Self-Touch vs Other-Touch Resolved by Machine Learning -- Investigating Movement-Related Tactile Suppression Using Commercial VR Controllers -- Estimation of Frictional Force Using the Thermal Images of Target Surface during Stroking -- Spatial Resolution of Mesoscopic Shapes Presented by Airborne Ultrasound -- Vibrotactile Similarity Perception in Crowdsourced and Lab Studies -- Perception of spatialized vibrotactile impacts in a hand-held tangible for virtual reality -- Wearable Haptics in a Modern VRRehabilitation System: Design Comparison forUsability and Engagement -- Perceiving Sequences and Layouts through Touch -- Whole-Hand Haptics for Mid-Air Buttons -- Proximity-based Haptic Feedback for Collaborative Robotic Needle Insertion -- Furekit: Wearable Tactile Music Toolkit for Children with ASD -- A database of vibratory signals from free haptic exploration of natural material textures and perceptual judgments (ViPer): analysis of spectral statistics.…”
Link to Metadata

Conservation in Chilean Patagonia Assessing the State of Knowledge, Opportunities, and Challenges /

Link to Metadata

Die Zukunft des MINT-Lernens - Band 1 Perspektiven auf (digitalen) MINT-Unterricht und Lehrkräftebildung /

Table of Contents: “…- Digitale Lernangebote selbst gestalten -- Vorbereitung auf ein Physiklehren in der digitalen Welt: Weiterentwicklung eines lehramtsspezifischen Elektronikpraktikums -- Blickdatenanalyse bei der Interpretation linearer Graphen im mathematischen und physikalischen Kontext -- Erste Schritte zur automatisierten Generation von Items in einem webbasierten Tracingsystem -- Feedbackorientierte Lernumgebungen zur Gestaltung offener Aufgabenstellungen mit Machine Learning, AR und 3D-Druck -- Glossar.…”
Link to Metadata

COVID-19 Outbreak and Beyond Psychological and Behavioral Responses and Future Perspectives

DOAB: download the publication
DOAB: description of the publication

Evaluación de tres técnicas de fotopolimerización con diodo emisor de luz en la resistencia compresiva de resina compuesta de nanopartículas by Quispe, Nelly

DOAB: download the publication
DOAB: description of the publication

In vitro force delivery of nickel-titanium superelastic archwires in vertical displacement by Aisha de Souza Gomes Stumpf, Karina dos Santos Mundstock, Daniel Mundstock, Carlos Alberto Mundstock

Connect to this object online.

Efeito agudo do alongamento estático sobre o desempenho na resistência de força em homens treinados: estudo piloto by Igor Melo Santos Batista, Leônidas Oliveira-Neto, Rodrigo Alberto Vieira Browne, Luiz Fernando Farias-Junior, André Igor Fonteles, Renêe de Caldas Honorato, Paulo Fernando Marinho-, Gabriel do Couto Brasil, Ricelly Felipe da Silva Santiago, Jônatas de França Barros

Connect to this object online.

Study of thermocycling effect on the bond strength between an aluminous ceramic and a resin cement Estudo do efeito da ciclagem térmica na resistência da união adesiva entre uma... by Osvaldo Daniel Andreatta Filho, Maria Auxiliadora Junho de Araújo, Marco Antonio Bottino, Renato Sussumu Nishioka, Marcia Maciel Menezes

Connect to this object online.

Measuring the performance of computer vision artificial intelligence to interpret images of HIV self-testing results by Stephanie D. Roche, Obinna I. Ekwunife, Rouella Mendonca, Benn Kwach, Victor Omollo, Shengruo Zhang, Patricia Ongwen, David Hattery, Sam Smedinghoff, Sarah Morris, Daniel Were, Dino Rech, Elizabeth A. Bukusi, Elizabeth A. Bukusi, Elizabeth A. Bukusi, Katrina F. Ortblad

Connect to this object online.

Developing and piloting a cross-sectoral hospital pharmacist intervention for patients in transition between hospital and general practice by Charlotte Arp Sørensen, Linda Jeffery, Jannik Falhof, Philipp Harbig, Klaus Roelsgaard, Solveig Gram, Charlotte Olesen

Connect to this object online.

Diametral tensile strength of composite resins submitted to different activation techniques Resistência à tração diametral de compósitos resinosos submetidos a diferentes téc... by Denise Sá Maia Casselli, Claudia Cia Worschech, Luis Alexandre Maffei Sartini Paulillo, Carlos Tadeu dos Santos Dias

Connect to this object online.

Análise da produção científica da atividade eletromiográfica do peitoral maior, deltoide anterior e tríceps braquial, no exercício do supino reto e suas variações by Mylena Aparecida Rodrigues Alves, Arthur Olivo da Silva, Marcus William Hauser, Leandro Martinez Vargas

Connect to this object online.