Results 81 to 90 of about 1,349,956 (360)

Generic Modal Cut Elimination Applied to Conditional Logics [PDF]

Logical Methods in Computer Science, 2009
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal modal logic. We give extensive example instantiations
Pattinson, Dirk, Schröder, Lutz
openaire   +7 more sources

The multidrug and toxin extrusion (MATE) transporter DTX51 antagonizes non‐cell‐autonomous HLS1–AMP1 signaling in a region‐specific manner

FEBS Letters, EarlyView.
The Arabidopsis mutants hls1 hlh1 and amp1 lamp1 exhibit pleiotropic developmental phenotypes. Although the functions of the causative genes remain unclear, they act in the same genetic pathway and are thought to generate non‐cell‐autonomous signals.
Takashi Nobusawa, Makoto Kusaba
wiley   +1 more source

In-Process Chatter Detection in Surface Grinding

MATEC Web of Conferences, 2015
The chatter causes the poor surface finish during the surface grinding. It is therefore necessary to monitor the chatter during the process. Hence, this research has proposed the in-process chatter detection in the surface grinding process by utilizing ...
Tangjitsitcharoen Somkiat, Senjuntichai Angsumalin   +1 more
doaj   +1 more source

From lactation to malignancy: A comparison between healthy and cancerous breast gland at single‐cell resolution reveals new issues for tumorigenesis

FEBS Letters, EarlyView.
Single‐cell RNA sequencing reveals an opposite role of SLPI in basal tumors based on metastatic spread, along with shared activation of specific regulons in cancer cells and mature luminal lactocytes, as well as downregulation of MALAT1 and NEAT1 in the latter.
Pietro Ancona, Carlo M. Bergamini, Carlo Ferrari, Stefano Volinia, Nicoletta Bianchi   +4 more
wiley   +1 more source

Cell‐free DNA aneuploidy score as a dynamic early response marker in prostate cancer

Molecular Oncology, EarlyView.
mFast‐SeqS‐based genome‐wide aneuploidy scores are concordant with aneuploidy scores obtained by whole genome sequencing from tumor tissue and can predict response to ARSI treatment at baseline and, at an early time point, to ARSI and taxanes. This assay can be easily performed at low cost and requires little input of cfDNA. Cell‐free circulating tumor
Khrystany T. Isebia, Anouk C. de Jong, Lisanne F. van Dessel, Vanja de Weerd, Corine Beaufort, Jean Helmijr, José Alberto Nakauma‐González, Job van Riet, Paul Hamberg, Daniel Vis, Michiel S. van der Heijden, Nick Beije, Martijn P. Lolkema, Teoman Deger, Saskia M. Wilting, Ronald de Wit, Maurice P. H. M. Jansen, John W. M. Martens   +17 more
wiley   +1 more source

Wood Crosscutting Process Analysis for Circular Saws

BioResources, 2016
This article deals with the influence of some cutting parameters (geometry of cutting edge, wood species, and circular saw type) and cutting conditions on the wood crosscutting process carried out with circular saws.
Jozef Krilek, Ján Kováč, Marián Kučera   +2 more
doaj   +1 more source

Comparing self‐reported race and genetic ancestry for identifying potential differentially methylated sites in endometrial cancer: insights from African ancestry proportions using machine learning models

Molecular Oncology, EarlyView.
Integrating ancestry, differential methylation analysis, and machine learning, we identified robust epigenetic signature genes (ESGs) and Core‐ESGs in Black and White women with endometrial cancer. Core‐ESGs (namely APOBEC1 and PLEKHG5) methylation levels were significantly associated with survival, with tumors from high African ancestry (THA) showing ...
Huma Asif, J. Julie Kim
wiley   +1 more source

A Pre-Study of the Relationship Between Machining Technology Parameters and Surface Roughness in the Scope of the Optimal Cost Efficiency of Machining

Engineering Proceedings
This research investigates the relationship between machining technology parameters and surface roughness to optimize the cost efficiency of machining processes.
László Pálfi, József Beke, Szabolcs Szalai   +2 more
doaj   +1 more source

On Measurement and Interpretation of Toughness Behaviour of Carbide Tools [PDF]

, 1981
The actual significance of any definition of toughness behaviour of carbide tools depends on the existence of an interrelation between the quality as defined and the occurrence of chipping and premature failure in cutting.
Kals, H.J.J.
core   +2 more sources

INFLUENCE OF ABRASIVE WATERJET CUTTING CONDITIONS ON DEPTH OF CUT OF MILD STEEL [PDF]

INTERNATIONAL JOURNAL OF DESIGN AND MANUFACTURING TECHNOLOGY, 2012
Abrasive waterjet cutting is superior to many other non-traditional machining processes in processing variety of materials, particularly difficult-to-cut materials and has found extensive applications in industry. This paper assesses the influence of process parameters on depth of cut which is an important cutting performance measure in abrasive ...
M. Chithirai Pon Selvan, N. Mohanasundara Raju   +1 more
openaire   +1 more source