169 results on '"A, Artale"'
Search Results
2. Feasibility of IEC 61000-4-7 Class I Gapless Implementation of Harmonics Measurement on Low-Cost Microcontroller Device.
3. First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.
4. An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract).
5. On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract).
6. Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version).
7. LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa.
8. A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL.
9. A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies.
10. Power Quality Assessment with Commercial Microcontroller Devices. Repeatability Measurements of On-Board Harmonic Analysis.
11. Complexity of Safety and coSafety Fragments of Linear Temporal Logic.
12. Artificial Intelligence in virtualized networks: a journey.
13. Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.
14. Datacenter optimization methods for Softwarized Network Services.
15. A single-point approach based on nonactive power factor for the assessment of harmonic distortion sources in power systems.
16. On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).
17. Near Real-Time Anomaly Detection in NFV Infrastructures.
18. Optimum VM Placement for NFV Infrastructures.
19. Time domain symmetry parameters analysis for series arc fault detection.
20. A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).
21. Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract).
22. A Line Impedance Calculator Based on a G3 PLC Modem Platform.
23. First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
24. Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version).
25. Editorial: Physical and statistical approaches to earthquake modeling and forecasting.
26. Implementation of a PLC Field Analyzer on a G3 Modem Platform.
27. Forecasting Operation Metrics for Virtualized Network Functions.
28. On Free Description Logics with Definite Descriptions.
29. A PLC based monitoring and remote control architecture for Distributed Generation and Storage systems in LV smart grids.
30. Comparison of two different approaches for harmonic distortion sources assessment.
31. Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.
32. Measurement Uncertainty of Harmonic Emission Indicators based on IEEE Std. 1459-2010.
33. Using Self-Organizing Maps for the Behavioral Analysis of Virtualized Network Functions.
34. Behavioral Analysis for Virtualized Network Functions: A SOM-based Approach.
35. A Resilient Distributed Measurement System for Smart Grid Application.
36. Finite vs. Infinite Traces in Temporal Logics.
37. Measurement of Simplified Single- and Three-Phase Parameters for Harmonic Emission Assessment Based on IEEE 1459-2010.
38. SOM-based behavioral analysis for virtualized network functions.
39. A Monitoring and Management System for Energy Storage Integration in Smart Grids.
40. Do You Need Infinite Time?.
41. Towards a Logical Foundation of Reification in Modelling Languages.
42. Enriching Data Models with Behavioral Constraints.
43. Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.
44. An Experimental Characterization of Time of Arrival Accuracy for Time Synchronization of Medium Voltage Smart Grid Solutions.
45. Design of a Time Dissemination System Using Chirp Modulation for Medium Voltage Smart Grid Applications.
46. Complexity of Safety and coSafety Fragments of Linear Temporal Logic.
47. First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.
48. The Environmental Impacts of Radio Frequency and Power Line Communication for Advanced Metering Infrastructures in Smart Grids.
49. Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract).
50. On Free Description Logics with Definite Descriptions.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.