Results 61 to 70 of about 310,350 (314)

A Priori Concepts in Euclidean Proof

Proceedings of the Aristotelian Society, 2018
With the discovery of consistent non-Euclidean geometries, the a priori status of Euclidean proof was radically undermined. In response, philosophers proposed two revisionary interpretations of the practice: some argued that Euclidean proof is a purely formal system of deductive logic; others suggested that Euclidean reasoning is empirical, employing ...
openaire   +3 more sources

Proof of concept of wireless TERS monitoring [PDF]

Structural Control and Health Monitoring, 2017
Temporary earth retaining structures (TERS) help prevent collapse during construction excavation. To ensure that these structures are operating within design specifications, load forces on supports must be monitored. Current monitoring approaches are expensive, sparse, off-line, and thus difficult to integrate into predictive models.
Michael Allen, Elena Gaura, Ross Wilkins, James Brusey, Yuepeng Dong, Andrew J. Whittle   +5 more
openaire   +6 more sources

Heterogeneity of Rheumatoid Arthritis‐Associated Interstitial Lung Disease by Longitudinal Forced Vital Capacity Trajectory and Associations with Disease Outcomes

Arthritis Care &Research, Accepted Article.
Objective We aimed to identify unique disease trajectories within rheumatoid arthritis‐associated interstitial lung disease (RA‐ILD) based on longitudinal forced vital capacity (FVC) values and their associated clinical outcomes. Methods We performed a cohort study of RA‐ILD within the Veterans Health Administration from 1999‐2021. RA‐ILD patients were
Bryant R. England, Yangyuna Yang, Punyasha Roul, Tate M. Johnson, Scott M. Matson, Grant W. Cannon, Brian C. Sauer, Jeffrey R. Curtis, Joshua F. Baker, Ted R. Mikuls   +9 more
wiley   +1 more source

Exploring patients’ profiles associated with the resolution of acute calcium pyrophosphate arthritis treatedwith colchicine and prednisone: post hoc analysis of a randomized controlled trial

Arthritis Care &Research, Accepted Article.
Objective The objective was to identify factors determining acute arthritis resolution and safety with colchicine and prednisone in acute calcium pyrophosphate (CPP) crystal arthritis. Methods We conducted a post hoc analysis of the COLCHICORT trial, which compared colchicine and prednisone for the treatment of acute CPP crystal arthritis, using a ...
Tristan Pascart, Laurène Norberciak, Pascal Richette, Pierre Robinet, Aurore Pacaud, Gauthier Marchasson, Thibault Rabin, Hélène Luraschi, Pierre Maciejasz, Anne‐France Georgel, Augustin Latourte, Hang‐Korng Ea, Sébastien Ottaviani, Charlotte Jauffret, Vincent Ducoulombier   +14 more
wiley   +1 more source

Enhanced Remote Areas Communications: The Missing Scenario for 5G and Beyond 5G Networks

IEEE Access, 2020
The next generation of mobile communication system will allow a plethora of new services and use cases. By offering support for high throughput connections, low latency response and massive number of connections, the fifth generation of the mobile ...
Luciano Leonel Mendes, Carlos Salle Moreno, Maria Valeria Marquezini, Andre Mendes Cavalcante, Peter Neuhaus, Jorge Seki, Nathalia Figueiredo Tinoco Aniceto, Heikki Karvonen, Ivan Vidal, Francisco Valera, Priscila America Solis Mendez Barreto, Marcos Fagundes Caetano, Wheberth Damascena Dias, Gerhard Fettweis   +13 more
doaj   +1 more source

Data‐Driven Distributed Safe Control Design for Multi‐Agent Systems

International Journal of Adaptive Control and Signal Processing, EarlyView.
This paper presents a data‐driven control barrier function (CBF) technique for ensuring safe control of multi‐agent systems (MASs) with uncertain linear dynamics. A data‐driven quadratic programming (QP) optimization is first developed for CBF‐based safe control of single‐agent systems using a nonlinear controller. This approach is then extended to the
Marjan Khaledi, Bahare Kiumarsi
wiley   +1 more source

Protocol for conducting a single-cell sequencing assay for transposase-accessible chromatin analysis

STAR Protocols
Summary: While the single-cell sequencing assay for transposase-accessible chromatin (scATAC-seq) is a powerful single-cell resolution tool for studying chromatin accessibility, its analytical workflow presents significant challenges for researchers new ...
Wen Ma, Peiyao Ma, Yue Yuan, Dandan Hu, Kaifeng Li, Pengfei Cai, Chuanyu Liu   +6 more
doaj   +1 more source

Using a Supramolecular Approach to Engineer Modular Hydrogel Platforms for Culturing Protoplasts – from General Tissue Engineering to Cellular Agriculture

Advanced Biology, EarlyView.
Using supramolecular monomers, various hydrogel culture systems were formulated to culture protoplasts; including 2D, 2.5D, and 3D hydrogels. Depending on the culture platform, bioactive functionalization led to protoplast enlargement (2D and 2.5D) or plasmolysis (3D). This work shows the potential to modularly engineer synthetic platforms for cellular
Maritza M. Rovers, Erik J. Slootweg, Ferdinand C. O. Los, Patricia Y. W. Dankers   +3 more
wiley   +1 more source

A novel in vitro cell model of the proteinase/antiproteinase balance observed in alpha-1 antitrypsin deficiency

Frontiers in Pharmacology
Background: Alpha-1 antitrypsin deficiency (AATD) is a genetic condition resulting from mutations in the alpha-1 antitrypsin (AAT) protein, a major systemic antiproteinase, resulting in reduced/no release of AAT, disrupting the proteinase/antiproteinase ...
Celine H. Chen, Helena Crisford, Aaron Scott, Aaron Scott, Elizabeth Sapey, Elizabeth Sapey, Elizabeth Sapey, Robert A. Stockley, Robert A. Stockley   +8 more
doaj   +1 more source

Concept Finding Proofs

Journal of Advanced Computational Intelligence and Intelligent Informatics, 2011
We propose a proof-theoretical way of obtaining detailed and precise information on conceptual hierarchies. The notion of concept finding proof, which represents a hierarchy of concepts, is introduced based on a substructural logic with mingle and strong negation.
openaire   +2 more sources