Filters








3,716 Hits in 4.6 sec

Editorial introduction to J.UCS special issue Challenges for Smart Environments – Human-Centered Computing, Data Science, and Ambient Intelligence I

Nelson Baloian, José Pino
2021 Journal of universal computer science (Online)  
of proof search in a sequent calculus for first-order minimal logic with a history mechanism.  ...  Quite naturally, this brings also new challenges for science and industry. In that context, Internet of things (IoT) is an enormously huge factory of monitoring and data generation.  ...  of proof search in a sequent calculus for first-order minimal logic with a history mechanism.  ... 
doi:10.3897/jucs.76554 fatcat:jajpnmdi5bdzjnqtuuuiq34wsy

Artificial Intelligence as a New Factor of Global Economic Growth

Vasile MAZILESCU
2018 Annals of Dunarea de Jos University. Fascicle I : Economics and Applied Informatics  
The main purpose of this paper is to outline that Artificial Intelligence (AI) will have a huge impact on the global economy, and global GDP could increase as a result of its implementation, making AI  ...  The more data we can collect and analyze, the more opportunities will open more for us.  ...  Investments in areas like Internet of Things (IoT), AI, Blockchain, and Robotic Automation have increased significantly over the past 24 months, with about $ 25 billion.  ... 
doi:10.26397/eai1584040924 doaj:b88216f28a6543b79d4b010121dd6aca fatcat:72x2r2rvabgprokvy27vpvddrq

Dear Cloud, I Think We Have Trust Issues: Cloud Computing Contracts and Trust [chapter]

Theo Lynn
2020 The Cloud-to-Thing Continuum  
Cloud computing is the dominant paradigm in modern computing, used by billions of Internet users worldwide. It is a market dominated by a small number of hyperscale cloud service providers.  ...  It is clear that contracts in cloud computing are primarily an instrument of control benefiting one side, the cloud service provider.  ...  Furthermore, with the advent of the Internet of Things, the cloud is becoming more decentralised and distributed across a cloud-tothing (C2T) continuum.  ... 
doi:10.1007/978-3-030-54660-1_2 fatcat:yifprv6f6zdizbhacftm7tzwom

Jorge Antunes: Musica Eletronica 70's I; Musica Eletronica 70's II; Musica Eletronica 90's I

Osvaldo Budón
2000 Computer Music Journal  
This would be a great soundtrack for the end of the world, although I think I would prefer to see the film rather than actually sitting through the real thing!  ...  I'm a sucker for this sort of thing; it's what drew me to electronic music in the first place.  ... 
doi:10.1162/comj.2000.24.3.86 fatcat:4mb6n4oopnafng2qljdnnx656a

"Technologies that through Synergic Development can support the Intelligent Automation of Business Processes"

Vasile Mazilescu, Dunarea de Jos University of Galati, Romania, Adrian Micu, Dunarea de Jos University of Galati, Romania
2019 Annals of Dunarea de Jos University. Fascicle I : Economics and Applied Informatics  
can be applied for a synergic balance of tasks between people and computing systems, with a corresponding increase of the value added of business processes.  ...  InA is a holistic approach based on the variety of existing technologies based on Digital Transformation (DT) and automation of manual activities, using for this purpose digital workers, Artificial Intelligence  ...  It is estimated that a significant percentage of the business processes of companies can be automated. Each industry has different needs for automating business processes.  ... 
doi:10.35219/eai1584040937 fatcat:ktdr3wvmhfcx3exu5stgahqezq

From truth to computability I

Giorgi Japaridze
2006 Theoretical Computer Science  
The present paper contains a soundness and completeness proof for the deductive system CL3 which axiomatizes the most basic first-order fragment of computability logic called the finite-depth, elementary-base  ...  The recently initiated approach called computability logic is a formal theory of interactive computation.  ...  of LOOP in B. • f i (where 1 i l) will denote the value of record f at the beginning of the i'th iteration of LOOP in B. • K i (where 1 i l) will stand for f i E i . • i (where 1 i l) will stand for the  ... 
doi:10.1016/j.tcs.2006.03.014 fatcat:jenbikunfnabdjcaafbik3b4y4

Application of Long Short-Term Memory (LSTM) Neural Network for the estimation of communication network delay in smart grid applications

Ronak Feizimirkhani, Van Hoa Nguyen, Yvon Besanger, Quoc Tuan Tran, Antoneta Iuliana Bratcu, Antoine Labonne, Thierry Braconnier
2021 2021 IEEE International Conference on Environment and Electrical Engineering and 2021 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe)  
In this context, the main contribution of this paper is to propose a model methodology for the communication network delay in smart grid applications.  ...  ., IEC 61850, OPC UA, Modbus, Internet, WiMAX, 4G, Wi-Fi, etc.) and technologies (e.g., PLC, GSM, Optic fiber, RF radio mesh, Cellular, etc.) are established for the smart grid applications.  ...  In [9] , a deep neural network (DNN) is adopted for predicting delay in IEEE-802.15.4-standard-based applications in Internet of Things (IoT).  ... 
doi:10.1109/eeeic/icpseurope51590.2021.9584791 fatcat:jm2lphkbxfbdxnhqas7te7n3em

No Preconceptions

Jeffrey Voas
2019 IT Professional Magazine  
After rolling-off a research effort on vetting mobile apps, I was interested in researching Internet of things (IoT) security.  ...  For subjects like calculus, no luck. But for my Ph.D. dissertation, it worked fine. Starting from nothing, I had a dissertation written and defended in 20 months.  ... 
doi:10.1109/mitp.2019.2897262 fatcat:vpnty7gkofhwlcdqe3msbyhsti

How Can I Tell if My Algorithm Was Reasonable?

Karni Chagal-Feferkorn
2021 Michigan Technology Law Review  
Given the growing similarity of self-learning algorithms to humans in the nature of decisions they make and the type of damages they may cause (for example, a human driver and a driverless vehicle causing  ...  When determining the liability of a human tortfeasor causing damage, the applicable legal framework is generally that of negligence.  ...  For a forecast on the percentage of actions currently performed by human professionals that could be replaced by automation, see Automation Potential and Wages for US Jobs, MCKINSEY GLOB. INST.  ... 
doi:10.36645/mtlr.27.2.how fatcat:plyhd26ebfg6ljzxvmw7ysgg6m

"I need to know I'm safe and protected and will check": Users Want Cues to Signal Data Custodians' Trustworthiness

Oksana Kulyk, Karen Renaud
2021 2021 36th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW)  
their personal information. ( 2 ) We then used these statements in a Q-sort to gauge subjective opinions of the persuasiveness of the statements, and to reveal 'ways of thinking' engaged in by our participants  ...  Yet, people make these kinds of decisions many times a day. This means that they might not be able to invest significant cognitive resources in making each and every decision.  ...  Factor interpretation: There is a clear need amongst this group for a sense of control: "There may be some things I am happy to share and some I'm not, so greater control is appealing" and "I need to know  ... 
doi:10.1109/asew52652.2021.00043 fatcat:ylxucxdggffilc5rez4vjuvvzm

Dynamic Synchronization Modeling and Simulation of Video Sensing Nodes Based on Internet of Things

Zeyu Wang, Yu Qing Wang, Balakrishnan Nagaraj
2022 Wireless Communications and Mobile Computing  
The result shows that when the model DSAM is tested and verified and when the number of buffer media is 50, 100, and 200, the minimum number of underflows of the DSAM model is 2 and the minimum video data  ...  This method firstly establishes the abstract model DSAM of IoT video perception based on the π network and then analyzes the state evolution, model transition, and dynamic interaction of the model; finally  ...  As a result of the EU's high emphasis on and strong support for the Internet of things, the application market of the Internet of things industry is relatively mature, especially in the Western European  ... 
doi:10.1155/2022/2845786 fatcat:cg5qdvezmba5flido6b3molio4

2019 Index IEEE Transactions on Emerging Topics in Computing Vol. 7

2020 IEEE Transactions on Emerging Topics in Computing  
-March 2019 174-186 Sender-Receiver Role-Based Energy-Aware Scheduling for Internet of Underwater Things.  ...  -March 2019 174-186 Sender-Receiver Role-Based Energy-Aware Scheduling for Internet of Underwater Things.  ... 
doi:10.1109/tetc.2020.2973584 fatcat:4txtg6db3reurmvwkf346sxotm

Cloud Interconnected Affect Reward based Automation Ambient Comfort Controller

D. Drungilas, A. A. Bielskis
2012 Elektronika ir Elektrotechnika  
 Abstract-The paper presents the human Affect Reward Based Automation Ambient Comfort Controller (ACARBC) as the interconnected cloud computing intelligent services that provide intelligent calculus for  ...  The Critic in this paper was used as a value function approximation of the continuous learning tasks of the ACARBC.  ...  "Today's Internet of people is evolving into an "Internet of things", and by 2013, 1.2 billion connected consumer electronics devices are expected in the more than 800 million homes with broadband connections  ... 
doi:10.5755/j01.eee.18.10.3060 fatcat:mlgrbibjvfeirg4blo3up5mpn4

Modelling and Analysing an Industry 4.0 Communication Protocol

Benjamin Aziz
2020 IEEE Internet of Things Journal  
The increasing complexity and criticality of industrial automation systems, embodied by the concept of Industry 4.0, which brings together concepts like Cyber-physical systems, the Internet-of-Things,  ...  Therefore, our work paves the way for a better informed testing strategy in Industry 4.0 systems that implement the protocol.  ...  Systems, Internet-of-Things, Cloud computing and Artificial Intelligence.  ... 
doi:10.1109/jiot.2020.2999325 fatcat:fvrl34665zearoohmow47qgqzq

Process Calculi: The End of the Beginning?

Peter Sewell
2006 Electronical Notes in Theoretical Computer Science  
calculus for functional computation.  ...  From this point of view one should certainly not aim for a single calculus covering all phenomena -instead, one can see the most significant product over these 25 years as a repertoire of idioms and techniques  ...  (i) as reference documentation (now) (ii) for high-quality automated conformance testing of other protocol stacks (with more work) (iii) for describing proposed changes to the protocols (iv) as a basis  ... 
doi:10.1016/j.entcs.2006.01.033 fatcat:jrm63z6ybzcojfp4mv5gvog3gu
« Previous Showing results 1 — 15 out of 3,716 results