Results 31 to 40 of about 32,620 (305)
Formal and finite order equivalences [PDF]
Mathematische Zeitschrift, 2010 We show that two families of germs of real-analytic subsets in $C^{n}$ are formally equivalent if and only if they are equivalent of any finite order. We further apply the same technique to obtain analogous statements for equivalences of real-analytic self-maps and vector fields under conjugations.
openaire +4 more sources
The Two Trends in the Sea of Bible Translation: Nowadays English Translations of the Bible [PDF]
Вестник Свято-Филаретовского института, 2011 The article analyses the nowadays situation in the English Bible translation: the enormous number of translations and the two main trends – formal equivalence (literal translation) and functional equivalence (idiomatical translation).
Olga Sushkova
doaj
Regular Equivalence for Social Networks
Applied Sciences, 2018 Networks and graphs are highly relevant in modeling real-life communities and their interactions. In order to gain insight in their structure, different roles are attributed to vertices, effectively clustering them in equivalence classes.
Pieter Audenaert +2 more
doaj +1 more source
Formal Verification of Fault-Tolerant Hardware Designs
IEEE Access, 2023 Digital circuits for space applications can suffer from operation failures due to radiation effects. Error detection and mitigation techniques are widely accepted solutions to improve dependability of digital circuits under Single Event Upsets (SEUs) and
Luis Entrena +6 more
doaj +1 more source
Formal Analysis of Quantum Systems using Process Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of ...
Timothy A.S. Davidson +2 more
doaj +1 more source
Psychosocial Outcomes in Patients With Endocrine Tumor Syndromes: A Systematic Review
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction The combination of disease manifestations, the familial burden, and varying penetrance of endocrine tumor syndromes (ETSs) is unique. This review aimed to portray and summarize available data on psychosocial outcomes in patients with ETSs and explore gaps and opportunities for future research and care.
Daniël Zwerus +6 more
wiley +1 more source
Time after time – circadian clocks through the lens of oscillator theory
FEBS Letters, EarlyView.Oscillator theory bridges physics and circadian biology. Damped oscillators require external drivers, while limit cycles emerge from delayed feedback and nonlinearities. Coupling enables tissue‐level coherence, and entrainment aligns internal clocks with environmental cues.
Marta del Olmo +2 more
wiley +1 more source
Fuzzy Implication and Functional Dependency on Formal Context
Jurnal Matematika Integratif, 2020 Fuzzy formal concept analysis(FFCA) is a development of formal concept analysis(FCA) with the degree of relation between objects and attributes. Using FCA approach, we will investigate the condition logical implication for fuzzy functional dependency. We
Mohammad Deni Akbar, Yoshihiro Mizoguchi
doaj +1 more source
Toward Reliable Programmable Logic Controller Function Block Diagrams
IEEE Access, 2021 Programmable logic controllers (PLCs) are widely used in industrial electronic systems. With the augmenting complexity of system, the reliability poses a crucial challenge in safety critical applications.
Jianyong Zhao, Zhe Tao
doaj +1 more source
Cell wall target fragment discovery using a low‐cost, minimal fragment library
FEBS Letters, EarlyView.LoCoFrag100 is a fragment library made up of 100 different compounds. Similarity between the fragments is minimized and 10 different fragments are mixed into a single cocktail, which is soaked to protein crystals. These crystals are analysed by X‐ray crystallography, revealing the binding modes of the bound fragment ligands.
Kaizhou Yan +5 more
wiley +1 more source