Search results for "artificial intelligence"
showing 10 items of 6122 documents
Modal Consequence Relations Extending S4.3: An Application of Projective Unification
2016
We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…
Scheduling under the network of temporo-spatial proximity relationships
2017
We discuss and introduce to the schedulingeld a novel, qualitative optimization model - scheduling under the network of temporo-spatial proximity relationships.We introduce a half perimeter proximity measure as an objective of scheduling.We present and evaluate an incremental Sequence Pair neighborhood evaluation algorithm, applicable to both scheduling and rectangle packing problems in VLSI industry. In this paper, we discuss and introduce to the scheduling field a novel optimization objective - half perimeter proximity measure in scheduling under the network of temporo-spatial proximity relationships. The presented approach enables to qualitatively express various reasons of scheduling ce…
AMMINISTRAZIONE PUBBLICA E SISTEMI DI INTELLIGENZA ARTIFICIALE: ALCUNE RIFLESSIONI
2022
This paper aims to examine how public administrations tend to use artificial intelligence systems, in the light of the legal framework and jurisprudential developments. Taking the cue from a distinction between the cases in which the aforementioned systems support the administrative decision and those in which they tend to replace the ‘human decider’ it intends to point out the utility of a distinction between administration for measures and performance administration, for the purposes of allocating responsibilities for eventually produced damage
An Automatic Ontology-Based Approach to Support Logical Representation of Observable and Measurable Data for Healthy Lifestyle Management: Proof-of-C…
2020
Background Lifestyle diseases, because of adverse health behavior, are the foremost cause of death worldwide. An eCoach system may encourage individuals to lead a healthy lifestyle with early health risk prediction, personalized recommendation generation, and goal evaluation. Such an eCoach system needs to collect and transform distributed heterogenous health and wellness data into meaningful information to train an artificially intelligent health risk prediction model. However, it may produce a data compatibility dilemma. Our proposed eHealth ontology can increase interoperability between different heterogeneous networks, provide situation awareness, help in data integration, and discover…
Contributions and applications around low resource deep learning modeling
2023
El aprendizaje profundo representa la vanguardia del aprendizaje automático en multitud de aplicaciones. Muchas de estas tareas requieren una gran cantidad de recursos computacionales, lo que limita su adopción en dispositivos integrados. El objetivo principal de esta tesis es estudiar métodos y algoritmos que permiten abordar problemas utilizando aprendizaje profundo con bajos recursos computacionales. Este trabajo también tiene como objetivo presentar aplicaciones de aprendizaje profundo en la industria. La primera contribución es una nueva función de activación para redes de aprendizaje profundo: la función de módulo. Los experimentos muestran que la función de activación propuesta logra…
Imagery and Religious Conversion. The Symbolic Function of Jonah 1:13
2018
Jonah 1:13 has a delaying function in the narrative, introducing a pause between Jonah’s demand to be thrown in the sea (1:12) and the event’s occurrence (1:15). Most commentators discuss only the events of 1:13 and their causes. In this article, I suggest an interpretation of Jonah 1:13 based on the imagery of the narrative. An analysis of the use of metaphors and symbols does not replace the message of the verse; such an analysis simply augments it with motives of the seamen’s conversion. Beside the narrative level, there is a hidden level suggesting a deeper understanding of the story where symbols and metaphors have a consolidating function. Distance, directions, and movement in Jonah 1…
Artificial intelligence centric scientific research on COVID-19 : an analysis based on scientometrics data
2023
AbstractWith the spread of the deadly coronavirus disease throughout the geographies of the globe, expertise from every field has been sought to fight the impact of the virus. The use of Artificial Intelligence (AI), especially, has been the center of attention due to its capability to produce trustworthy results in a reasonable time. As a result, AI centric based research on coronavirus (or COVID-19) has been receiving growing attention from different domains ranging from medicine, virology, and psychiatry etc. We present this comprehensive study that closely monitors the impact of the pandemic on global research activities related exclusively to AI. In this article, we produce highly info…
Electrical Safety Analysis in the Presence of Resonant Grounding Neutral
2019
The resonant grounding is one of the possible methods of the system neutral grounding for the medium voltage distribution. IEEE standards do define this grounding configuration, but important advantages and drawbacks of the resonant grounding might not be fully known, due to its rather uncommon application in North America. On the other hand, resonant grounding in Europe is imposed by the increased requirements for power quality, especially for medium-voltage (MV) industrial users, imposed to electric utilities by regulatory authorities, with the purpose to protect the interests of users and consumers. Level of the continuity of the service, magnitude and phase of ground-fault currents, mag…
The Moderating Effect of Store Format on the Relationships Between ICT, Innovation and Sustainability in Retailing
2021
Innovation and sustainability are postulated as key variables for the future of large commercial distribution. In addition, the development of Information and Communication Technologies (ICT) solutions, and especially those related to Artificial Intelligence (i.e., Just Walk Out, Intelligent Retail Lab) and digitization, are particularly relevant factors in the current pandemic scenario in which retail companies operate. These tools are essential to face the derived changes in commercial relations, especially between companies and consumers. For all these reasons, this work aims to examine the effect of ICT, as a driving factor for innovation and its direct and indirect impact on sustainabi…
Novel VAMPIRE algorithms for quantitative analysis of the retinal vasculature
2013
This paper summarizes three recent, novel algorithms developed within VAMPIRE, namely optic disc and macula detection, arteryvein classification, and enhancement of binary vessel masks, and their performance assessment. VAMPIRE is an international collaboration growing a suite of software tools to allow efficient quantification of morphological properties of the retinal vasculature in large collections of fundus camera images. VAMPIRE measurements are currently mostly used in biomarker research, i.e., investigating associations between the morphology of the retinal vasculature and a number of clinical and cognitive conditions.