Results 1 to 10 of about 432,753 (276)

DP-MINIMALITY: INVARIANT TYPES AND DP-RANK [PDF]

The Journal of Symbolic Logic, 2014
AbstractThis paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium directionality.In the second part, we study dp-rank in dp-minimal theories and show that it enjoys many ...
Simon, Pierre
openaire   +5 more sources

DP-AdamBC: Your DP-Adam Is Actually DP-SGD (Unless You Apply Bias Correction)

Proceedings of the AAAI Conference on Artificial Intelligence
The Adam optimizer is a popular choice in contemporary deep learning due to its strong empirical performance. However we observe that in privacy sensitive scenarios, the traditional use of Differential Privacy (DP) with the Adam optimizer leads to sub-optimal performance on several tasks. We find that this performance degradation is due to a DP bias in
Qiaoyue Tang, Frederick Shpilevskiy, Mathias Lécuyer   +2 more
openaire   +3 more sources

Feasibility of papaya merah delima farming in suburb area of Manado City [PDF]

E3S Web of Conferences, 2021
A Research has been conducted in Pandu Experimental Garden, Talawaan Bantik Village, North Sulawesi, in 2017-2019. It is located in suburb area of Manado City having high demand of fruits, mainly papaya The objectiveness of the research was to analyze ...
Malia Ibrahim Erik, Sondakh Joula O.M., Kindangen Jantje G., Rembang Jeanne, Rawung Jefny M., Indrasti Rita   +5 more
doaj   +1 more source

Proactive DP: A Multiple Target Optimization Framework for DP-SGD. [PDF]

Proceedings of Machine Learning Research
We introduce a multiple target optimization framework for DP-SGD referred to as pro-active DP. In contrast to traditional DP accountants, which are used to track the expenditure of privacy budgets, the pro-active DP scheme allows one to a-priori select parameters of DP-SGD based on a fixed privacy budget (in terms of ϵ and δ) in such a way to optimize ...
M.E. van Dijk (Marten), N. V. Nguyen (Nhuong), T. N. Nguyen (Toan), L. M. Nguyen (Lam), P.H. Nguyen (Phuong Ha)   +4 more
core   +8 more sources

Structural Parallelism in TP and DP: Case and Agreement in Azeri Turkish [PDF]

زبان پژوهی, 2021
The purpose of this paper is to provide a minimalist account of case and agreement within Azeri Turkish DPs. The DP-internal case and agreement in Azeri Turkish has direct bearing on the structural parallelism across syntactic projections of different ...
Morteza Mollavali, Yadgar Karimi, Gholamhossein Karimi Doostan, Vahid Gholami, Adel Dastghoshadeh   +4 more
doaj   +1 more source

Lekuwa DP : a minimalist analysis [PDF]

Akofena, 2022
: The purpose of this paper is to study the DP in Lekuwa within the framework of the Minimalist Program. It is demonstrated that the DP and the TP in Lekuwa are headed by a functional category, namely AGR and its lexical instantiations (i.e ...
Thierry Tsono MOWELLE
doaj   +1 more source

Simulation and Machine Learning Methods for Ion-Channel Structure Determination, Mechanistic Studies and Drug Design

Frontiers in Pharmacology, 2022
Ion channels are expressed in almost all living cells, controlling the in-and-out communications, making them ideal drug targets, especially for central nervous system diseases.
Zhengdan Zhu, Zhengdan Zhu, Zhenfeng Deng, Zhenfeng Deng, Qinrui Wang, Yuhang Wang, Duo Zhang, Duo Zhang, Ruihan Xu, Ruihan Xu, Lvjun Guo, Han Wen   +11 more
doaj   +1 more source

On DP‐coloring of digraphs [PDF]

Journal of Graph Theory, 2019
AbstractDP‐coloring is a relatively new coloring concept by Dvořák and Postle and was introduced as an extension of list‐colorings of (undirected) graphs. It transforms the problem of finding a list‐coloring of a given graph with a list‐assignment to finding an independent transversal in an auxiliary graph with vertex set .
Jørgen Bang-Jensen, Thomas Bellitto, Thomas Schweser, Michael Stiebitz   +3 more
openaire   +3 more sources

Benefits of Investigating the Thermal Component for Moisture Safety in Ventilated Attics [PDF]

E3S Web of Conferences, 2020
Cold ventilated attics often have mould problems in Sweden. This is valid both for old and sometimes newly built attics. Increased insulation on the attic floor is assumed to increase the problem.
Claesson Johan, Wallentén Petter
doaj   +1 more source

Witnessing Dp-Rank [PDF]

Notre Dame Journal of Formal Logic, 2014
We prove that in NTP_2 theories if p is a dependent type with dp-rank >= κ, then this can be witnessed by indiscernible sequences of tuples satisfying p. If p has dp-rank infinity, then this can be witnessed by singletons (in any theory).
Itay Kaplan, Pierre Simon
openaire   +3 more sources