Search Results - "Łukasiewicz"

Zgodność pomiędzy wynikami testu FMS a częstością występowania kontuzji u siatkarek na przykładzie drużyny II ligowej = The consistency between the FMS test results and the... by Marcin Siedlaczek, Grzegorz Srokowski, Hanna Łukasiewicz, Anna Srokowska, Tomasz Kowalik, Zuzanna Piekorz, Walery Zukow

Connect to this object online.

Evaluation of Selected Oxidant/Antioxidant Parameters in Patients with Relapsing-Remitting Multiple Sclerosis Undergoing Disease-Modifying Therapies by Anna Bizoń, Justyna Chojdak-Łukasiewicz, Aleksandra Kołtuniuk, Sławomir Budrewicz, Anna Pokryszko-Dragan, Agnieszka Piwowar

Connect to this object online.

Changes in the Plasma and Platelet Nitric Oxide Biotransformation Metabolites during Ischemic Stroke-A Dynamic Human LC/MS Metabolomic Study by Maciej Bladowski, Ewa Szahidewicz-Krupska, Jerzy Wiśniewski, Paulina Fortuna, Justyna Chojdak-Łukasiewicz, Slawomir Budrewicz, Mariusz Fleszar, Adrian Doroszko

Connect to this object online.

Cross-Section Observational Study to Assess Antimicrobial Resistance Prevalence among Bovine Respiratory Disease Bacterial Isolates from Commercial US Feedlots by Erin Jobman, Jacob Hagenmaier, Nathan Meyer, Lee Bob Harper, Lisa Taylor, Kip Lukasiewicz, Dan Thomson, James Lowe, Shane Terrell

Connect to this object online.

Medicaid Patients Have Greater Difficulty Scheduling Health Care Appointments Compared With Private Insurance Patients: A Meta-Analysis by Walter R. Hsiang BS, Adam Lukasiewicz MD, Mark Gentry MA, MLS, Chang-Yeon Kim MD, Michael P. Leslie DO, Richard Pelker MD, PhD, Howard P. Forman MD, MBA, Daniel H. Wiznia MD

Connect to this object online.

Fuzzy Sets, Fuzzy Logic and Their Applications 2020

Subjects: “…max-Łukasiewicz algebra…”
DOAB: download the publication
DOAB: description of the publication

Immunomodulatory placental‐expanded, mesenchymal stromal cells improve muscle function following hip arthroplasty by Tobias Winkler, Carsten Perka, Philipp vonRoth, Alison N. Agres, Henning Plage, Bernd Preininger, Matthias Pumberger, Sven Geissler, Esther Lukasiewicz Hagai, Racheli Ofir, Lena Pinzur, Eli Eyal, Gisela Stoltenburg‐Didinger, Christian Meisel, Christine Consentius, Mathias Streitz, Petra Reinke, Georg N. Duda, Hans‐Dieter Volk

Connect to this object online.

Deductive Systems in Traditional and Modern Logic

Subjects: “…Jan Łukasiewicz…”
DOAB: download the publication
DOAB: description of the publication

Uncertain Multi-Criteria Optimization Problems

Subjects: “…Łukasiewicz consistency…”
DOAB: download the publication
DOAB: description of the publication

The media and information environments ten years after 9/11 / Gary D. Rawnsley by Rawnsley, Gary D.

Link Metadata

The Sharing Economy in Europe Developments, Practices, and Contradictions /

Table of Contents: “…Mobility and Transportation Sharing; Agnieszka Łukasiewicz, Anikó Bernát, & Vera Lúcia Alves Pereira Diogo -- 7. …”
Link to Metadata

Aristote au xixe siècle by Denis Thouard

DOAB: download the publication
DOAB: description of the publication

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
Link to Metadata