Results 41 to 50 of about 104,670 (289)

Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic

Bulletin of the Section of Logic
The Nonassociative Lambek Calculus (NL) represents a logic devoid of the structural rules of exchange, weakening, and contraction, and it does not presume the associativity of its connectives. Its finitary consequence relation is decidable in polynomial
Paweł Płaczek
doaj   +1 more source

Probabilistic consequence relations

Journal of Logic and Computation
Abstract This paper investigates logical consequence defined in terms of probability distributions, for a classical propositional language using a standard notion of probability. We examine three distinct probabilistic consequence notions, which we call material consequence, preservation consequence and symmetric consequence.
Égré, Paul, Ripley, Ellie
openaire   +3 more sources

Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Objectives Transient global amnesia (TGA) is a striking model of isolated amnesia. While hippocampal lesions are well described, the network‐level mechanisms and the precise neuropsychological profile remain debated. Our objective was thus to characterize functional and neuropsychological correlates of acute TGA and their ...
Elias El Otmani, Emmanuel Barbeau, Béatrice Lemesle, Emilie Milongo‐Rigal, Sophie Fernandez, Sandrine Charpentier, Jean‐François Albucher, Nicolas Raposo, Fabrice Bonneville, Patrice Péran, Jérémie Pariente   +10 more
wiley   +1 more source

Clinical Practice Guideline for Evaluation and Management of Peripheral Nervous System Manifestations in Sjögren's Disease

Arthritis Care &Research, EarlyView.
Objective Sjögren's disease is an autoimmune disorder that can impact multiple organ systems, including the peripheral nervous system (PNS). PNS manifestations, which can exist concurrently, include mononeuropathies, polyneuropathies, and autonomic nervous system neuropathies.
Anahita Deboo, Robert Fox, Katherine M. Hammitt, Julie Frantsve‐Hawley, Matthew C. Baker, Stamatina Danielides, Eduardo De Sousa, Brent P. Goodman, Jennifer K. King, Steven Mandel, Ghaith Noaiseh, Pantelis P. Pavlakis, George Sarka, R. Hal Scofield, Arun Varadhachary, Daniel J. Wallace, Matt Makara, Nancy Carteron, Steven Carsons, in collaboration with the Consensus Expert Panel (CEP) members, G. Alden Adkins, Brittany Adler, Hossein Ansari, Senada Arabelovic, Alan Baer, Denis Balaban, Shamik Bhattacharyya, Evelyn Bromet, Krishna Chaganti, Kamal Chemali, Melissa Cortez, Schartess Culpepper, Paul Dellaripa, Dana Direnzo, Daniel El Bogdadi, Robert Fearon, Mehrnez Fischbach, Judi Furlong, Christopher Gibbons, Rachael Gordon, Thomas Grader Beck, Syed Haider, Larry Hollenbeck, Chadwick R. Johr, Stuart S. Kassan, Brian King, Octavia Kincaid, Eugene Kissin, Vasileios Kyttaris, Lindsay Lally, Brandon M. Law, Janet Lewis, Scott M. Lieberman, Amanda Lusa, Joseph Lutt, Rashmi Maganti, Arthur M. Mandelin, Sara McCoy, Kerry Neall, Timothy Niewold, Anne Louise Oaklander, Ruben A. Peredo‐Wende, Lynn Petruzzi, Mark A. Porter, Guada Respicio Duque, Tania Reyna, Nathaniel M. Robbins, Elliot D. Rosenstein, Laura Rosow, Breanna Ruthrauff, Amit Sachdev, Nora Sandorfi, Sarah Schafer, Elena Schiopu, Chokkalingam Siva, Daniel Small, Sara M. Stern, Lauren Stiles, Susan Stoddard, Jinny Tavee, Donald Thomas, Edward L. Treadwell, Nagagopal Venna, Steven Vernino, Frederick B. Vivino, Brittany Weber, Sepideh Yadollahi, Huiying Yu, Scott Zashin   +88 more
wiley   +1 more source

Revisiting Stability Criteria in Ball‐Milled High‐Entropy Alloys: Do Hume–Rothery and Thermodynamic Rules Equally Apply?

Advanced Engineering Materials, Volume 27, Issue 6, March 2025.
The stability criteria affecting the formation of high‐entropy alloys, particularly focusing in supersaturated solid solutions produced by mechanical alloying, are analyzed. Criteria based on Hume–Rothery rules are distinguished from those derived from thermodynamic relations. The formers are generally applicable to mechanically alloyed samples.
Javier S. Blázquez, Alejandro F. Manchón‐Gordón, Antonio Vidal‐Crespo, Rafael Caballero‐Flores, Jhon J. Ipus, Clara F. Conde   +5 more
wiley   +1 more source

Pentagon Relations in Direct Sums and Grassmann Algebras

Symmetry, Integrability and Geometry: Methods and Applications, 2013
We construct vast families of orthogonal operators obeying pentagon relation in a direct sum of three n-dimensional vector spaces. As a consequence, we obtain pentagon relations in Grassmann algebras, making a far reaching generalization of exotic ...
Igor G. Korepanov, Nurlan M. Sadykov
doaj   +1 more source

Common Probability Patterns Arise from Simple Invariances

Entropy, 2016
Shift and stretch invariance lead to the exponential-Boltzmann probability distribution. Rotational invariance generates the Gaussian distribution. Particular scaling relations transform the canonical exponential and Gaussian patterns into the variety of
Steven A. Frank
doaj   +1 more source

Characterization of Defect Distribution in an Additively Manufactured AlSi10Mg as a Function of Processing Parameters and Correlations with Extreme Value Statistics

Advanced Engineering Materials, EarlyView.
Predicting extreme defects in additive manufacturing remains a key challenge limiting its structural reliability. This study proposes a statistical framework that integrates Extreme Value Theory with advanced process indicators to explore defect–process relationships and improve the estimation of critical defect sizes. The approach provides a basis for
Muhammad Muteeb Butt, Varma Kvvssn, Hossein Laieghi, Zia Uddin, Peyman Ansari, E. Kıvanç Sadak, Can Barış Toprak, Hüseyin Kızıl, Enrico Salvati   +8 more
wiley   +1 more source

NFDI MatWerk Ontology (MWO): A BFO‐Compliant Ontology for Research Data Management in Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi, Ebrahim Norouzi, Kostiantyn Hubaiev, Jörg Waitelonis, Harald Sack   +4 more
wiley   +1 more source

CONSIDERATIONS REGARDING THE EXPORT OF MILITARY EQUIPMENT DEVELOPED IN COOPERATION [PDF]

Journal of Defense Resources Management, 2020
The problems and the possible schemes of organization between industries and the relations of this organization with European Union member states for optimization of the export of military equipment developed in cooperation generate wide discussions ...
Ion Anghel
doaj