Results 31 to 40 of about 22,340,656 (310)

Automating Security Analysis: Symbolic Equivalence of Constraint Systems [PDF]

, 2010
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity or strong secrecy).
Hubert Comon-Lundh, Stéphanie Delaune, Cheval, Vincent, Delaune, Stéphanie, Vincent Cheval, Comon-Lundh, Hubert   +5 more
core   +1 more source

Ordinal and symbolic data analysis [PDF]

Discrete Applied Mathematics, 2005
info:eu-repo/semantics ...
Jean-Paul Doignon, Marc Pirlot
openaire   +2 more sources

Mapping symbolic (anti-) consumption [PDF]

, 2009
Rejection is at the heart of anti-consumption and is therefore key to some of the central relationships in symbolic consumption. However, researchers find rejection difficult to study because of the lack of material traces.
Stephenson, C A, Banister, E N, Hogg, M K   +2 more
core   +5 more sources

Permutation Entropy as a Measure of Information Gain/Loss in the Different Symbolic Descriptions of Financial Data

Entropy, 2020
Financial markets give a large number of trading opportunities. However, over-complicated systems make it very difficult to be effectively used by decision-makers.
Jan Kozak, Krzysztof Kania, Przemysław Juszczuk   +2 more
doaj   +1 more source

Symbolic Magnifying Lens Abstraction in Markov Decision Processes [PDF]

, 2008
In this paper, we combine abstraction-refinement and symbolic techniques to fight the state-space explosion problem when model checking Markov decision processes (MDPs).
Luca de Alfaro, Parker, D., David Parker, de Alfaro, L., Pritam Roy, Norman, G., Roy, P., Gethin Norman   +7 more
core   +1 more source

Axioms and Methods for Handling Differential Equations and Inverse Problems

Axioms
Modeling real-life problems requires a variety of differential equations that often cause significant challenges for researchers [...]
Zoltán Vizvári, Mihály Klincsik, Róbert Kersner, Péter Odry, Zoltán Sári, Vladimir Tadić   +5 more
doaj   +1 more source

Symbolic analysis of linear electric circuits with MIT Julia Symbolics.jl package [PDF]

Tehnika
This paper presents novel free open-source software JuliaCAP for symbolic analysis of linear time-invariant electric circuits in the complex domain of the Unilateral Laplace Transform or Phasor Transform. Modified Nodal Analysis (MNA) has been chosen for
Došlo Glorija Z., Rajković Kristina D.
doaj   +1 more source

Statechart Analysis with Symbolic PathFinder [PDF]

2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, 2012
We report here on our on-going work that addresses the automated analysis and test case generation for software systems modeled using multiple State chart formalisms.
Corina S. Pasareanu, Daniel Balasubramanian   +1 more
openaire   +2 more sources

Efficient algorithm based on the TTC method for the symbolic analysis of the transfer function

, 2023
embargoed_20260928In this thesis, we present an efficient implementation of the generalized Time Transfer Constant algorithm. It is used to determine the symbolic transfer function of a linearized circuit with a desired level of accuracy, thus accepting ...
BALZAN, ALESSANDRO
core  

Nutrient/TOR signaling controls adipose mitochondrial transcription factor A (TFAM) to regulate organismal growth in Drosophila

FEBS Letters, EarlyView.
Animals must match their growth rate to available nutrients. We show that in Drosophila larvae, the nutrient‐sensing TOR kinase controls growth by regulating levels of TFAM, a key regulator of mitochondrial function, in the adipose tissue. When nutrients are abundant, high TOR activity suppresses TFAM, lowering mitochondrial bioenergetic activity and ...
Shrivani Sriskanthadevan‐Pirahas, Shahoon Khan, Abhishek Sharma, Byoungchun Lee, Savraj S. Grewal   +4 more
wiley   +1 more source