Search Results for author:
Found 7 papers, 0 papers with code
Market Misconduct in Decentralized Finance (DeFi): Analysis, Regulatory Challenges and Policy Implications
The rise of blockchain and Decentralized Finance (DeFi) underscores this intertwined evolution of technology and finance.
Leverage Staking with Liquid Staking Derivatives (LSDs): Opportunities and Risks
Lido, the leading Liquid Staking Derivative (LSD) provider on Ethereum, allows users to stake an arbitrary amount of ETH to receive stETH, which can be integrated with Decentralized Finance (DeFi) protocols such as Aave.
Extreme compression of sentence-transformer ranker models: faster inference, longer battery life, and less storage on edge devices
Modern search systems use several large ranker models with transformer architectures.
Secure Bayesian Federated Analytics for Privacy-Preserving Trend Detection
Federated analytics has many applications in edge computing, its use can lead to better decision making for service provision, product development, and user experience.
Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems
The example analyzed in the paper demonstrates the enrichment of the original CPS model obtained through ontology and reasoning and its ability to deliver additional insights to the developers and operators of CPS.
Constrained Bayesian Networks: Theory, Optimization, and Applications
We develop the theory and practice of an approach to modelling and probabilistic inference in causal networks that is suitable when application-specific or analysis-specific constraints should inform such inference or when little or no data for the learning of causal network structure or probability values at nodes are available.
Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving
We therefore present a tool, ManyOpt, for MINLP optimization that enables experimentation with reduction techniques which transform a MINLP problem to feasibility checking realized by an SMT solver.
