Results 31 to 40 of about 123,701 (142)
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL
Italian Conference on Computational Logic, 2021 We formalize in Isabelle/HOL soundness and completeness of a one-sided sequent calculus for first-order logic. The completeness is shown via a translation from a semantic tableau calculus, whose completeness proof we base on the theory entry “First-Order
Asta Halkjær From +2 more
semanticscholar +1 more source
Improved Regret for Zeroth-Order Adversarial Bandit Convex Optimisation [PDF]
arXiv.org, 2020 We prove that the information-theoretic upper bound on the minimax regret for zeroth-order adversarial bandit convex optimisation is at most $O(d^{2.5} \sqrt{n} \log(n))$, where $d$ is the dimension and $n$ is the number of interactions. This improves on
Tor Lattimore
semanticscholar +1 more source
, 2005 A self-consistent remote sensing physical method to retrieve atmospheric humidity high-resolution profiles by synergetic use of a microwave radiometer profiler (MWRP) and wind profiler radar (WPR) is illustrated.
L. Bianco +3 more
semanticscholar +1 more source
Zeroth-order Feedback Optimization for Cooperative Multi-Agent Systems [PDF]
IEEE Conference on Decision and Control, 2020 We consider a class of multi-agent optimization problems, where each agent is associated with an action vector and a local cost that depends on the joint actions of all agents, and the goal is to minimize the average of the local costs.
Yujie Tang, Zhaolin Ren, Na Li
semanticscholar +1 more source
Deleuze’s zeroness and Peirce’s pure zero regarding the expansion of semiotics’ categorial frame
Semiotica: Journal of the International Association for Semiotic StudiesDeleuze (1925–1995), in the early 1980s, adopts Peirce’s (1839–1914) semiotics in order to classify the signs that the images of the cinema display. Aiming at insufflating the Peircean principles with the movement that animates the images of cinema, he ...
Helio Rebello Cardoso Jr.
semanticscholar +1 more source
The Chemical Record, EarlyView.In February through April 1965, Hoffmann devised several MO tools to explain the regiochemistry of the Diels‐Alder and the preference of the Cope reaction to proceed by the chair rather than boat orientations, when both were possible. The secret lay in secondary orbital interactions that were revealed through qualitative perturbation theory.
Jeffrey I. Seeman
wiley +1 more source
Contour Detector and Data Acquisition System for the Left Ventricular Outline [PDF]
, 1978 A real-time contour detector and data acquisition system is described for an angiographic apparatus having a video scanner for converting an X-ray image of a structure characterized by a change in brightness level compared with its surrounding into video
Reiber, J. H. C.
core +1 more source
Analytic control methods for high fidelity unitary operations in a weakly nonlinear oscillator
, 2011 In qubits made from a weakly anharmonic oscillator the leading source of error at short gate times is leakage of population out of the two dimensional Hilbert space that forms the qubit.
Gambetta, J. M. +3 more
core +1 more source
, 2015 We provide a holographic evaluation of novel contributions to the drag force acting on a heavy quark moving through strongly interacting plasma. The new contributions are chiral in that they act in opposite directions in plasmas containing an excess of ...
A Chamblin +72 more
core +3 more sources
REVIEW PAPER ON SEGMENTATION METHODS FOR MULTIOBJECT FEATURE EXTRACTION
, 2014 Feature extraction and representation plays a vital role in multimedia processing. It is still a challenge in computer vision system to extract ideal features that represents intrinsic characteristics of an image.
S. Deshmukh, Anjali Yadav
semanticscholar +1 more source