Results 41 to 50 of about 392,476 (333)
A rapid CAE-based design method for modular hybrid truss structures
The development of hybrid trusses made of carbon-fiber-reinforced plastic struts and aluminum knots is currently not standardized, and there is no overall method for the design, although it has been proven that mass reduction is feasible.
Simon Walbrun +2 more
doaj +1 more source
The ForMaRE Project - Formal Mathematical Reasoning in Economics
The ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics' theoretical results, to aid in discovering new results, and to foster interest in formal methods, i.e.
Kerber, Manfred +2 more
core +1 more source
The golden circle: A way of arguing and acting about technology in the London ambulance service [PDF]
This paper analyses the way in which the London Ambulance Service recovered from the events of October 1992, when it implemented a computer-aided despatch system (LASCAD) that remained in service for less than two weeks.
A Giddens +37 more
core +2 more sources
Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source
On functional module detection in metabolic networks [PDF]
Functional modules of metabolic networks are essential for understanding the metabolism of an organism as a whole. With the vast amount of experimental data and the construction of complex and large-scale, often genome-wide, models, the computer-aided ...
Adleman +29 more
core +2 more sources
Crosstalk between the ribosome quality control‐associated E3 ubiquitin ligases LTN1 and RNF10
Loss of the E3 ligase LTN1, the ubiquitin‐like modifier UFM1, or the deubiquitinating enzyme UFSP2 disrupts endoplasmic reticulum–ribosome quality control (ER‐RQC), a pathway that removes stalled ribosomes and faulty proteins. This disruption may trigger a compensatory response to ER‐RQC defects, including increased expression of the E3 ligase RNF10 ...
Yuxi Huang +8 more
wiley +1 more source
Computer-Aided Discovery and Categorisation of Personality Axioms [PDF]
We propose a computer-algebraic, order-theoretic framework based on intuitionistic logic for the computer-aided discovery of personality axioms from personality-test data and their mathematical categorisation into formal personality theories in the ...
Kramer, Simon
core
Arnold maps with noise: Differentiability and non-monotonicity of the rotation number
Arnold's standard circle maps are widely used to study the quasi-periodic route to chaos and other phenomena associated with nonlinear dynamics in the presence of two rationally unrelated periodicities.
Di Garbo, A. +4 more
core +2 more sources
Multiple ETS family transcription factors bind mutant p53 via distinct interaction regions
Mutant p53 gain‐of‐function is thought to be mediated by interaction with other transcription factors. We identify multiple ETS transcription factors that can bind mutant p53 and found that this interaction can be promoted by a PXXPP motif. ETS proteins that strongly bound mutant p53 were upregulated in ovarian cancer compared to ETS proteins that ...
Stephanie A. Metcalf +6 more
wiley +1 more source
Program for SC filter analysis [PDF]
Projekt řeší problematiku počítačové analýzy obvodů s externím spínáním na základě teorie zobecněných přenosových funkcí.Project is focused on a problem of computer-aided analysis of circuits with external switching, starting from the theory of ...
Pech, Vladislav
core

