Results 51 to 60 of about 7,606,623 (279)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Acta Universitatis Lodziensis. Folia Litteraria Polonica, 2016 The goal of the article is to present the scope of interventions by the Regional Offices for the Control of Publications and Performances in the Catholic press during the decline of the People’s Republic of Poland (PRL) and the first months of the ...
Kamila Kamińska-Chełminiak
doaj +1 more source
, 2016 This paper investigates the effect of leader\u27s relational transparency on follower organizational deviance through followers’ perception of leader\u27s behavioral integrity and their trust in leader.
Bai, Billy +3 more
core +1 more source
Advanced Electronic Materials, EarlyView.This paper reviews the physics of liquid metals in RF devices, including the influence of mechanical strain on resonance as well as fabrication methods and strategies for designing tunable and strain‐tolerant inductors, capacitors, and antennas.
Md Saifur Rahman, William J. Scheideler
wiley +1 more source
Libellarium: Journal for the Research of Writing, Books, and Cultural Heritage Institutions, 2014 The changing relationship between authors and publishers was a phenomenon related to the model of modern book publishing business which began to emerge in Lithuania Major, as well as throughout much of Central and Eastern Europe in the early 19th century.
Aušra Navickienė
doaj +1 more source
A Design of MAC Model Based on the Separation of Duties and Data Coloring: DSDC-MAC [PDF]
, 2020 Among the access control methods for database security, there is Mandatory Access Control (MAC) model in which the security level is set to both the subject and the object to enhance the security control. Legacy MAC models have focused only on one thing,
Kim, Jin-Woo +3 more
core +2 more sources
Competition Policy and Agribusiness in the Biden Administration
Applied Economic Perspectives and Policy, EarlyView.ABSTRACT The Biden Administration pursued a set of ambitious competition policy initiatives in agriculture and agribusiness, primarily aimed at livestock and poultry supply chains, farm inputs, and food retailing. The initiatives included expanded antitrust enforcement; new US Department of Agriculture (USDA) contract regulations requiring poultry ...
James M. MacDonald
wiley +1 more source
An overview of the digital publishing market in Baltic countries (Estonia, Latvia and Lithuania)
Libellarium: Journal for the Research of Writing, Books, and Cultural Heritage Institutions, 2014 The aim of this paper is to analyze several aspects of digital publishing markets in Baltic countries. Estonia, Latvia and Lithuania have their own languages, so there are three different publishing markets.
Arūnas Gudinavičius
doaj +1 more source
Experimental investigations of the effects of cutting angle on chattering of a flexible manipulator [PDF]
, 1991 When a machine tool is mounted at the tip of a robotic manipulator, the manipulator becomes more flexible (the natural frequencies are lowered). Moreover, for a given flexible manipulator, its compliance will be different depending on feedback gains ...
Book, W. +3 more
core +1 more source
Agribusiness, EarlyView.Abstract This study explores the rent price ratio in agricultural land markets, crucial for evaluating market efficiency, policy needs, and farmer decision‐making. Traditionally, the analyses faced challenges due to the absence of concurrent sale and rent data for the same land, potentially leading to biased results.
Marius Michels +4 more
wiley +1 more source