Results 51 to 60 of about 272 (180)
Les preuves de protocoles cryprographiques revisitées
, 2015 With the rise of the Internet the use of cryptographic protocols became ubiquitous. Considering the criticality and complexity of these protocols, there is an important need of formal verification.In order to obtain formal proofs of cryptographic ...
Scerri, Guillaume
core +1 more source
Економіка цінностей та філософія економіки
, 2020 The article is dedicated to the analysis of axiological ideas lying in the foundation of the modern economic science in general and theory of finances in particular. The concept of homo economicus and its origins are considered.
Коннова, Ніна
core +1 more source
Transactions of the Philological Society, EarlyView.Abstract Based on an analysis of the Old Literary Tibetan corpus—a corpus of the oldest documented Tibetic language—the present study provides evidence that literary Tibetan v3 verb stems (commonly termed ‘future’) initially encoded passive voice. New arguments put forward in this article range from Trans‐Himalayan nominal morphology to early Tibetan ...
Joanna Bialek
wiley +1 more source
Substructurality and residuation in logic and algebra [PDF]
, 2015 A very and natural way of introducing a logic is by using a sequent calculus, or Gentzen system. These systems are determined by specifying a set of axioms and a set of rules. Axioms are then starting points from which we can derive new consequences by
Gil Ferez, Josè, GIL FEREZ, JOSE'
core
Scale-Space Theory in Computer Vision [Elektronisk resurs]
, 1993 A basic problem when deriving information from measured data, such as images, originates from the fact that objects in the world, and hence image structures, exist as meaningful entities only over certain ranges of scale.
Lindeberg, Tony,
core +1 more source
Different Frontier, Same Legal Script? On the Course of Replicating Earth's Patterns in Space
The Modern Law Review, EarlyView.As states and private actors expand their activities in outer space, the international legal framework governing this domain risks extending longstanding structures of global inequality beyond Earth. This article examines how international space law, shaped by a broader disciplinary pattern of reactive legal development, is poised to reproduce ...
Sivan Shlomo‐Agon, Michal Saliternik
wiley +1 more source
Primate Anatomy, Kinematics, and Principles for Humanoid Design
, 2004 The primate order of animals is investigated for clues in the design of Humanoid Robots. The pursuit is directed with a theory that kinematics, musculature, perception, and cognition can be optimized for specific tasks by varying the proportions of limbs,
Ambrose, Catherine G. +1 more
core
Resisting Hubris: For A Stoic Ethics of Power in Leadership Development
Business Ethics, the Environment &Responsibility, EarlyView.ABSTRACT This essay advances a philosophical and Stoic reinterpretation of hubris that challenges the reductionist treatment it has received in contemporary management research. Whereas most studies, shaped by a positivist epistemology, have sought to quantify the effects of leader hubris on performance, this essay reclaims the concept's original ...
Valérie Petit, Xavier Pavie
wiley +1 more source
Using sleep to enhance exposure treatment for anxious children: A pilot study
British Journal of Clinical Psychology, EarlyView.Abstract Objectives: Exposure therapy is a well‐established treatment for anxiety disorders in children; however, many young people do not fully respond to treatment. Advances in strategies to enhance extinction learning from exposure therapy are urgently needed.
Ella L. Oar +4 more
wiley +1 more source
The economics of the United Kingdom pension funds. [PDF]
, 1990 This Thesis examines the nature and role of the pension funds in the United Kingdom, in theory and in practice, from within and without, and from a contemporary and historical perspective. The pension funds are considered via a series of broad surveys,
Cohen, I.K, Cohen, Ivan Keith
core