Constructors and methods with named and optional parameters

Get Complete Project Material File(s) Now! » A semantics for ini-module activation We describe the semantics of an object-creation expression by showing how the ini-modules defined in the hierarchy of a class are activated. We focus on how the ini-modules...

Hermite Reduction for Rational-Function Telescoping 

Get Complete Project Material File(s) Now! » Motivation Since the 1990’s, Zeilberger’s method has been extensively studied in the literature [95, 96, 15, 92, 63, 6, 7, 65, 28, 16]. The main focus of those studies is on the efficiency...

Demand-Side Management and Demand Response

Get Complete Project Material File(s) Now! » Demand-Side Management and Demand Response The transportation of electricity from the generation location to the place of con-sumption has always been a challenge, starting from the very beginning. Originally, electricity networks were conceived...

Formal Specification of Railway Interlocking Systems

Get Complete Project Material File(s) Now! » Railway Systems and Signalling The railway means of transportation was the first to have mass mechanised movement. After its creation, its velocity, supporting weight and length has constantly increased. According to [Theeg 2017],...

Revisiting the Impact of Rapid Releases on Software Development Activities 

Get Complete Project Material File(s) Now! » Bug triaging Saha et al. [110] extracted code change metrics, such as the number of changed files, to identify the reasons for delays in bug fixes, and to improve the overall bug fixing...

Impact of Release Policies on Bug Handing Activity 

Get Complete Project Material File(s) Now! » Software Development Process A software development process defines the methods and procedures that organiza-tions and individuals have to follow to create software products and services [98]. Ultimately, the purpose of a software process...

Performance declines, debt covenants’ violations, and earnings management

Get Complete Project Material File(s) Now! » Earnings management (quality): influence of the legal protection system Several studies suggest legal protection systems significantly influence EM—and therefore EQ. Ball et al. (2000) study the quality of outcomes in common law and...

Graph Inference and Semi-Supervised Learning with Auto-Encoding Variational Bayes

Get Complete Project Material File(s) Now! » Graph-based Semi-Supervised Learning Semi-supervised Learning (SSL) is a learning paradigm that exploits both labeled and unlabeled data. SSL algorithms have been successfully applied to problems where labeled data is very scarce, and where...

THE NODAL DISCONTINUOUS GALERKIN METHOD

Get Complete Project Material File(s) Now! » Nonlinear Nondestructive Testing and Imaging Methods NEWS Methods In the last few years, a strong interest for nondestructive testing methods based on nonlinear elastic effects in solid has grown, driven by the request...

European Rail Trac Management System

Get Complete Project Material File(s) Now! » Birth of the Web The Web was created by Tim Berners-Lee at CERN in 1989 to connect researchers and allow them to share resources more easily. It was based on 3 technologies: •...