Results 161 to 170 of about 739,581 (296)

Internal control: Methodological specifics of counterparty creditworthiness checks [PDF]

International Accounting, 2018
E.N. Shatina, S.V. Kozmenkova, E.B. Frolova   +2 more
openaire   +1 more source

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation

The verification of linearizability -- a key correctness criterion for concurrent objects -- is based on trace refinement whose checking is PSPACE-complete. This paper suggests to use \emph{branching} bisimulation instead.
Katoen, Joost-Pieter, Wu, Hao, Yang, Xiaoxiao   +2 more
core  

Additive‐Manufactured, Multifunctional Bioreactor Technology for Dynamic Culture of 3D Bioprinted Tissue Models

Advanced Materials Technologies, EarlyView.
We introduce an additively manufactured bioreactor with a perfusion flow system and integrated temperature and pH sensors for skeletal muscle tissue biofabrication. The bioreactor's performance was evaluated by assessing the viability, spreading of the myoblast cells in a printed scaffold, and contraction of the isolated murine musculi interossei ...
Lys Sprenger, Johann Schorzmann, Hsuan‐Heng Lu, Muhammad Osama, Julian Bauer, Michael Haug, Oliver Friedrich, Aldo R. Boccaccini, Frank Döpper, Sahar Salehi   +9 more
wiley   +1 more source

Translation and Validation of the German 12-Item Obsessive-Compulsive Inventory (OCI-12) in Clinical and Non-Clinical Samples. [PDF]

Clin Psychol Eur
Müller CL, Fink-Lamotte J, Jelinek L, Lohse L, Ehring T, Noll-Hussong M, Berberich G, Wahl-Kordon A, Borgelt J, McKay D, Abramowitz JS, Abramovitch A, Cludius B.   +12 more
europepmc   +1 more source

Multiobjective Codesign Optimization of a Planar Pneumatic Artificial Muscle‐Based Snake‐Like Robot for Enhanced Agility and Energy Efficiency

Advanced Robotics Research, EarlyView.
A codesign multiobjective optimization framework was developed to enhance the morphology and controller of a snake‐like robot driven by artificial muscles. It improved planar locomotion, agility, and power efficiency. The approach optimized link geometry and controller gains, revealing that shorter muscles near joints and longer linkages maximize ...
Ayla Valles, Mahdi Haghshenas‐Jaryani
wiley   +1 more source

Real time, on-site drug checking in low-threshold housing communities. [PDF]

Harm Reduct J
Summers C, Silcox J, Zaragoza S, Rapisarda S, Edelmann A, Chatterjee A, Green TC.   +6 more
europepmc   +1 more source

AI‐Powered Framework for Evaluating Drug Efficacy for Three‐Dimensional In Vitro Cancer Models in Robot‐Assisted Production

Advanced Robotics Research, EarlyView.
An AI‐powered, robot‐assisted framework automatically produces, images, and analyzes 3D tumor spheroids to evaluate drug efficacy. Integrated modules handle spheroid formation, live/dead staining, brightfield imaging, and automated image analysis, including spheroid segmentation, viability and metrics to assess the drug treatment efficacy. The workflow
Dalia Mahdy, Jesus Nieves, Lukas Königer, Matthias Peindl, Fabio Erhard, Marc Möllmann, Anke Klingner, Markus Münig, Bibin Babu, Thomas Schwarz, Marco Metzger, Gudrun Dandekar, Maximiliane Wußmann, Jan Hansmann   +13 more
wiley   +1 more source

A virtual reality test to evaluate dismounted soldiers' cognitive and psychomotor performance in an operationally relevant setting. [PDF]

Front Psychol
Koedijk M, Landman A, Bottenheft C, Fonken YM, Binsch O.   +4 more
europepmc   +1 more source

Toward Wireless Implantable Robotic Systems Driven by Magnetic Field for Personalized Therapy

Advanced Robotics Research, EarlyView.
Robotic materials are playing an increasingly vital role in enabling sensing and actuation at small scales. This perspective highlights recent advances in magnetic materials and magnetically actuated devices for wireless sensing, actuation, and energy harvesting toward implantable robotic systems for closed‐loop therapy.
Yusheng Wang, Ruijian Ge, Xiaoguang Dong
wiley   +1 more source

Assessing the real-world performance of xylazine test strips for community-based drug checking in Los Angeles. [PDF]

Harm Reduct J
Molina CA, R Friedman J, Koncsol AJ, Romero R, Godvin ME, Nuñez L, Pang KG, Tasini T, Okonkwo E, Vu M, Smith J, Shover CL.   +11 more
europepmc   +1 more source