Results 101 to 110 of about 10,721,723 (299)
Formal methods in software development: A road less travelled
South African Computer Journal, 2010 An integration of traditional verification techniques and formal specifications in software engineering is presented. Advocates of such techniques claim that mathematical formalisms allow them to produce quality, verifiably correct, or at least highly ...
John A van der Poll
doaj
Golgi enzymes are retrieved from the plasma membrane to the trans‐Golgi network
FEBS Letters, EarlyView.Golgi enzymes are traditionally considered resident proteins retained within the Golgi apparatus. Here, we demonstrate that a subset transiently reaches the cell surface and is subsequently retrieved to the trans‐Golgi network via retrograde transport. Using a nanobody‐based toolkit, we uncover a dynamic trafficking cycle of several Golgi enzymes.
Dominik P. Buser, Tina Junne
wiley +1 more source
Training set edition using Rough Set Theory for Semi-supervised Classification
, 2017 Semi-supervised Classification (SSC) is becoming an attractive research filed due to the emergence of real-world problems on which the number of unlabeled examples exceeds the labeled ones.
Nápoles, G. +4 more
core +4 more sources
FEBS Letters, EarlyView.Obesity raises blood levels of PAI‐1, a protein linked to metabolic dysfunction‐associated steatotic liver disease in people with obesity. In female mice fed a high‐fat diet, partially lowering PAI‐1 led to smaller subcutaneous fat cells and lower liver cholesterol, without changing body weight or insulin sensitivity.
Claudia E. Ramirez Bustamante +10 more
wiley +1 more source
On the Philosophical Roots of the Naïve and Axiomatic Set Theories: Determinatio est Negatio
Felsefe ArkiviThe principle determinatio est negatio—that determination is achieved through negation—has philosophical roots extending back to Plato and Aristotle, and it later influenced early modern thinkers such as Francisco Suárez and Spinoza.
Osman Gazi Birgül
doaj +1 more source
Convergence of recursive functions on computers
The Journal of Engineering, 2014 A theorem is presented which has applications in the numerical computation of fixed points of recursive functions. If a sequence of functions {f(n)} is convergent on a metric space I ⊆ ℝ, then it is possible to observe this behaviour on the set 𝔻 ⊂ ℚ of ...
Erivelton Geraldo Nepomuceno
doaj +1 more source
Ligand‐dependent transcriptional heterogeneity in cell cycle gene expression delays G1/S entry
FEBS Letters, EarlyView.EGF and HRG induce distinct G1/S progression programs in ErbB2‐amplified BT474 breast cancer cells. Despite activating the potent ErbB2–ErbB3 heterodimer, HRG does not accelerate cell‐cycle entry. Instead, EGF promotes earlier restriction‐point passage via ERK–FOS signaling, whereas HRG activates the AKT–MYC axis, driving transcriptional heterogeneity ...
Ririn Rahmala Febri +5 more
wiley +1 more source
Applied Set Theory and Logic [PDF]
This volume presents a comprehensive introduction to set theory and mathematical logic with a distinctive emphasis on practical application across disciplines such as computer science, electrical engineering, and database systems. Core logical operations—
Kuczynski, John-Michael
core
Soft Intersection Quasi-interior Ideals of Semigroups
It has been shown that generalizing the ideals of an algebraic structure is both interesting and beneficial for mathematicians. In this context, the concept of quasi-interior (Ԛꟾ) ideal was introduced as a generalization of quasi-ideal and interior ideal
Sezgin, Aslıhan +1 more
core +1 more source
The Reasonable Ineffectiveness of Mathematics in the Biological Sciences
EntropyThe known laws of nature in the physical sciences are well expressed in the language of mathematics, a fact that caused Eugene Wigner to wonder at the “unreasonable effectiveness” of mathematical concepts to explain physical phenomena.
Seymour Garte +2 more
doaj +1 more source