Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Constraint Databases and Applications [[electronic resource] ] : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected papers / / edited by Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace
| Constraint Databases and Applications [[electronic resource] ] : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected papers / / edited by Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XI, 350 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Software engineering Database management Information storage and retrieval Computer programming Programming languages (Electronic computers) Data Structures and Information Theory Software Engineering/Programming and Operating Systems Database Management Information Storage and Retrieval Programming Techniques Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-68049-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planar topological queries (extended abstract) -- An informal introduction to constraint database systems (extended abstract) -- Query evaluation as constraint search; an overview of early results -- Computing the well-founded semantics for constraint extensions of datalog? -- Decomposition and lossless join in constraint databases -- A rule-based CQL for 2-dimensional tables -- On the expressiveness of query languages with linear constraints; capturing desirable spatial properties -- On expressing topological connectivity in spatial Datalog -- The C 3 constraint object-oriented database system: An overview -- Integrity constraint checking in Chimera -- SICSDD: Techniques and implementation -- A temporal constraint system for object-oriented databases -- Using database versions to implement temporal integrity constraints -- Genomic database applications in DISCO -- Constraint databases and program analysis using abstract interpretation -- Querying indexed files -- On the complexity of BV-tree updates -- Implementing index data structures using constraint logic programming -- Problem solving in the DISCO constraint database system -- Interval domain library for ECLiPSe and its application -- A semantic query optimization algorithm for object-oriented databases. |
| Record Nr. | UNISA-996466237303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A decision guidance framework for sustainability performance analysis of manufacturing processes / / Duck Bong Kim; Seung-Jun Shin; Guodong Shao; Alexander Brodsky
| A decision guidance framework for sustainability performance analysis of manufacturing processes / / Duck Bong Kim; Seung-Jun Shin; Guodong Shao; Alexander Brodsky |
| Autore | Kim Duck Bong |
| Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2014 |
| Descrizione fisica | 1 online resource |
| Altri autori (Persone) |
BrodskyAlexander
KimDuck Bong ShaoGuodong ShinSeung-Jun |
| Collana | NISTIR |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910710736003321 |
Kim Duck Bong
|
||
| Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Enterprise Information Systems [[electronic resource] ] : 24th International Conference, ICEIS 2022, Virtual Event, April 25–27, 2022, Revised Selected Papers / / edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi
| Enterprise Information Systems [[electronic resource] ] : 24th International Conference, ICEIS 2022, Virtual Event, April 25–27, 2022, Revised Selected Papers / / edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi |
| Autore | Filipe Joaquim |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (439 pages) |
| Disciplina | 005.3 |
| Altri autori (Persone) |
ŚmiałekMichał
BrodskyAlexander HammoudiSlimane |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Information technology - Management
Artificial intelligence Business information services Quantitative research Software engineering Computer Application in Administrative Data Processing Artificial Intelligence Enterprise Architecture Data Analysis and Big Data Software Engineering |
| ISBN | 3-031-39386-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Databases and Information Systems Integration -- Balancing Simplicity and Complexity in Modeling Mined Business Processes: A User Perspective -- A Storage Location Assignment Problem with Incompatibility and Isolation Constraints: an Iterated Local Search Approach -- Using IoT Technology for the Skilled Crafts -- Implementation Solutions for FAIR Clinical Research Data Management -- Artificial Intelligence and Decision Support Systems -- Visual Interactive Exploration and Labeling of Large Volumes of Industrial Time Series Data -- Resource Planning in Workflow Nets based on a Symbolic Time Constraint Propagation Mechanism -- Implementation of the Maintenance Cost Optimization Function in Manufacturing Execution Systems -- Quantitative Comparison of Translation by Transformers-based Neural Network Models -- OptiViTh: A Decision Guidance Framework and System for Design, Analysis and Optimization of Cloud-Manufactured Virtual Things -- Ecient Deep Neural Network Training Techniques for Overtting Avoidance -- Eect of Convulsion Layers and Hyper-parameters on the Behavior of Adversarial Neural Networks -- Information Systems Analysis and Specification -- Modelling Software Tasks for Supporting Resource-driven Adaptation -- A Critical View on the OQuaRE Ontology Quality Framework -- Successful Practices in Industry-Academy Collaboration in the Context of Software Agility: A Systematic Review of the Literature -- Human-Computer Interaction -- Distance Digital Learning for Adult Learners: Self-paced e-Learning on Business Information Systems -- Human-Computer Interaction. Ethical Perspectives on Technology and Its (Mis)uses -- Enterprise Architecture -- Meet2Map: A Framework to Support BPM Projects Implementation Collaboratively -- The Factors of Enterprise Business Architecture Readiness in Organisations -- A Specification of How to Extract Relevant Process Details to Improve Process Models -- Considering User Preferences during Business Process Execution using Content-based Filtering. |
| Record Nr. | UNISA-996546831803316 |
|
Filipe Joaquim
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Enterprise Information Systems : 24th International Conference, ICEIS 2022, Virtual Event, April 25–27, 2022, Revised Selected Papers / / edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi
| Enterprise Information Systems : 24th International Conference, ICEIS 2022, Virtual Event, April 25–27, 2022, Revised Selected Papers / / edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi |
| Autore | Filipe Joaquim |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (439 pages) |
| Disciplina |
005.3
658.4038011 |
| Altri autori (Persone) |
ŚmiałekMichał
BrodskyAlexander HammoudiSlimane |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Information technology - Management
Artificial intelligence Business information services Quantitative research Software engineering Computer Application in Administrative Data Processing Artificial Intelligence Enterprise Architecture Data Analysis and Big Data Software Engineering |
| ISBN |
9783031393860
3031393864 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Databases and Information Systems Integration -- Balancing Simplicity and Complexity in Modeling Mined Business Processes: A User Perspective -- A Storage Location Assignment Problem with Incompatibility and Isolation Constraints: an Iterated Local Search Approach -- Using IoT Technology for the Skilled Crafts -- Implementation Solutions for FAIR Clinical Research Data Management -- Artificial Intelligence and Decision Support Systems -- Visual Interactive Exploration and Labeling of Large Volumes of Industrial Time Series Data -- Resource Planning in Workflow Nets based on a Symbolic Time Constraint Propagation Mechanism -- Implementation of the Maintenance Cost Optimization Function in Manufacturing Execution Systems -- Quantitative Comparison of Translation by Transformers-based Neural Network Models -- OptiViTh: A Decision Guidance Framework and System for Design, Analysis and Optimization of Cloud-Manufactured Virtual Things -- Ecient Deep Neural Network Training Techniques for Overtting Avoidance -- Eect of Convulsion Layers and Hyper-parameters on the Behavior of Adversarial Neural Networks -- Information Systems Analysis and Specification -- Modelling Software Tasks for Supporting Resource-driven Adaptation -- A Critical View on the OQuaRE Ontology Quality Framework -- Successful Practices in Industry-Academy Collaboration in the Context of Software Agility: A Systematic Review of the Literature -- Human-Computer Interaction -- Distance Digital Learning for Adult Learners: Self-paced e-Learning on Business Information Systems -- Human-Computer Interaction. Ethical Perspectives on Technology and Its (Mis)uses -- Enterprise Architecture -- Meet2Map: A Framework to Support BPM Projects Implementation Collaboratively -- The Factors of Enterprise Business Architecture Readiness in Organisations -- A Specification of How to Extract Relevant Process Details to Improve Process Models -- Considering User Preferences during Business Process Execution using Content-based Filtering. |
| Record Nr. | UNINA-9910736007403321 |
|
Filipe Joaquim
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Enterprise Information Systems [[electronic resource] ] : 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers / / edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi
| Enterprise Information Systems [[electronic resource] ] : 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers / / edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVII, 564 p. 208 illus., 125 illus. in color.) |
| Disciplina | 005.7 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Application software
Management information systems Software engineering User interfaces (Computer systems) E-commerce Information Systems Applications (incl. Internet) Business Information Systems Software Engineering User Interfaces and Human Computer Interaction Enterprise Architecture e-Commerce/e-business |
| ISBN | 3-030-40783-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Enterprise Security with Endpoint Agents -- Self-managed Computer Systems: Foundations and Example -- A Hybrid Algorithm for the Unrelated Parallel Machine Scheduling Problem -- An Automatic Text Classification Method based on Hierarchical Taxonomies, Neural Networks and Document Embedding: The NETHIC Tool -- An Iterated Local Search-based Algorithm to Support Cell Nuclei Detection in Pap Smears Test -- A Generic Architectural Framework for Machine Learning on Data Streams -- Usage of Smart Contracts with FCG for Dynamic Robot Coalition Formation in Precision Farming -- Business Layer: An Enterprise Approach for Work flow Engine and Record Management Systems Integration -- CPS-PMBOK: How to Better Manage Cyber-physical System Development Projects -- Function Point Tree-based Function Point Analysis: Improving Reproducibility Whilst Maintaining Accuracy in Function Point Counting -- A Canonical Data Model for Records Management in the Portuguese Public Administration -- An Analysis of Automated Technical Debt Measurement -- Evaluating some Heuristics to Find Hyponyms between Ontologies -- Towards Design Principles for Visualizing Business Ecosystems -- HCI integration in SE projects: the challenge of engaging students in the classroom -- A Design Process Integrating Human-Data Interaction Guidelines and Semio-participatory Design -- Semantic Concept Recommendation for Continuously Evolving Knowledge Graphs -- Linear Hashing Implementations for Flash Memory -- On-premise or Cloud Enterprise Application Deployment: Fit-gap Perspective -- CoRP: A Pattern-based Anomaly Detection in Time-series -- A Tool for Analyzing Academic Genealogy -- Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems -- Systematizing the Relationship between Business Processes' and Web Services' Non-functional Requirements -- Automatic decomposition of IoT aware business processes with data and control flow distribution -- Moving from Manufacturing to Software Business: A Business Model Transformation Pattern -- An Architecture Principle Measurement Instrument Tested in Real-life. |
| Record Nr. | UNISA-996465455603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Enterprise Information Systems : 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers / / edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi
| Enterprise Information Systems : 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers / / edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVII, 564 p. 208 illus., 125 illus. in color.) |
| Disciplina | 005.7 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Application software
Management information systems Software engineering User interfaces (Computer systems) Electronic commerce Information Systems Applications (incl. Internet) Business Information Systems Software Engineering User Interfaces and Human Computer Interaction Enterprise Architecture e-Commerce/e-business |
| ISBN | 3-030-40783-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Enterprise Security with Endpoint Agents -- Self-managed Computer Systems: Foundations and Example -- A Hybrid Algorithm for the Unrelated Parallel Machine Scheduling Problem -- An Automatic Text Classification Method based on Hierarchical Taxonomies, Neural Networks and Document Embedding: The NETHIC Tool -- An Iterated Local Search-based Algorithm to Support Cell Nuclei Detection in Pap Smears Test -- A Generic Architectural Framework for Machine Learning on Data Streams -- Usage of Smart Contracts with FCG for Dynamic Robot Coalition Formation in Precision Farming -- Business Layer: An Enterprise Approach for Work flow Engine and Record Management Systems Integration -- CPS-PMBOK: How to Better Manage Cyber-physical System Development Projects -- Function Point Tree-based Function Point Analysis: Improving Reproducibility Whilst Maintaining Accuracy in Function Point Counting -- A Canonical Data Model for Records Management in the Portuguese Public Administration -- An Analysis of Automated Technical Debt Measurement -- Evaluating some Heuristics to Find Hyponyms between Ontologies -- Towards Design Principles for Visualizing Business Ecosystems -- HCI integration in SE projects: the challenge of engaging students in the classroom -- A Design Process Integrating Human-Data Interaction Guidelines and Semio-participatory Design -- Semantic Concept Recommendation for Continuously Evolving Knowledge Graphs -- Linear Hashing Implementations for Flash Memory -- On-premise or Cloud Enterprise Application Deployment: Fit-gap Perspective -- CoRP: A Pattern-based Anomaly Detection in Time-series -- A Tool for Analyzing Academic Genealogy -- Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems -- Systematizing the Relationship between Business Processes' and Web Services' Non-functional Requirements -- Automatic decomposition of IoT aware business processes with data and control flow distribution -- Moving from Manufacturing to Software Business: A Business Model Transformation Pattern -- An Architecture Principle Measurement Instrument Tested in Real-life. |
| Record Nr. | UNINA-9910380747203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Processes analytics formalism for decision guidance in sustainable manufacturing / / Alexander Brodsky; Guodong Shao; Frank Riddick
| Processes analytics formalism for decision guidance in sustainable manufacturing / / Alexander Brodsky; Guodong Shao; Frank Riddick |
| Autore | Brodsky Alexander |
| Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2013 |
| Descrizione fisica | 1 online resource (38 pages) : illustrations (some color) |
| Altri autori (Persone) |
BrodskyAlexander
RiddickFrank ShaoGuodong |
| Collana | NISTIR |
| Soggetto topico |
Manufacturing processes
Sustainability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910710510003321 |
|
Brodsky Alexander
|
||
| Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A prototype web-based user interface for sustainability modeling and optimization / / Guodong Shao; David Westbrook; Alexander Brodsky
| A prototype web-based user interface for sustainability modeling and optimization / / Guodong Shao; David Westbrook; Alexander Brodsky |
| Autore | Shao Guodong |
| Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2012 |
| Descrizione fisica | 1 online resource |
| Altri autori (Persone) |
BrodskyAlexander
ShaoGuodong WestbrookDavid |
| Collana | NISTIR |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910710738403321 |
|
Shao Guodong
|
||
| Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||