![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Abstractions for hybrid systems
We present a procedure for constructing sound finite-state discrete abstractions of hybrid systems. This procedure uses ideas from predicate abstraction to abstract the discrete dynamics and qualitative reaso...
-
Article
Hydrodynamic permeability of membranes built up by spherical particles covered by porous shells: effect of stress jump condition
This paper concerns the flow of an incompressible, viscous fluid past a porous spherical particle enclosing a solid core, using particle-in-cell method. The Brinkman’s equation in the porous region and the Sto...
-
Chapter and Conference Paper
Service Adaptive Broking Mechanism Using MROSP Algorithm
Cloud computing is an effort in delivering resources as a service. It represents a shift away from the era where products were purchased, to computing as a service that is delivered to consumers over the inter...
-
Article
A search-based procedure for nonlinear real arithmetic
We present a new procedure for testing satisfiability (over the reals) of a conjunction of polynomial equations. There are three possible return values for our procedure: it either returns a model for the input f...
-
Article
Hydrodynamic permeability of a membrane built up by spheroidal particles covered by porous layer
This paper concerns the motion of a viscous steady incompressible fluid through a membrane, where the membrane is built up by impermeable spheroidal particles covered by a porous layer. In this work, we discus...
-
Chapter and Conference Paper
Design and Analysis of Low-Power PLL for Digital Applications
This paper discusses the challenges and outcomes in designing the low-power PLL for digital applications. PLL being an important block for providing clocking scheme in many electronic circuits raises the requi...
-
Chapter and Conference Paper
A Skywatch on the Challenging Gradual Progression of Scheduling in Cloud Computing
The continuing innovation across new and existing wireless technologies presents challenges in designing and testing of features, modules, and devices that makes the connected world possible. In computing syst...
-
Article
TeLEx: learning signal temporal logic from positive examples using tightness metric
We propose a novel passive learning approach, TeLex, to infer signal temporal logic (STL) formulas that characterize the behavior of a dynamical system using only observed signal traces of the system. First, we p...
-
Chapter and Conference Paper
Emerging Ontology Formulation of Optimized Internet of Things (IOT) Services with Cloud Computing
eagle expresses of cloud computing plays a pivotal role in the development of technology. The technology momentum is gaining cloud system environment across the emerging computational intelligence as ar...
-
Chapter and Conference Paper
Efficient Cloud Orchestration Services in Computing
In the buzz of technology, the IT Industry growing at a rapid speed with Cloud Orchestration. In the develo** trends, cloud orchestration is becoming impressive and uncertain of dealing a large amount of inf...
-
Chapter and Conference Paper
A Comprehensive Source Code Plagiarism Detection Software
Source code plagiarism is a simple to finish task, yet exceptionally hard to identify without legitimate device support. Different source code recognition frameworks have been created to help distinguish sourc...
-
Chapter and Conference Paper
An Application of Transfer Learning: Fine-Tuning BERT for Spam Email Classification
The increased use of cyberspace and social media has resulted in a rise in the number of unsolicited bulk e-mails, necessitating the implementation of a reliable system for filtering out such anomalies. In rec...