scholarly journals Formal methods for detection of large-scale electoral fraud on the material of the federal elections 1999-2018

2019 ◽  
pp. 1-28
Author(s):  
Andrey Viktorovich Podlazov
Keyword(s):  
Formal Methods ◽  
Large Scale ◽  
Electoral Fraud

BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes

2020 ◽  
Vol 120 (7) ◽  
pp. 1383-1400
Author(s):  
Domenico Raucci ◽  
Antonella Santone ◽  
Francesco Mercaldo ◽  
Tomasz Dyczkowski
Keyword(s):  
Formal Methods ◽  
Internal Control ◽  
Information Technologies ◽  
Large Scale ◽  
Process Management ◽  
Workflow Management ◽  
Content Type ◽  
Operational Risks ◽  
Risk Appetite

PurposeThis paper investigates the criteria for a selective integration, in the multidisciplinary business process management (BPM) areas, between information technologies tools and the company's internal control systems (ICSs) aimed at directing organizational behaviours. Adopting a process-based perspective, the authors propose a formal methodology to increase ICSs aims, related to the segregation of duties (SoDs) models, efficiently and effectively.Design/methodology/approachThe authors examine the applicability of formal verifications to validate a banking process of providing investment services, which is mapped through the workflow management system. To mitigate the state explosion problem of formal methods, the authors propose an efficient methodology that has been proved on the SoDs models in the bank ICSs, as a case study.FindingsThe authors’ investigations suggest that in the BPM domain, the banking ICSs aims can benefit from the aforesaid methodologies, originating from the formal methods area, to increase the reliability and correctness in the design, modelling and implementation of the SoDs models.Originality/valueThe proposed methodology is quite general and can be efficiently applied to large-scale systems in different business contexts or areas of the BPM. Its application to the bank's SoD prevents or detects significant weaknesses, operational risks, excessive risk appetite and other undesirable behaviours in the investment services provision processes. This guarantees that the investment ordered/offered is “suitable and appropriate” with the client's risk profile, especially non-professional, required by the MiFID II Directive.

Defects of Russian Elections and Ways to Overcome Them

2020 ◽  
Vol 5 (2) ◽  
pp. 190-205
Author(s):  
Arkadii E. Lyubarev
Keyword(s):  
Large Scale ◽  
Electoral Systems ◽  
The State ◽  
Election Campaigns ◽  
Electoral Fraud ◽  
State Bureaucracy

Abstract The article discusses defects of Russian elections, with emphasis on the fact that the electoral systems being used favour the regime. The system used for registration of candidates and party lists allows the state to deny access to strong candidates whose election would inconvenience the state bureaucracy. Pro-government candidates are advantaged during election campaigns, as segments of the population that are dependent upon the state find themselves pressured to participate, sometimes including outright control of their vote. Furthermore, many regions experience large-scale electoral fraud. The article suggests means to overcome these defects, including a comprehensive revision of electoral legislation.

Formal methods in LARGE-SCALE computing systems

ITNOW ◽  
2013 ◽  
Vol 55 (2) ◽  
pp. 52-53 ◽  
Author(s):  
S. U. R. Malik ◽  
S. U. Khan
Keyword(s):  
Formal Methods ◽  
Large Scale ◽  
Computing Systems ◽  
Large Scale Computing

scholarly journals Leveraging Formal Methods and Fuzzing to Verify Security and Reliability Properties of Large-Scale High-Consequence Systems

2012 ◽  
Author(s):  
Joseph. R. Ruthruff ◽  
Robert C. Armstrong ◽  
Benjamin Garry Davis ◽  
Jackson R. Mayo ◽  
Ratish J. Punnoose
Keyword(s):  
Formal Methods ◽  
Large Scale ◽  
Security And Reliability

Some comments about observations and image processing of comet 29P/Schwassmann-Wachmann 1

1999 ◽  
Vol 173 ◽  
pp. 243-248
Author(s):  
D. Kubáček ◽  
A. Galád ◽  
A. Pravda
Keyword(s):  
Image Processing ◽  
Large Scale ◽  
Harvard College ◽  
Oak Ridge ◽  
Large Scale Structures ◽  
Short Period Comet ◽  
Short Period ◽  
Scale Structures ◽  
Harvard College Observatory ◽  
Period Comet

AbstractUnusual short-period comet 29P/Schwassmann-Wachmann 1 inspired many observers to explain its unpredictable outbursts. In this paper large scale structures and features from the inner part of the coma in time periods around outbursts are studied. CCD images were taken at Whipple Observatory, Mt. Hopkins, in 1989 and at Astronomical Observatory, Modra, from 1995 to 1998. Photographic plates of the comet were taken at Harvard College Observatory, Oak Ridge, from 1974 to 1982. The latter were digitized at first to apply the same techniques of image processing for optimizing the visibility of features in the coma during outbursts. Outbursts and coma structures show various shapes.

Evolution of Large-Scale Coronal Structures

1994 ◽  
Vol 144 ◽  
pp. 29-33
Author(s):  
P. Ambrož
Keyword(s):  
Magnetic Field ◽  
Field Line ◽  
Large Scale ◽  
Coronal Magnetic Field ◽  
Source Surface ◽  
Solar Cycles ◽  
Characteristic Relationship ◽  
The Magnetic Field ◽  
Coronal Structures

AbstractThe large-scale coronal structures observed during the sporadically visible solar eclipses were compared with the numerically extrapolated field-line structures of coronal magnetic field. A characteristic relationship between the observed structures of coronal plasma and the magnetic field line configurations was determined. The long-term evolution of large scale coronal structures inferred from photospheric magnetic observations in the course of 11- and 22-year solar cycles is described.Some known parameters, such as the source surface radius, or coronal rotation rate are discussed and actually interpreted. A relation between the large-scale photospheric magnetic field evolution and the coronal structure rearrangement is demonstrated.

Large-scale Motion of Solar Filaments

2000 ◽  
Vol 179 ◽  
pp. 205-208
Author(s):  
Pavel Ambrož ◽  
Alfred Schroll
Keyword(s):  
Magnetic Flux ◽  
Proper Motion ◽  
Time Scale ◽  
Large Scale ◽  
Accuracy Of Measurements ◽  
Solar Filaments ◽  
General Movement ◽  
Scale Motion ◽  
Velocity Scatter

AbstractPrecise measurements of heliographic position of solar filaments were used for determination of the proper motion of solar filaments on the time-scale of days. The filaments have a tendency to make a shaking or waving of the external structure and to make a general movement of whole filament body, coinciding with the transport of the magnetic flux in the photosphere. The velocity scatter of individual measured points is about one order higher than the accuracy of measurements.

Some applications of electron beam microanalysis techniques in VLSI process evaluation

1983 ◽  
Vol 41 ◽  
pp. 160-161
Author(s):  
Simon Thomas
Keyword(s):  
Integrated Circuits ◽  
Process Evaluation ◽  
Large Scale ◽  
Technology Development ◽  
Analytical Techniques ◽  
Successful Implementation ◽  
Analysis Of Failures ◽  
Characterization Of Materials ◽  
Circuits Vlsi

Trends in the technology development of very large scale integrated circuits (VLSI) have been in the direction of higher density of components with smaller dimensions. The scaling down of device dimensions has been not only laterally but also in depth. Such efforts in miniaturization bring with them new developments in materials and processing. Successful implementation of these efforts is, to a large extent, dependent on the proper understanding of the material properties, process technologies and reliability issues, through adequate analytical studies. The analytical instrumentation technology has, fortunately, kept pace with the basic requirements of devices with lateral dimensions in the micron/ submicron range and depths of the order of nonometers. Often, newer analytical techniques have emerged or the more conventional techniques have been adapted to meet the more stringent requirements. As such, a variety of analytical techniques are available today to aid an analyst in the efforts of VLSI process evaluation. Generally such analytical efforts are divided into the characterization of materials, evaluation of processing steps and the analysis of failures.

Electron microscopy study of reactively sputter-deposited Ti/N films on silicon

1992 ◽  
Vol 50 (2) ◽  
pp. 1362-1363
Author(s):  
V. C. Kannan ◽  
A. K. Singh ◽  
R. B. Irwin ◽  
S. Chittipeddi ◽  
F. D. Nkansah ◽  
...  
Keyword(s):  
Integrated Circuits ◽  
Large Scale ◽  
Hexagonal Phase ◽  
Microscopy Study ◽  
Electron Microscopy Study ◽  
Process Conditions ◽  
Tin Films ◽  
Wide Range ◽  
Fcc Phase ◽  
Circuits Vlsi

Titanium nitride (TiN) films have historically been used as diffusion barrier between silicon and aluminum, as an adhesion layer for tungsten deposition and as an interconnect material etc. Recently, the role of TiN films as contact barriers in very large scale silicon integrated circuits (VLSI) has been extensively studied. TiN films have resistivities on the order of 20μ Ω-cm which is much lower than that of titanium (nearly 66μ Ω-cm). Deposited TiN films show resistivities which vary from 20 to 100μ Ω-cm depending upon the type of deposition and process conditions. TiNx is known to have a NaCl type crystal structure for a wide range of compositions. Change in color from metallic luster to gold reflects the stabilization of the TiNx (FCC) phase over the close packed Ti(N) hexagonal phase. It was found that TiN (1:1) ideal composition with the FCC (NaCl-type) structure gives the best electrical property.

Sign in / Sign up

Export Citation Format

Share Document