LEADER 01782nam 2200457 a 450 001 9910700917303321 005 20111021160348.0 035 $a(CKB)5470000002413858 035 $a(OCoLC)758001567 035 $a(EXLCZ)995470000002413858 100 $a20111021d2000 uy 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAnalysis of commercial marine vessels emissions and fuel consumption data$b[electronic resource] /$fprepared for EPA under contract ... by Energy and Environmental Analysis, Inc 210 1$a[Washington, DC] :$cOffice of Transportation and Air Quality, U.S. Environmental Protection Agency,$d2000. 215 $a1 online resource (158 unnumbered pages $cillustrations 300 $a"Prepared for EPA under contract to Sierra Research by Energy and Environmental Analysis, Inc." 300 $a"February 2000." 300 $a"EPA420-R-00-002." 300 $a"Contract No. 68-C7-0051." 606 $aMarine engines 606 $aMarine engines$xTesting 606 $aMarine engines$xFuel consumption 606 $aMarine diesel motors 606 $aDiesel motor exhaust gas 615 0$aMarine engines. 615 0$aMarine engines$xTesting. 615 0$aMarine engines$xFuel consumption. 615 0$aMarine diesel motors. 615 0$aDiesel motor exhaust gas. 712 02$aUnited States.$bEnvironmental Protection Agency.$bOffice of Transportation and Air Quality. 712 02$aEnergy and Environmental Analysis, inc. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910700917303321 996 $aAnalysis of commercial marine vessels emissions and fuel consumption data$93209188 997 $aUNINA LEADER 06780nam 2200469 450 001 996495569703316 005 20231110212756.0 010 $a3-031-19685-6 035 $a(MiAaPQ)EBC7118636 035 $a(Au-PeEL)EBL7118636 035 $a(CKB)25171058400041 035 $a(PPN)265855764 035 $a(EXLCZ)9925171058400041 100 $a20230304d2022 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAlgebraic informatics $e9th International Conference, CAI 2022, virtual event, October 27-29, 2022, proceedings /$fedited by Dimitrios Poulakis, George Rahonis 210 1$aCham, Switzerland :$cSpringer,$d[2022] 210 4$d©2022 215 $a1 online resource (233 pages) 225 1 $aLecture Notes in Computer Science ;$vv.13706 311 08$aPrint version: Poulakis, Dimitrios Algebraic Informatics Cham : Springer International Publishing AG,c2022 9783031196843 320 $aIncludes bibliographical references and index. 327 $aIntro -- Preface -- Organization -- Abstracts of Invited Talks -- Weighted Automata Over Monotonic Strong Bimonoids: Decidability and Undecidability of Finite Image -- Constraints, Graphs, Algebra, Logic, and Complexity -- Contents -- Invited Papers -- Chaining Multiplications in Finite Fields with Chudnovsky-Type Algorithms and Tensor Rank of the k-Multiplication -- 1 Introduction -- 1.1 Context, Notation and Basic Results -- 1.2 New Results and Organisation -- 2 Theoretical Construction of a Multiplying Algorithm -- 2.1 Notations -- 2.2 Algorithm -- 3 On the Existence of These Algorithms -- 3.1 Strategy of Construction -- 3.2 Towers of Algebraic Function Fields -- 4 Uniform Upper Bounds -- References -- On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function -- 1 The Riemann Hypothesis -- 2 The Riemann Hypothesis in the Arithmetical Hierarchy -- 3 Calculation of the Zeta Zeros by Solving Algebraic Equations -- 4 Calculation of Summands from Dirichlet Series for the Zeta Function at Its Zeros -- References -- Shuffle Product of Regular Languages: Results and Open Problems -- 1 Introduction -- 2 Shuffle and Recognition -- 2.1 Shuffle Product -- 2.2 Monoids and Ordered Monoids -- 2.3 Power Monoids and Lower Set Monoids -- 3 Classes of Languages Closed Under Shuffle -- 3.1 Varieties of Languages Closed Under Shuffle -- 3.2 Positive Varieties of Languages Closed Under Shuffle -- 3.3 Intermixed Languages -- 4 Sequential and Parallel Decompositions -- 4.1 Definitions and Examples -- 4.2 Closure Properties -- 4.3 Schnoebelen's Problem -- 5 Conclusion -- References -- Contributed Papers -- Ordering the Boolean Cube Vectors by Their Weights and with Minimal Change -- 1 Introduction -- 2 Basic Notions and Preliminary Results -- 3 Ordering the Vectors of the Boolean Cube by Their Weights and with Minimal Change. 327 $a4 Algorithm for Generating the Vectors of the Boolean Cube Ordered by Weights and with Minimal Change -- 5 Conclusions -- References -- Designated-Verifier Linkable Ring Signatures with Unconditional Anonymity -- 1 Introduction -- 2 Preliminaries -- 2.1 Notation -- 2.2 Security Assumptions -- 3 UDVLRS Definition and Security Model -- 3.1 UDVLRS Definition -- 3.2 Correctness -- 3.3 Adversarial Capabilities -- 3.4 Unforgeability -- 3.5 Anonymity -- 3.6 Non-transferability -- 3.7 Linkability -- 3.8 Non-slanderability -- 4 Our Construction -- 5 Security Analysis -- 6 Conclusion and Future Work -- References -- Finding Points on Elliptic Curves with Coppersmith's Method -- 1 Introduction -- 2 Preliminaries -- 2.1 Some ECC Cryptosystems -- 2.2 Lattice Basis Reduction and Coppersmith's Method -- 3 Small Solutions of the Elliptic Curve Equation -- 4 A Numerical Example -- 5 Conclusion -- References -- Weighted Propositional Configuration Logic over De Morgan Algebras -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 Unweighted PCL -- 5 Weighted PCL over De Morgan Algebras -- 6 Examples -- 7 Discussion -- 8 Conclusion -- References -- Weighted Two-Way Transducers -- 1 Introduction -- 2 Preliminaries -- 3 Weighted Two-Way Transducers -- 4 Relation to Unweighted Case -- 5 Closure Properties -- References -- A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 The Weighted Algebra of Interactions -- 5 The Weighted Algebra of Connectors -- 6 On Congruence Relation for Fusion-wAC(P) Connectors -- 7 Discussion -- 8 Conclusion -- References -- Watson-Crick Powers of a Word -- 1 Introduction -- 2 Preliminaries -- 3 A Binary Operation Generating Watson-Crick Powers -- 4 Watson-Crick Conjugate Equations -- 5 Conjugacy and Commutativity with Respect to. 327 $a6 -Primitive Words, and a Word's -Primitive Root Pair -- 7 Conclusions -- References -- A Normal Form for Matrix Multiplication Schemes -- 1 Introduction -- 2 Matrix Multiplication Schemes -- 3 The Symmetry Group -- 4 Minimal Orbit Elements -- 5 Minimizing the First Row -- 6 Timings and Analysis -- References -- Bideterministic Weighted Automata -- 1 Introduction -- 2 Preliminaries -- 3 Bideterministic Weighted Automata over a Semiring -- 4 The Minimality Property of Bideterministic Automata -- 4.1 Fields and Integral Domains -- 4.2 Other Commutative Rings -- 4.3 Positive Semirings -- 5 Decidability of Bideterminisability -- 5.1 Fields -- 5.2 Tropical Semirings -- References -- How to Decide Functionality of Compositions of Top-Down Tree Transducers -- 1 Introduction -- 2 Top-Down Tree Transducers -- 3 Functionality of Two-Fold Compositions -- 3.1 Construction of the LA-Transducer M -- 3.2 Correctness of the LA-Transducer M -- 3.3 Functionality of Arbitrary Compositions -- 4 Conclusion -- References -- Computation of Solutions to Certain Nonlinear Systems of Fuzzy Relation Inequations -- 1 Introduction -- 2 Preliminaries -- 3 Certain Types of Fuzzy Relation Inequations and Their Solutions -- References -- When Variable-Length Codes Meet the Field of Error Detection -- 1 Introduction -- 2 Preliminaries -- 3 Error Detection and the Prefix Metric -- 4 Error Detection and the Factor Metric -- 5 Error Detection in the Topologies Associated to (anti-)automorphisms -- 6 Concluding Remark -- References -- Author Index. 410 0$aLecture Notes in Computer Science 606 $aAlgebra$xData processing$vCongresses 615 0$aAlgebra$xData processing 676 $a069 702 $aPoulakis$b Dimitrios 702 $aRahonis$b George 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996495569703316 996 $aAlgebraic Informatics$92954948 997 $aUNISA LEADER 10804nam 2202485z- 450 001 9910367741303321 005 20210211 010 $a3-03921-939-1 035 $a(CKB)4100000010106304 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/54635 035 $a(oapen)doab54635 035 $a(EXLCZ)994100000010106304 100 $a20202102d2019 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aNew types of Neutrosophic Set/Logic/Probability, Neutrosophic Over-/Under-/Off-Set, Neutrosophic Refined Set, and their Extension to Plithogenic Set/Logic/Probability, with Applications 210 $cMDPI - Multidisciplinary Digital Publishing Institute$d2019 215 $a1 online resource (714 p.) 311 08$a3-03921-938-3 330 $aThis book contains 37 papers by 73 renowned experts from 13 countries around the world, on following topics: neutrosophic set; neutrosophic rings; neutrosophic quadruple rings; idempotents; neutrosophic extended triplet group; hypergroup; semihypergroup; neutrosophic extended triplet group; neutrosophic extended triplet semihypergroup and hypergroup; neutrosophic offset; uninorm; neutrosophic offuninorm and offnorm; neutrosophic offconorm; implicator; prospector; n-person cooperative game; ordinary single-valued neutrosophic (co)topology; ordinary single-valued neutrosophic subspace; ?-level; ordinary single-valued neutrosophic neighborhood system; ordinary single-valued neutrosophic base and subbase; fuzzy numbers; neutrosophic numbers; neutrosophic symmetric scenarios; performance indicators; financial assets; neutrosophic extended triplet group; neutrosophic quadruple numbers; refined neutrosophic numbers; refined neutrosophic quadruple numbers; multigranulation neutrosophic rough set; nondual; two universes; multiattribute group decision making; nonstandard analysis; extended nonstandard analysis; monad; binad; left monad closed to the right; right monad closed to the left; pierced binad; unpierced binad; nonstandard neutrosophic mobinad set; neutrosophic topology; nonstandard neutrosophic topology; visual tracking; neutrosophic weight; objectness; weighted multiple instance learning; neutrosophic triangular norms; residuated lattices; representable neutrosophic t-norms; De Morgan neutrosophic triples; neutrosophic residual implications; infinitely ?-distributive; probabilistic neutrosophic hesitant fuzzy set; decision-making; Choquet integral; e-marketing; Internet of Things; neutrosophic set; multicriteria decision making techniques; uncertainty modeling; neutrosophic goal programming approach; shale gas water management system. 606 $aHistory of engineering and technology$2bicssc 610 $a?-level 610 $aaccuracy function 610 $aaggregation 610 $aaggregation operations 610 $aarithmetic averaging operator 610 $abinad 610 $aBNHHA aggregation operator 610 $aBNHOWA aggregation operator 610 $aBNHWA aggregation operator 610 $acertainty function 610 $aChoquet integral 610 $aclassical statistics 610 $aclifford semigroup 610 $acombined weighted average 610 $acomplex neutrosophic set 610 $acomplex neutrosophic soft expert set 610 $aconsumer's risk 610 $acovering 610 $acubic sets 610 $aDe Morgan neutrosophic triples 610 $adecision making 610 $adecision-making 610 $adietary fat level 610 $adistance measure 610 $ae-marketing 610 $aEinstein t-norm 610 $aexponential similarity measure 610 $aextended non-standard analysis 610 $aextended nonstandard analysis 610 $aextended nonstandard neutrosophic logic 610 $afinancial assets 610 $aFunction approximation 610 $afuzzy logic 610 $afuzzy numbers 610 $afuzzy parameterized single valued neutrosophic soft expert set 610 $ageneralized neutrosophic extended triplet group 610 $agraph representation 610 $agroup decision making 610 $ahypergroup 610 $aidempotents 610 $aimplicator 610 $ainfinitely ?-distributive 610 $ainfinitesimals 610 $ainfinities 610 $aInternet of Things 610 $aintuitionistic fuzzy parameters 610 $aleft monad closed to the right 610 $alogarithmic aggregation operators 610 $alogarithmic operational laws 610 $alow-carbon supplier selection 610 $aMAGDM 610 $amatrix representation 610 $amaximizing deviation 610 $aMCGDM problems 610 $amembership function 610 $aMoBiNad set 610 $amonad 610 $amulti-attribute decision making 610 $aMulti-attribute decision making 610 $amulti-attribute decision-making 610 $amulti-attribute decision-making (MADM) 610 $amulti-attribute group decision making 610 $amulti-criteria decision making techniques 610 $amulti-granulation neutrosophic rough set 610 $amulticriteria decision-making 610 $an-person cooperative game 610 $aNET-hypergroup 610 $aNeutrosophic compound orthogonal neural network 610 $aneutrosophic correlation 610 $aneutrosophic cubic Einstein ordered weighted geometric operator (NCEOWG) 610 $aneutrosophic cubic Einstein weighted geometric operator (NCEWG) 610 $aneutrosophic cubic hybrid weighted arithmetic and geometric aggregation operator (NCHWAGA) 610 $aneutrosophic cubic ordered weighted geometric operator (NCOWG) 610 $aneutrosophic cubic sets 610 $aneutrosophic cubic soft expert system 610 $aneutrosophic cubic soft sets 610 $aneutrosophic cubic weighted geometric operator (NCWG) 610 $aneutrosophic extended triplet group 610 $aneutrosophic extended triplet semihypergroup (NET-semihypergroup) 610 $aNeutrosophic function 610 $aneutrosophic goal programming approach 610 $aneutrosophic logical relationship 610 $aneutrosophic logical relationship groups 610 $aNeutrosophic number 610 $aneutrosophic numbers 610 $aneutrosophic offconorm 610 $aneutrosophic offnorm 610 $aneutrosophic offset 610 $aneutrosophic offuninorm 610 $aneutrosophic quadruple numbers 610 $aneutrosophic quadruple rings 610 $aneutrosophic regression 610 $aneutrosophic residual implications 610 $aneutrosophic rings 610 $aneutrosophic set 610 $aneutrosophic sets 610 $aneutrosophic soft rough 610 $aneutrosophic statistical interval method 610 $aneutrosophic statistics 610 $aneutrosophic symmetric scenarios 610 $aneutrosophic time series 610 $aneutrosophic topology 610 $aneutrosophic triangular norms 610 $aneutrosophic weight 610 $aneutrsophic set 610 $anon-dual 610 $anon-standard analysis 610 $anon-standard neutrosophic mobinad set 610 $anon-standard neutrosophic topology 610 $anonstandard analysis 610 $anonstandard arithmetic operations 610 $anonstandard neutrosophic infimum 610 $anonstandard neutrosophic lattices of first type (as poset) and second type (as algebraic structure) 610 $anonstandard neutrosophic logic 610 $anonstandard neutrosophic supremum 610 $anonstandard reals 610 $anonstandard unit interval 610 $anumerical application 610 $aobjectness 610 $aopen and closed monads to the left/right 610 $aoptimization solution 610 $aordinary single valued neutrosophic (co)topology 610 $aordinary single valued neutrosophic base 610 $aordinary single valued neutrosophic neighborhood system 610 $aordinary single valued neutrosophic subbase 610 $aordinary single valued neutrosophic subspace 610 $apaper defect diagnosis 610 $aperformance indicators 610 $apierced and unpierced binads 610 $apierced binad 610 $aplithogeny 610 $aport evaluation 610 $aprobabilistic neutrosophic hesitant fuzzy set (PNHFS) 610 $aproducer's risk 610 $aproducer's risk' 610 $aprospector 610 $aprostate cancer 610 $aQ-neutrosophic set 610 $aQ-neutrosophic soft set 610 $aquality function deployment 610 $aquasi-completely regular semigroup 610 $arefined neutrosophic numbers 610 $arefined neutrosophic quadruple numbers 610 $arelations 610 $arepresentable neutrosophic t-norms 610 $aresiduated lattices 610 $aright monad closed to the left 610 $arough set approximation 610 $asample size 610 $asampling plan 610 $ascore function 610 $asemihypergroup 610 $ashale gas water management system 610 $asimplified neutrosophic hesitant fuzzy set 610 $asimplified neutrosophic set 610 $asingle valued neutrosophic set 610 $asingle valued neutrosophic sets 610 $asingle-valued neutrosophic linguistic set 610 $asingle-valued neutrosophic set 610 $asingle-valued neutrosophic soft number and its operations 610 $asmart port 610 $asoft expert set 610 $asoft set 610 $asoft sets 610 $astandard reals 610 $asupply chain sustainability metrics 610 $aSVN soft weighted arithmetic averaging operator 610 $aSVN soft weighted geometric averaging operator 610 $asymmetric relation 610 $aTOPSIS 610 $atriangular neutrosophic cubic fuzzy number 610 $atriangular neutrosophic number 610 $atwo universes 610 $auncertainty modeling 610 $auninorm 610 $aunpierced binad 610 $avisual tracking 610 $aweighted average operator 610 $aweighted geometric operator 610 $aweighted multiple instance learning 615 7$aHistory of engineering and technology 700 $aSmarandache$b Florentin$4auth$01311903 906 $aBOOK 912 $a9910367741303321 996 $aNew types of Neutrosophic Set$93030536 997 $aUNINA