Lowness Properties and Approximations of the Jump Santiago Figueira ∗

Source URL: www.glyc.dc.uba.ar

• Theoretical computer science
• Mathematical logic
• Theory of computation
• Recursion
• Primitive recursive function
• Function
• Μ operator
• Fixed-point combinator
• Mathematics
• Computability theory
• Functions and mappings

BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for

Source URL: www.brics.dk

• Applied mathematics
• Models of computation
• Model checking
• Fixed-point combinator
• Abstraction
• Predicate
• Abstract interpretation
• Finite-state machine
• Function
• Theoretical computer science
• Mathematics
• Lambda calculus

Jordan Journal of Mathematics and Statistics (JJMS) 6(2), 2013, ppA FIXED POINT THEOREM IN INTUITIONISTIC FUZZY METRIC SPACE SUNNY CHAUHAN

Source URL: journals.yu.edu.jo

• Topology
• Space
• Mathematical analysis
• Metric space
• T-norm
• Continuous function
• Metric
• Geometry
• Mathematics
• Metric geometry

Progress as Compositional Lock-Freedom Marco Carbone 1 2

Source URL: www.dcs.gla.ac.uk

• Deduction
• Lambda calculus
• Process calculi
• Π-calculus
• Function
• Valuation
• Fixed-point combinator
• Branch point
• Entailment
• Mathematics
• Logic
• Theoretical computer science

Q IWA Publishing 2006 Journal of Hydroinformatics | 08.3 | A fixed functional set genetic algorithm (FFSGA) approach for function approximation

Source URL: www.iwaponline.com

The M AKWA Password Hashing Function Specifications v1.0 Thomas Pornin, <> February 22, 2014 Abstract We present the M AKWA password hashing function, which turns variable-length input data into a fixed-s

Source URL: www.bolet.org

QUESTION 1 Consider a population of risk-averse consumers, each of which has a fixed income w and faces a possible monetary loss L U, < w. All consumers have the same utility function

Source URL: www.econ.wisc.edu

VIAFLO Fixed and Adjustable Spacing Electronic Pipettes VIAFLO Pipettes All VIAFLO pipettes function as repeaters, mixers, serial dilutors, manual pipettes, handheld sample processors and more! Despite the multiple fun

Source URL: www.dandiag.dk

An Attack Against Fixed Value Discrete Logarithm Representations Gergely Alp´ ar1,2⋆ , Jaap-Henk Hoepman1,2 , and Wouter Lueks1,2⋆⋆ 1

Source URL: eprint.iacr.org

• Binary operations
• Finite fields
• Computational hardness assumptions
• Group theory
• Trapdoor function
• Public-key cryptography
• One-way function
• Exponentiation
• Discrete logarithm
• Cryptography
• Abstract algebra
• Mathematics

Present-Bias, Quasi-Hyperbolic Discounting, and Fixed Costs Jess Benhabib Alberto Bisin Andrew Schotter

Source URL: www.econ.nyu.edu

• Microeconomics
• Actuarial science
• Exponential discounting
• Discount function
• Discounting
• Finance
• Time preference
• Exponential
• Economic model
• Behavioral finance
• Hyperbolic discounting
• Economics